Results for 'effective computing'

1000+ found
Order:
  1. On the Possibilities of Hypercomputing Supertasks.Vincent C. Müller - 2011 - Minds and Machines 21 (1):83-96.
    This paper investigates the view that digital hypercomputing is a good reason for rejection or re-interpretation of the Church-Turing thesis. After suggestion that such re-interpretation is historically problematic and often involves attack on a straw man (the ‘maximality thesis’), it discusses proposals for digital hypercomputing with Zeno-machines , i.e. computing machines that compute an infinite number of computing steps in finite time, thus performing supertasks. It argues that effective computing with Zeno-machines falls into a dilemma: either (...)
    Direct download (10 more)  
     
    Export citation  
     
    My bibliography  
  2.  71
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  41
    The Ethics of Cloud Computing.Boudewijn de Bruin & Luciano Floridi - 2017 - Science and Engineering Ethics 23 (1):21-39.
    Cloud computing is rapidly gaining traction in business. It offers businesses online services on demand (such as Gmail, iCloud and Salesforce) and allows them to cut costs on hardware and IT support. This is the first paper in business ethics dealing with this new technology. It analyzes the informational duties of hosting companies that own and operate cloud computing datacenters (e.g., Amazon). It considers the cloud services providers leasing ‘space in the cloud’ from hosting companies (e.g, Dropbox, Salesforce). (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4.  17
    Computing is at Best a Special Kind of Thinking.James H. Fetzer - 2000 - In The Proceedings of the Twentieth World Congress of Philosophy. Charlottesville: Philosophy Doc Ctr. pp. 103-113.
    When computing is defined as the causal implementation of algorithms and algorithms are defined as effective decision procedures, human thought is mental computation only if it is governed by mental algorithms. An examination of ordinary thinking, however, suggests that most human thought processes are non-algorithmic. Digital machines, moreover, are mark-manipulating or string-processing systems whose marks or strings do not stand for anything for those systems, while minds are semiotic (or “signusing”) systems for which signs stand for other things (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  58
    Recent Developments in Computing and Philosophy.Anthony F. Beavers - 2011 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 42 (2):385-397.
    Because the label "computing and philosophy" can seem like an ad hoc attempt to tie computing to philosophy, it is important to explain why it is not, what it studies (or does) and how it differs from research in, say, "computing and history," or "computing and biology". The American Association for History and Computing is "dedicated to the reasonable and productive marriage of history and computer technology for teaching, researching and representing history through scholarship and (...)
    Direct download (10 more)  
     
    Export citation  
     
    My bibliography  
  6.  11
    Turing, Matthews and Millikan: Effective Memory, Dispositionalism and Pushmepullyou Mental States.Eli Dresner - 2012 - International Journal of Philosophical Studies 20 (4):461-472.
    Abstract In the first section of the paper I present Alan Turing?s notion of effective memory, as it appears in his 1936 paper ?On Computable Numbers, With an Application to The Entscheidungsproblem?. This notion stands in surprising contrast with the way memory is usually thought of in the context of contemporary computer science. Turing?s view (in 1936) is that for a computing machine to remember a previously scanned string of symbols is not to store an internal symbolic image (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  6
    Student and Tutor Perceptions of Learning and Teaching on a First‐Year Study Skills Module in a University Computing Department.Jane Coughlan & Stephen Swift - 2011 - Educational Studies 37 (5):529-539.
    The level of student preparedness for university?level study has been widely debated. Effective study skills modules have been linked to supporting students? academic development during the transition phase. However, few studies have evaluated the learning experience on study skills modules from both a student and staff perspective. We surveyed 121 first?year students and seven tutors on a study skills module on an undergraduate computing programme. The aspects in which the students? and tutors? views diverge provide insights into the (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  8. Schools’ Computing Policy as State‐Directed Innovation.Oliver Boyd‐Barrett - 1990 - Educational Studies 16 (2):169-185.
    The decade 1980‐90 was one of great importance for educational computing. The outstanding feature of the first half of the decade was the Micro‐electronics Education Programme which ran from 1981 to 1986. This period may be described as one of relatively open‐ended exploration. In the second half of the decade, by contrast, there was a sharpening of policy goals and a move towards curriculum compulsion. This paper seeks to establish the key role of central government in promoting the use (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  9. Computing is at Best a Special Kind of Thinking.James H. Fetzer - 2000 - The Proceedings of the Twentieth World Congress of Philosophy 9:103-113.
    When computing is defined as the causal implementation of algorithms and algorithms are defined as effective decision procedures, human thought is mental computation only if it is governed by mental algorithms. An examination of ordinary thinking, however, suggests that most human thought processes are non-algorithmic. Digital machines, moreover, are mark-manipulating or string-processing systems whose marks or strings do not stand for anything for those systems, while minds are semiotic systems for which signs stand for other things for those (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10.  11
    Computing Links and Accessing Arcs.Timothy H. McNicholl - 2013 - Mathematical Logic Quarterly 59 (1-2):101-107.
    Sufficient conditions are given for the computation of an arc that accesses a point on the boundary of an open subset of the plane from a point within the set. The existence of a not-computably-accessible but computable point on a computably compact arc is also demonstrated.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  11.  5
    Effective Search Problems.Martin Kummer & Frank Stephan - 1994 - Mathematical Logic Quarterly 40 (2):224-236.
    The task of computing a function F with the help of an oracle X can be viewed as a search problem where the cost measure is the number of queries to X. We ask for the minimal number that can be achieved by a suitable choice of X and call this quantity the query complexity of F. This concept is suggested by earlier work of Beigel, Gasarch, Gill, and Owings on “Bounded query classes”. We introduce a fault tolerant version (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  12.  33
    Censorship, the Internet, and the Child Pornography Law of 1996: A Critique. [REVIEW]Jacques N. Catudal - 1999 - Ethics and Information Technology 1 (2):105-115.
    After describing the Child Pornography Prevention Act (CPPA) of 1996, I argue that the Act ought to be significantly amended. The central objections to CPPA are (1) that it is so broad in its main proscriptions as to violate the First Amendment rights of adults; (2) that it altogether fails to provide minors and their legal guardians with the privacy rights needed to combat the harms associated with certain classes of prurient material on the Internet; and, (3) that the actual (...)
    Direct download (11 more)  
     
    Export citation  
     
    My bibliography  
  13.  3
    Computing Nature–A Network of Networks of Concurrent Information Processes.Gordana Dodig-Crnkovic & Raffaela Giovagnoli - 2013 - In Gordana Dodig-Crnkovic Raffaela Giovagnoli (ed.), Computing Nature. pp. 1--22.
    This text presents the research field of natural/unconventional computing as it appears in the book COMPUTING NATURE. The articles discussed consist a selection of works from the Symposium on Natural Computing at AISB-IACAP (British Society for the Study of Artificial Intelligence and the Simulation of Behaviour and The International Association for Computing and Philosophy) World Congress 2012, held at the University of Birmingham, celebrating Turing centenary. The COMPUTING NATURE is about nature considered as the totality (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  14. The Ethical Principles of Effective Altruism.Anthony Skelton - 2016 - Journal of Global Ethics 12 (2):137-146.
    This paper is an examination of the ethical principles of effective altruism as they are articulated by Peter Singer in his book The Most Good You Can Do. It discusses the nature and the plausibility of the principles that he thinks both guide and ought to guide effective altruists. It argues in § II pace Singer that it is unclear that in charitable giving one ought always to aim to produce the most surplus benefit possible and in § (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  15. Why Build a Virtual Brain? Large-Scale Neural Simulations as Jump Start for Cognitive Computing.Matteo Colombo - 2016 - Journal of Experimental and Theoretical Artificial Intelligence.
    Despite the impressive amount of financial resources recently invested in carrying out large-scale brain simulations, it is controversial what the pay-offs are of pursuing this project. One idea is that from designing, building, and running a large-scale neural simulation, scientists acquire knowledge about the computational performance of the simulating system, rather than about the neurobiological system represented in the simulation. It has been claimed that this knowledge may usher in a new era of neuromorphic, cognitive computing systems. This study (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16. Reading Emotion From Mouse Cursor Motions: Affective Computing Approach.Takashi Yamauchi & Kunchen Xiao - forthcoming - Cognitive Science.
    Affective computing research has advanced emotion recognition systems using facial expressions, voices, gaits, and physiological signals, yet these methods are often impractical. This study integrates mouse cursor motion analysis into affective computing and investigates the idea that movements of the computer cursor can provide information about emotion of the computer user. We extracted 16–26 trajectory features during a choice-reaching task and examined the link between emotion and cursor motions. Participants were induced for positive or negative emotions by music, (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  17.  29
    Computing and Experiments.Viola Schiaffonati & Mario Verdicchio - 2014 - Philosophy and Technology 27 (3):359-376.
    The question about the scientific nature of computing has been widely debated with no universal consensus reached about its disciplinary status. Positions vary from acknowledging computing as the science of computers to defining it as a synthetic engineering discipline. In this paper, we aim at discussing the nature of computing from a methodological perspective. We consider, in particular, the nature and role of experiments in this field, whether they can be considered close to the traditional experimental scientific (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  18.  15
    Effective Borel Measurability and Reducibility of Functions.Vasco Brattka - 2005 - Mathematical Logic Quarterly 51 (1):19-44.
    The investigation of computational properties of discontinuous functions is an important concern in computable analysis. One method to deal with this subject is to consider effective variants of Borel measurable functions. We introduce such a notion of Borel computability for single-valued as well as for multi-valued functions by a direct effectivization of the classical definition. On Baire space the finite levels of the resulting hierarchy of functions can be characterized using a notion of reducibility for functions and corresponding complete (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  19.  46
    The Institutional Critique of Effective Altruism.Brian Berkey - forthcoming - Utilitas.
    In recent years, the effective altruism movement has generated much discussion about the ways in which we can most effectively improve the lives of the global poor, and pursue other morally important goals. One of the most common criticisms of the movement is that it has unjustifiably neglected issues related to institutional change that could address the root causes of poverty, and instead focused its attention on encouraging individuals to direct resources to organizations that directly aid people living in (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  20.  51
    Computing as a Science: A Survey of Competing Viewpoints. [REVIEW]Matti Tedre - 2011 - Minds and Machines 21 (3):361-387.
    Since the birth of computing as an academic discipline, the disciplinary identity of computing has been debated fiercely. The most heated question has concerned the scientific status of computing. Some consider computing to be a natural science and some consider it to be an experimental science. Others argue that computing is bad science, whereas some say that computing is not a science at all. This survey article presents viewpoints for and against computing as (...)
    Direct download (15 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  21.  62
    Effective Computation by Humans and Machines.Shagrir Oron - 2002 - Minds and Machines 12 (2):221-240.
    There is an intensive discussion nowadays about the meaning of effective computability, with implications to the status and provability of the Church–Turing Thesis (CTT). I begin by reviewing what has become the dominant account of the way Turing and Church viewed, in 1936, effective computability. According to this account, to which I refer as the Gandy–Sieg account, Turing and Church aimed to characterize the functions that can be computed by a human computer. In addition, Turing provided a highly (...)
    Direct download (18 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  22.  88
    Emergence in Effective Field Theories.Jonathan Bain - 2013 - European Journal for Philosophy of Science 3 (3):257-273.
    This essay considers the extent to which a concept of emergence can be associated with Effective Field Theories (EFTs). I suggest that such a concept can be characterized by microphysicalism and novelty underwritten by the elimination of degrees of freedom from a high-energy theory, and argue that this makes emergence in EFTs distinct from other concepts of emergence in physics that have appeared in the recent philosophical literature.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  23.  9
    Effective Altruists Ought to Be Allowed to Sell Their Kidneys.Ryan Tonkens - 2018 - Bioethics 32 (3):147-154.
    Effective altruists aim to do the most good that they can do with the resources available to them, without causing themselves or their dependents significant harm thereby. The argument presented in this paper demonstrates that there are no morally relevant dissimilarities between living kidney donation and living kidney selling for effective altruistic reasons. Thus, since the former is allowed, the latter ought to be allowed as well. And, there are important moral differences between living kidney selling for (...) altruistic reasons and other reasons for kidney vending, such that standard objections against markets in human kidneys do not attach to those markets designed around principles of effective altruism. The reasonable conclusion to draw from this is that eligible effective altruist kidney donors ought to be allowed to sell their kidneys to others in need, if they so desire. Because of this, law and policy ought to be changed to allow for this exceptional case: current laws that ban kidney selling for everyone, irrespective of their reason for selling, are unjustified. (shrink)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  24.  38
    Striking a Balance Between Rules and Principles-Based Approaches for Effective Governance: A Risks-Based Approach.Surendra Arjoon - 2006 - Journal of Business Ethics 68 (1):53-82.
    Several recent studies and initiatives have emphasized the importance of a strong ethical organizational DNA (ODNA) to create and promote an effective corporate governance culture of trust, integrity and intellectual honesty. This paper highlights the drawbacks of an excessively heavy reliance on rules-based approaches that increase the cost of doing business, overshadow essential elements of good corporate governance, create a culture of dependency, and can result in legal absolutism. The paper makes the case that the way forward for (...) corporate governance is to strike an optimal balance between rules-based and principles-based approaches. The recent corporate scandals have demonstrated that the ethical ODNA is critical to the driving force and basis of legal and regulatory requirements. Effective governance means adhering to ethical principles, not merely complying with rules, and is a crucial guardian of a firm’s reputation and integrity. It is through an effective corporate governance program (that is, one that optimally captures and integrates the appropriate aspects of rules-based and principles-based approaches, and identifies and assesses the related risks) that an organization can reconfigure its ODNA for improved performance. Focusing on the ethical ODNA as the basis of new governance measures provides an opportunity to develop a competitive advantage as it represents a potential source of differentiation, strengthens the relationship with all stakeholders of the organization by building a culture of trust and integrity, and re-instills investor confidence. This paper employs dialectical reasoning that links the ODNA through principles-driven rules in developing a risks-based approach. A comparison from a risk assessment perspective between rules-based and principles-based approaches is presented. Although there have been few applications employing dialectical reasoning in business research, this methodology can be extremely useful in isolating ethical issues and integrating them into the business process. The risks-based approach captures the benefits of both rules-based and principles-based approaches, and incorporates trust-based principles such␣as solidarity, subsidiarity and covenantal relationships. (shrink)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  25.  96
    Unique Ethical Problems in Information Technology.Walter Maner - 1996 - Science and Engineering Ethics 2 (2):137-154.
    A distinction is made between moral indoctrination and instruction in ethics. It is argued that the legitimate and important field of computer ethics should not be permitted to become mere moral indoctrination. Computer ethics is an academic field in its own right with unique ethical issues that would not have existed if computer technology had not been invented. Several example issues are presented to illustrate this point. The failure to find satisfactory non-computer analogies testifies to the uniqueness of computer ethics. (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  26. What a Course on Philosophy of Computing is Not.Vincent C. Müller - 2008 - APA Newsletter on Philosophy and Computers 8 (1):36-38.
    Immanuel Kant famously defined philosophy to be about three questions: “What can I know? What should I do? What can I hope for?” (KrV, B833). I want to suggest that the three questions of our course on the philosophy of computing are: What is computing? What should we do with computing? What could computing do?
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27.  81
    Facing Computing as Technique: Towards a History and Philosophy of Computing.Liesbeth De Mol & Giuseppe Primiero - 2014 - Philosophy and Technology 27 (3):321-326.
    We present the methodological principles underlying the scientific activities of the DHST Commission on the History and Philosophy of Computing. This volume collects refereed selected papers from the First International Conference organized by the Commission.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  28.  23
    The Importance of Generalized Bodily Habits for a Future World of Ubiquitous Computing.Robert Rosenberger - 2013 - AI and Society 28 (3):289-296.
    In a future world of ubiquitous computing, in which humans interact with computerized technologies even more frequently and in even more situations than today, interface design will have increased importance. One feature of interface that I argue will be especially relevant is what I call abstract relational strategies. This refers to an approach (in both a bodily and conceptual sense) toward the use of a technology, an approach that is general enough to be applied in many different concrete scenarios. (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  29.  37
    Effective Altruism and Anti-Capitalism: An Attempt at Reconciliation.Joshua Kissel - 2017 - Essays in Philosophy 18 (1).
    Leftwing critiques of philanthropy are not new and so it is unsurprising that the Effective Altruism movement, which regards philanthropy as one of its tools, has been a target in recent years. Similarly, some Effective Altruists have regarded anti-capitalist strategy with suspicion. This essay is an attempt at harmonizing Effective Altruism and the anti-capitalism. My attraction to Effective Altruism and anti-capitalism are motivated by the same desire for a better world and so personal consistency demands reconciliation. (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  30.  12
    Stretching the Traditional Notion of Experiment in Computing: Explorative Experiments.Viola Schiaffonati - 2016 - Science and Engineering Ethics 22 (3):647-665.
    Experimentation represents today a ‘hot’ topic in computing. If experiments made with the support of computers, such as computer simulations, have received increasing attention from philosophers of science and technology, questions such as “what does it mean to do experiments in computer science and engineering and what are their benefits?” emerged only recently as central in the debate over the disciplinary status of the discipline. In this work we aim at showing, also by means of paradigmatic examples, how the (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  31.  64
    On Effective Procedures.Carol E. Cleland - 2002 - Minds and Machines 12 (2):159-179.
    Since the mid-twentieth century, the concept of the Turing machine has dominated thought about effective procedures. This paper presents an alternative to Turing's analysis; it unifies, refines, and extends my earlier work on this topic. I show that Turing machines cannot live up to their billing as paragons of effective procedure; at best, they may be said to provide us with mere procedure schemas. I argue that the concept of an effective procedure crucially depends upon distinguishing procedures (...)
    Direct download (17 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  32.  49
    Common Morality and Computing.Bernard Gert - 1999 - Ethics and Information Technology 1 (1):53-60.
    This article shows how common morality can be helpful in clarifying the discussion of ethical issues that arise in computing. Since common morality does not always provide unique answers to moral questions, not all such issues can be resolved, however common morality does provide a clear answer to the question whether one can illegally copy software for a friend.
    Direct download (11 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  33.  28
    Focus on Fish: A Call to Effective Altruists.Max Elder & Bob Fischer - 2017 - Essays in Philosophy 18 (1).
    Effective altruists call us to apply evidence-based reasoning to maximize the effectiveness of charitable giving. In particular, effective altruists assess causes in terms of their scope, neglectedness, and tractability, and then recommend devoting resources to the cause that scores best on these criteria. So far, effective altruists concerned with animal suffering have seen these criteria as supporting interventions that improve the lives of layer hens, and they now seem to think that these criteria support directing efforts toward (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  34.  9
    Exploring a Mechanistic Approach to Experimentation in Computing.Eric Hatleback & Jonathan M. Spring - 2014 - Philosophy and Technology 27 (3):441-459.
    The mechanistic approach in philosophy of science contributes to our understanding of experimental design. Applying the mechanistic approach to experimentation in computing is beneficial for two reasons. It connects the methodology of experimentation in computing with the methodology of experimentation in established sciences, thereby strengthening the scientific reputability of computing and the quality of experimental design therein. Furthermore, it pinpoints the idiosyncrasies of experimentation in computing: computing deals closely with both natural and engineered mechanisms. Better (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  35.  46
    Ubiquitous Computing, Empathy and the Self.Soraj Hongladarom - 2013 - AI and Society 28 (2):227-236.
    The paper discusses ubiquitous computing and the conception of the self, especially the question how the self should be understood in the environment pervaded by ubiquitous computing, and how ubiquitous computing makes possible direct empathy where each person or self connected through the network has direct access to others’ thoughts and feelings. Starting from a conception of self, which is essentially distributed, composite and constituted through information, the paper argues that when a number of selves are connected (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  36.  30
    Church Without Dogma: Axioms for Computability.Wilfried Sieg - unknown
    Church's and Turing's theses dogmatically assert that an informal notion of effective calculability is adequately captured by a particular mathematical concept of computability. I present an analysis of calculability that is embedded in a rich historical and philosophical context, leads to precise concepts, but dispenses with theses. To investigate effective calculability is to analyze symbolic processes that can in principle be carried out by calculators. This is a philosophical lesson we owe to Turing. Drawing on that lesson and (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  37.  43
    An Ethical Decision-Making Process for Computing Professionals.Edward J. O'Boyle - 2002 - Ethics and Information Technology 4 (4):267-277.
    Our comments focus on the ACMCode of Ethics and situate the Code within ageneral ethical decision-making process tospecify the five steps which logically precedehuman action in ethical matters and determinethat action, and the individual differencetraits in these five steps which bear upon theresolution of an ethical problem and lead tomorally responsible action. Our main purpose isto present a cognitive moral processing modelwhich computing professionals can use to betterunderstand their professional rights andduties. It is clear that the Code providessubstantial guidance (...)
    Direct download (10 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  38.  12
    Domains for Computation in Mathematics, Physics and Exact Real Arithmetic.Abbas Edalat - 1997 - Bulletin of Symbolic Logic 3 (4):401-452.
    We present a survey of the recent applications of continuous domains for providing simple computational models for classical spaces in mathematics including the real line, countably based locally compact spaces, complete separable metric spaces, separable Banach spaces and spaces of probability distributions. It is shown how these models have a logical and effective presentation and how they are used to give a computational framework in several areas in mathematics and physics. These include fractal geometry, where new results on existence (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  39.  22
    Program Verification and Functioning of Operative Computing Revisited: How About Mathematics Engineering? [REVIEW]Uri Pincas - 2011 - Minds and Machines 21 (2):337-359.
    The issue of proper functioning of operative computing and the utility of program verification, both in general and of specific methods, has been discussed a lot. In many of those discussions, attempts have been made to take mathematics as a model of knowledge and certitude achieving, and accordingly infer about the suitable ways to handle computing. I shortly review three approaches to the subject, and then take a stance by considering social factors which affect the epistemic status of (...)
    Direct download (10 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  40.  85
    Prolegomena to a Theory of Communication and Affect.Aaron Sloman - 1992 - In Andrew Ortony, Jon Slack & Oliviero Stock (eds.), Communication from an Artificial Intelligence Perspective: Theoretical and Applied Issues. Springer.
    As a step towards comprehensive computer models of communication, and effective human machine dialogue, some of the relationships between communication and affect are explored. An outline theory is presented of the architecture that makes various kinds of affective states possible, or even inevitable, in intelligent agents, along with some of the implications of this theory for various communicative processes. The model implies that human beings typically have many different, hierarchically organized, dispositions capable of interacting with new information to produce (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  41.  14
    Effective Altruism and Christianity: Possibilities for Productive Collaboration.Alida Liberman - 2017 - Essays in Philosophy 18 (1).
    While many Christians accept the claim that giving to support the poor and needy is a core moral and religious obligation, most Christian giving is usually not very efficient in EA terms. In this paper, I explore possibilities for productive collaboration between effective altruists and Christian givers. I argue that Christians are obligated from their own perspective to give radically in terms of quantity and scope to alleviate the suffering of the poor and needy. I raise two important potential (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  42.  7
    Effective Packing Dimension and Traceability.Rod Downey & Keng Meng Ng - 2010 - Notre Dame Journal of Formal Logic 51 (2):279-290.
    We study the Turing degrees which contain a real of effective packing dimension one. Downey and Greenberg showed that a c.e. degree has effective packing dimension one if and only if it is not c.e. traceable. In this paper, we show that this characterization fails in general. We construct a real $A\leq_T\emptyset''$ which is hyperimmune-free and not c.e. traceable such that every real $\alpha\leq_T A$ has effective packing dimension 0. We construct a real $B\leq_T\emptyset'$ which is not (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  43.  33
    Evolved Computing Devices and the Implementation Problem.Lukáš Sekanina - 2007 - Minds and Machines 17 (3):311-329.
    The evolutionary circuit design is an approach allowing engineers to realize computational devices. The evolved computational devices represent a distinctive class of devices that exhibits a specific combination of properties, not visible and studied in the scope of all computational devices up till now. Devices that belong to this class show the required behavior; however, in general, we do not understand how and why they perform the required computation. The reason is that the evolution can utilize, in addition to the (...)
    Direct download (10 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  44.  11
    Unique Ethical Problems in Information Technology.Professor Walter Maner - 1996 - Science and Engineering Ethics 2 (2):137-154.
    A distinction is made between moral indoctrination and instruction in ethics. It is argued that the legitimate and important field of computer ethics should not be permitted to become mere moral indoctrination. Computer ethics is an academic field in its own right with unique ethical issues that would not have existed if computer technology had not been invented. Several example issues are presented to illustrate this point. The failure to find satisfactory non-computer analogies testifies to the uniqueness of computer ethics. (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  45.  45
    Quantum Computing's Classical Problem, Classical Computing's Quantum Problem.Rodney Van Meter - 2014 - Foundations of Physics 44 (8):819-828.
    Tasked with the challenge to build better and better computers, quantum computing and classical computing face the same conundrum: the success of classical computing systems. Small quantum computing systems have been demonstrated, and intermediate-scale systems are on the horizon, capable of calculating numeric results or simulating physical systems far beyond what humans can do by hand. However, to be commercially viable, they must surpass what our wildly successful, highly advanced classical computers can already do. At the (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46.  40
    The Scope of Turing's Analysis of Effective Procedures.Jeremy Seligman - 2002 - Minds and Machines 12 (2):203-220.
    Turing's (1936) analysis of effective symbolic procedures is a model of conceptual clarity that plays an essential role in the philosophy of mathematics. Yet appeal is often made to the effectiveness of human procedures in other areas of philosophy. This paper addresses the question of whether Turing's analysis can be applied to a broader class of effective human procedures. We use Sieg's (1994) presentation of Turing's Thesis to argue against Cleland's (1995) objections to Turing machines and we evaluate (...)
    Direct download (16 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  47.  32
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48.  1
    Metrization of the Uniform Space and Effective Convergence.Y. Tsujii, T. Mori & M. Yasugi - 2002 - Mathematical Logic Quarterly 48 (S1):123-130.
    The subject of the present article is the following fact. Consider an effective uniform space. A generally constructed metric from the uniformity has the property that a sequence from the space effectively converges with respect to the uniform topology if and only if it does with respect to the induced metric. This can be shown without assuming the computability of the metric.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  49.  21
    Behavioural Explanation in the Realm of Non-Mental Computing Agents.Bernardo Aguilera - 2015 - Minds and Machines 25 (1):37-56.
    Recently, many philosophers have been inclined to ascribe mentality to animals on the main grounds that they possess certain complex computational abilities. In this paper I contend that this view is misleading, since it wrongly assumes that those computational abilities demand a psychological explanation. On the contrary, they can be just characterised from a computational level of explanation, which picks up a domain of computation and information processing that is common to many computing systems but is autonomous from the (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50.  8
    Finding the Trustworthiness Nodes From Signed Social Networks.Xia Wang, Shu Zhang & Hui Li - 2013 - Journal of Intelligent Systems 22 (4):471-485.
    Online social network services have brought a kind of new lifestyle to the world that is parallel to people’s daily offline activities. Social network analysis provides a useful perspective on a range of social computing applications. Social interaction on the Web includes both positive and negative relationships, which is certainly important to social networks. The authors of this article found that the accuracy of the signs of links in the underlying social networks can be predicted. The trust that other (...)
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000