Results for 'Computable analysis'

1000+ found
Order:
  1.  9
    Computational Analysis of Kierkegaard's Samlede Vaerker.Alastair McKinnon - 1970 - Brill.
    INTRODUCTION In the course of their excavations on Delos, the sacred island of Apollo, archaeologists discovered considerable remains of an Egyptian cult. ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  2. A Computational Analysis of Colour Constancy.MacLeod & Golz - 2003 - In Rainer Mausfeld & Dieter Heyer (eds.), Colour Perception: Mind and the Physical World. Oxford University Press.
  3. A Computational Analysis of Consciousness.Philip N. Johnson-Laird - 1983 - Cognition and Brain Theory 6:499-508.
  4.  23
    Computable Analysis of the Abstract Cauchy Problem in a Banach Space and its Applications I.Klaus Weihrauch & Ning Zhong - 2007 - Mathematical Logic Quarterly 53 (4‐5):511-531.
    We study computability of the abstract linear Cauchy problem equation image)where A is a linear operator, possibly unbounded, on a Banach space X. We give necessary and sufficient conditions for A such that the solution operator K: x ↦ u of the problem is computable. For studying computability we use the representation approach to computable analysis developed by Weihrauch and others. This approach is consistent with the model used by Pour-El/Richards.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  19
    A Computational Analysis of Colour Constancy.Donald Ia Macleod & Jürgen Golz - 2003 - In Rainer Mausfeld & Dieter Heyer (eds.), Colour Perception: Mind and the Physical World. Oxford University Press.
  6.  15
    The Kierkegaard Indices: Computational Analysis of Kierkegaard's Samlade Vaerker.Alastair McKinnon - 1970 - Leiden: Brill.
    v. 1. Kierkegaard; in translation.--v. 2. Fundamental polyglot konkordans til Kierkegaards samlede værker.--v. 3. Index verborum til Kierkegaards samlede værker.--v. 4. Computational analysis of Kierkegaard's samlade værker.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Computational Analysis on Numerical Simulation of Internal Flow Physics for Pump as Turbine in Renewable Small Hydro Energy Generation.Daniel du JianguoAdu, Emmanuel Acheaw, Shakir Hafeez & Eric Ofosu Antw - 2020 - Complexity 2020:1-10.
    Energy contributes significantly in almost all aspects of human life as well as economic activities and plays a crucial role in the infrastructural development of a county to alleviate poverty. Generating energy from a renewable source such as small hydropower through the application of pump operating as a turbine mode called Pump as Turbine is one of the best alternatives to provide clean and inexpensive energy. Using Pump as Turbine helps in generating reasonably priced hydroelectric power for communities in underdeveloped (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  4
    Computer Analysis of Dislocated Spherical Crystal Surfaces.D. G. Brandon & A. J. Perky - 1967 - Philosophical Magazine 16 (139):131-140.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  6
    A Computational Analysis of Neural Mechanisms Underlying the Maturation of Multisensory Speech Integration in Neurotypical Children and Those on the Autism Spectrum.Cristiano Cuppini, Mauro Ursino, Elisa Magosso, Lars A. Ross, John J. Foxe & Sophie Molholm - 2017 - Frontiers in Human Neuroscience 11.
  10.  7
    Computational Analysis of Complex Population Dynamical Model with Arbitrary Order.Fazal Haq, Kamal Shah, Ghaus ur Rahman, Yongjin Li & Muhammad Shahzad - 2018 - Complexity 2018:1-8.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  12
    A Computational Analysis of Aberrant Delay Discounting in Psychiatric Disorders.Giles W. Story, Michael Moutoussis & Raymond J. Dolan - 2015 - Frontiers in Psychology 6.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  12.  34
    A Computational Analysis of Mental Image Generation: Evidence From Functional Dissociations in Split-Brain Patients.Stephen M. Kosslyn, Jeffrey D. Holtzman, Martha J. Farah & Michael S. Gazzaniga - 1985 - Journal of Experimental Psychology 114 (3):311-341.
  13.  9
    Computational Analysis of Maltose Binding Protein Translocation.Mauro Chinappi, Fabio Cecconi & Carlo Massimo Casciola - 2011 - Philosophical Magazine 91 (13-15):2034-2048.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  3
    Computable Analysis.R. L. Goodstein - 1971 - Journal of Symbolic Logic 36 (1):148-150.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  15. Review: Oliver Aberth, Computable Analysis[REVIEW]C. Ward Henson - 1984 - Journal of Symbolic Logic 49 (3):988-989.
  16.  5
    Aberth Oliver. Computable Analysis. Advanced Book Program. McGraw-Hill International Book Company, New York Etc. 1980, Xi + 187 Pp. [REVIEW]C. Ward Henson - 1984 - Journal of Symbolic Logic 49 (3):988-989.
  17.  7
    Theoretical and Computational Analysis of Skill Learning, Repetition Priming, and Procedural Memory.Prahlad Gupta & Neal J. Cohen - 2002 - Psychological Review 109 (2):401-448.
  18.  11
    Mazur S.. Computable Analysis, Edited by Grzegorczyk A. And Rasiowa H., Rozprawy Matematyczne No. 33, Państwowe Wydawnictwo Naukowe, Warsaw 1963, 111 Pp. [REVIEW]R. L. Goodstein - 1971 - Journal of Symbolic Logic 36 (1):148-150.
  19.  81
    Effective Choice and Boundedness Principles in Computable Analysis.Vasco Brattka & Guido Gherardi - 2011 - Bulletin of Symbolic Logic 17 (1):73-117.
    In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can be continuously or computably transferred into each other? For this purpose theorems are considered via their realizers which are operations with certain input and output data. The technical tool to express continuous or computable relations between such operations is Weihrauch reducibility and the partially ordered degree structure induced by it. We have identified certain (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  20.  24
    The Failure in Computable Analysis of a Classical Existence Theorem for Differential Equations.Brian H. Mayoh & Oliver Aberth - 1975 - Journal of Symbolic Logic 40 (1):85.
  21.  17
    Oliver Aberth. Computable Analysis and Differential Equations. Intuitionism and Proof Theory, Proceedings of the Summer Conference at Buffalo N.Y. 1968, Edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam and London1970, Pp. 47–52. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):84.
  22. Plato and Computer Dating: A Discussion of Gerard R. Ledger, Re-Counting Plato: A Computer Analysis of Plato’s Style, and Leonard Brandwood, The Chronology of Plato’s Dialogues.Charles M. Young - 1994 - Oxford Studies in Ancient Philosophy 12:227-50.
  23.  7
    Review: S. Mazur, A. Grzegorczyk, H. Rasiowa, Computable Analysis[REVIEW]R. L. Goodstein - 1971 - Journal of Symbolic Logic 36 (1):148-150.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. Setting the First Few Syntactic Parameters: A Computational Analysis.William G. Sakas & Janet Dean Fodor - 1998 - In M. A. Gernsbacher & S. J. Derry (eds.), Proceedings of the 20th Annual Conference of the Cognitive Science Society. Lawerence Erlbaum.
     
    Export citation  
     
    Bookmark  
  25. Rythmic Structure of Hindi and English: New Insights From a Computational Analysis.T. Das, L. Singh & N. C. Singh - 2008 - In Rahul Banerjee & B. K. Chakrabarti (eds.), Models of Brain and Mind: Physical, Computational, and Psychological Approaches. Elsevier.
     
    Export citation  
     
    Bookmark   1 citation  
  26.  47
    Alan Turing and the Foundations of Computable Analysis.Guido Gherardi - 2011 - Bulletin of Symbolic Logic 17 (3):394-430.
    We investigate Turing's contributions to computability theory for real numbers and real functions presented in [22, 24, 26]. In particular, it is shown how two fundamental approaches to computable analysis, the so-called ‘Type-2 Theory of Effectivity' (TTE) and the ‘realRAM machine' model, have their foundations in Turing's work, in spite of the two incompatible notions of computability they involve. It is also shown, by contrast, how the modern conceptual tools provided by these two paradigms allow a systematic interpretation (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  9
    The Textual Evolution of the Ottoman Şeyhülislams’ Fetvas: A Cross-Corpora Computational Analysis.Atabey Kaygun & Boğaç Ergene - 2021 - Der Islam: Journal of the History and Culture of the Middle East 98 (2):516-545.
    In this article, we use a mix of computational techniques to identify textual shifts in the Ottoman şeyhülislams’ fetvas between the sixteenth and twentieth centuries. Our analysis, supplemented by a close reading of these texts, indicates that the fetvas underwent multiple forms of transformation, a consequence of the institutional evolution of the şeyhülislam’s fetva office that aimed to speed up and streamline the production of the fetvas: over time, the texts appropriated a more uniform character and came to contain (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  13
    ‘Beauty’ and the ‘Beautiful’: A Computational Analysis of the Company They Kept Across the Eighteenth-Century Corpus.John Regan - 2021 - Journal of Aesthetics and Art Criticism 79 (1):88-107.
    This article is a computational enquiry into the different ways in which two words, assumed to be central to the eighteenth-century concept of aesthetics, were used across that century. Using word co-association measures designed specifically for this study, I show the markedly different lexis that surrounded the words ‘beauty’ and ‘beautiful’ in three decades of historical textual data from Eighteenth-Century Collections Online. Having demonstrated that these words were used in very different semantic contexts in the beginning, middle, and end of (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  3
    Words with Consistent Diachronic Usage Patterns Are Learned Earlier: A Computational Analysis Using Temporally Aligned Word Embeddings.Giovanni Cassani, Federico Bianchi & Marco Marelli - 2021 - Cognitive Science 45 (4):e12963.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  4
    On the Impossibility of Explicit Upper Bounds on Lengths of Some Provably Finite Algorithms in Computable Analysis.Andre Scedrov - 1986 - Annals of Pure and Applied Logic 32:291-297.
  31.  12
    Woman in Either/Or, I & II: A Computer Analysis.Alastair McKinnon - 1993 - Tópicos: Revista de Filosofía 5 (1):69-101.
    El autor analiza el pronunciamiento de Kierkegaard acerca de la mujer y lo femenino en el texto O lo Uno o lo Otro, especialmente en las partes I y II. Para esto, se seleccionaron palabras clave como “mujer”, “femenino”, “virginidad”, “novia”, “esposa”, entre muchas otras más y se empleó el programa de análisis comparativo SimCA 2.0 de Michael J. Greenacre con el objetivo de mostrar tanto las comunes como las diferentes posturas del esteta A y el esteta B, así como (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  34
    The Effective Sequence of Uniformities and its Limit: As a Methodology in Computable Analysis.Mariko Yasugi, Takakazu Mori & Yoshiki Tsujii - 2007 - Annals of the Japan Association for Philosophy of Science 15 (2):99-121.
  33.  12
    "The Kierkegaard Indices". Volume 4, "Computational Analysis of Kierkegaard's Samlede Vaerker", Comp. Alastair McKinnon. [REVIEW]George L. Stengren - 1978 - Journal of the History of Philosophy 16 (1):131.
  34.  31
    Individual Differences in Mental Imagery Ability: A Computational Analysis.Stephen M. Kosslyn, Jennifer Brunn, Kyle R. Cave & Roger W. Wallach - 1984 - Cognition 18 (1-3):195-243.
  35.  19
    The Kierkegaard Indices, Volume IV: Computational Analysis of Kierkegaard's Samlede Vaerker. Compiled by Alastair McKinnon. Leiden: Brill, 1975. Pp. Vi, 1050. [REVIEW]James Collins - 1976 - Dialogue 15 (4):704-705.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  36.  7
    Rejection Positivity Predicts Trial-to-Trial Reaction Times in an Auditory Selective Attention Task: A Computational Analysis of Inhibitory Control.Sufen Chen & Robert D. Melara - 2014 - Frontiers in Human Neuroscience 8.
  37.  11
    Aberth Oliver. The Failure in Computable Analysis of a Classical Existence Theorem for Differential Equations. Proceedings of the American Mathematical Society, Vol. 30 , Pp. 151–156. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):85-85.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  15
    A Chain of Inclusion Relations in Computable Analysis.Brian H. Mayoh & Oliver Aberth - 1975 - Journal of Symbolic Logic 40 (1):84.
  39.  14
    Oliver Aberth. A Chain of Inclusion Relations in Computable Analysis. Proceedings of the American Mathematical Society, Vol. 22 , Pp. 539–548. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):84.
  40.  15
    Cultural Commonalities and Differences in Spatial Problem-Solving: A Computational Analysis.Andrew Lovett & Kenneth Forbus - 2011 - Cognition 121 (2):281-287.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  41.  36
    Computer Experiments in Harmonic Analysis.Michael Barany - unknown
    It is conventionally understood that computers play a rather limited role in theoretical mathematics. While computation is indispensable in applied mathematics and the theory of computing and algorithms is rich and thriving, one does not, even today, expect to find computers in theoretical mathematics settings beyond the theory of computing. Where computers are used, by those studying combinatorics , algebra, number theory, or dynamical systems, the computer most often assumes the role of an automated and speedy theoretician, performing manipulations and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  35
    Computability and Analysis: The Legacy of Alan Turing.Jeremy Avigad & Vasco Brattka - unknown
    We discuss the legacy of Alan Turing and his impact on computability and analysis.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  43.  4
    The Computational Content of Nonstandard Analysis.Sam Sanders - unknown
    Kohlenbach's proof mining program deals with the extraction of effective information from typically ineffective proofs. Proof mining has its roots in Kreisel's pioneering work on the so-called unwinding of proofs. The proof mining of classical mathematics is rather restricted in scope due to the existence of sentences without computational content which are provable from the law of excluded middle and which involve only two quantifier alternations. By contrast, we show that the proof mining of classical Nonstandard Analysis has a (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  44.  51
    Integrating Computer Vision Algorithms and Ontologies for Spectator Crowd Behavior Analysis.Davide Conigliaro, Celine Hudelot, Roberta Ferrario & Daniele Porello - 2017 - In Vittorio Murino, Marco Cristani, Shishir Shah & Silvio Savarese (eds.), Group and Crowd Behavior for Computer Vision, 1st Edition. pp. 297-319.
    In this paper, building on these previous works, we propose to go deeper into the understanding of crowd behavior by proposing an approach which integrates ontologi- cal models of crowd behavior and dedicated computer vision algorithms, with the aim of recognizing some targeted complex events happening in the playground from the observation of the spectator crowd behavior. In order to do that, we first propose an ontology encoding available knowledge on spectator crowd behavior, built as a spe- cialization of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  3
    Computational Simulation and Risk Analysis: An Introduction of State of the Art Research.Desheng Dash wu & David L. Olson - 2013 - Mathematical and Computer Modeling 58:1581-1587.
    In recent years, risk management and analysis has attracted a great deal of attention from both researchers and practitioners. Enterprise risk management has become an important topic in today’s more complex, interrelated global business environment, replete with threats from natural, political, economic, and technical sources. This survey and introductory article addresses computerized tools used for risk management and analysis. Risks are studied from perspectives of different disciplines, with a discussion of how various methods and tools are used to (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  36
    Analysis of a Computer Model of Emotions.D. Moffat, N. H. Frijda & R. H. Phaf - 1993 - In [Book Chapter].
    In the fields of psychology, AI, and philosophy there has recently been theoretical activity in the cognitively-based modelling of emotions. Using AI methodology it is possible to implement and test these complex models, and in this paper we examine an emotion model called ACRES. We propose a set of requirements any such model should satisfy, and compare ACRES against them. Then, analysing its behaviour in detail, we formulate more requirements and criteria that can be applied to future computational models of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48. Does Analysis of Relative Visual Motion Require Two Computational Stages or Three?M. Wright - 1996 - In Enrique Villanueva (ed.), Perception. Ridgeview. pp. 1375-1375.
     
    Export citation  
     
    Bookmark  
  49. Intelligent Computing in Bioinformatics-Genetic Algorithm and Neural Network Based Classification in Microarray Data Analysis with Biological Validity Assessment.Vitoantonio Bevilacqua, Giuseppe Mastronardi & Filippo Menolascina - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 4115--475.
    No categories
     
    Export citation  
     
    Bookmark  
  50. Computer Modeling of Cognition: Levels of Analysis.Michael Rw Dawson - 2002 - In Lynn Nadel (ed.), The Encyclopedia of Cognitive Science. Macmillan.
1 — 50 / 1000