Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 558 dokumen yang sesuai dengan query
cover
"This book is about a new approach to biology and physics. Its subtitle suggests a perpetual movement and interplay between two elusive aspects of modern science, reality/matter and potentiality/mind, between physics and biology, both captured and triggered by mathematics, to understand and explain emergence, development and life all the way up to consciousness.
But what is the real/potential difference between living and non-living matter? How does time in potentiality differ from time in reality? What we need to understand these differences is an integrative approach. This book contemplates how to encircle life to obtain a formal system, equivalent to the ones in physics. Integral Biomathics attempts to explore the interplay between reality and potentiality."
Berlin: [Springer, ], 2012
e20398465
eBooks  Universitas Indonesia Library
cover
"People have dreamed of machines, which would free them from unpleasant, dull, dirty and dangerous tasks and work for them as servants, for centuries if not millennia. Service robots seem to finally let these dreams come true. But where are all these robots that eventually serve us all day long, day for day? A few service robots have entered the market: domestic and professional cleaning robots, lawnmowers, milking robots, or entertainment robots. Some of these robots look more like toys or gadgets rather than real robots. But where is the rest? This is a question, which is asked not only by customers, but also by service providers, care organizations, politicians, and funding agencies. The answer is not very satisfying. Today’s service robots have their problems operating in everyday environments. This is by far more challenging than operating an industrial robot behind a fence. There is a comprehensive list of technical and scientific problems, which still need to be solved. To advance the state of the art in service robotics towards robots, which are capable of operating in an everyday environment, was the major objective of the DESIRE project (Deutsche Service Robotik Initiative – Germany Service Robotics Initiative) funded by the German Ministry of Education and Research (BMBF) under grant no. 01IME01A. This book offers a sample of the results achieved in DESIRE."
Berlin: [, Springer], 2012
e20399015
eBooks  Universitas Indonesia Library
cover
Jaakko Hollmén, editor
"This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Data Analysis, IDA 2012, held in Helsinki, Finland, in October 2012. The 32 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 88 submissions. All current aspects of intelligent data analysis are addressed, including intelligent support for modeling and analyzing data from complex, dynamical systems. The papers focus on novel applications of IDA techniques to, e.g., networked digital information systems; novel modes of data acquisition and the associated issues; robustness and scalability issues of intelligent data analysis techniques; and visualization and dissemination results.
"
Berlin: Springer-Verlag, 2012
e204063789
eBooks  Universitas Indonesia Library
cover
Pei Wang, editor
"This book is the very first collection in the field of Artificial General Intelligence (AGI) focusing on theoretical, conceptual, and philosophical issues in the creation of thinking machines. All the authors are researchers actively developing AGI projects, thus distinguishing the book from much of the theoretical cognitive science and AI literature, which is generally quite divorced from practical AGI system building issues. And the discussions are presented in a way that makes the problems and proposed solutions understandable. "
Paris: Atlantis Press, 2012
e20406538
eBooks  Universitas Indonesia Library
cover
"This book constitutes the thoroughly reviewed post-proceedings of the 9th International Workshop, EUMAS 2011, held in Maastricht, The Netherlands, in November 2011. The 16 revised full papers included in the book. This workshop is primarily intended as a European forum at which researchers and those interested in activities relating to research in the area of autonomous agents and multi-agent systems could meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment. "
Berlin: Springer, 2012
e20406723
eBooks  Universitas Indonesia Library
cover
Reiner Haehnle, editor
"This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and compilation techniques, to real-time and fault tolerance, to dependability, software architectures, computer vision, cognitive robotics, multi-robot-coordination, and simulation to bio-inspired algorithms, and from machine learning for anomaly detection, to model construction in software product lines to classification of web service interfaces. "
Berlin: Springer, 2012
e20406856
eBooks  Universitas Indonesia Library
cover
"These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multiagent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. This eighth issue contains a collection of ten carefully selected and thorougly revised contributions."
Berlin: Springer, 2012
e20406968
eBooks  Universitas Indonesia Library
cover
"This book constitutes the proceedings of the 12th International Conference on Transport Systems Telematics, TST 2012, held in Katowice-Ustron, Poland, in October 2012. The 48 papers included in this volume were carefully reviewed and selected for inclusion in this book. The research shows that the use of telematics can significantly increase the efficiency of the transport system, the road safety and the environmental protection. This book provides an overview of solutions being developed in the field of intelligent transportation systems, and includes theoretical and case studies in the countries of conference participants."
Berlin: Springer, 2012
e20407292
eBooks  Universitas Indonesia Library
cover
"This book constitutes revised and selected papers of the 9th European Workshop on Reinforcement Learning, EWRL 2011, which took place in Athens, Greece in September 2011. The papers presented were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections online reinforcement learning, learning and exploring MDPs, function approximation methods for reinforcement learning, macro-actions in reinforcement learning, policy search and bounds, multi-task and transfer reinforcement learning, multi-agent reinforcement learning, apprenticeship and inverse reinforcement learning and real-world reinforcement learning."
Berlin: Springer-Verlag, 2012
e20409054
eBooks  Universitas Indonesia Library
cover
"This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and algebraic methods in computer science, adding special focus on formal methods for software engineering, logics of programs and links with neighboring disciplines. The papers are structured in specific fields on applications to software specification and correctness, mechanized reasoning in relational algebras, algebraic program derivation, theoretical foundations, relations and algorithms, and properties of specialized relations."
Berlin: Springer-Verlag, 2012
e20409380
eBooks  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>