الصفحة 35
الصفحة 35
Institution-independent Model Theory
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise mathematical formulation for the intuitive concept of a logical system. Especially in computer science, where the development of a huge number of specification logics is observable, institution-independent model theory simplifies and sometimes even enables a concise model-theoretic analysis of the system. Besides incorporating important methods and concepts from conventional model theory, the proposed top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. As a consequence, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained.
Institutional Context of Education Systems in Europe : A Cross-Country Comparison on Quality and Equity
In this volume, the authors take up the challenge of considering what a European ‘settlement’ might look like. In doing so, they take into account worldwide trends and the increasing evidence of convergence across educational systems. The outcomes of comparative analyses seem to suggest that strong education systems in terms of finance, governance and choice could be preferable. To a greater or lesser extent, therefore, all the systems of education currently in use in Europe face some common challenges. The way in which these challenges are addressed will determine the future of these systems.
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.
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.
Inquiry-Based Learning – Undergraduate Research : The German Multidisciplinary Experience
This book provides a systematic overview of experiences with Inquiry-Based Learning (IBL) and undergraduate research (UR) in German universities, covering both research universities (Universitäten) and universities of applied sciences (Fachhochschulen). Divided into three parts, the book starts with the principles and common practices of IBL/UR at all universities. Part Two discusses the implementation of IBL/UR for twenty-one individual disciplines, ranging from architecture to theology. Part Three discusses the potential of IBL/UR in relation to several topics including diversity, digitalisation, different forms of universities, and the national job market. The book summarises the project of the German network of UR,
Inorganic and Organometallic Macromolecules : Design and Applications
Polymers containing metals and metal-like atoms are essential materials for the extended opportunities and demands of the 21st century. This book describes the synthesis of some of these polymers and their potential application in many fields such as materials, biomedicine, engineering, communications, and ceramics.
Innovative trends in international business and sustainable management
Describes multidimensional trends, challenges, and opportunities for the development of international business and sustainable management in the context of a global pandemic. This book uniquely highlights new priorities of scientific and practical research in the field of international business and sustainable management that require a systematic knowledge of the ongoing transformations of trends, challenges, and opportunities for the development.
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 Superhard Materials and Sustainable Coatings for Advanced Manufacturing ; Proceedings of the NATO Advanced Research Workshop on Innovative Superhard Materials and Sustainable Coating, Kiev, Ukraine,12 - 15 May 2004.
Modern industry imposes ever increasing requirements upon tools and tool materials as to the provision for performance under the conditions of high cutting speeds and dynamic loads as well as under intensive thermal and chemical interactions with workpiece materials. The industry demands a higher productivity in combination with the accuracy of geometry and dimensions of workpieces and quality of working surfaces of the machined pieces. These requirements are best met by the tool superhard materials (diamond and diamond-like cubic boron nitride). Ceramics based on silicon carbide, aluminum and boron oxides as well as on titanium, silicon and aluminum nitrides offer promise as tool materials. Tungsten-containing cemented carbides are still considered as suitable tool materials. Hi- hardness and high strength composites based on the above materials fit all the requirements imposed by machining jobs when manufacturing elements of machinery, in particular those operating under the extreme conditions of high temperatures and loads.
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 Learning Environments in STEM Higher Education : Opportunities, Challenges, and Looking Forward
As explored in this book, higher education in STEM fields is influenced by many factors, including education research, government and school policies, financial considerations, technology limitations, and acceptance of innovations by faculty and students.
Innovative Endocrinology of Cancer
Deals with developments in such topics as mechanisms of hormonal carcinogenesis, epidemiology and risk factors, hormone production by tumor tissue and hormonal sensitivity of the latter, genesis, dichotomy and endocrinology of cancer in females, and pharmacogenomics and proteomics in oncoendocrinology.
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 Quantitative Risk Management ; TU München, September 2013
The KPMG Center of Excellence in Risk Management conference Risk Management Reloaded and this proceedings volume contribute to bridging the gap between academia –providing methodological advances– and practice –having a firm understanding of the economic conditions in which a given model is used. Discussed fields of application range from asset management, credit risk, and energy to risk management issues in insurance. Methodologically, dependence modeling, multiple-curve interest rate-models, and model risk are addressed. Finally, regulatory developments and possible limits of mathematical modeling are discussed.
Innovations in E-learning, Instruction Technology, Assessment and Engineering Education
Innovations in E-learning, Instruction Technology, Assessment and Engineering 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. Instruction Technology including internet textbooks; pedagogy-oriented markup languages; graphic design possibilities; open source classroom management software; automatic email response systems; tablet-pcs; personalization using web mining technology; intelligent digital chalkboards; virtual room concepts for cooperative scientific work; and network technologies, management, and architecture.
Innovations in Derivatives Markets : Fixed Income Modeling, Valuation Adjustments, Risk Management, and Regulation
This book presents 20 peer-reviewed chapters on current aspects of derivatives markets and derivative pricing. The contributions, written by leading researchers in the field as well as experienced authors from the financial industry, present the state of the art in: • Modeling counterparty credit risk: credit valuation adjustment, debit valuation adjustment, funding valuation adjustment, and wrong way risk. • Pricing and hedging in fixed-income markets and multi-curve interest-rate modeling. • Recent developments concerning contingent convertible bonds, the measuring of basis spreads, and the modeling of implied correlations.
Innovations in classification, data science, and information systems ; Proceedings of the 27th Annual Conference of the Gesellschaft für Klassifikation e.V., Brandenburg University of Technology, Cottbus, March 12-14, 2003
The volume presents innovations in data analysis and classification and gives an overview of the state of the art in these scientific fields and applications. Areas that receive considerable attention in the book are discrimination and clustering, data analysis and statistics, as well as applications in marketing, finance, and medicine. The reader will find material on recent technical and methodological developments and a large number of applications demonstrating the usefulness of the newly developed techniques.
Innovations in Bayesian Networks : Theory and Applications
Bayesian networks currently provide one of the most rapidly growing areas of research in computer science and statistics. In compiling this volume we have brought together contributions from some of the most prestigious researchers in this field.
Innovations for requirement analysis : From stakeholders needs to formal designs ; 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers
This book presents the thoroughly refereed and revised proceedings of the 14th Monterey workshop, held in Monterey, CA, USA, September 10-13, 2007. The theme of the workshop was Innovations for Requirement Analysis: From Stakeholders' Needs to Formal Designs.The 10 revised full papers included in the book were carefully selected during two rounds of reviewing and revision. These are preceded by the abstracts of the three keynote talks as well as a detailed introduction to the theme of the workshop, including a case study used by many participants to frame their analyses, and a summary of the workshop's results.
