Integrated circuit and system design : Power and timing modeling, optimization and simulation ; 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proceedings
Papers cover high level design, low power design techniques, low power analog circuits, statistical static timing analysis, power modeling and optimization, low power routing optimization, security and asynchronous design, low power applications, modeling and optimization, and more.
Integral Methods in Science and Engineering : Theoretical and Practical Aspects
The quantitative and qualitative study of the physical world makes use of many mathematical models governed by a great diversity of ordinary, partial differential, integral, and integro-differential equations. An essential step in such investigations is the solution of these types of equations, which sometimes can be performed analytically, while at other times only numerically. This edited, self-contained volume presents a series of state-of-the-art analytic and numerical methods of solution constructed for important problems arising in science and engineering, all based on the powerful operation of (exact or approximate) integration.It covers a wide variety of topics, from the theoretical development of boundary integral methods to the application of integration-based analytic and numerical techniques that include integral equations, finite and boundary elements, conservation laws, hybrid approaches, and other procedures.
Integral Methods in Science and Engineering : Techniques and Applications
The physical world is studied by means of mathematical models, which consist of differential, integral, and integro-differential equations accompanied by a large assortment of initial and boundary conditions. In certain circumstances, such models yield exact analytic solutions. When they do not, they are solved numerically by means of various approximation schemes. Whether analytic or numerical, these solutions share a common feature: they are constructed by means of the powerful tool of integration—the focus of this self-contained book. This work illustrates the application of integral methods to diverse problems in mathematics, physics, biology, and engineering. The thirty two chapters of the book, written by scientists with established credentials in their fields, contain state-of-the-art information on current research in a variety of important practical disciplines.
Integral Foam Molding of Light Metals : Technology, Foam Physics and Foam Simulation
This book shows in three parts the technology, the fundamentals and the simulation models for the Integral Foam Molding of Light Metals Part I: “Technology” shows for the first time that foaming of metals is possible by applying molding techniques very similar to polymer integral foam molding. Part II: “Physics” is devoted to the physics of foaming with special emphasis on the very short time scale which is characteristic for integral foam molding. Part III: “Numerical Simulation” presents a new lattice Boltzmann approach for the treatment of free surfaces is developed and applied on foam evolution problems. For the first time, the numerical simulation of foam evolution starting from nucleation until decay is accessible.
Instability in Models Connected with Fluid Flows II
Instability in Models Connected with Fluid Flows II presents chapters from world renowned specialists. The stability of mathematical models simulating physical processes is discussed in topics on control theory, first order linear and nonlinear equations, water waves, free boundary problems, large time asymptotics of solutions, stochastic equations, Euler equations, Navier-Stokes equations, and other PDEs of fluid mechanics. Fields covered include: the free surface Euler (or water-wave) equations, the Cauchy problem for transport equations, irreducible Chapman--Enskog projections and Navier-Stokes approximations, randomly forced PDEs, stability of equilibrium figures of uniformly rotating viscous incompressible liquid, Navier-Stokes equations in cylindrical domains, Navier-Stokes-Poisson flows in a vacuum.
Instability in Models Connected with Fluid Flows I
Instability in Models Connected with Fluid Flows I presents chapters from world renowned specialists. The stability of mathematical models simulating physical processes is discussed in topics on control theory, first order linear and nonlinear equations, water waves, free boundary problems, large time asymptotics of solutions, stochastic equations, Euler equations, Navier-Stokes equations, and other PDEs of fluid mechanics. Fields covered include: controllability and accessibility properties of the Navier- Stokes and Euler systems, nonlinear dynamics of particle-like wavepackets, attractors of nonautonomous Navier-Stokes systems, large amplitude monophase nonlinear geometric optics, existence results for 3D Navier-Stokes equations and smoothness results for 2D Boussinesq equations, instability of incompressible Euler equations, increased stability in the Cauchy problem for elliptic equations.
Innovative Internet Community Systems ; Vol. 3473 ; 4th International Workshop, IICS 2004, Guadalajara, Mexico, June 21-23, 2004. Revised Papers
This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on Innovative Internet Community Systems, IICS 2004, held in Guadalajara, Mexico, in June 2004. The 25 revised full papers presented together with 2 invited papers have been carefully reviewed. They focus mainly on system-oriented problems, text processing, and theoretical foundations of distributed and Internet systems. They also deal with speed and quality-of-service problems of Internet protocols, aspects of cooperation and collaboration in Internet systems, as well as agent and text-processing-based methods. In addition, 9 papers stem from two mini-workshops, one on computational epidemiology and the other on optimization of urban traffic systems.
Innovative Algorithms and Techniques in Automation, Industrial Electronics and Telecommunications.
Innovative Algorithms and Techniques in Automation, Industrial Electronics and Telecommunications is a collection of world class paper articles addressing the following topics: Computer Networks: Access Technologies, Medium Access Control, Network architectures and Equipment, Optical Networks and Switching, Telecommunication Technology, and Ultra Wideband Communications. Coding and Modulation: Modeling and Simulation, OFDM technology , Space-time Coding, Spread Spectrum and CDMA Systems. Wireless technologies: Bluetooth , Cellular Wireless Networks, Cordless Systems and Wireless Local Loop, HIPERLAN, IEEE 802.11, Mobile Network Layer, Mobile Transport Layer, and Spread Spectrum.
Innovations in Design & Decision Support Systems in Architecture and Urban Planning
Traditionally, the DDSS conferences aim to be a platform for both starting and experienced researchers who focus on the development and application of computer support in urban planning and architectural design. This volume contains 31 peer reviewed papers from this year’s conference. This book will bring researchers together and is a valuable resource for their continuous joint effort to improve the design and planning of our environment.
Innovation in Life Cycle Engineering and Sustainable Development
Business models, which aims at determining how efficient can be a life cycle strategy from different point of view (customer, policy, environment, economics,…). End of life strategies, presenting recent approaches and technological solutions for end-of life treatments. Product development for sustainability, which aims at showing how designers integrate environmental conside- tions to improve their solutions. Product life cycle management, dealing with methods and tools to support life cycle considerations.
Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems ; International Workshop on Infrastructure for Scalable Multi-Agent Systems, Barcelona, Spain, June 3-7, 2000 Revised Papers
Building research grade multi-agent systems usually involves a broad variety of software infrastructure ingredients like planning, scheduling, coordination, communication, transport, simulation, and module integration technologies and as such constitutes a great challenge to the individual researcher active in the area. The book presents a collection of papers on approaches that will help make deployed and large scale multi-agent systems a reality. The first part focuses on available infrastructure and requirements for constructing research-grade agents and multi-agent systems. The second part deals with support in infrastructure and software development methods for multi-agent systems that can directly support coordination and management of large multi-agent communities; performance analysis and scalability techniques are needed to promote deployment of multi-agent systems to professionals in software engineering and information technology.
Information Systems Development : Advances in Theory, Practice, and Education
Comprised of the proceedings of the 13th International Conference on Information Systems Development held August 26th-28th, 2004, at Vilnius Gediminas Technical University, Vilnius, Lithuania. This volume aims to provide a forum for the research and practices addressing issues associated with Information Systems Development (ISD).
Information Processing and Security Systems
Information Processing and Security Systems is a collection of forty papers that were originally presented at an international multi-conference on Advanced Computer Systems (ACS) and Computer Information Systems and Industrial Management Applications (CISIM) held in Elk, Poland. This volume describes the latest developments in advanced computer systems and their applications within artificial intelligence, biometrics and information technology security. The volume also includes contributions on computational methods, algorithms and applications, computational science, education and industrial management applications.
Inference in Hidden Markov Models
This book is a comprehensive treatment of inference for hidden Markov models, including both algorithms and statistical theory. Topics range from filtering and smoothing of the hidden Markov chain to parameter estimation, Bayesian methods and estimation of the number of states.In a unified way the book covers both models with finite state spaces, which allow for exact algorithms for filtering, estimation etc. and models with continuous state spaces (also called state-space models) requiring approximate simulation-based algorithms that are also described in detail. Simulation in hidden Markov models is addressed in five different chapters that cover both Markov chain Monte Carlo and sequential Monte Carlo approaches. Many examples illustrate the algorithms and theory. The book also carefully treats Gaussian linear state-space models and their extensions and it contains a chapter on general Markov chain theory and probabilistic aspects of hidden Markov models.
IMPROVE - Innovative modelling approaches for production systems to raise validatable efficiency : Intelligent methods for the factory of the future
This open access work presents selected results from the European research and innovation project IMPROVE which yielded novel data-based solutions to enhance machine reliability and efficiency in the fields of simulation and optimization, condition monitoring, alarm management, and quality prediction.
Implementing Models in Quantitative Finance : Methods and Cases
This book puts numerical methods into action for the purpose of solving concrete problems arising in quantitative finance. Part one develops a comprehensive toolkit including Monte Carlo simulation, numerical schemes for partial differential equations, stochastic optimization in discrete time, copula functions, transform-based methods and quadrature techniques. The content originates from class notes written for courses on numerical methods for finance and exotic derivative pricing held by the authors at Bocconi University since the year 2000. Part two proposes eighteen self-contained cases covering model simulation, derivative valuation, dynamic hedging, portfolio selection, risk management, statistical estimation and model calibration. It encompasses a wide variety of problems arising in markets for equity, interest rates, credit risk, energy and exotic derivatives.
Implementing machine learning for finance : A systematic approach to predictive risk and performance analysis for investment portfolios
Introduces pattern recognition and future price forecasting that exerts effects on time series analysis models, such as the Autoregressive Integrated Moving Average (ARIMA) model, Seasonal ARIMA (SARIMA) model, and Additive model, and it covers the Least Squares model and the Long Short-Term Memory (LSTM) model. It presents hidden pattern recognition and market regime prediction applying the Gaussian Hidden Markov Model. The book covers the practical application of the K-Means model in stock clustering. It establishes the practical application of the Variance-Covariance method and Simulation method (using Monte Carlo Simulation) for value at risk estimation. It also includes market direction classification using both the Logistic classifier and the Multilayer Perceptron classifier. Finally, the book presents performance and risk analysis for investment portfolios. You will: Understand the fundamentals of the financial market and algorithmic trading, as well as supervised and unsupervised learning models that are appropriate for systematic investment portfolio management / Know the concepts of feature engineering, data visualization, and hyperparameter optimization / Design, build, and test supervised and unsupervised ML and DL models / Discover seasonality, trends, and market regimes, simulating a change in the market and investment strategy problems and predicting market direction and prices / Structure and optimize an investment portfolio with preeminent asset classes and measure the / underlying risk
Implementation and Application of Automata ; Vol. 4094 ; 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on Implementation and Application of Automata, CIAA 2006, held in Taipei, Taiwan, in August 2006.
Implementation and application of automata ; 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers
The 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical Universityin Prague,Czech Republic on July 16–18, 2007. These proceedings contain the papers that were presented at CIAA 2007, as well as the abstracts of the poster papers that were displayed during the conference.
Imagination and Rigor : Essays on Eduardo R. Caianiello's Scientific Heritage
The aim of this Volume of scientific essays is twofold. From one side, by remembering the scientific figure of Eduardo R. Caianiello, it aims at focusing his outstanding contributions - from theoretical physics to cybernetics - which after so many years still represent occasion of innovative paths to be fruitfully followed. It must be stressed the contribution that his interdisciplinary methodology can still be of great help in affording and solving present day complex problems. On the other side, it aims at pinpointing with the help of the scientists contributing to the Volume - some crucial problems in present day research in the fields of interest of Eduardo Caianiello and which are still among the main lines of investigation of some of the Istitutes founded by Eduardo (Istituto di Cibernetica del CNR, IIAS, etc).



















