You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
The book contains the Proceedings of the 2010 Conference of the Italian Systems Society. Papers deal with the interdisciplinary study of processes of changing related to a wide variety of specific disciplinary aspects. Classical attempts to deal with them, based on generalising approaches used to study the movement of bodies and environmental influence, have included ineffective reductionistic simplifications. Indeed changing also relates, for instance, to processes of acquisition and varying properties such as for software; growing and aging biological systems; learning/cognitive systems; and socio-economic systems growing and developing through innovations. Some approaches to modelling suc...
This book describes a novel methodology for studying algorithmic skills, intended as cognitive activities related to rule-based symbolic transformation, and argues that some human computational abilities may be interpreted and analyzed as genuine examples of extended cognition. It shows that the performance of these abilities relies not only on innate neurocognitive systems or language-related skills, but also on external tools and general agent–environment interactions. Further, it asserts that a low-level analysis, based on a set of core neurocognitive systems linking numbers and language, is not sufficient to explain some specific forms of high-level numerical skills, like those involve...
This book constitutes the thoroughly refereed post-proceedings of the International Symposium on Trustworthy Global Computing, TGC 2005, held in Edinburgh, UK, in April 2005, and colocated with the events of ETAPS 2005. The 11 revised full papers presented together with 8 papers contributed by the invited speakers were carefully selected during 2 rounds of reviewing and improvement from numerous submissions. Topical issues covered by the workshop are resource usage, language-based security, theories of trust and authentication, privacy, reliability and business integrity access control and mechanisms for enforcing them, models of interaction and dynamic components management, language concepts and abstraction mechanisms, test generators, symbolic interpreters, type checkers, finite state model checkers, theorem provers, software principles to support debugging and verification.
The first comprehensive presentation of the dynamical approach to cognition. It contains a representative sampling of original, current research on topics such as perception, motor control, speech and language, decision making, and development.
This book constitutes the refereed proceedings of the 14th International Conference on Foundations of Software Science and computational Structures, FOSSACS 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together with one full-paper length invited talk were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on coalgebra and computability, type theory, process calculi, automata theory, semantics, binding, security, and program analysis.
This volume collects papers presented at the Founding Conference of the European Philosophy of Science Association meeting, held November 2007. It provides an excellent overview of the state of the art in philosophy of science in different European countries.
This book contains the Proceedings of the 2007 Conference of the Italian Systems Society. Papers deal with the interdisciplinary study of processes of emergence, considering theoretical aspects and applications from physics, cognitive science, biology, artificial intelligence, economics, architecture, philosophy, music and social systems. Such an interdisciplinary study implies the need to model and distinguish, in different disciplinary contexts, the establishment of structures, systems and systemic properties. Systems, as modeled by the observer, not only possess properties, but are also able to make emergent new properties. While current disciplinary models of emergence are based on theories of phase transitions, bifurcations, dissipative structures, multiple systems and organization, the present volume focuses on both generalizing those disciplinary models and identifying correspondences and new more general approaches. The general conceptual framework of the book relates to the attempt to build a general theory of emergence as a general theory of change, corresponding to Von Bertalanffy's project for a general system theory.
This book constitutes the proceedings of the 19th Nordic Conference on Secure IT Systems, held in Tromsø, Norway, in October 2014. The 15 full papers presented in this volume were carefully reviewed and selected from 42 submissions. They are organized in topical sections named: information management and data privacy; cloud, big data and virtualization security; network security and logging; attacks and defenses; and security in healthcare and biometrics. The volume also contains one full-paper invited talk.
This comprehensive and authoritative reference covers all aspects of the group of disorders collectively known as the lymphoid neoplasms. The reader is taken through a description of its normal cellular origins and the molecular genetic abnormalities that can lead to this group of conditions, a section of the book that has been considerably strengt
This volume features the complete text of all regular papers, posters, and summaries of symposia presented at the 18th annual meeting of the Cognitive Science Society. Papers have been loosely grouped by topic, and an author index is provided in the back. In hopes of facilitating searches of this work, an electronic index on the Internet's World Wide Web is provided. Titles, authors, and summaries of all the papers published here have been placed in an online database which may be freely searched by anyone. You can reach the Web site at: http://www.cse.ucsd.edu/events/cogsci96/proceedings. You may view the table of contents for this volume on the LEA Web site at: http://www.erlbaum.com.