الصفحة 25
الصفحة 25
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 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.
Integral closure : Rees algebras, multiplicities, algorithms
Integral Closure gives an account of theoretical and algorithmic developments on the integral closure of algebraic structures. These are shared concerns in commutative algebra, algebraic geometry, number theory and the computational aspects of these fields. The overall goal is to determine and analyze the equations of the assemblages of the set of solutions that arise under various processes and algorithms. It gives a comprehensive treatment of Rees algebras and multiplicity theory - while pointing to applications in many other problem areas. Its main goal is to provide complexity estimates by tracking numerically invariants of the structures that may occur.
Integer Programming and Combinatorial Optimization ; 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings
Since its start in 1990, the IPCO conference series (held under the auspices of theMathematicalProgrammingSociety)hasbecomeanimportantforumforthe presentation of recent results in Integer Programming and Combinatorial Op- mization. This volume compiles the papers presented at IPCO XI, the eleventh conference in this series, held June 8–10, 2005, at the Technische Universit¨ at Berlin. The high interest in this conference series is evident in the large number of submissions. For IPCO XI, 119 extended abstracts of up to 10 pages were submitted. During its meeting on January 29–30, 2005, the Program Committee carefully selected 34 contributions for presentation in non-parallel sessions at the conference. The ?nal choices were not easy at all, since, due to the limited number of time slots, many very good papers could not be accepted. During the selection process the contributions were refereed according to the standards of refereed conferences. As a result of this procedure, you have in your hands a volume that contains papers describing high-quality research e?orts. The page limit for contributions to this proceedings volume was set to 15. You may ?nd full versions of the papers in scienti?c journals in the near future. We thank all the authors who submitted papers. Furthermore, the Program Committee is indebted to the many reviewers who, with their speci?c expertise, helped a lot in making the decisions.
Instrumaster
Experiments with different neural network structures and algorithms in order to achieve musical note recognition as well as musical instrument recognition, all bundled in a mobile application. It also aims to create the most effective music-learning application that works completely offline, which is hard to find in modern music applications. The paper also explores why the instrument identifying AI is solely based on Multi-Layer Perceptron (MLP) and why the note-identifying AI system was chosen to be a ML system over CNN or other deep-learning trained AI. The paper presents feature extraction methods for audio signals and files and dives deep into the process, such as FFT, MFCCs, Wavelengths, sampling rates, etc. It also touches on Logistic Regression Algorithms, their limitations, and their performance with the different use cases in the application. All these techniques are then compared side by side for maximally added value, making this research paper a good reference for any future developers looking to find optimal neural networks techniques when it comes to audio processing and analysis.
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.
Insights into Receptor Function and New Drug Development Targets
G-Protein Coupled receptors (GPCRs) and other receptors are significant targets for drug discovery, due to their roles in fundamental physiological processes. Among these roles are: regulation of growth, food intake, reproduction, water balance, sensory perception, blood pressure and heart rate. GPCR-directed drugs account for approximately $40 billion in sales and, of drugs at market, approximately 70% target GPCR function. The availability of combinatorial chemistry coupled with high throughput screening techniques have facilitated discovery of peptidic and non-peptidic ligands of membrane receptors. Mutant receptor models have revealed their role in health and disease and provided insight to new therapeutic approaches, based on control of protein trafficking. Understanding receptor-receptor interactions has provided one mechanism for receptor cross-talk and revealed unexpected interactions.
Inside asylum bureaucracy : Organizing refugee status determination in Austria
Provides sociological insight into governmental action on the administration of asylum in the European context. It offers an in-depth understanding of how decision-making officials encounter and respond to structural contradictions in the asylum procedure produced by diverging legal, political, and administrative objectives.The study focuses on structural aspects on the one hand, such as legal and organisational elements, and aspects of agency on the other hand, examining the social practices and processes going on at the frontside and the backside of the administrative asylum system.
Insects and Ecosystem Function
In the past two decades, an increasing number of ecologists have started to investigate the importance of biodiversity for ecological processes such as energy flow and nutrient cycling, often referred to as 'ecosystem functioning'. Insects are a dominant component of biodiversity in terrestrial ecosystems and play a key role in mediating the relationship between plants and ecosystem processes. This volume is the first to summarize their effects on ecosystem functioning, focusing mainly, but not exclusively, on herbivorous insects. Renowned authors with extensive experience in the field of plant-insect interactions, contribute to the volume using examples from their own work. In addition to providing concise reviews of the field, this volume discusses in detail the advantages and disadvantages of various techniques of manipulating insect herbivory. Thus, the text provides both a theoretical basis as well as practical advice for future manipulative studies of biodiversity-ecosystem functioning.
Innovative Tools and methods using BIM for an efficient renovation in buildings
This book describes a BIM-based toolkit that has been developed according to the latest research activities on building information modelling and semantic interoperability to optimize the building process. It highlights the impacts of using such new tools to fast renovation activities starting from the decision-making and design stages to the construction site management with the possibility to monitor occupants' and owners’ feedback during the realization process. In this process, a framework has been developed and implemented to allow stakeholders involved in a renovation project to efficiently compile, maintain, and add data about (i) building elements, (ii) building services systems, (iii) tenants, operators, and owners of the building, and (iv) current and predicted performance of the building from the various data sources available. The framework applies and specializes the existing practices in the Semantic Web, Linked Data, and ontology domain to the management of renovation projects. It has been designed to be open so that any system which implements the required functions and uses the specified conventions will be able to achieve semantic interoperability with other framework-compliant systems in the renovation domain. Finally, this book represents the validation process of the toolkit that has been held in three demo sites: a social housing building in Italy and two private residential buildings in Poland and Finland. The outcome shows that the toolkit facilitates the renovation process with relevant reductions of time, costs, and energy consumption and that the inhabitants can take advantage of the increase in building performances, quality, and comfort.
Innovative techniques in instruction technology, e-learning, e-assessment, and education
Innovative Techniques in Instruction Technology, E-Learning, E-Assessment and Education is a collection of world-class paper articles addressing the following topics:E-Learning including development of courses and systems for technical and liberal studies programs; online laboratories; intelligent testing using fuzzy logic; evaluation of on line courses in comparison to traditional courses; mediation in virtual environments; and methods for speaker verification.
Innovative Medicine : Basic Research and Development
Devoted to innovative medicine, comprising the proceedings of the Uehara Memorial Foundation Symposium 2014. It remains extremely rare for the findings of basic research to be developed into clinical applications, and it takes a long time for the process to be achieved. The task of advancing the development of basic research into clinical reality lies with translational science, yet the field seems to struggle to find a way to move forward. To create innovative medical technology, many steps need to be taken: development and analysis of optimal animal models of human diseases, elucidation of genomic and epidemiological data, and establishment of “proof of concept”.
Innovative Internet Community Systems ; Vol. 3908 ; 5th International Workshop, IICS 2005, Paris, France, June 20-22, 2005. Revised Papers
Traditionally, there are topics discussed in three main aspects. All of them must be considered in a united manner in order to investigate and understand the emergence and evolution of communities in the Internet: knowledge about networking, content and text processing as well as theory. The goal of the I2CS workshop is to bring researchers from both industry and academic fields together to discuss current progress and future developments in these areas and to eliminate the gap between theory and application. At this point, we want to express immense gratitude to all the authors of the submitted papers and to the members of the international Program Committee for their contribution to the success of the event and a program of high quality. In a peer-to-peer review process, 17 papers were selected out of 27 submissions.
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 Concepts for Autonomic and Agent-Based Systems ; 2nd International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers
This volume includes revised versions of papers presented at the workshop. The workshop was structured so as to allow adequate time for discussion and interaction, to exchange ideas and reflect on the motivations, scientific grounds and practical consequences of the concepts presented. Many of the ideas are truly “radical”, and so authors were given time to revise their papers to reflect further thoughts on the ideas presented and to reflect feedback received at the workshop. We are grateful to Jeff Kephart for a very interesting keynote speech describing IBM’s current and future work in this field, which fit very well with the aims and scope of the workshop.
Innovative approaches for learning and knowledge sharing ; 1st European Conference on Technology Enhanced Learning, EC-TEL 2006, Crete, Greece, October 1-4, 2006, Proceedings
This book constitutes the refereed proceedings of the First European Conference on Technology Enhanced Learning, EiTEL 2006, held in Crete, Greece in October 2006. The 32 revised full papers, 13 revised short papers and 31 poster papers presented together with 2 keynote talks were carefully reviewed and selected from 192 submissions. The conference provides a unique forum for all research related to technology-enhanced learning, as well as its interactions with knowledge management, business processes and work environments. Topics addressed are collaborative learning, personalized learning, multimedia content, semantic web, metadata and learning, workplace learning, learning repositories and infrastructures for learning, as well as experience reports, assesment, and case studies.
Innovations in Macroeconomics ; 2nd ed.
Modern macroeconomics suffers from an unclear link between short-term Keynesian analysis and long-term growth modelling. Moreover, product and process innovations have been only partially integrated. The analysis suggests new approaches to innovations in open economies in many ways, including the Schumpeterian Mundell-Fleming model and new monetary growth models. A specific focus is on the role of innovations for output, employment and exchange rate developments. A new link between monetary analysis and growth modelling in open economies is presented. Structural change, innovations and growth are considered from a new perspective. This important new book sets a new direction for macroeconomics. By linking several strands of fundamental economic thinking into a coherent, integrated framework it provides a pathbreaking understanding into the fundamental forces shaping macroeconomic performance.
Innovations in Macroeconomics ; 1st ed.
Modern macroeconomics suffers from an unclear link between short-term Keynesian analysis and long-term growth modelling. Moreover, product and process innovations have been only partially integrated. The analysis suggests new approaches to innovations in open economies in many ways, including the Schumpeterian Mundell-Fleming model and new monetary growth models. A specific focus is on the role of innovations for output, employment and exchange rate developments. This book presents a new link between monetary analysis and growth modelling in open economies. Structural change, innovations and growth are considered from a new perspective. With respect to economic policy - in particular innovation policy - the analysis implies major changes, concerning both EU countries and other leading OECD economies.
Innovations in landscape architecture
The chapters explore digital technology, design processes and theoretical queries that shape the contemporary practice of landscape architecture. Topics covered include: Digital design Fabrication and prototyping Emerging technology Visualization of data System theory
