الصفحة 13
الصفحة 13
From computer literacy to informatics fundamentals ; International conference on informatics in secondary schools : Evolution and perspectives, ISSEP 2005, Klagenfurt, Austria, March 30-April 1, 2005, Proceedings
Duetothepenetrationofinformationtechnologyintosocietyatlargeandinto schools in particular, the relationship between informatics and education leading togeneralcomputerliteracyortotheuseofIT-basedapproachesinconventional subjects, e-learning in school, is an evident focus of many contributions. According to the broad scope of the conference its proceedings are split into two volumes. This volume, From Computer Literacy to Informatics Fundam- tals, covers papers reporting on national strategies of informatics instruction and their evolution in accordance with the penetration of information proce- ing equipment in our daily life. In one way or another, these strategies strive to accommodate the needs of basic skills in information and communication te- nology (ICT) with educational principles that can be conveyed by informatics instruction in a traditional sense. Hence, the papers on national strategies are complementedintwoways: ?rstly, bycontributionsthatstrivetoidentifyfun- mental issues, informatics can contribute to the general education process of the youth; and, secondly, by papers presenting approaches on how to link or even to combine instruction about such informatics fundamentals with the need to introduce pupils to the productive use of ICT.
Free Boundary Problems : Theory and Applications
This book gathersa collection of refereed articles containing original result srepo- ing the recent originalcontributions of the lectures and communications presented at the Free Boundary Problems (FBP2005) Conference that took place at the University of Coimbra, Portugal, from 7 to 12 of June 2005. They deal with the Mathematics of a broad class of models and problems involving nonlinear partial diferentialequationsarising inPhysics, Engineering, Biology and Finance. Among the main topics, the talks considered free boundary problems in biomedicine, in porous media, in thermodynamic modeling.
Fracture and Failure of Natural Building Stones : Applications in the Restoration of Ancient Monuments
The book consists of invited papers written by leading experts in the field. It contains original contributions concerning the latest developments in the fracture and failure of the natural building stones and their application in the restoration of ancient monuments. It covers a wide range of subjects - cluding purely mechanical aspects, physico-chemical approaches, appli- tions and case studies. The papers are arranged in two parts with a total of nine chapters. Part I is devoted to purely mechanical and structural aspects and applications, while Part II is devoted to the physico-chemical and environmental aspects including thermal effects.
Foundations of Trusted Autonomy
This book establishes the foundations needed to realize the ultimate goals for artificial intelligence, such as autonomy and trustworthiness. Aimed at scientists, researchers, technologists, practitioners, and students, it brings together contributions offering the basics, the challenges and the state-of-the-art on trusted autonomous systems in a single volume. The book is structured in three parts, with chapters written by eminent researchers and outstanding practitioners and users in the field. The first part covers foundational artificial intelligence technologies, while the second part covers philosophical, practical and technological perspectives on trust. Lastly, the third part presents advanced topics necessary to create future trusted autonomous systems. The book augments theory with real-world applications including cyber security, defence and space.
Foundations in microeconomic theory : A volume in honor of Hugo F. Sonnenschein
What a wonderful occasion it is to be celebrating 65 years of Hugo Sonnenschein! Given his many contributions to economic research and academia more broadly, there is much to celebrate. This volume, presented to Hugo at a confer ence in his honor at the University of Chicago in October 2005, highlights one of his deepest contributions. It is perhaps the hardest to detect from reading his bios and vita; but something that he is famous for among economists in general and economic theorists in particular. It is his incredible record as a mentor and advisor of students. In putting this volume together, we have collected papers from Hugo's students with the aim of demonstrating his tremendous impact as an advisor. The papers span decades, with the earliest coming from his advisees in the first years of his career and the most recent coming in the last two years after his return to research and advising that followed his adventures as a university administrator.
Fortschritte der Chemie organischer Naturstoffe 89 = Progress in the chemistry of organic natural products
The volumes of this classic series, now referred to simply as "Zechmeister" after its founder, L. Zechmeister, have appeared under the Springer Imprint ever since the series' inauguration in 1938. The volumes contain contributions on various topics related to the origin, distribution, chemistry, synthesis, biochemistry, function or use of various classes of naturally occurring substances ranging from small molecules to biopolymers. Each contribution is written by a recognized authority in his field and provides a comprehensive and up-to-date review of the topic in question. Addressed to biologists, technologists, and chemists alike, the series can be used by the expert as a source of information and literature citations and by the non-expert as a means of orientation in a rapidly developing discipline.
Fortschritte der Chemie organischer Naturstoffe = Progress in the chemistry of organic natural products 88
The volumes of this classic series, now referred to simply as "Zechmeister" after its founder, L. Zechmeister, have appeared under the Springer Imprint ever since the series' inauguration in 1938. The volumes contain contributions on various topics related to the origin, distribution, chemistry, synthesis, biochemistry, function or use of various classes of naturally occurring substances ranging from small molecules to biopolymers. Each contribution is written by a recognized authority in his field and provides a comprehensive and up-to-date review of the topic in question. Addressed to biologists, technologists, and chemists alike, the series can be used by the expert as a source of information and literature citations and by the non-expert as a means of orientation in a rapidly developing discipline.
Formulation of Appropriate Laws : A New Integrated Multidisciplinary Approach and an Application to Electronic Funds Transfer Regulation
This book presents such an approach using the Electronic Funds Transfer (EFT) regulation in Australia as its vehicle of analysis. The two-pronged approach offered in this book can be applied to formulate efficient laws that maximise the social welfare of the country, irrespective of social, political and economic organisations of the country under study. As such, this book makes several distinct contributions to the literature in law as it: . develops a new integrated multi-disciplinary approach using quantitative methods to formulate appropriate laws; . applies recent developments in welfare economics.
Formal techniques for networked and distributed systems - FORTE 2005 ; 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee 6 (TC6) of the International Fed- ation for InformationProcessing (IFIP).The conferenceseries started in 1981underthe name PSTV (ProtocolSpeci?cation, Testing, and Veri?cation).In 1988,a second series under the name FORTE was started. Both series merged to FORTE/PSTV in 1996. The conference name was changed to FORTE in 2001. During its 24-year history, many important contributions have been reported in the conference series. The last ?ve me- ings of FORTE were held in Pisa (Italy), Cheju Island (Korea), Houston (USA), Berlin (Germany), and Madrid (Spain). The 25th FORTE was held from Sunday to Wednesday, October 2–5, 2005 on the beautiful campus of the National Taiwan University (NTU), Taipei, Taiwan, ROC.
Formal Modeling and Analysis of Timed Systems ; Vol.4202 ; 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from di?erent d- ciplines that share interests in modelling and analysis of timed systems. In this volume, there are articles on: – Foundations and Semantics: contributions to the theoretical foundations of timed systems and timed formal languages as well as comparison between di?erentmodelsusedbydi?erentcommunities(timedautomata,timedPetri nets, timed MSCs, hybrid automata, timed process algebra, timed temporal logics, timed abstract state machines, as well as probabilistic models). – Methods and Tools: techniques, algorithms, data structures, and software toolsforanalyzingtimedsystemsandresolvingtemporalconstraints(mod- checking, simulation, robustness analysis, scheduling, etc).
Formal Methods in Systems Biology ; 1st International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, FMSB 2008, held in Cambridge, UK, in June, 2008.The 9 revised full papers presented were carefully reviewed and selected from the workshop lectures that all were invited contributions. The purpose of this meeting was to identify techniques for the specification, development and verification of biological models. It also focused on the design of tools to execute and analyze biological models that can significantly advance our understanding of biological systems.
Formal concept analysis ; Vol. 3403 ; 3rd International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings
This book constitutes a comprehensive and systematic presentation of the state of the art of formal concept analysis and its applications. The first part of the book is devoted to foundational and methodological topics. The contributions in the second part demonstrate how formal concept analysis is successfully used outside of mathematics, in linguistics, text retrieval, association rule mining, data analysis, and economics. The third part presents applications in software engineering.
Foresight and Design: Composing Future Places
Every plan, pro-forma, design, building contract, and construction schedule is a proposal about future places. To help improve such proposals, Foresight and Design: Composing Future Places presents conceptual tools to inform design and outline the need for designers to rigorously think about potential futures. Our built compositions are constantly transforming due to continuing urbanization, demographic shifts, climate change, the evolution of virtual worlds, economic and health disparities, and other unforeseen trends. Five brief case studies interspersed between the chapters serve as examples of practitioners exercising foresight through these practices. Contributions include a description of a regional design process in Afghanistan by Anthony Fettes of Sasaki Architects, and an exploration into the Indigenous Futurism model-making competition by Anjelica Gallegos.
Forensic Anthropology and Medicine : Complementary Sciences From Recovery to Cause of Death
The aim of this book is to dissect forensic anthropology and forensic pathology in its various and valuable contributions to contemporary society. It gives answers and approaches key questions to this sciences' growing audience within different countries in the recent years. It aims to provide a practical approach to the investigation of bodies that are not fresh enough to be considered a normal forensic case.
FM 2008 : Formal methods ; 15th International symposium on formal methods, Turku, Finland, May 26-30, 2008 Proceedings
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008.The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.
FM 2006: Formal Methods ; 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized in topical sections on interactive verification, formal modelling of systems, real time, industrial experience, specification and refinement, programming languages, algebra, formal modelling of systems, and more.
Flexible Databases Supporting Imprecision and Uncertainty
This volume collects selected contributions on the application of heterogeneous methods for managing uncertainty and imprecision in databases. It contains both survey chapters on classic topics such as "flexible querying in databases", and up to date ontributions on "database models to represent imperfect data". Further, it includes specific contributions on uncertainty management in database integration, and in representing and querying semistructured and spatial data. These topics are of particular relevance nowadays with the diffusion of the internet since, most of the time, applications require information spread across several information sources and their integration may result in inconsistent information.
Finite-state methods and natural language processing ; 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Finite-State Methods in Natural Language Processing, FSMNLP 2005, held in Helsinki, Finland, September 2005. The book presents 24 revised full papers and seven revised poster papers together with two invited contributions and abstracts of six software demos. Topics include morphology, optimality theory, some special FSM families, weighted FSM algorithms, FSM representations, exploration, ordered structures, and surface parsing.
Field and Service Robotics ; Vol. 24 : Recent Advances in Research and Applications
This unique collection is the post-conference proceedings of the 4th FSR in Lake Yamanaka, Japan at July 2003. This book edited by Shin’ichi Yuta, Hajime Asama, Sebastian Thrun, Erwin Prassler and Takashi Tsubouchi is rich by topics and authoritative contributors and presents the current developments and new directions in field and service robotics. The contents of these contributions represent a cross-section of the current state of robotics research from one particular aspect: field and service applications, and how they reflect on the theoretical basis of subsequent developments. Pursuing technologies aimed at realizing skilful, smart, reliable, robust field and service robots is the big challenge running throughout this focused collection.
Fault in criminal law : A research companion
Addresses three specific elements within the arena of fault, embracing an overarching synergy between them. This structure facilitates an examination of UK provisions, with specialist contributions on domestic law, and in contrasting these provisions against alternative domestic jurisdictions as well as comparative contributions addressing a particularised research grid for content. The comparative chapters provide a wider background of how other legal systems treat a variety of specialised issues relating to fault elements in the context of the Criminal Law.
