الصفحة 6
الصفحة 6
Frontiers of combining systems ; 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held in Vienna, Austria. This book includes 19 full papers that are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; and others.
Frontiers in Quantum Systems in Chemistry and Physics
The basic theory of matter on the nanoscale is quantum mechanics and the application of quantum mechanics to the study of the many-body problem in molecules and materials is a rapidly developing field of research. Frontiers in Quantum Systems in Chemistry and Physics defines the leading edge; hence it describes the new theoretical developments available to a wider audience and presents theories which provide, for example, new insights into the structure of increasing complex molecular systems or molecules in a variety of environments. New computational techniques and practices are accessed, exploiting the wide range of equipment available to the researcher from “leadership” class supercomputers to distributed workstations and the internet.
Frontiers in Number Theory, Physics, and Geometry II : On Conformal Field Theories, Discrete Groups and Renormalization
The present book collects most of the courses and seminars delivered at the meetingentitled"FrontiersinNumberTheory, PhysicsandGeometry", which took place at the Centrede PhysiquedesHouches in theFrenchAlps, March9- 21,2003. Itisdividedintotwovolumes. VolumeIcontainsthecontributionson three broad topics: Random matrices, Zeta functions and Dynamical systems. The present volume contains sixteen contribution sonthreethemes:Conformal?eld theories for strings and branes, Discrete groups and automorphic forms and?nally, Hopf algebras and renormalization. The relation between Mathematics and Physics has a long history.
Foundations of software science and computational structures ; 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007 as part of ETAPS 2007. The papers cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.
Foundations of software science and computation structures ; 25th International conference, FOSSACS 2022, Held as Part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022, proceedings
This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Foundations of software science and computation structures ; 21st International conference, FOSSACS 2018, Held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. proceedings
Contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2018), which was held April 16–19, 2018, in Thessaloniki, Greece. The conference is dedicated to foundational research with a clear significance for software science and brings together research on theories and methods to support the analysis, integration, synthesis,transformation, and verification of programs and software systems.
Foundations of information and knowledge systems ; 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2008 held in Pisa, Italy, in February 2008. The 13 revised full papers presented together with 9 revised short papers and 3 invited lectures were carefully selected during two rounds of reviewing and improvement from from 79 submissions. The papers deal with any foundational aspect of information and knowledge systems, including submissions from researchers working in fields such as discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, geometry, analysis, statistics and optimisation who are interested in applying their ideas, theories and methods to research on information and knowledge systems.
Foundations of fuzzy logic and soft computing ; 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, Junw 18-21, 2007, Proceedings
This book comprises a selection of papers from IFSA 2007 on new methods and theories that contribute to the foundations of fuzzy logic and soft computing. methodologies. Soft computing consists of several computing paradigms which can be used to produce powerful intelligent systems for solving real-world problems.
Foundations of Data Mining and Knowledge Discovery
This volume presents the results of investigations into the foundations of the discipline, and represents the state-of-the-art for much of the current research. This book will prove extremely valuable and fruitful for data mining researchers, no matter whether they would like to uncover the fundamental principles behind data mining, or apply the theories to practical applications.
Foundations of 3D Graphics Programming : Using JOGL and Java3D ; 2nd ed.
This thoroughly updated and enhanced second edition of Foundations of 3D Graphics Programming is an innovative shortcut to graphics theory and programming using JOGL, a new vehicle of 3D graphics programming in Java. This revised edition of the successful, reader-friendly text covers all graphics basics and several advanced topics, as well as some basic concepts in Java programming for those who currently are C/C++ programmers. Specifically, it provides all the core aspects of OpenGL programming in Java using JOGL, along with concisely presented computer graphics theories. In addition, it uses a top-down approach to lead the reader into programming and applications up-front. The content about theory provides a high-level understanding of all basic graphics, and of using JOGL instead of implementing a graphics system. Explanations are integrated with the sample programs, which are specifically designed for learning and accompanying this book.
Foundations and advances in data mining
In this carefully edited volume a theoretical foundation as well as important new directions for data-mining research are presented. It brings together a set of well respected data mining theoreticians and researchers with practical data mining experiences. The presented theories will give data mining practitioners a scientific perspective in data mining and thus provide more insight into their problems, and the provided new data mining topics can be expected to stimulate further research in these important directions.
Foundational texts in modern criminal law
Presents essays in which scholars from various countries and legal systems engage critically with formative texts in criminal legal thought since Hobbes. It examines the emergence of a transnational canon of criminal law by documenting its intellectual and disciplinary history and provides a snapshot of contemporary work on criminal law within that historical and comparative context.
Formalizing Medieval Logical Theories : Suppositio, Consequentiae and Obligationes
This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented – a crucial concept in the current logical panorama, which as such receives surprisingly little attention.
Formal techniques for computer systems and business processes ; European performance engineering workshop, EPEW 2005 and International workshop on web services and formal methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering Workshop) and WS-FM 2005 (Web Services and Formal Methods) held in Versailles, France in September 2005. The 20 revised full papers presented were carefully reviewed and selected from 59 submissions. For EPEW 2005 only 10 papers - of the 32 submitted - were accepted for presentation; they deal with queueing theory, bounding techniques, stochastic model checking, communication schemes analysis for high-speed LAN, QOS analysis in wireless ad-hoc networks and optical networks analysis. The main topics of the 10 papers accepted for WS-FM 2005 - from 27 submissions - include: protocols and standards for WS (SOAP, WSDL, UDDI, etc.); languages and description methodologies for Choreography/Orchestration/Workflow (BPML, XLANG and BizTalk, WSFL, WS-BPEL, etc.); coordination techniques for WS (transactions, agreement, coordination services, etc.); semantics-based dynamic WS discovery services (based on Semantic Web/Ontology Techniques or other semantic theories); security, performance evaluation and quality of service of WS; semi-structured data and XML related technologies; comparisons with different related technologies/approaches.
Formal Ontology and Conceptual Realism
Theories about the ontological structure of the world have generally been described in informal, intuitive terms, and the arguments for and against them, including their consistency and adequacy as explanatory frameworks, have generally been given in even more informal terms. The goal of formal ontology is to correct for these deficiencies. By formally reconstructing an intuitive, informal ontological scheme as a formal ontology we can better determine the consistency and adequacy of that scheme; and then by comparing different reconstructed schemes with one another we can much better evaluate the arguments for and against them and come to a decision as to which system it is best to adopt.
Finding Lost Space : Theories of Urban Design
Offers a comprehensive and systematic examination of the crisis of the contemporary city and the means by which this crisis can be addressed. Finding Lost Space traces leading urban spatial design theories that have emerged over the past eighty years: the principles of Sitte and Howard; the impact of and reactions to the Functionalist movement; and designs developed by Team 10, Robert Venturi, the Krier brothers, and Fumihiko Maki, to name a few. In addition to discussions of historic precedents, contemporary approaches to urban spatial design are explored.
Fallibility at Work : Rethinking Excellence and Error in Organizations
This book addresses how organizations can deal with human fallibility in order to create space for excellence at work. Some mistakes in work settings put lives at risk, while others create openings for innovative breakthroughs. In order to deal constructively with fallibility, an organization needs a communication climate where it is normal to voice opinions, admit mistakes, and ask for help in critical situations. The book builds on interviews with practitioners in healthcare, aviation, IT, public governance, and industry. It connects narratives from these fields with theories from organizational psychology and philosophy, as well as from positive organizational scholarship. In the final chapter, an overall ethics of fallibility at work is outlined. Fallibility at Work contributes to research in multiple academic disciplines, but also reaches out to practitioners who are interested in the connections between error and excellence in organizations.
Extreme Ocean Waves
The book details the vast progress that has been achieved in the understanding of the physical mechanisms of rogue wave phenomenon in recent years. The selected articles address such issues as the formation of freak waves due to modulation instability of nonlinear wave field, physical and statistical properties of rogue wave generation in deep water and in shallow water, various models of nonlinear water waves, special analysis of nonlinear resonances between water waves and the relation between observations and freak wave theories.
Exploring Resilience : A Scientific Journey from Practice to Theory
Resilience has become an important topic on the safety research agenda and in organizational practice. Most empirical work on resilience has been descriptive, identifying characteristics of work and organizing activity which allow organizations to cope with unexpected situations. Fewer studies have developed testable models and theories that can be used to support interventions aiming to increase resilience and improve safety. In addition, the absent integration of different system levels from individuals, teams, organizations, regulatory bodies, and policy level in theory and practice imply that mechanisms through which resilience is linked across complex systems are not yet well understood. Scientific efforts have been made to develop constructs and models that present relationships; however, these cannot be characterized as sufficient for theory building. There is a need for taking a broader look at resilience practices as a foundation for developing a theoretical framework that can help improve safety in complex systems.
Examining Innovation Management from a Fair Process Perspective
Companies nowadays still differ considerably in that they interact with employees. This interaction depends on different organisational cultures, leadership styles, and the ways in which information and communication take place. A recent trend, even in economic theory, is that interactions are valued in themselves and not solely to achieve rational economic maximisation. People care about outcomes, but they also care about the interactional processes that produce those outcomes. Thomas Limberg investigates a new approach to the management of human relationships in a knowledge-based work environment and analyses the relationship between fair process and innovation performance. Key findings are that social interactions have a significant influence on execution performance in organisations, and fairness can have positive effects on innovative behaviour and therefore on innovation performance. In the transition from a production-based to a knowledge-based economy, fair process is becoming a powerful tool for managing human interactions and for influencing attitudes and behaviours that are so critical in reaching high innovation performance.
