Results for 'Computer science'

1000+ found
Order:
See also
  1. Computer Science Logic 11th International Workshop, Csl '97 : Annual Conference of the Eacsl, Aarhus, Denmark, August 23-29, 1997 : Procedings. [REVIEW]M. Nielsen, Wolfgang Thomas & European Association for Computer Science Logic - 1998
     
    Export citation  
     
    Bookmark  
  2. Computer Science Logic: 10th International Workshop, Csl '96, Annual Conference of the Eacsl, Utrecht, the Netherlands, September 21 - 27, 1996, Selected Papers. [REVIEW]D. van Dalen, M. Bezem & European Association for Computer Science Logic - 1997 - Springer Verlag.
    The related fields of fractal image encoding and fractal image analysis have blossomed in recent years. This book, originating from a NATO Advanced Study Institute held in 1995, presents work by leading researchers. It is developing the subjects at an introductory level, but it also has some recent and exciting results in both fields. The book contains a thorough discussion of fractal image compression and decompression, including both continuous and discrete formulations, vector space and hierarchical methods, and algorithmic optimizations. The (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  55
    Computer Science and Metaphysics: A Cross-Fertilization.Edward N. Zalta, Christoph Benzmüller & Daniel Kirchner - 2019 - Open Philosophy 2 (1):230-251.
    Computational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philosophical methods. Computational metaphysics is computational philosophy with a focus on metaphysics. In this paper, we develop results in modal metaphysics whose discovery was computer assisted, and conclude that these results work not only to the obvious benefit of philosophy but also, less obviously, to the benefit of computer science, since the new computational techniques (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  4. Computer Science as Empirical Inquiry: Symbols and Search.Allen Newell & Herbert A. Simon - 1981 - Communications of the Association for Computing Machinery 19:113-26.
  5. Computer Science as Empirical Inquiry: Symbols and Search.Allen Newell & H. A. Simon - 1976 - Communications of the Acm 19:113-126.
    No categories
     
    Export citation  
     
    Bookmark   209 citations  
  6.  28
    Extending Ourselves: Computational Science, Empiricism, and Scientific Method.Paul Humphreys - 2004 - Oxford University Press.
    Computational methods have become the dominant technique in many areas of science. This book contains the first systematic philosophical account of these new methods and their consequences for scientific method. This book will be of interest to philosophers of science and to anyone interested in the role played by computers in modern science.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   235 citations  
  7.  24
    Computer Science as Immaterial Formal Logic.Selmer Bringsjord - 2020 - Philosophy and Technology 33 (2):339-347.
    I critically review Raymond Turner’s Computational Artifacts – Towards a Philosophy of Computer Science by placing beside his position a rather different one, according to which computer science is a branch of, and is therefore subsumed by, immaterial formal logic.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  2
    Philosophy and Computer Science.Timothy Colburn - 2000 - Routledge.
    Colburn has a doctorate in philosophy and an advanced degree in computer science; he's worked as a philosophy professor, a computer programmer, and a research scientist in artificial intelligence. Here he discusses the philosophical foundations of artificial intelligence; the new encounter of science and philosophy ; and the philosophy of computer science.
    Direct download  
     
    Export citation  
     
    Bookmark   31 citations  
  9. Philosophy of Computer Science: An Introductory Course.William J. Rapaport - 2005 - Teaching Philosophy 28 (4):319-341.
    There are many branches of philosophy called “the philosophy of X,” where X = disciplines ranging from history to physics. The philosophy of artificial intelligence has a long history, and there are many courses and texts with that title. Surprisingly, the philosophy of computer science is not nearly as well-developed. This article proposes topics that might constitute the philosophy of computer science and describes a course covering those topics, along with suggested readings and assignments.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  10. Abstraction in Computer Science.Timothy Colburn & Gary Shute - 2007 - Minds and Machines 17 (2):169-184.
    We characterize abstraction in computer science by first comparing the fundamental nature of computer science with that of its cousin mathematics. We consider their primary products, use of formalism, and abstraction objectives, and find that the two disciplines are sharply distinguished. Mathematics, being primarily concerned with developing inference structures, has information neglect as its abstraction objective. Computer science, being primarily concerned with developing interaction patterns, has information hiding as its abstraction objective. We show that (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  11.  14
    On Computer Science, Visual Science, and the Physiological Utility of Models.Barry J. Richmond & Michael E. Goldberg - 1985 - Behavioral and Brain Sciences 8 (2):300-301.
  12.  98
    Computational Science and Scientific Method.Paul Humphreys - 1995 - Minds and Machines 5 (4):499-512.
    The process of constructing mathematical models is examined and a case made that the construction process is an integral part of the justification for the model. The role of heuristics in testing and modifying models is described and some consequences for scientific methodology are drawn out. Three different ways of constructing the same model are detailed to demonstrate the claims made here.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  13. Three Paradigms of Computer Science.Amnon H. Eden - 2007 - Minds and Machines 17 (2):135-167.
    We examine the philosophical disputes among computer scientists concerning methodological, ontological, and epistemological questions: Is computer science a branch of mathematics, an engineering discipline, or a natural science? Should knowledge about the behaviour of programs proceed deductively or empirically? Are computer programs on a par with mathematical objects, with mere data, or with mental processes? We conclude that distinct positions taken in regard to these questions emanate from distinct sets of received beliefs or paradigms within (...)
    Direct download (15 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  14.  56
    Computer Science and Philosophy: Did Plato Foresee Object-Oriented Programming?Wojciech Tylman - 2018 - Foundations of Science 23 (1):159-172.
    This paper contains a discussion of striking similarities between influential philosophical concepts of the past and the approaches currently employed in selected areas of computer science. In particular, works of the Pythagoreans, Plato, Abelard, Ash’arites, Malebranche and Berkeley are presented and contrasted with such computer science ideas as digital computers, object-oriented programming, the modelling of an object’s actions and causality in virtual environments, and 3D graphics rendering. The intention of this paper is to provoke the (...) science community to go off the beaten path in order to find inspiration for the development of new approaches in software engineering. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  85
    What is Computer Science About?Oron Shagrir - 1999 - The Monist 82 (1):131-149.
    What is computer-science about? CS is obviously the science of computers. But what exactly are computers? We know that there are physical computers, and, perhaps, also abstract computers. Let us limit the discussion here to physical entities and ask: What are physical computers? What does it mean for a physical entity to be a computer? The answer, it seems, is that physical computers are physical dynamical systems that implement formal entities such as Turing-machines. I do not (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  16.  24
    Insights in How Computer Science Can Be a Science.Robert W. P. Luk - 2020 - Science and Philosophy 8 (2):17-46.
    Recently, information retrieval is shown to be a science by mapping information retrieval scientific study to scientific study abstracted from physics. The exercise was rather tedious and lengthy. Instead of dealing with the nitty gritty, this paper looks at the insights into how computer science can be made into a science by using that methodology. That is by mapping computer science scientific study to the scientific study abstracted from physics. To show the mapping between (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  97
    The Philosophy of Computer Science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.
  18.  35
    Computational Science and its Effects.Paul Humphreys - 2011 - In M. Carrier & A. Nordmann (eds.), Science in the Context of Application. Springer. pp. 131--142.
  19. Computer Science Logic 5th Workshop, Csl '91, Berne, Switzerland, October 7-11, 1991 : Proceedings'.Egon Börger, Gerhard Jäger, Hans Kleine Büning & Michael M. Richter - 1992 - Springer.
    This volume presents the proceedings of the workshop CSL '91 held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual workshops on computer sciencelogic. The volume contains 33 invited and selected papers on a variety of logical topics in computer science, including abstract datatypes, bounded theories, complexity results, cut elimination, denotational semantics, infinitary queries, Kleene algebra with recursion, minimal proofs, normal forms in infinite-valued logic, ordinal processes, persistent Petri (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. Three Myths of Computer Science.James H. Moor - 1978 - British Journal for the Philosophy of Science 29 (3):213-222.
  21. Computer Sciences Meet Evolutionary Biology: Issues in Gradualism.Philippe Huneman - 2012 - In Torres Juan, Pombo Olga, Symons John & Rahman Shahid (eds.), Special sciences and the Unity of Science. Springer.
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  22. Computer Science Logic 16th International Workshop, Csl 2002, 11th Annual Conference of the Eacsl, Edinburgh, Scotland, Uk, September 2002 : Proceedings. [REVIEW]Julian Bradfield - 2002 - Springer Verlag.
    The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22–25 September 2002. The conference series started as a programme of Int- national Workshops on Computer Science Logic, and then in its sixth meeting became the Annual Conference of the EACSL. This conference was the sixteenth meeting and eleventh EACSL conference; it was organized by the Laboratory for Foundations of Computer (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. Computer Science Logic: 6th Workshop, Csl'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers.Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini & Michael M. Richter - 1993 - Springer Verlag.
    This workshop on stochastic theory and adaptive control assembled many of the leading researchers on stochastic control and stochastic adaptive control to increase scientific exchange and cooperative research between these two subfields of stochastic analysis. The papers included in the proceedings include survey and research. They describe both theoretical results and applications of adaptive control. There are theoretical results in identification, filtering, control, adaptive control and various other related topics. Some applications to manufacturing systems, queues, networks, medicine and other topics (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  24. Handbook of Logic in Computer Science.Samson Abramsky, Dov M. Gabbay & Thomas S. E. Maibaum - 1992
     
    Export citation  
     
    Bookmark   8 citations  
  25.  11
    Computer Sciences and Commercial Forces.Shai Ophir - 2006 - Acm Sigcas Computers and Society 36 (2):3.
    Computer Sciences are having a major impact on recent scientific developments. As any other basic science, the CS is publicly perceived as an open and free science that is trying to make progress in any possible direction, resolving scientific problems in its arena and dealing with pure scientific and issues and theoretical questions per se. In this paper I claim that this is not the case. CS is heavily controlled by commercial forces, which dictate its progress, goals (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  7
    Deontic Logic in Computer Science: Normative System Specification.John-Jules Ch Meyer & R. J. Wieringa - 1993 - Wiley.
    Deontic logic originated from moral philosophy and the philosophy of law as an attempt to formalise normative and legal reasoning. This book draws on the experience of researchers - working in fields as diverse as Artificial Intelligence, linguistics, computer system specification and law - who have discovered the benefits of deontic logic when applied to solving computer science and AI problems. A useful logic in which to specify normative system behaviour, deontic logic has a broad spectrum of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  12
    Navigating Computer Science Research Through Waves of Privacy Concerns.Latanya Sweeney - 2004 - Acm Sigcas Computers and Society 34 (1 special issue):1-18.
    Computer Science research and practice are raising growing privacy concerns among the public and government. Computer technology's increasing ability to capture, organize, interpret and share data about individuals raises questions about what privacy practices computer science researchers should adopt, if any. These issues are already very real in ongoing research projects in the School of Computer Science at Carnegie Mellon University, from mining databases of individual transactions, to studying how people use the web, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  10
    What is Computer Science About?Oron Shagrir - 1999 - The Monist 82 (1):131-149.
    What is computer-science about? CS is obviously the science of computers. But what exactly are computers? We know that there are physical computers, and, perhaps, also abstract computers. Let us limit the discussion here to physical entities and ask: What are physical computers? What does it mean for a physical entity to be a computer? The answer, it seems, is that physical computers are physical dynamical systems that implement formal entities such as Turing-machines. I do not (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  29.  8
    Computer Science and Philosophy.Juan Manuel Duran - 2018 - Principia: An International Journal of Epistemology 22 (2):203-227.
    There is a widely extended image of computer software as some sort of ‘black box,’ where it does not matter how it internally works, but rather what sort of results are obtained given certain input values. By approaching computer software this way, many philosophical issues are hidden, neglected, or simply misunderstood. This article discusses three units of analysis of computer software, namely, specifications, algorithms, and computer processes. The aim is to understand the scientific and engineering practices (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  15
    Computational Artifacts: Towards a Philosophy of Computer Science.Raymond Turner - 2018 - Springer Berlin Heidelberg.
    The philosophy of computer science is concerned with issues that arise from reflection upon the nature and practice of the discipline of computer science. This book presents an approach to the subject that is centered upon the notion of computational artefact. It provides an analysis of the things of computer science as technical artefacts. Seeing them in this way enables the application of the analytical tools and concepts from the philosophy of technology to the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  31. Computer Science & IT with/for Biology.Enrico Franconi - unknown
    This reader contains the extended abstracts of the seminars organised for the “Computer Science and IT with/for Biology” Seminar Series, held at the Faculty of Computer Science, Free University of Bozen-Bolzano, from October to December 2005. Slides of the presentations are available online at: www.inf.unibz.it/krdb/biology.
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  13
    Computers, Science, and Society. [REVIEW]M. V. J. - 1972 - Review of Metaphysics 25 (3):554-555.
    F. H. George is Professor of Cybernetics at Brunel University in England. His book comprises eight chapters originally developed as lectures for a non-specialist audience. He points out the position of computer science among the sciences, explains its aims, procedures, and achievements to date, and speculates on its long-term implications for science in particular and society in general. Among the topics discussed are biological simulation and organ replacement, automated education, and the new philosophy of science. Each (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. An Intelligent Tutoring System for Learning Introduction to Computer Science.Ahmad Marouf, Mohammed K. Abu Yousef, Mohammed N. Mukhaimer & Samy S. Abu-Naser - 2018 - International Journal of Academic Multidisciplinary Research (IJAMR) 2 (2):1-8.
    The paper describes the design of an intelligent tutoring system for teaching Introduction to Computer Science-a compulsory curriculum in Al-Azhar University of Gaza to students who attend the university. The basic idea of this system is a systematic introduction into computer science. The system presents topics with examples. The system is dynamically checks student's individual progress. An initial evaluation study was done to investigate the effect of using the intelligent tutoring system on the performance of students (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  34.  79
    Conditionals: From Philosophy to Computer Science.G. Crocco, Luis Fariñas del Cerro & Andreas Herzig (eds.) - 1995 - Oxford University Press.
    This book looks at the ways in which conditionals, an integral part of philosophy and logic, can be of practical use in computer programming. It analyzes the different types of conditionals, including their applications and potential problems. Other topics include defeasible logics, the Ramsey test, and a unified view of consequence relation and belief revision. Its implications will be of interest to researchers in logic, philosophy, and computer science, particularly artificial intelligence.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  35.  36
    Mathematical Logic for Computer Science.M. Ben-Ari - 1993 - Prentice-Hall.
    Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. To provide a balanced treatment of logic, tableaux are related to deductive proof systems.The logical systems presented are:- Propositional calculus (including binary decision diagrams);- Predicate calculus;- (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  36. Epistemic Logic for Ai and Computer Science.John-Jules Ch Meyer & W. van der Hoek - 1995
     
    Export citation  
     
    Bookmark   40 citations  
  37.  59
    The Philosophy of Computer Science: Introduction to the Special Issue. [REVIEW]Raymond Turner - 2007 - Minds and Machines 17 (2):129-133.
  38.  29
    The Philosophy of Computer Science.Raymond Turner & Amnon H. Eden - 2008 - Journal of Applied Logic 6 (4):459.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  39.  3
    Computer Science Education for Social Good.Michael Goldweber - 2015 - Acm Sigcas Computers and Society 45 (2):29-30.
    Mathematics was once dubbed by Carl Gauss the "Queen of the Sciences." Given how pervasive computing has become, what should we say about it? In 2001, a New York Times column declared that "All Science is Computer Science"[7]. Since that time, computing has made tremendous inroads in the Humanities as well. Given the ubiquity of computing's applicability; physical science, natural science, social science, the Arts and the Humanities, it is worthwhile to reflect on how (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  17
    Computer Science Meets Evolutionary Biology: Pure Possible Processes and the Issue of Gradualism.Philippe Huneman - 2012 - In Torres Juan, Pombo Olga, Symons John & Rahman Shahid (eds.), Special Sciences and the Unity of Science. Springer. pp. 137--162.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. How-Possibly Explanations in (Quantum) Computer Science.Michael E. Cuffaro - 2015 - Philosophy of Science 82 (5):737-748.
    A primary goal of quantum computer science is to find an explanation for the fact that quantum computers are more powerful than classical computers. In this paper I argue that to answer this question is to compare algorithmic processes of various kinds and to describe the possibility spaces associated with these processes. By doing this, we explain how it is possible for one process to outperform its rival. Further, in this and similar examples little is gained in subsequently (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  42. Computer Science Logic.Dirk van Dalen & Marc Bezem (eds.) - 1997 - Springer.
     
    Export citation  
     
    Bookmark  
  43. Preservice Computer Science Teachers’ Beliefs, Motivational Orientations, and Teaching Practices.Büşra Kartal & Uğur Başarmak - forthcoming - Educational Studies:1-24.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44. Computer Science and the Ideology of Artificial Intelligence.G. Graham White - 1994 - In Andrzey Bronk (ed.), Tendencies and Problems in Contemporary Philosophy.
  45. Postscript. Computer Science and Humanities.Roberto Busa - 2009 - In Bernard Reber & Claire Brossaud (eds.), Digital Cognitive Technologies: Epistemology and Knowledge Society. Iste.
  46.  73
    Philosophy Through Computer Science.Daniel Lim - 2019 - Teaching Philosophy 42 (2):141-153.
    In this paper I hope to show that the idea of teaching philosophy through teaching computer science is a project worth pursuing. In the first section I will sketch a variety of ways in which philosophy and computer science might interact. Then I will give a brief rationale for teaching philosophy through teaching computer science. Then I will introduce three philosophical issues (among others) that have pedagogically useful analogues in computer science: (i) (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  17
    Computer Science Temporal Logics Need Their Clocks.Ildikó Sain - 1989 - Bulletin of the Section of Logic 18 (4):153-160.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. Computers, Science, and Society.F. H. GEORGE - 1970
    No categories
     
    Export citation  
     
    Bookmark  
  49. Computer Science, a New Dimension of Contemporary Science.Mario Borillo & Claude Pair - 1979 - In Vittorio Mathieu & Paolo Rossi (eds.), Scientia. Scientia Verlag. pp. 343.
  50. The Design of Evolutionary Algorithms: A Computer Science Perspective on the Compatibility of Evolution and Design.Peter Jeavons - forthcoming - Zygon.
1 — 50 / 1000