الصفحة 12
الصفحة 12
Espaces vectoriels topologiques : Chapitres 1à 5 = Topological vector spaces : Chapters 1 to 5
The Mathematics Elements of Nicolas BOURBAKI aim to provide a rigorous, systematic presentation without prerequisites of mathematics from their foundations. This book is the fifth of the treatise; it is devoted to the basics of functional analysis. It contains in particular the Hahn-Banach theorem and the Banach-Steinhaus theorem.
Ernst Denert Award for Software Engineering 2020 : Practice Meets Foundations
This book provides an overview of the dissertations of the eleven nominees for the Ernst Denert Award for Software Engineering in 2020. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software. An essential requirement for the nominated work is its applicability and usability in industrial practice.
Ernst Denert Award for Software Engineering 2019 : Practice Meets Foundations
This book provides an overview of the dissertations of the five nominees for the Ernst Denert Award for Software Engineering in 2019. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software. An essential requirement for the nominated work is its applicability and usability in industrial practice.
Ennio De Giorgi : Selected Papers
The book contains a selection of 43 scientific papers by the great mathematician Ennio De Giorgi (1928-1996), which display the broad range of his achievements and his entire intellectual career as a problem solver and as a proponent of deep and ambitious mathematical theories. All papers are written in English and 17 of them appear also in their original Italian version in order to give an impression of De Giorgi’s original style. The editors also provide a short biography of Ennio De Giorgi and a detailed account of his scientific achievements, ranging from his seminal paper on the solution of Hilbert’s 19th problem to the theory of perimeter and minimal surfaces, the theory of G-convergence and the foundations of mathematics.
Enhancing urban environment by environmental upgrading and restoration ; Proceedings of the NATO Advanced Research Workshop on enhancing urban environment : environmental upgrading of municipal pollution control facilities and restoration of urban waters, Rome, Italy from 6 - 9 November 2003.
As urban areas keep growing, water infrastructure ages, and the requirements on environmental protection become more rigorous, there is a continual need for upgrading water pollution control facilities and restoring degraded urban waters. Such issues are addressed in this book by focusing on five major topics: (a) Upgrading stormwater management facilities, (b) Retrofitting / upgrading combined sewer overflow (CSO) facilities, (c) Optimising/upgrading sewage treatment plant performance, (d) Urban stream restoration, and (e) Challenges in restoring urban environment. Each chapter contains some overview papers followed by research or case study papers. Besides presentations of new approaches and accomplishments in the field of upgrading and restoration, several papers provide analysis of vast needs in this field in several countries of Central and Eastern Europe, which either recently joined the European Union (EU) or are preparing for accession, and need to comply with the existing EU directives dealing with environmental protection. As such, this book will be of primary interest to researchers and university lecturers dealing with environmental upgrading and restoration, environmental planners from all levels of government, municipal engineers and politicians, and finally the private industry representatives (consultants, private utilities and environmental technology suppliers) searching for new business opportunities among the new or aspiring members of EU.
Engineering theories of software intensive systems : Theory, algorithms, software, and applications
Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in applications of software technology, formal methods have to serve the needs and the quality of advanced software engineering methods, especially taking into account security aspects in Information Technology. This book presents mathematical foundations of software engineering and state-of-the-art engineering methods in their theoretical substance in the step towards practical applications to examine software engineering techniques and foundations used for industrial tasks.
Engineering societies in the agents world V : 5th international workshop, ESAW 2004, Toulouse, France, October 20-22, 2004 : revised selected and invited papers
The ?rst workshop “Engineering Societies in the Agents World” (ESAW) was held in August 2000, in conjunction with the 14th European Conference on Arti?cial Intelligence (ECAI 2000) in Berlin. It was launched by a group of - searchers who thought that the design and development of MASs (multi-agent systems) not only needed adequate theoretical foundations but also a call for new techniques, methodologies and infrastructures to develop MASs as arti?cial societies. The second ESAW was co-located with the European Agent Summer School (ACAI 2001) in Prague, and mostly focused on logics and languages, middleware, infrastructures and applications. In Madrid, the third ESAW c- centrated on models and methodologies and took place with the “Cooperative Information Agents” workshop (CIA 2002). The fourth ESAW in London was the ?rst one that ran as a stand-alone event: apart from the usual works on methodologies and models, it also stressed the issues of applications and m- tidisciplinary models. Based on the success of previous ESAWs, and also given that the di?cult challenges in the construction of arti?cial societies are not yet fully addressed, the ?fth ESAW workshop was organized in the same spirit as its predecessors.
Encyclopedia of Human Nutrition
Provides updated information on the foundations of nutrition science, along with the biology and functions of vitamins and other essential nutrients present in the human diet. The book's content offers a modern understanding of the links between diet and health effects, including diseases of recognized nutritional etiology. This overview of the genetic and molecular aspects of nutrient-health interrelationships includes important content on topics like nutrigenomics, metabolomics and the microbiome. In addition, the book provides global context, particularly on the issue of food production, sustainability and climate change.
Embedded System Design : Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things
A unique feature of this open access textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things. It starts with an introduction to the field and a survey of specification models and languages for embedded and cyber-physical systems
Eléments de Mathématique. Intégration : Chapitre 9 Intégration sur les espaces topologiques séparés
The Mathematics Elements of Nicolas BOURBAKI aim to provide a rigorous, systematic presentation without prerequisites of mathematics from their foundations. This ninth chapter of the Book of Integration, sixth Book of the elements of mathematics, is devoted to the integration in separate topological spaces not necessarily locally compact, which allows to extend the theory of the Fourier transformation to locally convex vector spaces .
Elementi di fisica teorica = Elements of theoretical physics
The approach in this book is less formal than traditional Theoretical Physics Foundations courses. The goal is still to achieve a genuine understanding of physical concepts and the ability to independently solve problems. The style is conversational, with abundant examples, and the presentation of all important steps is detailed, answering all the questions students typically ask in advance. The author has given space to recent and interesting developments, such as the scanning tunneling microscope and quantum cryptography. He has always sought to explain the rationale behind mathematical manipulations and the physical meaning of all measurable quantities. Above all, he has emphasized the aspects that make Theoretical Physics a science full of practical implications and a particularly fascinating intellectual adventure.
Electromagnetic Theory for Microwaves and Optoelectronics
This book is a first year graduate text on electromagnetic fields and waves. At the same time it serves as a useful reference for researchers and engineers in the areas of microwaves and optoelectronics. Following the presentation of the physical and mathematical foundations of electromagnetic theory, the book discusses the field analysis of electromagnetic waves confined in material boundaries, or so-called guided waves, electromagnetic waves in the dispersive media and anisotropic media, Gaussian beams and scalar diffraction theory. The theories and methods presented in the book are foundations of wireless engineering, microwave and millimeter wave techniques, optoelectronics and optical fiber communication.
Electromagnetic Field Matter Interactions in Thermoelasic Solids and Viscous Fluids
This book in two parts delivers a thorough derivation of nonrelativistic interaction models of electromagnetic field theories with thermoelastic solids and viscous fluids, the intention being to derive unique representations for the observable field quantities. Part I, a revised and updated version of LNP 88 "Field Matter Interactions in Thermoelastic Solids," investigates the foundations and the equivalence of various formulations of the interaction of the electromagnetic field with thermoelastic solids in the classical continuum physics limit, while Part II extensively surveys two major fields of applications, namely, magnetoelastic instabilities and vibrations, and electrorheological fluids.
Effective Computational Geometry for Curves and Surfaces
Computational geometry emerged as a discipline in the seventies and has had considerable success in improving the asymptotic complexity of the solutions to basic geometric problems including constructions of data structures,convex hulls, triangulations, Voronoi diagrams and geometric arrangements as well as geometric optimisation. The goal of this book is to take into consideration the multidisciplinary nature of the problem and to provide solid mathematical and algorithmic foundations for effiective computational geometry fo rcurves and surfaces. This book covers two main approaches. In a first part, we discuss exact geometric algorithms for curves and s- faces. We revisit two prominent data structures of computational geometry, namely arrangements (Chap. 1) and Voronoi diagrams (Chap. 2) in order to understand how these structures, which are well-known for linear objects, behave when de?ned on curved objects.
Education for the 21st Century - Impact of ICT and Digital Resources ; IFIP 19th World Computer Congress, TC-3 Education, August 21-24, 2006, Santiago, Chile
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured.
Economic Analysis of Information System Investment in Banking Industry
Explains in reahty, examines theoretically, and analyzes statistically information system investment in the banking industry with regard to the process of the information technology revolution. This kind of comprehensive research on the banking industry is the first in the world. It could be seen as an application study for Japanese financial deregulation after 1997. However, our project, the Workshop of Information System Investment, is a theoretical research venture, consisting originally, when it began in 1994, of economists and computer scientists. It aimed to measure the effect of com puter hardware and software on the modern economy, based on the microdata of each firm, and to extend the frontiers of economic science. It was, coin- dentally, the time when this project began full-scale operation, in July 1997, that the voluntary closure of Yamaichi Securities was decided. The failure of the Hokkaido Takushoku Bank was disclosed in November of the same year, and the breakdown, temporary nationalization, buying out, and mergers of several banks succeeded one another. Our research therefore suddenly got into the social spotlight on the application stage. Part I is the first history and strategic guidelines of information systems in the banking industry. Part II summarizes the economic analyses of informa tion system investment in the United States, Europe, and Japan. These parts are foundations for the statistical analyses in Part III.
Earthquake Geotechnical Engineering ; 4th International Conference on Earthquake Geotechnical Engineering-Invited Lectures
This book contains the full papers on which the invited lectures of the 4th International Conference on Geotechnical Earthquake Engineering (4ICEGE) were based. It provides a comprehensive overview of the progress achieved to date in soil dynamics and geotechnical earthquake engineering, as well as in engineering seismology and seismic risk assessment and management. In situ and laboratory testing, theoretical issues and numerical modeling of soil dynamics, seismic hazard with emphasis on the long-period ground motion displacements, site effects and microzonation, liquefaction assessment and mitigation, soil-structure interaction, performance based design of geotechnical structures, earthquake resistant design and performance of shallow and deep foundations, retaining structures, embankments and dams, underground structures and lifelines, are all among the different topics covered in this book. Interdisciplinary subjects such as vulnerability assessment of, transportation networks and lifelines as well as of geotechnical structures are also discussed. Finally, the book provides a thorough presentation of the existing worldwide important large-scale testing facilities and geotechnical strong ground motion arrays.
Earth Structures : In Transport, Water and Environmental Engineering
This book describes the principles of working with soil as a construction material, including two basic ways of treating it: geosynthetics and stabilization. The book discusses the design logic and ways to control Earth Structures, which differ significantly from other construction materials. Building with Earth involves greater uncertainty and risk, which means that there is a need for better design detailing and improvement in the quality of financial calculations. The general part of the book gives a detailed description of the principles of limit states according to Eurocode 7, after which geotechnical design is also described. Subsequent chapters concentrate on earth structures for transport, water, and environmental projects. The chapter on Earth Structures in transport engineering presents detailed coverage of limit states of stability and deformation. Earth Structures in water engineering prioritizes the limit state of internal erosion. Earth Structures in environmental engineering describes new designs, in which part of the structure is created from non-standard materials which are usually susceptible to internal collapse, double porosity, unsaturation, etc. It also focuses on protecting the surrounding environment from contamination.
Earth reinforcement and soil structures
Provides a comprehensive explanation and illustration of earth reinforcement and soil structures, from the viewpoint of practising engineers involved in design and construction. This edition has been updated to reflect the latest changes in theory, materials and practice.
Dynamics of soils and their engineering applications
Offers systematic dynamic analysis of soils and their engineering applications, including machine foundations, and aims to develop a clear understanding of the subject. It comprises sixteen chapters. Chapter 1 introduces the reader to the various problems in soil dynamics. In Chapter 2, concepts of theory of vibrations are discussed along with their applications in designing Vibration Absorbers and Pickups. Wave propagation in elastic medium including wave refraction in layered medium is covered in Chapter 3. Chapter 4 deals with the procedure of determining dynamic properties of soils using various laboratory and field tests. Dynamic earth pressures in retaining walls and dynamic bearing capacity of footings are dealt with in Chapters 5 and 6 respectively
