الصفحة 27
الصفحة 27
Integrated formal methods ; 3rd International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
IFM 2002 explored the relations between formal methods and graphical notations, especially the industrial standard language for software design, the Unified Modeling Language (UML). The themes of IFM 2002 reflect what we believe is a growing trend in the Formal Methods and Software Engineering research communities. Over the last threedecades,computer scientists have developed a range of formalisms focusing on particular aspects of behavior or analysis, such as sequential program structures, concurrent program structures, data and information structures, temporal reasoning, deductive proof, and model checking. Much effort is now being devoted to integrating these methods in order to combine their advantages and ensure they scale up to industrial needs. Graphical notations are now widely used in software engineering and there is growing recognition of the importance of providing these with the for mal underpinnings and form alanalysis capabilities found in formal methods.
Integrated Chemical Microsensor Systems in CMOS Technology
This book, "Integrated Chemical Microsensor Systems in CMOS Technology", provides a comprehensive treatment of the highly interdisciplinary field of CMOS chemical microsensor systems. It is targeted at students, scientists and engineers who are interested in gaining an introduction to the field of chemical sensing since all the necessary fundamental knowledge is included. However, as it provides detailed information on all important issues related to the realization of chemical microsensors in CMOS technology, it also addresses experts well familiar with the field.
Integrated Biochips for DNA Analysis
The objective of this book is to provide up-to-date coverage of some of the emerging developments in the field of integrated DNA biochips. It will prove a useful source of information for researchers in the field and for those who are just entering the field of biochip research.
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.
Intangible capital and growth : Essays on labor productivity, monetary economics, and political economy ; Vol.1
It is now widely recognized that intangible capital has been a crucial element in the growth performance of these economies and their firms. In the author's view, “intangible capital” serves as the most appropriate umbrella term for capturing several dimensions of capital that are not tangible in nature but are nevertheless fundamentally important for growth. The term encompasses investments in education (human capital) and in informal (social capital) and formal (rule of law) institutions by the public sector and households, as well as investments by businesses aimed at enhancing their knowledge base, such as software, innovative property, and economic competencies.
Insurance intermediation : An economic analysis of the information services market
Insurance intermediaries can help consumers to economize on information and transaction costs in insurance markets. However, competing intermediaries provide heterogeneous information services, which are difficult to assess by incompletely informed consumers. Conduct and performance in the market for insurance information services are analyzed by applying search theoretical and industrial organization approaches. Based on a sample of 927 insurance intermediaries, the factors that affect the quality of the information services provided by them are studied empirically. The results obtained support the main hypotheses derived from industrial organization theories as to the poor working of quality competition under incomplete and asymmetric information on the side of consumers.
Insurance distribution directive : A legal analysis
This book of the AIDA Europe Research Series on Insurance Law and Regulation offers the first comprehensive legal and regulatory analysis of the Insurance Distribution Directive (IDD).
Instructional Scaffolding in STEM Education : Strategies and Efficacy Evidence
This book uses meta-analysis to synthesize research on scaffolding and scaffolding-related interventions in STEM (science, technology, engineering, and mathematics) education. Specifically, the volume examines the extent to which study quality, assessment type, and scaffolding characteristics (strategy, intended outcome, fading schedule, scaffolding intervention, and paired intervention) influence cognitive student outcomes. It includes detailed descriptions of the theoretical foundations of scaffolding, scaffolding strategies that have been proposed to meet different intended learning outcomes in STEM, and associated efficacy information. Furthermore, the book describes assessment strategies and study designs which can be used to evaluate the influence of scaffolding, and suggests new fields in which scaffolding strategies that have proven efficacious may be used.
Institutional Reform for Innovation and Entrepreneurship : An Agenda for Europe
The authors of this book advise the economies of the European Union to become more entrepreneurial in promoting innovation and economic growth. The authors propose a reform strategy with respect to several aspects to achieve this goal. Starting with the rule of law and the protection of property rights; the tax system; the authors deal with regulations governing savings, capital and finance, and the organization of labor markets and social insurance systems. Framework strategies related to the regulations governing goods and service markets, bankruptcy and insolvency are also put forward. A core understanding and future path is also provided towards R&D, commercialization and knowledge spillovers; human capital investments; and informal institutions.
Insider attack and cyber security : Beyond the hacker
This book sets an agenda for an ongoing research initiative to solve one of the most vexing problems encountered in computer security, and includes the following topics: critical IT infrastructure protection, insider threats, awareness and dealing with nefarious human activities in a manner that respects individual liberties and privacy policies of organizations while providing the best protection of critical resources and services. In some sense, the insider problem is the ultimate security problem. This volume concludes with technical and legal challenges facing researchers who study and propose solutions to mitigate insider attacks.
Insects as natural enemies : A practical perspective
This book it is an account of major aspects of the biology of predators and parasitoids, punctuated with information and advice on which experiments or observations to conduct, and how to carry them out. Guidance is provided, where necessary, on the literature that may need to be consulted on particular topics.
Inorganic Reactions in Water
Organized to facilitate reference to the reagents involved, this book describes the reactions of the elements and their mostly simpler compounds, primarily inorganic ones and primarily in water. It emphasizes the similarities and differences in actual chemical behavior, as opposed to electronic structures and theories, although not exclusively.Inorganic Reactions in Water again makes available some of the more comprehensive coverage of descriptive aqueous chemistry found in older sources, but now corrected and interpreted with the added insights of the last seven decades. It also provides new information, including reactions of the recently discovered elements.
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 Internet Computing Systems ; 2nd International Workshop, IICS 2002, Kühlungsborn, Germany, June 20-22, 2002, Proceedings
Constitutes the proceedings of the second international workshop on Innovative Internet Computing Systems, held in Germany in 2002. The 20 papers cover large-scale distributed computing infrastructures, management and retrieval of web-based information, content classification and more.
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 dosage forms : Design and development at early stage
Provides information that is essential for the drug development effort Presents the latest advances in the field and describes in detail innovative formulations, such as nanosuspensions, micelles, and cocrystals Describes current approaches in early pre-formulation to achieve the best in vivo results Addresses regulatory and safety aspects, which are key considerations for pharmaceutical companies Includes case studies from recent drug development programs to illustrate the practical challenges of preformulation design
Innovations in Hybrid Intelligent Systems
Hybrid Artificial Intelligence Systems (HAIS) combines symbolic and sub-symbolic techniques to construct more robust and reliable problem solving models. This volume focused on "Hybrid Artificial Intelligence Systems" contains a collection of papers that were presented at the 2nd International Workshop on Hybrid Artificial Intelligence Systems, held in 12 - 13 November, 2007, Salamanca, Spain. This carefully edited book provides a comprehensive overview of the recent advances in the hybrid intelligent systems and covers a wide range of application areas, including data analysis and data mining, intelligent control, pattern recognition, robotics, optimization, etc. The book is aimed at researchers, practitioners and postgraduate students who are engaged in developing and applying advanced intelligent systems principles to solving real-world problems.
Innovations in fuzzy clustering : Theory and applications
There is a great interest in clustering techniques due to the vast amount of data generated in every field including business, health, science, engineering, aerospace, management and so on. It is essential to extract useful information from the data. Clustering techniques are widely used in pattern recognition and related applications. The following contents are included: Introduction to Fuzzy Clustering / Fuzzy Clustering based Principal Component Analysis / Fuzzy Clustering based Regression Analysis Kernel based Fuzzy Clustering / Evaluation of Fuzzy Clustering / Self-Organized Fuzzy Clustering
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 3D Geoinformation Science
Covers various aspects of spatial data modelling specifically regarding three-dimensional (3D) modelling and structuring. The realization of "true" 3D geoinformation spatial systems requires a high input, and the developmental process is taking place in various research centers and universities around the globe.
