الصفحة 3
الصفحة 3
Grid computing : Achievements and prospects
Grid Computing: Achievements and Prospects, the 9th edited volume of the CoreGRID series, includes selected papers from the CoreGRID Integration Workshop, held April 2008 in Heraklion-Crete, Greece. This event brings together representatives of the academic and industrial communities performing Grid research in Europe. The workshop was organized in the context of the CoreGRID Network of Excellence in order to provide a forum for the presentation and exchange of views on the latest developments in grid technology research.
Green, pervasive, and cloud computing ; 15th International conference, GPC 2020, Xi'an, China, November 13–15, 2020, Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Green, Pervasive, and Cloud Computing, GPC 2020, held in Xi'an, China, in November 2020. The 30 full papers presented in this book together with 8 short papers were carefully reviewed and selected from 96 submissions. They cover the following topics: Device-free Sensing; Machine Learning; Recommendation Systems; Urban Computing; Human Computer Interaction; Internet of Things and Edge Computing; Positioning; Applications of Computer Vision; CrowdSensing; and Cloud and Related Technologies.
Generalized Convexity, Generalized Monotonicity and Applications ; Proceedings of the 7th International Symposium on Generalized Convexity and Generalized Monotonicity
This volume contains a collection of refereed articles on generalized convexity and generalized monotonicity. The first part of the book contains invited papers with applications of (generalized) convexity to such diverse fields as algebraic dynamics of the Gamma function values, discrete optimization, Lipschitzian stability of parametric constraint systems, and monotonicity of functions. The second part contains contributions presenting the latest developments in generalized convexity and generalized monotonicity: its connections with discrete and with continuous optimization, multiobjective optimization, fractional programming, nonsmooth Aanalysis, variational inequalities, and its applications to concrete problems such as finding equilibrium prices in mathematical economics, or hydrothermal scheduling.
Future Generation Grids
Future Generation Grids is the second in the CoreGRID series. This edited volume brings together contributed articles by scientists and researchers in the Grid community in an attempt to draw a clearer picture of the future generation Grids. This book also identifies some of the most challenging problems on the way to achieving the invisible Grid ideas.
Frontiers in Algorithmics ; 14th International Workshop, FAW 2020, Haikou, China, October 19-21, 2020, Proceedings
This book constitutes the proceedings of the 14th International Workshop on Frontiers in Algorithmics, FAW 2020, held in Haikou, China, in May 2020. The conference was held virtually due to the COVID-19 pandemic. The 12 full papers presented in this volume were carefully reviewed and selected from 15 submissions. The workshop provides a focused forum on current trends of research on algorithms, discrete structures, and their applications, and brings together international experts at the research frontiers in these areas to exchange ideas and to present significant new results. The papers detail graph theory, scheduling and algorithm and complexity.
From model-driven design to resource management for distributed embedded systems ; IFIP TC 10 Working conference on distributed and parallel embedded systems (DIPES 2006) October 11-13, 2006, Braga, Portugal
From Model-Driven Design to Resource Management for Distributed Embedded Systems contains 16 original contributions as well as 12 invited papers by distinguished invited speakers. These papers were presented at the Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), which was held in October 2006 in Braga, Portugal, and sponsored by the International Federation for Information Processing (IFIP). This volume covers the following very timely topics: model-driven design, test and evolution of embedded systems, timing analysis and predictability, scheduling, allocation, communication and resource management in distributed real-time systems.
From grids to service and pervasive computing
Grids are a crucial enabling technology for scientific and industrial development. Peer-to-peer computing, grid, distributed storage technologies, emerging web service technologies, and other types of networked distributed computing have provided new paradigms exploiting distributed resources. Grids are revolutionizing computing as profoundly as e-mail and the Web.From Grids to Service and Pervasive Computing, the 10th edited volume of the CoreGRID series, is based on the 2008 CoreGRID Symposium, held August 25-26 in the Canary Islands, Spain.
Foundations of generic optimization ; Vol.2 : Applications of fuzzy control, genetic algorithms and neural networks
This is a comprehensive overview of the basics of fuzzy control, which also brings together some recent research results in soft computing, in particular fuzzy logic using genetic algorithms and neural networks. This book offers researchers not only a solid background but also a snapshot of the current state of the art in this field.
Foundations and applications of sensor management
Foundations and Applications of Sensor Management presents the emerging theory of sensor management with applications to real-world examples such as landmine detection, adaptive signal and image sampling, multi-target tracking, and radar waveform scheduling.
Formal Modeling and Analysis of Timed Systems ; Vol.4202 ; 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from di?erent d- ciplines that share interests in modelling and analysis of timed systems. In this volume, there are articles on: – Foundations and Semantics: contributions to the theoretical foundations of timed systems and timed formal languages as well as comparison between di?erentmodelsusedbydi?erentcommunities(timedautomata,timedPetri nets, timed MSCs, hybrid automata, timed process algebra, timed temporal logics, timed abstract state machines, as well as probabilistic models). – Methods and Tools: techniques, algorithms, data structures, and software toolsforanalyzingtimedsystemsandresolvingtemporalconstraints(mod- checking, simulation, robustness analysis, scheduling, etc).
Formal Methods for Industrial Critical Systems ; 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification.
Formal Methods and Stochastic Models for Performance Evaluation ; 4th European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings
This book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, Germany, September 27-28, 2007.The 20 revised full papers presented were carefully reviewed and selected from 53 submissions.
Formal Methods and Stochastic Models for Performance Evaluation ; 3rd European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings
This volume contains the proceedings of the third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, June 21-22, 2006. These proceedings comprise the 16 accepted contributed papers of EPEW 2006.Toensurethehigh-qualityevaluationofthesubmittedpapersweextended the ProgramCommittee of EPEW 2006 with international experts from all over the world. The ?nal workshop program, as well as this volume, are made up of ?ve thematic sessions: – Stochastic process algebra – Workloads and benchmarks – Theory of stochastic processes – Formal dependability and performance evaluation – Queues, theory and practice These sessions cover a wide range of performance evaluation methods and c- pose an overview of the current research directions in performance evaluation.
Feasibility and Infeasibility in Optimization : Algorithms and Computational Methods
Feasibility and Infeasibility in Optimization is a timely expository book that summarizes the state of the art in both classical and recent algorithms related to feasibility and infeasibility in optimization, with a focus on practical methods. All model forms are covered, including linear, nonlinear, and mixed-integer programs. Connections to related work in constraint programming are shown. Part I of the book addresses algorithms for seeking feasibility quickly, including new methods for the difficult cases of nonlinear and mixed-integer programs. Part II provides algorithms for analyzing infeasibility by isolating minimal infeasible (or maximum feasible) subsets of constraints, or by finding the best repair for the infeasibility. Infeasibility analysis algorithms have arisen primarily over the last two decades, and the book covers these in depth and detail. Part III describes applications in numerous areas outside of direct infeasibility analysis such as finding decision trees for data classification, analyzing protein folding, radiation treatment planning, automated test assembly, etc.
Factorization of Matrix and Operator Functions : The State Space Method
The present book deals with factorization problems for matrix and operator functions. The problems originate from, or are motivated by, the theory of non-selfadjoint operators, the theory of matrix polynomials, mathematical systems and control theory, the theory of Riccati equations, inversion of convolution operators, theory of job scheduling in operations research. The book systematically employs a geometric principle of factorization which has its origins in the state space theory of linear input-output systems and in the theory of characteristic operator functions. This principle allows one to deal with different factorizations from one point of view. Covered are canonical factorization, minimal and non-minimal factorizations, pseudo-canonical factorization, and various types of degree one factorization.
Experimental Algorithms ; 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007, Proceedings
Fostering and disseminating high quality research results focused on the experimental analysis of algorithms the papers are devoted to the design, analysis, implementation, experimental evaluation, and engineering of efficient algorithms. Among the application areas addressed are most fields applying advanced algorithmic techniques, such as combinatorial optimization, approximation, graph theory, discrete mathematics, data mining, simulation, cryptography and security, scheduling, searching, sorting, string matching, coding, networking, etc.
Experimental Algorithms ; 5th International Workshop, WEA 2006, Cala Galdana, Menorca, Spain, May 24-27, 2006, Proceedings
This book constitutes the refereed proceedings of the 5th International Workshop on Experimental and Efficient Algorithms, WEA 2006, held in Cala Galdana, Menorca, Spain in May 2006. The 26 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 92 submissions. The book is devoted to the design, analysis, implementation, experimental evaluation, and engineering of efficient algorithms. Among the application areas addressed are most fields applying advanced algorithmic techniques.
Evolutionary Scheduling
Evolutionary scheduling is a vital research domain at the interface of two important sciences - artificial intelligence and operational research. Scheduling problems are generally complex, large scale, constrained, and multi-objective in nature, and classical operational research techniques are often inadequate at solving them effectively. With the advent of computation intelligence, there is renewed interest in solving scheduling problems using evolutionary computational techniques. These techniques, which include genetic algorithms, genetic programming, evolutionary strategies, memetic algorithms, particle swarm optimization, ant colony systems, etc, are derived from biologically inspired concepts and are well-suited to solve scheduling problems since they are highly scalable and flexible in terms of handling constraints and multiple objectives. This edited book gives an overview of many of the current developments in the large and growing field of evolutionary scheduling, and demonstrates the applicability of evolutionary computational techniques to solve scheduling problems, not only to small-scale test problems, but also fully-fledged real-world problems.
Evolutionary Multi-Criterion Optimization ; 3rd International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005, Proceedings
Constitutes the refereed proceedings of the Third International Conference on Evolutionary Multi-Criterion Optimization, EMO 2005, held in Guanajuato, Mexico, in March 2005.
Evolutionary computation in combinatorial optimization Vol. 3906 ; 6th European Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006, Proceedings
This book constitutes the refereed proceedings of the 6th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2006, held in Budapest, Hungary in April 2006.
