- Table View
- List View
Computational Logic and Set Theory: Applying Formalized Logic to Analysis (Texts in Computer Science)
by Martin Davis Domenico Cantone Jacob T. Schwartz Eugenio G. OmodeoThis must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describes in depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics; presents an unique system for automated proof verification in large-scale software systems; integrates important proof-engineering issues, reflecting the goals of large-scale verifiers; includes an appendix showing formalized proofs of ordinals, of various properties of the transitive closure operation, of finite and transfinite induction principles, and of Zorn's lemma.
Computational Methods in Systems Biology: 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings (Lecture Notes in Computer Science #11773)
by Luca Bortolussi Guido SanguinettiThis book constitutes the refereed proceedings of the 17th International Conference on Computational Methods in Systems Biology, CMSB 2019, held in Trieste, Italy, in September 2019.The 14 full papers, 7 tool papers and 11 posters were carefully reviewed and selected from 53 submissions. Topics of interest include formalisms for modeling biological processes; models and their biological applications; frameworks for model verification, validation, analysis, and simulation of biological systems; high-performance computational systems biology and parallel implementations; model inference from experimental data; model integration from biological databases; multi-scale modeling and analysis methods; computational approaches for synthetic biology; and case studies in systems and synthetic biology.
Computational Methods in Systems Biology: 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings (Lecture Notes in Computer Science #11095)
by Milan Češka David ŠafránekThis book constitutes the refereed proceedings of the 16th International Conference on Computational Methods in Systems Biology, CMSB 2018, held in BRNO, Czech Republic, in September 2018. The 15 full and 7 short papers presented together with 5 invited talks were carefully reviewed and selected from 46 submissions. Topics of interest include formalisms for modeling biological processes; models and their biological applications; frameworks for model verification, validation, analysis, and simulation of biological systems; high-performance computational systems biology; parameter and model inference from experimental data; automated parameter and model synthesis; model integration and biological databases; multi-scale modeling and analysis methods; design, analysis, and verification methods for synthetic biology; methods for biomolecular computing and engineered molecular devices.Chapters 3, 9 and 10 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Computational Processing of the Portuguese Language: 13th International Conference, PROPOR 2018, Canela, Brazil, September 24–26, 2018, Proceedings (Lecture Notes in Computer Science #11122)
by Aline Villavicencio Viviane Moreira Alberto Abad Helena Caseli Pablo Gamallo Carlos Ramisch Hugo Gonçalo Oliveira Gustavo Henrique PaetzoldThis book constitutes the refereed proceedings of the 13th International Conference on Computational Processing of the Portuguese Language, PROPOR 2018, held in Canela, RS, Brazil, in September 2018.The 42 full papers, 3 short papers and 4 other papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers are organized in topical sections named: Corpus Linguistics, Information Extraction, LanguageApplications, Language Resources, Sentiment Analysis and Opinion Mining, Speech Processing, and Syntax and Parsing.
Computational Theory of Mind for Human-Machine Teams: First International Symposium, ToM for Teams 2021, Virtual Event, November 4–6, 2021, Revised Selected Papers (Lecture Notes in Computer Science #13775)
by Nikolos Gurney Gita SukthankarThis book constitutes the proceedings of the First International Symposium, ToM for Teams 2021, held in Washington, DC, USA, during November 4–6, 2021, Each chapter in this section tackles a different aspect of AI representing the thoughts and beliefs of human agents. The work presented herein represents our collective efforts to better understand ToM, develop AI with ToM capabilities (ASI), and study how to integrate such systems into human teams.
Computations and Computing Devices in Mathematics Education Before the Advent of Electronic Calculators (Mathematics Education in the Digital Era #11)
by Alexei Volkov Viktor FreimanThis volume traces back the history of interaction between the “computational” or “algorithmic” aspects of elementary mathematics and mathematics education throughout ages. More specifically, the examples of mathematical practices analyzed by the historians of mathematics and mathematics education who authored the chapters in the present collection show that the development (and, in some cases, decline) of counting devices and related computational practices needs to be considered within a particular context to which they arguably belonged, namely, the context of mathematics instruction; in their contributions the authors also explore the role that the instruments played in formation of didactical approaches in various mathematical traditions, stretching from Ancient Mesopotamia to the 20th century Europe and North America.
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II (Lecture Notes in Computer Science #10982)
by Hana Chockler Georg WeissenbacherThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (Lecture Notes in Computer Science #10981)
by Hana Chockler Georg WeissenbacherThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Lecture Notes in Computer Science #11562)
by Isil Dillig Serdar TasiranThe open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II (Lecture Notes in Computer Science #10427)
by Rupak Majumdar Viktor KunčakThe two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II (Lecture Notes in Computer Science #12760)
by Alexandra Silva K. Rustan M. LeinoThis open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Lecture Notes in Computer Science #12759)
by Alexandra Silva K. Rustan M. LeinoThis open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.This is an open access book.
Computer Ethics (The International Library of Essays in Public and Professional Ethics #No. 4.)
by John WeckertThe study of the ethical issues related to computer use developed primarily in the 1980s, although a number of important papers were published in previous decades, many of which are contained in this volume. Computer ethics, as the field became known, flourished in the following decades. The emphasis initially was more on the computing profession: on questions related to the development of systems, the behaviour of computing professionals and so on. Later the focus moved to the Internet and to users of computer and related communication technologies. This book reflects these different emphases and has articles on most of the important issues, organised into sections on the history and nature of computer ethics, cyberspace, values and technology, responsibility and professionalism, privacy and surveillance, what computers should not do and morality and machines.
Computer Ethics Across Disciplines: Deborah G. Johnson and Algorithmic Accountability (Philosophy of Engineering and Technology #44)
by Merel Noorman Mario VerdicchioThis edited volume brings together philosophers and scholars in disparate fields who have engaged in Professor Deborah G. Johnson’s body of work throughout her long career. It appeals to both students and researchers and introduces Johnson’s thought to a broader audience. This text shows how with due to the resurgence of AI research, her work is more relevant than ever. The volume will help a new generation of scholars benefit from the conceptual insights that Johnson has provided. Her work on algorithmic accountability sets the tone in particular. Chapters illustrate how combining philosophy of technology across disciplines helps clarify the complex intricacies of AI and societies, in particular the topic of accountability. Other themes covered include moral agency and responsibility, transparency, gender and technology as well as ethics education.
Computer Science: The Hardware, Software and Heart of It (Principles Of Computer Science Ser.)
by Edward K. Blum Alfred V AhoComputer Science: The Hardware, Software and Heart of It focuses on the deeper aspects of the two recognized subdivisions of Computer Science, Software and Hardware. These subdivisions are shown to be closely interrelated as a result of the stored-program concept. Computer Science: The Hardware, Software and Heart of It includes certain classical theoretical computer science topics such as Unsolvability (e.g. the halting problem) and Undecidability (e.g. Godel's incompleteness theorem) that treat problems that exist under the Church-Turing thesis of computation. These problem topics explain inherent limits lying at the heart of software, and in effect define boundaries beyond which computer science professionals cannot go beyond. Newer topics such as Cloud Computing are also covered in this book. After a survey of traditional programming languages (e.g. Fortran and C++), a new kind of computer Programming for parallel/distributed computing is presented using the message-passing paradigm which is at the heart of large clusters of computers. This leads to descriptions of current hardware platforms for large-scale computing, such as clusters of as many as one thousand which are the new generation of supercomputers. This also leads to a consideration of future quantum computers and a possible escape from the Church-Turing thesis to a new computation paradigm. Computer Science: The Hardware, Software and Heart of It is designed as a professional book for practitioners and researchers working in the related fields of Quantum Computing, Cloud Computing, Computer Networking, as well as non-scientist readers. Advanced-level and undergraduate students concentrating on computer science, engineering and mathematics will also find this book useful.
Computer Science – Theory and Applications: 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings (Lecture Notes in Computer Science #10304)
by Pascal WeilThis book constitutes the proceedings of the 12th International Computer Science Symposium in Russia, CSR 2017, held in Kazan, Russia, in June 2017. The 22 full papers presented in this volume were carefully reviewed and selected from 44 submissions. In addition the book contains 6 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas such as: include, but are not limited to: algorithms and data structures; combinatorial optimization; constraint solving; computational complexity; cryptography; combinatorics in computer science; formal languages and automata; algorithms for concurrent and distributed systems, networks; applications of logic to computer science, e.g. proof theory, model checking and verification; formal and algorithmic aspects of bio-informatics; current challenges such as quantum computing.
Computer Simulation Validation: Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives (Simulation Foundations, Methods and Applications)
by Claus Beisbart Nicole J. SaamThis unique volume introduces and discusses the methods of validating computer simulations in scientific research. The core concepts, strategies, and techniques of validation are explained by an international team of pre-eminent authorities, drawing on expertise from various fields ranging from engineering and the physical sciences to the social sciences and history. The work also offers new and original philosophical perspectives on the validation of simulations.Topics and features: introduces the fundamental concepts and principles related to the validation of computer simulations, and examines philosophical frameworks for thinking about validation; provides an overview of the various strategies and techniques available for validating simulations, as well as the preparatory steps that have to be taken prior to validation; describes commonly used reference points and mathematical frameworks applicable to simulation validation; reviews the legal prescriptions, and the administrative and procedural activities related to simulation validation; presents examples of best practice that demonstrate how methods of validation are applied in various disciplines and with different types of simulation models; covers important practical challenges faced by simulation scientists when applying validation methods and techniques; offers a selection of general philosophical reflections that explore the significance of validation from a broader perspective.This truly interdisciplinary handbook will appeal to a broad audience, from professional scientists spanning all natural and social sciences, to young scholars new to research with computer simulations. Philosophers of science, and methodologists seeking to increase their understanding of simulation validation, will also find much to benefit from in the text.
Computer Simulations in Science and Engineering: Concepts - Practices - Perspectives (The Frontiers Collection)
by Juan Manuel DuránThis book addresses key conceptual issues relating to the modern scientific and engineering use of computer simulations. It analyses a broad set of questions, from the nature of computer simulations to their epistemological power, including the many scientific, social and ethics implications of using computer simulations. The book is written in an easily accessible narrative, one that weaves together philosophical questions and scientific technicalities. It will thus appeal equally to all academic scientists, engineers, and researchers in industry interested in questions (and conceivable answers) related to the general practice of computer simulations.
Computers, People, and Thought: From Data Mining to Evolutionary Robotics
by Malachy EatonIn this book the author discusses synergies between computers and thought, related to the field of Artificial Intelligence; between people and thought, leading to questions of consciousness and our existence as humans; and between computers and people, leading to the recent remarkable advances in the field of humanoid robots. He then looks toward the implications of intelligent 'conscious' humanoid robots with superior intellects, able to operate in our human environments. After presenting the basic engineering components and supporting logic of computer systems, and giving an overview of the contributions of pioneering scientists in the domains of computing, logic, and robotics, in the core of the book the author examines the meaning of thought and intelligence in the context of specific tasks and successful AI approaches. In the final part of the book he introduces related societal and ethical implications.The book will be a useful accompanying text in courses on artificial intelligence, robotics, intelligent systems, games, and evolutionary computing. It will also be valuable for general readers and historians of technology.
Computers, Privacy and Data Protection: An Element Of Choice
by Paul De Hert Yves Poullet Serge Gutwirth Ronald LeenesThis timely interdisciplinary work on current developments in ICT and privacy/data protection, coincides as it does with the rethinking of the Data Protection Directive, the contentious debates on data sharing with the USA (SWIFT, PNR) and the judicial and political resistance against data retention. The authors of the contributions focus on particular and pertinent issues from the perspective of their different disciplines which range from the legal through sociology, surveillance studies and technology assessment, to computer sciences. Such issues include cutting-edge developments in the field of cloud computing, ambient intelligence and PETs; data retention, PNR-agreements, property in personal data and the right to personal identity; electronic road tolling, HIV-related information, criminal records and teenager's online conduct, to name but a few.
Computing and Educational Studies: A Special Issue of educational Studies (Counterpoints Ser. #123)
by Jr. Eugene F. ProvenzoThis special issue calls for a greater awareness of computing as a critical area of study for those interested in educational studies. Its purpose is to open up a wider dialogue about computing and education than has previously existed in the field. The questions raised provide the basis for a lively discussion and analysis of the role of educational studies in interpreting the role of computing in our culture and educational system. This issue also provides a model for exploring other topics of similar significance and importance to the field in future issues of the journal.
Computing and Technology Ethics: Engaging through Science Fiction
by Emanuelle Burton Judy Goldsmith Nicholas Mattei Cory Siler Sara-Jo SwiatekA new approach to teaching computing and technology ethics using science fiction stories.Should autonomous weapons be legal? Will we be cared for by robots in our old age? Does the efficiency of online banking outweigh the risk of theft? From communication to travel to medical care, computing technologies have transformed our daily lives, for better and for worse. But how do we know when a new development comes at too high a cost? Using science fiction stories as case studies of ethical ambiguity, this engaging textbook offers a comprehensive introduction to ethical theory and its application to contemporary developments in technology and computer science. Computing and Technology Ethics: Engaging through Science Fiction first introduces the major ethical frameworks: deontology, utilitarianism, virtue ethics, communitarianism, and the modern responses of responsibility ethics, feminist ethics, and capability ethics. It then applies these frameworks to many of the modern issues arising in technology ethics including privacy, computing, and artificial intelligence. A corresponding anthology of science fiction brings these quandaries to life and challenges students to ask ethical questions of themselves and their work. Uses science fiction case studies to make ethics education engaging and fun Trains students to recognize, evaluate, and respond to ethical problems as they ariseFeatures anthology of short stories from internationally acclaimed writers including Ken Liu, Elizabeth Bear, Paolo Bacigalupi, and T. C. Boyle to animate ethical challenges in computing technology Written by interdisciplinary author team of computer scientists and ethical theoristsIncludes a robust suite of instructor resources, such as pedagogy guides, story frames, and reflection questions
Computing with Foresight and Industry: 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings (Lecture Notes in Computer Science #11558)
by Florin Manea Barnaby Martin Daniël Paulusma Giuseppe PrimieroThis book constitutes the refereed proceedings of the 15th Conference on Computability in Europe, CiE 2019, held in Durham, UK, in July 2019.The 20 revised full papers presented were carefully reviewed and selected from 35 submissions. In addition, this volume includes 7 invited papers. The conference CiE 2018 had the following six special sessions: computational neuroscience, history and philosophy of computing, lowness notions in computability, probabilistic programming and higher-order computation, smoothed and probabilistic analysis of algorithms, and transnite computations.
Comrade: An Essay on Political Belonging
by Jodi DeanWhen people say 'comrade', they change the worldBetween mass participation in two world wars and mass participation in Communist parties, in the 20th century millions of people across the globe addressed each other as 'comrade'. Now, it's more common to hear talk of 'allies' on the left than it is of comrades. In Comrade, Jodi Dean insists that this shift exemplifies the key problem with the contemporary left: the substitution of political identity for a relation of political belonging that must be built, sustained, and defended.In Comrade, Dean offers a theory of the comrade as a mode of address, figure of belonging, and carrier of expectations for action. Comrades are equals on the same side of a political struggle. Voluntarily coming together in the struggle for justice, their relation is characterized by discipline, joy, courage, and enthusiasm. Considering the generic egalitarianism of the comrade in light of differences of race and gender, Dean draws from an array of historical and literary examples such as Harry Haywood, CLR James, Alexandra Kollontai, and Doris Lessing. She argues that if we are to be a Left at all, we have to be comrades.
Comradely Greetings
by Slavoj Zizek Nadezhda Tololonnikova"We are the rebels asking for the storm, and believing that truth is only to be found in an endless search ... Two years of prison for Pussy Riot is our tribute to a destiny that gave us sharp ears, allowing us to sound the note A when everyone else is used to hearing G flat."In an extraordinary exchange of letters, Nadezhda Tolokonnikova, imprisoned for taking part in Pussy Riot's anti-Putin performance, and Slovenian philosopher Slavoj i ek discuss artistic subversion, political activism, and the future of democracy via the ideas of Hegel, Deleuze, Nietzsche, and even Laurie Anderson. Two radicals, one in a Russian forced labor camp, the other writing to her from far outside its walls, show passionately - across linguistic and generational divides - that "there is still a common cause worth fighting for." Touching, erudite, and worldly, their correspondence unfolds with poetic urgency.In association with Philosophie Magazine. From the Trade Paperback edition.