Results for 'computer program'

939 found
Order:
  1. Syntax, Semantics, and Computer Programs.William J. Rapaport - 2020 - Philosophy and Technology 33 (2):309-321.
    Turner argues that computer programs must have purposes, that implementation is not a kind of semantics, and that computers might need to understand what they do. I respectfully disagree: Computer programs need not have purposes, implementation is a kind of semantic interpretation, and neither human computers nor computing machines need to understand what they do.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  2. No computer program required: Even pencil-and-paper argument mapping improves critical thinking skills.Mara Harrell - 2008 - Teaching Philosophy 31 (4):351-374.
    Argument-mapping software abounds, and one of the reasons is that using the software has been shown to teach/promote/improve critical thinking skills. These positive results are very encouraging, but they also raise the question of whether the computer tutorial environment is producing these results, or whether learning argument mapping, even with just paper and pencil, is sufficient. Based on the results of two empirical studies, I argue that the basic skill of being able to represent an argument diagrammatically plays an (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  3. The bayesvl computing program saw increasing downloads in November 2023.Team A. I. S. D. L. - 2023 - Sm3D Portal.
    According to data provided by CRAN, in November 2023, the number of downloads of the bayesvl program reached 293, showing an increase of +57.5% compared to the previous month.
    Download  
     
    Export citation  
     
    Bookmark  
  4. The Logic of the Method of Agent-Based Simulation in the Social Sciences: Empirical and Intentional Adequacy of Computer Programs.Nuno David, Jaime Sichman & Helder Coleho - 2005 - Journal of Artificial Societies and Social Simulation 8 (4).
    The classical theory of computation does not represent an adequate model of reality for simulation in the social sciences. The aim of this paper is to construct a methodological perspective that is able to conciliate the formal and empirical logic of program verification in computer science, with the interpretative and multiparadigmatic logic of the social sciences. We attempt to evaluate whether social simulation implies an additional perspective about the way one can understand the concepts of program and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Proofs are Programs: 19th Century Logic and 21st Century Computing.Philip Wadler - manuscript
    As the 19th century drew to a close, logicians formalized an ideal notion of proof. They were driven by nothing other than an abiding interest in truth, and their proofs were as ethereal as the mind of God. Yet within decades these mathematical abstractions were realized by the hand of man, in the digital stored-program computer. How it came to be recognized that proofs and programs are the same thing is a story that spans a century, a chase (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. The Self-Programming System: A Skepticism-conformed Computational Framework of the Mind (3rd edition).Fangfang Li & Xiaojie Zhang - manuscript
    How the mind works is the ultimate mystery for human beings. To answer this question, one of the most significant insights is Kant’s argument that we can only perceive phenomena but not the essence of the external world. Following this idea, we formulated a novel computational framework to model the mind based on two assumptions: 1) There is no presupposition of the existence of the external objective world and the main task of the mind is to explore, establish and utilize (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7.  86
    Deductive Computing over Knowledge Bases: Prolog and Datalog.Luis M. Augusto - 2024 - Journal of Knowledge Structures and Systems 5 (1):1-62.
    Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. A Cognitive Computation Fallacy? Cognition, Computations and Panpsychism.John Mark Bishop - 2009 - Cognitive Computation 1 (3):221-233.
    The journal of Cognitive Computation is defined in part by the notion that biologically inspired computational accounts are at the heart of cognitive processes in both natural and artificial systems. Many studies of various important aspects of cognition (memory, observational learning, decision making, reward prediction learning, attention control, etc.) have been made by modelling the various experimental results using ever-more sophisticated computer programs. In this manner progressive inroads have been made into gaining a better understanding of the many components (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  9. Computer simulation and the features of novel empirical data.Greg Lusk - 2016 - Studies in History and Philosophy of Science Part A 56:145-152.
    In an attempt to determine the epistemic status of computer simulation results, philosophers of science have recently explored the similarities and differences between computer simulations and experiments. One question that arises is whether and, if so, when, simulation results constitute novel empirical data. It is often supposed that computer simulation results could never be empirical or novel because simulations never interact with their targets, and cannot go beyond their programming. This paper argues against this position by examining (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  10. Bibliometric mapping of computer and information ethics.Richard Heersmink, Jeroen van den Hoven, Nees Jan van Eck & Jan van den Berg - 2011 - Ethics and Information Technology 13 (3):241-249.
    This paper presents the first bibliometric mapping analysis of the field of computer and information ethics (C&IE). It provides a map of the relations between 400 key terms in the field. This term map can be used to get an overview of concepts and topics in the field and to identify relations between information and communication technology concepts on the one hand and ethical concepts on the other hand. To produce the term map, a data set of over thousand (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  11. European Computing and Philosophy.Gordana Dodig-Crnkovic - 2009 - The Reasoner 3 (9):18-19.
    European Computing and Philosophy conference, 2–4 July Barcelona The Seventh ECAP (European Computing and Philosophy) conference was organized by Jordi Vallverdu at Autonomous University of Barcelona. The conference started with the IACAP (The International Association for CAP) presidential address by Luciano Floridi, focusing on mechanisms of knowledge production in informational networks. The first keynote delivered by Klaus Mainzer made a frame for the rest of the conference, by elucidating the fundamental role of complexity of informational structures that can be analyzed (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Computational logic. Vol. 1: Classical deductive computing with classical logic. 2nd ed.Luis M. Augusto - 2022 - London: College Publications.
    This is the 3rd edition. Although a number of new technological applications require classical deductive computation with non-classical logics, many key technologies still do well—or exclusively, for that matter—with classical logic. In this first volume, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing – a.k.a. formal languages and automata theory – and classical deduction with the classical first-order predicate calculus with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Learning Computer Networks Using Intelligent Tutoring System.Mones M. Al-Hanjori, Mohammed Z. Shaath & Samy S. Abu Naser - 2017 - International Journal of Advanced Research and Development 2 (1).
    Intelligent Tutoring Systems (ITS) has a wide influence on the exchange rate, education, health, training, and educational programs. In this paper we describe an intelligent tutoring system that helps student study computer networks. The current ITS provides intelligent presentation of educational content appropriate for students, such as the degree of knowledge, the desired level of detail, assessment, student level, and familiarity with the subject. Our Intelligent tutoring system was developed using ITSB authoring tool for building ITS. A preliminary evaluation (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  14. Modeling the interaction of computer errors by four-valued contaminating logics.Roberto Ciuni, Thomas Macaulay Ferguson & Damian Szmuc - 2019 - In Rosalie Iemhoff, Michael Moortgat & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation. Folli Publications on Logic, Language and Information. pp. 119-139.
    Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  15. Counting with Cilia: The Role of Morphological Computation in Basal Cognition Research.Wiktor Rorot - 2022 - Entropy 24 (11):1581.
    “Morphological computation” is an increasingly important concept in robotics, artificial intelligence, and philosophy of the mind. It is used to understand how the body contributes to cognition and control of behavior. Its understanding in terms of "offloading" computation from the brain to the body has been criticized as misleading, and it has been suggested that the use of the concept conflates three classes of distinct processes. In fact, these criticisms implicitly hang on accepting a semantic definition of what constitutes computation. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Programming the Emergence in Morphogenetically Architected Complex Systems.Franck Varenne, Pierre Chaigneau, Jean Petitot & René Doursat - 2015 - Acta Biotheoretica 63 (3):295-308.
    Large sets of elements interacting locally and producing specific architectures reliably form a category that transcends the usual dividing line between biological and engineered systems. We propose to call them morphogenetically architected complex systems (MACS). While taking the emergence of properties seriously, the notion of MACS enables at the same time the design (or “meta-design”) of operational means that allow controlling and even, paradoxically, programming this emergence. To demonstrate our claim, we first show that among all the self-organized systems studied (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Computation of higher order Lie derivatives on the Infinity Computer.Felice Iavernaro, Francesca Mazzia, Marat Mukhametzhanov & Yaroslav Sergeyev - 2021 - Journal of Computational and Applied Mathematics 383:113135.
    In this paper, we deal with the computation of Lie derivatives, which are required, for example, in some numerical methods for the solution of differential equations. One common way for computing them is to use symbolic computation. Computer algebra software, however, might fail if the function is complicated, and cannot be even performed if an explicit formulation of the function is not available, but we have only an algorithm for its computation. An alternative way to address the problem is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. 2. Programming relativity as the mathematics of perspective in a Planck unit Simulation Hypothesis.Malcolm Macleod - manuscript
    The Simulation Hypothesis proposes that all of reality is in fact an artificial simulation, analogous to a computer simulation. Outlined here is a method for programming relativistic mass, space and time at the Planck level as applicable for use in Planck Universe-as-a-Simulation Hypothesis. For the virtual universe the model uses a 4-axis hyper-sphere that expands in incremental steps (the simulation clock-rate). Virtual particles that oscillate between an electric wave-state and a mass point-state are mapped within this hyper-sphere, the oscillation (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Computational reverse mathematics and foundational analysis.Benedict Eastaugh - manuscript
    Reverse mathematics studies which subsystems of second order arithmetic are equivalent to key theorems of ordinary, non-set-theoretic mathematics. The main philosophical application of reverse mathematics proposed thus far is foundational analysis, which explores the limits of different foundations for mathematics in a formally precise manner. This paper gives a detailed account of the motivations and methodology of foundational analysis, which have heretofore been largely left implicit in the practice. It then shows how this account can be fruitfully applied in the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. On the Claim that a Table-Lookup Program Could Pass the Turing Test.Drew McDermott - 2014 - Minds and Machines 24 (2):143-188.
    The claim has often been made that passing the Turing Test would not be sufficient to prove that a computer program was intelligent because a trivial program could do it, namely, the “Humongous-Table (HT) Program”, which simply looks up in a table what to say next. This claim is examined in detail. Three ground rules are argued for: (1) That the HT program must be exhaustive, and not be based on some vaguely imagined set of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  21. (1 other version)Why computers can't feel pain.John Mark Bishop - 2009 - Minds and Machines 19 (4):507-516.
    The most cursory examination of the history of artificial intelligence highlights numerous egregious claims of its researchers, especially in relation to a populist form of ‘strong’ computationalism which holds that any suitably programmed computer instantiates genuine conscious mental states purely in virtue of carrying out a specific series of computations. The argument presented herein is a simple development of that originally presented in Putnam’s (Representation & Reality, Bradford Books, Cambridge in 1988 ) monograph, “Representation & Reality”, which if correct, (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  22. The number of downloads for the bayesvl program increased significantly in January 2024.A. I. S. D. L. Team - 2024 - Sm3D Portal.
    In the first month of 2024, there was a significant increase in the number of downloads for the Bayesian stats / MCMC computing program, bayesvl, developed by AISDL running on R and Stan. The following RDocumentation (CRAN) graph illustrates the noticeable leap in data for January 2024.
    Download  
     
    Export citation  
     
    Bookmark  
  23. Sense, reference, and computation.Bruno Bentzen - 2020 - Perspectiva Filosófica 47 (2):179-203.
    In this paper, I revisit Frege's theory of sense and reference in the constructive setting of the meaning explanations of type theory, extending and sharpening a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational identity criterion for senses and argue that it validates what I see as the most plausible interpretation of Frege's equipollence principle for both sentences and singular terms. Before doing so, I examine Frege's implementation of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  24. NETMET: A Program for Generating and Interpreting Metaphors.Eric Steinhart - 1995 - Computers and Humanities 28 (6):383-392.
    Metaphors have computable semantics. A program called NETMET both generates metaphors and produces partial literal interpretations of metaphors. NETMET is based on Kittay's semantic field theory of metaphor and Black's interaction theory of metaphor. Input to NETMET consists of a list of literal propositions. NETMET creates metaphors by finding topic and source semantic fields, producing an analogical map from source to topic, then generating utterances in which terms in the source are identified with or predicated of terms in the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Sense and the computation of reference.Reinhard Muskens - 2004 - Linguistics and Philosophy 28 (4):473 - 504.
    The paper shows how ideas that explain the sense of an expression as a method or algorithm for finding its reference, preshadowed in Frege’s dictum that sense is the way in which a referent is given, can be formalized on the basis of the ideas in Thomason (1980). To this end, the function that sends propositions to truth values or sets of possible worlds in Thomason (1980) must be replaced by a relation and the meaning postulates governing the behaviour of (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  26. BABY-SIT: a computational medium based on situations.Erkan Tin & Varol Akman - 1993 - In Paul Dekker & Martin Stokhof (eds.), 9th Amsterdam Colloquium. Amsterdam, The Netherlands: Institute for Logic, Language and Computation.
    While situation theory and situation semantics provide an appropriate framework for a realistic model-theoretic treatment of natural language, serious thinking on their 'computational' aspects has just started. Existing proposals mainly offer a Prolog- or Lisp-like programming environment with varying degrees of divergence from the ontology of situation theory. In this paper, we introduce a computational medium (called BABY-SIT) based on situations. The primary motivation underlying BABY-SIT is to facilitate the development and testing of programs in domains ranging from linguistics to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. The Effectiveness of Embedded Values Analysis Modules in Computer Science Education: An Empirical Study.Matthew Kopec, Meica Magnani, Vance Ricks, Roben Torosyan, John Basl, Nicholas Miklaucic, Felix Muzny, Ronald Sandler, Christo Wilson, Adam Wisniewski-Jensen, Cora Lundgren, Kevin Mills & Mark Wells - 2023 - Big Data and Society 10 (1).
    Embedding ethics modules within computer science courses has become a popular response to the growing recognition that CS programs need to better equip their students to navigate the ethical dimensions of computing technologies like AI, machine learning, and big data analytics. However, the popularity of this approach has outpaced the evidence of its positive outcomes. To help close that gap, this empirical study reports positive results from Northeastern’s program that embeds values analysis modules into CS courses. The resulting (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  28. Preface to Where Does I Come From? Special Issue on Subjectivity and the Debate over Computational Cognitive Science.Mary Galbraith & William J. Rapaport - 1995 - Minds and Machines 5 (4):513-515.
    For centuries, philosophers studying the great mysteries of human subjectivity have focused on the mind/body problem and the difference between human beings and animals. Now a new ontological question takes center stage: to what extent can a manufactured object (a computer) exhibit qualities of mind? There have been passionate exchanges between those who believe that a "manufactured mind" is possible and those who believe that mind cannot exist except as a living, socially situated, embodied person. As with earlier arguments, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Tractability and the computational mind.Rineke Verbrugge & Jakub Szymanik - 2018 - In Mark Sprevak & Matteo Colombo (eds.), The Routledge Handbook of the Computational Mind. Routledge. pp. 339-353.
    We overview logical and computational explanations of the notion of tractability as applied in cognitive science. We start by introducing the basics of mathematical theories of complexity: computability theory, computational complexity theory, and descriptive complexity theory. Computational philosophy of mind often identifies mental algorithms with computable functions. However, with the development of programming practice it has become apparent that for some computable problems finding effective algorithms is hardly possible. Some problems need too much computational resource, e.g., time or memory, to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  30. A computational approach to linguistic knowledge.Ian Gold & Sandy C. Boucher - 2002 - Language and Communication 1 (22):211-229.
    The rejection of behaviorism in the 1950s and 1960s led to the view, due mainly to Noam Chomsky, that language must be studied by looking at the mind and not just at behavior. It is an understatement to say that Chomskyan linguistics dominates the field. Despite being the overwhelming majority view, it has not gone unchallenged, and the challenges have focused on different aspects of the theory. What is almost universally accepted, however, is Chomsky’s view that understanding language demands a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. Making sense of ‘genetic programs’: biomolecular Post–Newell production systems.Mihnea Capraru - 2024 - Biology and Philosophy 39 (2):1-12.
    The biomedical literature makes extensive use of the concept of a genetic program. So far, however, the nature of genetic programs has received no satisfactory elucidation from the standpoint of computer science. This unsettling omission has led to doubts about the very existence of genetic programs, on the grounds that gene regulatory networks lack a predetermined schedule of execution, which may seem to contradict the very idea of a program. I show, however, that we can make perfect (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. Almost Ideal: Computational Epistemology and the Limits of Rationality for Finite Reasoners.Danilo Fraga Dantas - 2016 - Dissertation, University of California, Davis
    The notion of an ideal reasoner has several uses in epistemology. Often, ideal reasoners are used as a parameter of (maximum) rationality for finite reasoners (e.g. humans). However, the notion of an ideal reasoner is normally construed in such a high degree of idealization (e.g. infinite/unbounded memory) that this use is unadvised. In this dissertation, I investigate the conditions under which an ideal reasoner may be used as a parameter of rationality for finite reasoners. In addition, I present and justify (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. (1 other version)Computing Generalized Specificity.Frieder Stolzenberg, Alejandro Javier Garcia, Carlos Ivan Chesñevar & Guillermo Ricardo Simari - 2003 - Journal of Applied Non-Classical Logics 13 (1):87-113.
    Most formalisms for representing common-sense knowledge allow incomplete and potentially inconsistent information. When strong negation is also allowed, contradictory conclusions can arise. A criterion for deciding between them is needed. The aim of this paper is to investigate an inherent and autonomous comparison criterion, based on specificity as defined in [POO 85, SIM 92]. In contrast to other approaches, we consider not only defeasible, but also strict knowledge. Our criterion is context-sensitive, i. e., preference among defeasible rules is determined dynamically (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. (1 other version)Programming Planck units from a virtual electron; a Simulation Hypothesis (summary).Malcolm Macleod - 2018 - Eur. Phys. J. Plus 133:278.
    The Simulation Hypothesis proposes that all of reality, including the earth and the universe, is in fact an artificial simulation, analogous to a computer simulation, and as such our reality is an illusion. In this essay I describe a method for programming mass, length, time and charge (MLTA) as geometrical objects derived from the formula for a virtual electron; $f_e = 4\pi^2r^3$ ($r = 2^6 3 \pi^2 \alpha \Omega^5$) where the fine structure constant $\alpha$ = 137.03599... and $\Omega$ = (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. An Intelligent Tutoring System for Cloud Computing.Hasan Abdulla Abu Hasanein & Samy S. Abu Naser - 2017 - International Journal of Academic Research and Development 2 (1):76-80.
    Intelligent tutoring system (ITS) is a computer system which aims to provide immediate and customized or reactions to learners, usually without the intervention of human teacher's instructions. Secretariats professional to have the common goal of learning a meaningful and effective manner through the use of a variety of computing technologies enabled. There are many examples of professional Secretariats used in both formal education and in professional settings that have proven their capabilities. There is a close relationship between private lessons (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  36. Syntactic semantics: Foundations of computational natural language understanding.William J. Rapaport - 1988 - In James H. Fetzer (ed.), Aspects of AI. D.
    This essay considers what it means to understand natural language and whether a computer running an artificial-intelligence program designed to understand natural language does in fact do so. It is argued that a certain kind of semantics is needed to understand natural language, that this kind of semantics is mere symbol manipulation (i.e., syntax), and that, hence, it is available to AI systems. Recent arguments by Searle and Dretske to the effect that computers cannot understand natural language are (...)
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  37. Logic in mathematics and computer science.Richard Zach - forthcoming - In Filippo Ferrari, Elke Brendel, Massimiliano Carrara, Ole Hjortland, Gil Sagi, Gila Sher & Florian Steinberger (eds.), Oxford Handbook of Philosophy of Logic. Oxford, UK: Oxford University Press.
    Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. ITS for Learning computer networks.Monnes Hanjory & Mohammed Z. Shath - 2017 - International Journal of Advanced Research and Development 2 (1):74-78.
    Intelligent Tutoring Systems (ITS) has a wide influence on the exchange rate, education, health, training, and educational programs. In this paper we describe an intelligent tutoring system that helps student study computer networks. The current ITS provides intelligent presentation of educational content appropriate for students, such as the degree of knowledge, the desired level of detail, assessment, student level, and familiarity with the subject. Our Intelligent tutoring system was developed using ITSB authoring tool for building ITS. A preliminary evaluation (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Lexicographic multi-objective linear programming using grossone methodology: Theory and algorithm.Marco Cococcioni, Massimo Pappalardo & Yaroslav Sergeyev - 2018 - Applied Mathematics and Computation 318:298-311.
    Numerous problems arising in engineering applications can have several objectives to be satisfied. An important class of problems of this kind is lexicographic multi-objective problems where the first objective is incomparably more important than the second one which, in its turn, is incomparably more important than the third one, etc. In this paper, Lexicographic Multi-Objective Linear Programming (LMOLP) problems are considered. To tackle them, traditional approaches either require solution of a series of linear programming problems or apply a scalarization of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Emergent Semiotics in Genetic Programming and the Self-Adaptive Semantic Crossover.Julio Michael Stern & Rafael Inhasz - 2010 - Studies in Computational Intelligence 314:381-392.
    We present SASC, Self-Adaptive Semantic Crossover, a new class of crossover operators for genetic programming. SASC operators are designed to induce the emergence and then preserve good building-blocks, using metacontrol techniques based on semantic compatibility measures. SASC performance is tested in a case study concerning the replication of investment funds.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  41. ITS for cloud computing.Hasan Abu Hasanen & Monnes Hanjory - 2017 - International Journal of Academic Research and Development 2 (1):76-80.
    Intelligent tutoring system (ITS) is a computer system which aims to provide immediate and customized or reactions to learners, usually without the intervention of human teacher's instructions. Secretariats professional to have the common goal of learning a meaningful and effective manner through the use of a variety of computing technologies enabled. There are many examples of professional Secretariats used in both formal education and in professional settings that have proven their capabilities. There is a close relationship between private lessons (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Oyun: A New, Free Program for Iterated Prisoner’s Dilemma Tournaments in the Classroom.Charles H. Pence & Lara Buchak - 2012 - Evolution Education and Outreach 5 (3):467-476.
    Evolutionary applications of game theory present one of the most pedagogically accessible varieties of genuine, contemporary theoretical biology. We present here Oyun (OY-oon, http://charlespence.net/oyun), a program designed to run iterated prisoner’s dilemma tournaments, competitions between prisoner’s dilemma strategies developed by the students themselves. Using this software, students are able to readily design and tweak their own strategies, and to see how they fare both in round-robin tournaments and in “evolutionary” tournaments, where the scores in a given “generation” directly determine (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. Implementation of Data Mining on a Secure Cloud Computing over a Web API using Supervised Machine Learning Algorithm.Tosin Ige - 2022 - International Journal of Advanced Computer Science and Applications 13 (5):1 - 4.
    Ever since the era of internet had ushered in cloud computing, there had been increase in the demand for the unlimited data available through cloud computing for data analysis, pattern recognition and technology advancement. With this also bring the problem of scalability, efficiency and security threat. This research paper focuses on how data can be dynamically mine in real time for pattern detection in a secure cloud computing environment using combination of decision tree algorithm and Random Forest over a restful (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  44.  75
    Apriori Knowledge in an Era of Computational Opacity: The Role of AI in Mathematical Discovery.Eamon Duede & Kevin Davey - forthcoming - Philosophy of Science.
    Computation is central to contemporary mathematics. Many accept that we can acquire genuine mathematical knowledge of the Four Color Theorem from Appel and Haken's program insofar as it is simply a repetitive application of human forms of mathematical reasoning. Modern LLMs / DNNs are, by contrast, opaque to us in significant ways, and this creates obstacles in obtaining mathematical knowledge from them. We argue, however, that if a proof-checker automating human forms of proof-checking is attached to such machines, then (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Rules in programming languages and networks.Frederick R. Adams, Kenneth Aizawa & Gary Fuller - 1992 - In John Dinsmore (ed.), The Symbolic and Connectionist Paradigms: Closing the Gap. Lawrence Erlbaum.
    1. Do models formulated in programming languages use explicit rules where connectionist models do not? 2. Are rules as found in programming languages hard, precise, and exceptionless, where connectionist rules are not? 3. Do connectionist models use rules operating on distributed representations where models formulated in programming languages do not? 4. Do connectionist models fail to use structure sensitive rules of the sort found in "classical" computer architectures? In this chapter we argue that the answer to each of these (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  46. Computer, Graphic, and Traditional Systems: A Theoretical Study of Music Notation.Richard Wood Massi - 1993 - Dissertation, University of California, San Diego
    This study examines problems related to the representation of music. It constructs the sender/message/perceiver/result model, a prototype broad enough to incorporate a large variety of music and other notation systems, including those having to do with computers. The work defines music notation itself, describes various models for studying the subject--including the binary types prescriptive/descriptive, and symbolic/iconic--and assesses music notation as a contemporary practice. It encompasses a review of the actions and intentions of composers, performers, and audiences, and a consideration of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47.  66
    The Philosophy of Computer Languages.Graham White - 2003 - In Luciano Floridi (ed.), The Blackwell guide to the philosophy of computing and information. Blackwell. pp. 237–247.
    The prelims comprise: Introduction: Two Semantic Projects History The Uses of Semantics Conclusions.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  48. Ontology For Europe's Space Situational Awareness Program.Robert J. Rovetto - 2017 - In Flohrer T. & Schmitz F. (eds.), Proceedings of the 7th European Conference on Space Debris. European Space Agency.
    This paper presents an ontology architecture concept for the European Space Agency‘s (ESA) Space Situational Awareness (SSA) Program. It incorporates the author‘s domain ontology, The Space Situational Awareness Ontology and related ontology work. I summarize computational ontology, discuss the segments of ESA SSA, and introduce an option for a modular ontology framework reflecting the divisionsof the SSA program. Among other things, ontologies are used for data sharing and integration. By applying ontology to ESA data, the ESA may better (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Situations and computation: an overview of recent research.Erkan Tin & Varol Akman - 1995 - In J. Griffith (ed.), Topics in Constraint Grammar Formalism for Computational Linguistics (SfS Report 4-95). Tübingen: Seminar für Sprachwissenschaft, Eberhard-Karls-Universität.
    Serious thinking about the computational aspects of situation theory is just starting. There have been some recent proposals in this direction (viz. PROSIT and ASTL), with varying degrees of divergence from the ontology of the theory. We believe that a programming environment incorporating bona fide situation-theoretic constructs is needed and describe our very recent BABY-SIT implementation. A detailed critical account of PROSIT and ASTL is also offered in order to compare our system with these pioneering and influential frameworks.
    Download  
     
    Export citation  
     
    Bookmark  
  50. Lagrange Multipliers and Neutrosophic Nonlinear Programming Problems Constrained by Equality Constraints.Florentin Smarandache & Maissam Jdid - 2023 - Neutrosophic Systems with Applications 6.
    Operations research science is defined as the science that is concerned with applying scientific methods to complex problems in managing and directing large systems of people, including resources and tools in various fields, private and governmental work, peace and war, politics, administration, economics, planning and implementation in various domains. It uses scientific methods that take the language of mathematics as a basis for it and uses computer, without which it would not have been possible to achieve numerical solutions to (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 939