Springer Handbook of Model-Based Science

Download Springer Handbook of Model-Based Science PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3319305263
Total Pages : 1180 pages
Book Rating : 4.3/5 (193 download)

DOWNLOAD NOW!


Book Synopsis Springer Handbook of Model-Based Science by : Lorenzo Magnani

Download or read book Springer Handbook of Model-Based Science written by Lorenzo Magnani and published by Springer. This book was released on 2017-05-22 with total page 1180 pages. Available in PDF, EPUB and Kindle. Book excerpt: This handbook offers the first comprehensive reference guide to the interdisciplinary field of model-based reasoning. It highlights the role of models as mediators between theory and experimentation, and as educational devices, as well as their relevance in testing hypotheses and explanatory functions. The Springer Handbook merges philosophical, cognitive and epistemological perspectives on models with the more practical needs related to the application of this tool across various disciplines and practices. The result is a unique, reliable source of information that guides readers toward an understanding of different aspects of model-based science, such as the theoretical and cognitive nature of models, as well as their practical and logical aspects. The inferential role of models in hypothetical reasoning, abduction and creativity once they are constructed, adopted, and manipulated for different scientific and technological purposes is also discussed. Written by a group of internationally renowned experts in philosophy, the history of science, general epistemology, mathematics, cognitive and computer science, physics and life sciences, as well as engineering, architecture, and economics, this Handbook uses numerous diagrams, schemes and other visual representations to promote a better understanding of the concepts. This also makes it highly accessible to an audience of scholars and students with different scientific backgrounds. All in all, the Springer Handbook of Model-Based Science represents the definitive application-oriented reference guide to the interdisciplinary field of model-based reasoning.

Handbook of Model-Based Systems Engineering

Download Handbook of Model-Based Systems Engineering PDF Online Free

Author :
Publisher : Springer Nature
ISBN 13 : 3030935825
Total Pages : 1362 pages
Book Rating : 4.0/5 (39 download)

DOWNLOAD NOW!


Book Synopsis Handbook of Model-Based Systems Engineering by : Azad M. Madni

Download or read book Handbook of Model-Based Systems Engineering written by Azad M. Madni and published by Springer Nature. This book was released on 2023-07-25 with total page 1362 pages. Available in PDF, EPUB and Kindle. Book excerpt: This handbook brings together diverse domains and technical competences of Model Based Systems Engineering (MBSE) into a single, comprehensive publication. It is intended for researchers, practitioners, and students/educators who require a wide-ranging and authoritative reference on MBSE with a multidisciplinary, global perspective. It is also meant for those who want to develop a sound understanding of the practice of systems engineering and MBSE, and/or who wish to teach both introductory and advanced graduate courses in systems engineering. It is specifically focused on individuals who want to understand what MBSE is, the deficiencies in current practice that MBSE overcomes, where and how it has been successfully applied, its benefits and payoffs, and how it is being deployed in different industries and across multiple applications. MBSE engineering practitioners and educators with expertise in different domains have contributed chapters that address various uses of MBSE and related technologies such as simulation and digital twin in the systems lifecycle. The introductory chapter reviews the current state of practice, discusses the genesis of MBSE and makes the business case. Subsequent chapters present the role of ontologies and meta-models in capturing system interdependencies, reasoning about system behavior with design and operational constraints; the use of formal modeling in system (model) verification and validation; ontology-enabled integration of systems and system-of-systems; digital twin-enabled model-based testing; system model design synthesis; model-based tradespace exploration; design for reuse; human-system integration; and role of simulation and Internet-of-Things (IoT) within MBSE.

Springer Handbook of Surface Science

Download Springer Handbook of Surface Science PDF Online Free

Author :
Publisher : Springer Nature
ISBN 13 : 3030469069
Total Pages : 1273 pages
Book Rating : 4.0/5 (34 download)

DOWNLOAD NOW!


Book Synopsis Springer Handbook of Surface Science by : Mario Rocca

Download or read book Springer Handbook of Surface Science written by Mario Rocca and published by Springer Nature. This book was released on 2021-01-14 with total page 1273 pages. Available in PDF, EPUB and Kindle. Book excerpt: This handbook delivers an up-to-date, comprehensive and authoritative coverage of the broad field of surface science, encompassing a range of important materials such metals, semiconductors, insulators, ultrathin films and supported nanoobjects. Over 100 experts from all branches of experiment and theory review in 39 chapters all major aspects of solid-state surfaces, from basic principles to applications, including the latest, ground-breaking research results. Beginning with the fundamental background of kinetics and thermodynamics at surfaces, the handbook leads the reader through the basics of crystallographic structures and electronic properties, to the advanced topics at the forefront of current research. These include but are not limited to novel applications in nanoelectronics, nanomechanical devices, plasmonics, carbon films, catalysis, and biology. The handbook is an ideal reference guide and instructional aid for a wide range of physicists, chemists, materials scientists and engineers active throughout academic and industrial research.

Springer Handbook of Robotics

Download Springer Handbook of Robotics PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3319325523
Total Pages : 2259 pages
Book Rating : 4.3/5 (193 download)

DOWNLOAD NOW!


Book Synopsis Springer Handbook of Robotics by : Bruno Siciliano

Download or read book Springer Handbook of Robotics written by Bruno Siciliano and published by Springer. This book was released on 2016-07-27 with total page 2259 pages. Available in PDF, EPUB and Kindle. Book excerpt: The second edition of this handbook provides a state-of-the-art overview on the various aspects in the rapidly developing field of robotics. Reaching for the human frontier, robotics is vigorously engaged in the growing challenges of new emerging domains. Interacting, exploring, and working with humans, the new generation of robots will increasingly touch people and their lives. The credible prospect of practical robots among humans is the result of the scientific endeavour of a half a century of robotic developments that established robotics as a modern scientific discipline. The ongoing vibrant expansion and strong growth of the field during the last decade has fueled this second edition of the Springer Handbook of Robotics. The first edition of the handbook soon became a landmark in robotics publishing and won the American Association of Publishers PROSE Award for Excellence in Physical Sciences & Mathematics as well as the organization’s Award for Engineering & Technology. The second edition of the handbook, edited by two internationally renowned scientists with the support of an outstanding team of seven part editors and more than 200 authors, continues to be an authoritative reference for robotics researchers, newcomers to the field, and scholars from related disciplines. The contents have been restructured to achieve four main objectives: the enlargement of foundational topics for robotics, the enlightenment of design of various types of robotic systems, the extension of the treatment on robots moving in the environment, and the enrichment of advanced robotics applications. Further to an extensive update, fifteen new chapters have been introduced on emerging topics, and a new generation of authors have joined the handbook’s team. A novel addition to the second edition is a comprehensive collection of multimedia references to more than 700 videos, which bring valuable insight into the contents. The videos can be viewed directly augmented into the text with a smartphone or tablet using a unique and specially designed app. Springer Handbook of Robotics Multimedia Extension Portal: http://handbookofrobotics.org/

Models and Theories

Download Models and Theories PDF Online Free

Author :
Publisher : Taylor & Francis
ISBN 13 : 1000609537
Total Pages : 508 pages
Book Rating : 4.0/5 (6 download)

DOWNLOAD NOW!


Book Synopsis Models and Theories by : Roman Frigg

Download or read book Models and Theories written by Roman Frigg and published by Taylor & Francis. This book was released on 2022-06-28 with total page 508 pages. Available in PDF, EPUB and Kindle. Book excerpt: Models and theories are of central importance in science, and scientists spend substantial amounts of time building, testing, comparing and revising models and theories. It is therefore not surprising that the nature of scientific models and theories has been a widely debated topic within the philosophy of science for many years. The product of two decades of research, this book provides an accessible yet critical introduction to the debates about models and theories within analytical philosophy of science since the 1920s. Roman Frigg surveys and discusses key topics and questions, including: What are theories? What are models? And how do models and theories relate to each other? The linguistic view of theories (also known as the syntactic view of theories), covering different articulations of the view, its use of models, the theory-observation divide and the theory-ladenness of observation, and the meaning of theoretical terms. The model-theoretical view of theories (also known as the semantic view of theories), covering its analysis of the model-world relationship, the internal structure of a theory, and the ontology of models. Scientific representation, discussing analogy, idealisation and different accounts of representation. Modelling in scientific practice, examining how models relate to theories and what models are, classifying different kinds of models, and investigating how robustness analysis, perspectivism, and approaches committed to uncertainty-management deal with multi-model situations. Models and Theories is the first comprehensive book-length treatment of the topic, making it essential reading for advanced undergraduates, researchers, and professional philosophers working in philosophy of science and philosophy of technology. It will also be of interest to philosophically minded readers working in physics, computer sciences and STEM fields more broadly.

Handbook of Transportation Science

Download Handbook of Transportation Science PDF Online Free

Author :
Publisher : Springer Science & Business Media
ISBN 13 : 0306480581
Total Pages : 737 pages
Book Rating : 4.3/5 (64 download)

DOWNLOAD NOW!


Book Synopsis Handbook of Transportation Science by : Randolph Hall

Download or read book Handbook of Transportation Science written by Randolph Hall and published by Springer Science & Business Media. This book was released on 2006-04-11 with total page 737 pages. Available in PDF, EPUB and Kindle. Book excerpt: Over the past thirty-five years, a substantial amount of theoretical and empirical scholarly research has been developed across the discipline domains of Transportation. This research has been synthesized into a systematic handbook that examines the scientific concepts, methods, and principles of this growing and evolving field. The Handbook of Transportation Science outlines the field of transportation as a scientific discipline that transcends transportation technology and methods. Whether by car, truck, airplane - or by a mode of transportation that has not yet been conceived - transportation obeys fundamental properties. The science of transportation defines these properties, and demonstrates how our knowledge of one mode of transportation can be used to explain the behavior of another. Transportation scientists are motivated by the desire to explain spatial interactions that result in movement of people or objects from place to place. Its methodologies draw from physics, operations research, probability and control theory.

Abduction, Reason and Science

Download Abduction, Reason and Science PDF Online Free

Author :
Publisher : Springer Science & Business Media
ISBN 13 : 144198562X
Total Pages : 205 pages
Book Rating : 4.4/5 (419 download)

DOWNLOAD NOW!


Book Synopsis Abduction, Reason and Science by : L. Magnani

Download or read book Abduction, Reason and Science written by L. Magnani and published by Springer Science & Business Media. This book was released on 2011-06-27 with total page 205 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book ties together the concerns of philosophers of science and AI researchers, showing for example the connections between scientific thinking and medical expert systems. It lays out a useful general framework for discussion of a variety of kinds of abduction. It develops important ideas about aspects of abductive reasoning that have been relatively neglected in cognitive science, including the use of visual and temporal representations and the role of abduction in the withdrawal of hypotheses.

Model-Based Reasoning in Science and Technology

Download Model-Based Reasoning in Science and Technology PDF Online Free

Author :
Publisher : Springer Nature
ISBN 13 : 3030327221
Total Pages : 502 pages
Book Rating : 4.0/5 (33 download)

DOWNLOAD NOW!


Book Synopsis Model-Based Reasoning in Science and Technology by : Ángel Nepomuceno-Fernández

Download or read book Model-Based Reasoning in Science and Technology written by Ángel Nepomuceno-Fernández and published by Springer Nature. This book was released on 2019-10-24 with total page 502 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book discusses how scientific and other types of cognition make use of models, abduction, and explanatory reasoning in order to produce important and innovative changes in theories and concepts. Gathering revised contributions presented at the international conference on Model-Based Reasoning (MBR18), held on October 24–26 2018 in Seville, Spain, the book is divided into three main parts. The first focuses on models, reasoning, and representation. It highlights key theoretical concepts from an applied perspective, and addresses issues concerning information visualization, experimental methods, and design. The second part goes a step further, examining abduction, problem solving, and reasoning. The respective papers assess different types of reasoning, and discuss various concepts of inference and creativity and their relationship with experimental data. In turn, the third part reports on a number of epistemological and technological issues. By analyzing possible contradictions in modern research and describing representative case studies, this part is intended to foster new discussions and stimulate new ideas. All in all, the book provides researchers and graduate students in the fields of applied philosophy, epistemology, cognitive science, and artificial intelligence alike with an authoritative snapshot of the latest theories and applications of model-based reasoning.

Music Perception

Download Music Perception PDF Online Free

Author :
Publisher : Springer Science & Business Media
ISBN 13 : 1441961143
Total Pages : 264 pages
Book Rating : 4.4/5 (419 download)

DOWNLOAD NOW!


Book Synopsis Music Perception by : Mari Riess Jones

Download or read book Music Perception written by Mari Riess Jones and published by Springer Science & Business Media. This book was released on 2010-08-17 with total page 264 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Springer Handbook of Auditory Research presents a series of comprehensive and synthetic reviews of the fundamental topics in modern auditory research. The v- umes are aimed at all individuals with interests in hearing research including advanced graduate students, post-doctoral researchers, and clinical investigators. The volumes are intended to introduce new investigators to important aspects of hearing science and to help established investigators to better understand the fundamental theories and data in fields of hearing that they may not normally follow closely. Each volume presents a particular topic comprehensively, and each serves as a synthetic overview and guide to the literature. As such, the chapters present neither exhaustive data reviews nor original research that has not yet appeared in pe- reviewed journals. The volumes focus on topics that have developed a solid data and conceptual foundation rather than on those for which a literature is only beg- ning to develop. New research areas will be covered on a timely basis in the series as they begin to mature.

Springer Handbook of Engineering Statistics

Download Springer Handbook of Engineering Statistics PDF Online Free

Author :
Publisher : Springer Nature
ISBN 13 : 1447175034
Total Pages : 1136 pages
Book Rating : 4.4/5 (471 download)

DOWNLOAD NOW!


Book Synopsis Springer Handbook of Engineering Statistics by : Hoang Pham

Download or read book Springer Handbook of Engineering Statistics written by Hoang Pham and published by Springer Nature. This book was released on 2023-04-20 with total page 1136 pages. Available in PDF, EPUB and Kindle. Book excerpt: In today’s global and highly competitive environment, continuous improvement in the processes and products of any field of engineering is essential for survival. This book gathers together the full range of statistical techniques required by engineers from all fields. It will assist them to gain sensible statistical feedback on how their processes or products are functioning and to give them realistic predictions of how these could be improved. The handbook will be essential reading for all engineers and engineering-connected managers who are serious about keeping their methods and products at the cutting edge of quality and competitiveness.

Handbook of Abductive Cognition

Download Handbook of Abductive Cognition PDF Online Free

Author :
Publisher : Springer Nature
ISBN 13 : 3031101359
Total Pages : 1921 pages
Book Rating : 4.0/5 (311 download)

DOWNLOAD NOW!


Book Synopsis Handbook of Abductive Cognition by : Lorenzo Magnani

Download or read book Handbook of Abductive Cognition written by Lorenzo Magnani and published by Springer Nature. This book was released on 2023-03-31 with total page 1921 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Handbook offers the first comprehensive reference guide to the interdisciplinary field of abductive cognition, providing readers with extensive information on the process of reasoning to hypotheses in humans, animals, and in computational machines. It highlights the role of abduction in both theory practice: in generating and testing hypotheses and explanatory functions for various purposes and as an educational device. It merges logical, cognitive, epistemological and philosophical perspectives with more practical needs relating to the application of abduction across various disciplines and practices, such as in diagnosis, creative reasoning, scientific discovery, diagrammatic and ignorance-based cognition, and adversarial strategies. It also discusses the inferential role of models in hypothetical reasoning, abduction and creativity, including the process of development, implementation and manipulation for different scientific and technological purposes. Written by a group of internationally renowned experts in philosophy, logic, general epistemology, mathematics, cognitive, and computer science, as well as life sciences, engineering, architecture, and economics, the Handbook of Abductive Cognition offers a unique reference guide for readers approaching the process of reasoning to hypotheses from different perspectives and for various theoretical and practical purposes. Numerous diagrams, schemes and other visual representations are included to promote a better understanding of the relevant concepts and to make concepts highly accessible to an audience of scholars and students with different scientific backgrounds.

Springer Handbook of Nanotechnology

Download Springer Handbook of Nanotechnology PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3662543575
Total Pages : 1500 pages
Book Rating : 4.6/5 (625 download)

DOWNLOAD NOW!


Book Synopsis Springer Handbook of Nanotechnology by : Bharat Bhushan

Download or read book Springer Handbook of Nanotechnology written by Bharat Bhushan and published by Springer. This book was released on 2017-11-05 with total page 1500 pages. Available in PDF, EPUB and Kindle. Book excerpt: This comprehensive handbook has become the definitive reference work in the field of nanoscience and nanotechnology, and this 4th edition incorporates a number of recent new developments. It integrates nanofabrication, nanomaterials, nanodevices, nanomechanics, nanotribology, materials science, and reliability engineering knowledge in just one volume. Furthermore, it discusses various nanostructures; micro/nanofabrication; micro/nanodevices and biomicro/nanodevices, as well as scanning probe microscopy; nanotribology and nanomechanics; molecularly thick films; industrial applications and nanodevice reliability; societal, environmental, health and safety issues; and nanotechnology education. In this new edition, written by an international team of over 140 distinguished experts and put together by an experienced editor with a comprehensive understanding of the field, almost all the chapters are either new or substantially revised and expanded, with new topics of interest added. It is an essential resource for anyone working in the rapidly evolving field of key technology, including mechanical and electrical engineers, materials scientists, physicists, and chemists.

Handbook of Systems Sciences

Download Handbook of Systems Sciences PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 9789811507199
Total Pages : 1443 pages
Book Rating : 4.5/5 (71 download)

DOWNLOAD NOW!


Book Synopsis Handbook of Systems Sciences by : Gary S. Metcalf

Download or read book Handbook of Systems Sciences written by Gary S. Metcalf and published by Springer. This book was released on 2021-07-28 with total page 1443 pages. Available in PDF, EPUB and Kindle. Book excerpt: The primary purpose of this handbook is to clearly describe the current state of theories of systems sciences and to support their use and practice. There are many ways in which systems sciences can be described. This handbook takes a multifaceted view of systems sciences and describes them in terms of a relatively large number of dimensions, from natural and engineering science to social science and systems management perspectives. It is not the authors’ intent, however, to produce a catalog of systems science concepts, methodologies, tools, or products. Instead, the focus is on the structural network of a variety of topics. Special emphasis is given to a cyclic–interrelated view; for example, when a theory of systems sciences is described, there is also discussion of how and why the theory is relevant to modeling or practice in reality. Such an interrelationship between theory and practice is also illustrated when an applied research field in systems sciences is explained. The chapters in the handbook present definitive discussions of systems sciences from a wide array of perspectives. The needs of practitioners in industry and government as well as students aspiring to careers in systems sciences provide the motivation for the majority of the chapters. The handbook begins with a comprehensive introduction to the coverage that follows. It provides not only an introduction to systems sciences but also a brief overview and integration of the succeeding chapters in terms of a knowledge map. The introduction is intended to be used as a field guide that indicates why, when, and how to use the materials or topics contained in the handbook.

Springer Handbook of Science and Technology Indicators

Download Springer Handbook of Science and Technology Indicators PDF Online Free

Author :
Publisher : Springer Nature
ISBN 13 : 303002511X
Total Pages : 1103 pages
Book Rating : 4.0/5 (3 download)

DOWNLOAD NOW!


Book Synopsis Springer Handbook of Science and Technology Indicators by : Wolfgang Glänzel

Download or read book Springer Handbook of Science and Technology Indicators written by Wolfgang Glänzel and published by Springer Nature. This book was released on 2019-10-30 with total page 1103 pages. Available in PDF, EPUB and Kindle. Book excerpt: This handbook presents the state of the art of quantitative methods and models to understand and assess the science and technology system. Focusing on various aspects of the development and application of indicators derived from data on scholarly publications, patents and electronic communications, the individual chapters, written by leading experts, discuss theoretical and methodological issues, illustrate applications, highlight their policy context and relevance, and point to future research directions. A substantial portion of the book is dedicated to detailed descriptions and analyses of data sources, presenting both traditional and advanced approaches. It addresses the main bibliographic metrics and indexes, such as the journal impact factor and the h-index, as well as altmetric and webometric indicators and science mapping techniques on different levels of aggregation and in the context of their value for the assessment of research performance as well as their impact on research policy and society. It also presents and critically discusses various national research evaluation systems. Complementing the sections reflecting on the science system, the technology section includes multiple chapters that explain different aspects of patent statistics, patent classification and database search methods to retrieve patent-related information. In addition, it examines the relevance of trademarks and standards as additional technological indicators. The Springer Handbook of Science and Technology Indicators is an invaluable resource for practitioners, scientists and policy makers wanting a systematic and thorough analysis of the potential and limitations of the various approaches to assess research and research performance.

How Do I Develop an Agent-Based Model?

Download How Do I Develop an Agent-Based Model? PDF Online Free

Author :
Publisher : Edward Elgar Publishing
ISBN 13 : 1839105208
Total Pages : 168 pages
Book Rating : 4.8/5 (391 download)

DOWNLOAD NOW!


Book Synopsis How Do I Develop an Agent-Based Model? by : Secchi, Davide

Download or read book How Do I Develop an Agent-Based Model? written by Secchi, Davide and published by Edward Elgar Publishing. This book was released on 2022-04-21 with total page 168 pages. Available in PDF, EPUB and Kindle. Book excerpt: This clear and coherent book introduces agent-based modelling (ABM) to those who are not familiar with nor have been previously exposed to computational simulation. Featuring examples, cases and models, the book illustrates how ABM can, and should, be considered as a useful approach and technique for the study of management and organisational systems.

Abduction in Context

Download Abduction in Context PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3319489569
Total Pages : 263 pages
Book Rating : 4.3/5 (194 download)

DOWNLOAD NOW!


Book Synopsis Abduction in Context by : Woosuk Park

Download or read book Abduction in Context written by Woosuk Park and published by Springer. This book was released on 2016-11-23 with total page 263 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book offers a novel perspective on abduction. It starts by discussing the major theories of abduction, focusing on the hybrid nature of abduction as both inference and intuition. It reports on the Peircean theory of abduction and discusses the more recent Magnani concept of animal abduction, connecting them to the work of medieval philosophers. Building on Magnani's manipulative abduction, the accompanying classification of abduction, and the hybrid concept of abduction as both inference and intuition, the book examines the problem of visual perception together with the related concepts of misrepresentation and semantic information. It presents the author's views on caricature and the caricature model of science, and then extends the scope of discussion by introducing some standard issues in the philosophy of science. By discussing the concept of ad hoc hypothesis generation as enthymeme resolution, it demonstrates how ubiquitous the problem of abduction is in all the different individual scientific disciplines. This comprehensive text provides philosophers, logicians and cognitive scientists with a historical, unified and authoritative perspective on abduction.

Handbook of Conceptual Modeling

Download Handbook of Conceptual Modeling PDF Online Free

Author :
Publisher : Springer Science & Business Media
ISBN 13 : 364215865X
Total Pages : 597 pages
Book Rating : 4.6/5 (421 download)

DOWNLOAD NOW!


Book Synopsis Handbook of Conceptual Modeling by : David W. Embley

Download or read book Handbook of Conceptual Modeling written by David W. Embley and published by Springer Science & Business Media. This book was released on 2012-04-23 with total page 597 pages. Available in PDF, EPUB and Kindle. Book excerpt: Conceptual modeling is about describing the semantics of software applications at a high level of abstraction in terms of structure, behavior, and user interaction. Embley and Thalheim start with a manifesto stating that the dream of developing information systems strictly by conceptual modeling – as expressed in the phrase “the model is the code” – is becoming reality. The subsequent contributions written by leading researchers in the field support the manifesto's assertions, showing not only how to abstractly model complex information systems but also how to formalize abstract specifications in ways that let developers complete programming tasks within the conceptual model itself. They are grouped into sections on programming with conceptual models, structure modeling, process modeling, user interface modeling, and special challenge areas such as conceptual geometric modeling, information integration, and biological conceptual modeling. The Handbook of Conceptual Modeling collects in a single volume many of the best conceptual-modeling ideas, techniques, and practices as well as the challenges that drive research in the field. Thus it is much more than a traditional handbook for advanced professionals, as it also provides both a firm foundation for the field of conceptual modeling, and points researchers and graduate students towards interesting challenges and paths for how to contribute to this fundamental field of computer science.