الصفحة 3
الصفحة 3
Il solito Albert e la piccola Dolly : La scienza dei bambini e dei ragazzi = The usual Albert and little Dolly : The science of children and young people
After hundreds of years, science has come out of the ivory tower and entered society. Today science is not done with laboratory research alone but by involving different social actors. There are scientists, but also politicians, administrators, entrepreneurs and ordinary people, young and old. Their fears, real or perceived, can put a stop to its development. Their trust and their hopes nourish it and create a climate of expectations that are not always met. In the great narrative of science, the first actors, the scientists, are from time to time destroyers and benefactors, saints or monsters, fathers of the Golem with feet of clay or of Frankestein who turns and destroys. Not infrequently then there are many Sisyphus who continually restart their business - and it is not excluded that in the eyes of some they share with Penelope the habit of undoing at night what they do during the day.
Human work interaction design : Designing for human work ; The 1st IFIP TC 13.6 WG Conference: Designing for Human Work, February 13-15, 2006, Madeira, Portugal
International Federation for Information Processing 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. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
History of Semiconductor Engineering
In this book, the author argues that the group of inventors was much larger. This richly illustrated account is a personal recollection of the development of integrated circuits and personalities – such as Russell Ohl, Karl Lark-Horovitz, William Shockley, Carl Frosch, Lincoln Derick, Calvin Fuller, Kurt Lehovec. Jean Hoerni, Sheldon Roberts, Jay Last, Isy Haas, Bob Norman, Dave Allison, Jim Nall, Tom Longo, Bob Widlar, Dave Talbert, Frank Wanlass, and Federico Faggin. Here is the first comprehensive behind-the-scenes account of the history of the integrated circuit, the microelectronics industry, and the people closely involved in the development of the transistor and the integrated circuit.
History of computing and education 2 (HCE2) ; IFIP 19th World Computer Congress, WG 9.7, TC 9: History of computing, Proceedings of the 2nd Conference on the history of computing and education, August 21-24, Santiago, Chile
International Federation for Information Processing 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. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Handbook Of Operations Research In Natural Resources
Handbook of Operations Research in Natural Resources will be the first systematic handbook treatment of quantitative modeling natural resource problems, their allocated efficient use, and societal and economic impact. Andrés Weintraub is the very top person in Natural Resource research. Moreover, he has an international reputation in OR and a former president of the International Federation of Operational Research Societies (IFORS). He has selected co-editors who are at the top of the sub-fields in natural resources: agriculture, fisheries, forestry, and mining. The book will cover these areas in terms with contributions from researchers on modeling natural research problems, quantifying data, developing algorithms, and discussing the benefits of research implementations. The handbook will include tutorial contributions when necessary.
Handbook of employment discrimination research : Rights and realities
This volume contains acollection of original papersbyleadinglegal scholars and social scientists that develop new perspectivesonanti-discriminationlaw, with anemphasison employment discrimination. The volume is introduced by three papers that broadly an-alyze anti-discriminationlaw andits relationshiptoexisting socialscience. we write as lawyer-sociologists attemptingto advance a socio-legalunderstanding of employment discrimination law. We examine the debate amongcom-petingconceptions of the anti-discrimination law which argue that the law has becometoo expansive, is too weak, or is too reliant on litigation. After review in gdoctrinal developments in the law and trends in claiming behavior before the EEOC and the federal courts through the 1990s to present, we apply the concept of the pyramid ofdisputes to discrimination claims to assess the ongoingdebate. Although the analysis demonstrates that there are significant gaps in our knowledge of how employment dis-crimination claims arise and are dealt with, it also suggests that the current system isdramatically under-inclusive of potentialclaimants.
Group theory : Application to the physics of condensed matter
Every process in physics is governed by selection rules that are the consequence of symmetry requirements. The beauty and strength of group theory resides in the transformation of many complex symmetry operations into a very simple linear algebra. This concise and class-tested book has been pedagogically tailored over 30 years MIT and 2 years at the University Federal of Minas Gerais (UFMG) in Brazil. The approach centers on the conviction that teaching group theory in close connection with applications helps students to learn, understand and use it for their own needs. For this reason, the theoretical background is confined to the first 4 introductory chapters (6-8 classroom hours). From there, each chapter develops new theory while introducing applications so that the students can best retain new concepts, build on concepts learned the previous week, and see interrelations between topics as presented.
Graph-based representations in pattern recognition ; 5th IAPR International Workshop, GbRPR 2005, Poitiers, France, April 11-13, 2005, Proceedings
Many vision problems have to deal with di?erent entities (regions, lines, line junctions, etc.) and their relationships. These entities together with their re- tionships may be encoded using graphs or hypergraphs. The structural inf- mation encoded by graphs allows computer vision algorithms to address both the features of the di?erent entities and the structural or topological relati- ships between them. Moreover, turning a computer vision problem into a graph problem allows one to access the full arsenal of graph algorithms developed in computer science. The Technical Committee (TC15, http://www.iapr.org/tcs.html) of the IAPR (International Association for Pattern Recognition) has been funded in order to federate and to encourage research work in these ?elds. Among its - tivities, TC15 encourages the organization of special graph sessions at many computer vision conferences and organizes the biennial workshop GbR.
GeomInt–Mechanical Integrity of Host Rocks
This book summarizes the results of the collaborative project “GeomInt: Geomechanical integrity of host and barrier rocks - experiment, modeling and analysis of discontinuities” within the Program: Geo Research for Sustainability (GEO: N) of the Federal Ministry of Education and Research (BMBF).
Funds, Flows and Time : An Alternative Approach to the Microeconomic Analysis of Productive Activities
The subject of this book is production, which is an important and extensive field in economic science. In fact, production, distribution and consump tion were long considered the three federated kingdoms which together formed the great empire of the economy. According to other slightly dif ferent traditions, production also held pride of place, specifically as a basic link in the long chain of social reproduction. Today, whatever the theoreti cal approach, production is a fundamental requirement for human survival. This was not, however, always the case. For much of the history of man kind hominids were hunter, scavenger and gatherers, with very little con trol over their environment, and extremely little in the way of artefacts with which to work. However, since the Neolithic revolution, productive processes have constituted an essential mechanism, providing human soci ety with goods and services to satisfy its needs and cravings.
Fundamental approaches to software engineering ; Vol. 3922 ; 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci?cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
Fundamental approaches to software engineering ; Vol. 3442 ; 8th International Conference, FASE 2005, Held as Part of the Joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials. We received over 550 submissions to the ?ve conferences this year, giving acceptance rates below 30% for each one. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems,andtheemphasisonsoftwareisnotintendedtobeexclusive.
From Specification to Embedded Systems Application
Application documents recent approaches and results presented at the International Embedded Systems Symposium (IESS 2005), which was held in August 2005 in Manaus (Brazil) and sponsored by International Federation for Information Processing (IFIP). The topics which have been chosen for this working conference are very timely: design methodology, modeling, specification, software synthesis, power management, formal verification, testing, network, communication systems, distributed control systems, resource management and special aspects in system design.
From model-driven design to resource management for distributed embedded systems ; IFIP TC 10 Working conference on distributed and parallel embedded systems (DIPES 2006) October 11-13, 2006, Braga, Portugal
From Model-Driven Design to Resource Management for Distributed Embedded Systems contains 16 original contributions as well as 12 invited papers by distinguished invited speakers. These papers were presented at the Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), which was held in October 2006 in Braga, Portugal, and sponsored by the International Federation for Information Processing (IFIP). This volume covers the following very timely topics: model-driven design, test and evolution of embedded systems, timing analysis and predictability, scheduling, allocation, communication and resource management in distributed real-time systems.
Foundations of software science and computational structures ; Vol.3441 : 8th International Conference, FOSSACS 2005, Held as part of the joint European conferences on theory and practice of software, ETAPS 2005
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was est- lished in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite wo- shops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials. We - ceived over 550 submissions to the ?ve conferences this year, giving acceptance rates below 30% for each one. Congratulations to all the authors who made it to the ?nal program! I hope that most of the other authors still found a way of participating in this exciting event and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci?cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities are all well within its scope.
Formal techniques for distributed objects, components, and systems ; 40th IFIP WG 6.1 International conference, FORTE 2020, Held as Part of the 15th International Federated Conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020.*
Flowing Matter
This book presents an introduction to selected research topics in the broad field of flowing matter, including the dynamics of fluids with a complex internal structure -from nematic fluids to soft glasses- as well as active matter and turbulent phenomena. Flowing matter is a subject at the crossroads between physics, mathematics, chemistry, engineering, biology and earth sciences, and relies on a multidisciplinary approach to describe the emergence of the macroscopic behaviours in a system from the coordinated dynamics of its microscopic constituents. Depending on the microscopic interactions, an assembly of molecules or of mesoscopic particles can flow like a simple Newtonian fluid, deform elastically like a solid or behave in a complex manner. When the internal constituents are active, as for biological entities, one generally observes complex large-scale collective motions. Phenomenology is further complicated by the invariable tendency of fluids to display chaos at the large scales or when stirred strongly enough. This volume presents several research topics that address these phenomena encompassing the traditional micro-, meso-, and macro-scales descriptions, and contributes to our understanding of the fundamentals of flowing matter.
Federation over the Web ; International Workshop, Dagstuhl Castle, Germany, May 1-6, 2005, Revised Selected Papers
The lives of people all around the world, especially in industrialized nations, continue to be changed by the presence and growth of the Internet. Its in?uence is felt at scales ranging from private lifestyles to national economies, boosting thepaceatwhichmoderninformationandcommunicationtechnologiesin?uence personal choices along with business processes and scienti?c endeavors. In addition to its billions of HTML pages, the Web can now be seen as an open repository of computing resources. These resources provide access to computational services as well as data repositories, through a rapidly growing variety of Web applications and Web services.
Federated AI for Real-World Business Scenarios
Real-world AI applications frequently have training data distributed in many different locations, with data at different sites having different properties and different formats. In many cases, data movement is not permitted due to security concerns, bandwidth, cost or regulatory restriction. Under these conditions, techniques of federated learning can enable creation of practical applications. Creating practical applications requires implementation of the cycle of learning from data, inferring from data, and acting based on the inference.
Explosion-Resistant Buildings : Design, Analysis, and Case Studies
This excellent book highlights all aspects of the analysis and design of buildings subject to impact, explosion and fire. It is a definitive reference book and contains 10 chapters from a wide international prospective. Three-dimensional finite element and discrete element techniques are included. They are applied to buildings such as the World Trade Center (WTC Twin Towers) and the Federal Building in Oklahoma on the basis of the designers drawings, data and other information. Many small case studies are also included. The book has a comprehensive bibliography and a large appendix providing background analysis and computer subroutines of recently developed programs.
