Results for 'computable analysis'

998 found
Order:
  1.  33
    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 (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  4
    Computational Analysis Problem of Aesthetic Content in Fine-Art Paintings.Ольга Алексеевна Журавлева, Наталья Борисовна Савхалова, Андрей Владимирович Комаров, Денис Алексеевич Жердев, Анна Ивановна Демина, Эккарт Михаэльсен, Артем Владимирович Никоноров & Александр Юрьевич Нестеров - 2022 - Russian Journal of Philosophical Sciences 65 (2):120-140.
    The article discusses the possibilities of the formal analysis of the fine-art painting composition on the basis of the classical definitions of beauty and computational aesthetics’ approaches of the second half of the 20th century he authors define the problem and consider solutions for the formalization of aesthetic perception in the context of aesthetic text, i.e., as part of the fine arts composition – a formal sequence of signs simply ordered in accordance with the syntactic rules’ system. The methodology (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  12
    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  
  4.  16
    Computational analysis of Kierkegaard's samlede værker.Alastair McKinnon - 1975 - Leiden: 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  
  5.  24
    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
    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.
  7.  12
    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  
  8.  27
    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  
  9.  20
    Computable Analysis.R. L. Goodstein - 1971 - Journal of Symbolic Logic 36 (1):148-150.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  26
    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. 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.
  12.  45
    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.  16
    Theoretical and computational analysis of skill learning, repetition priming, and procedural memory.Prahlad Gupta & Neal J. Cohen - 2002 - Psychological Review 109 (2):401-448.
  14.  16
    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  
  15. A computational analysis of consciousness.Philip N. Johnson-Laird - 1983 - Cognition and Brain Theory 6:499-508.
  16.  92
    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   20 citations  
  17. Mathematical and Computational Analysis of Natural Language: Selected papers from the 2nd International Conference on Mathematical Linguistics (ICML ’96), Tarragona, 1996.Carlos Martin-Vide (ed.) - 1998 - Amsterdam, The Netherlands: John Benjamins Publishing Company.
  18.  13
    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.  40
    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.
  20.  19
    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.  19
    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   6 citations  
  22.  14
    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.
    In this study, we use temporally aligned word embeddings and a large diachronic corpus of English to quantify language change in a data-driven, scalable way, which is grounded in language use. We show a unique and reliable relation between measures of language change and age of acquisition (AoA) while controlling for frequency, contextual diversity, concreteness, length, dominant part of speech, orthographic neighborhood density, and diachronic frequency variation. We analyze measures of language change tackling both the change in lexical representations and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  62
    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   4 citations  
  24.  7
    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.
  25.  17
    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  
  26.  12
    The framings of the coexistence of agrifood models: a computational analysis of French media.Guillaume Ollivier, Pierre Gasselin & Véronique Batifol - forthcoming - Agriculture and Human Values:1-25.
    The confrontations of stakeholder visions about agriculture and food production has become a focal point in the public sphere, coinciding with a diversification of agrifood models. This study analyzes the debates stemming from the coexistence of these models, particularly during the initial term of neoliberal-centrist Emmanuel Macron’s presidency in France. Employing collective monitoring from 2017 to 2021, a corpus of 958 online news and blog articles was compiled. Using a computational analysis, we reveal the framings and controversies emerging from (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  8
    A Chain of Inclusion Relations in Computable Analysis.Brian H. Mayoh & Oliver Aberth - 1975 - Journal of Symbolic Logic 40 (1):84.
  28.  15
    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.
  29.  22
    ‘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  
  30.  25
    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  
  31.  9
    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.
  32. 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.
  33.  73
    Computer-mediated communication and cooperation in social dilemmas: An experimental analysis.Cristina Bicchieri & Azi Lev-On - 2007 - Politics, Philosophy and Economics 6 (2):139-168.
    University of Pennsylvania, USA, el322{at}nyu.edu ' + u + '@' + d + ' '//--> One of the most consistent findings in experimental studies of social dilemmas is the positive influence of face-to-face communication on cooperation. The face-to-face `communication effect' has been recently explained in terms of a `focus theory of norms': successful communication focuses agents on pro-social norms, and induces preferences and expectations conducive to cooperation. 1 Many of the studies that point to a communication effect, however, do not (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  34.  14
    "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.
  35.  43
    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.
  36.  14
    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  
  37.  9
    Computational grounded theory revisited: From computer-led to computer-assisted text analysis.Snorre Ralund & Hjalmar Bang Carlsen - 2022 - Big Data and Society 9 (1).
    The size and variation in both meaning-making and populations that characterize much contemporary text data demand research processes that support both discovery, interpretation and measurement. We assess one dominant strategy within the social sciences that takes a computer-led approach to text analysis. The approach is coined computational grounded theory. This strategy, we argue, relies on a set of unwarranted assumptions, namely, that unsupervised models return natural clusters of meaning, that the researcher can understand text with limited immersion and that (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38. Review: Oliver Aberth, Computable Analysis[REVIEW]C. Ward Henson - 1984 - Journal of Symbolic Logic 49 (3):988-989.
  39.  19
    Computational Approaches to Comics Analysis.Jochen Laubrock & Alexander Dunst - 2020 - Topics in Cognitive Science 12 (1):274-310.
    Comics are complex multimodal documents that make for intriguing materials to analyze with computer vision and computational linguistics. This review summarizes the growing developments in computational modeling which have been progressing to analyze visual narratives across their various substructures.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  6
    Computational text analysis: Thoughts on the contingencies of an evolving method.Daniel Marciniak - 2016 - Big Data and Society 3 (2).
    Mapping a public discourse with the tools of computational text analysis comes with many contingencies in the areas of corpus curation, data processing and analysis, and visualisation. However, the complexity of algorithmic assemblies and the beauty of resulting images give the impression of ‘objectivity’. Instead of concealing uncertainties and artefacts in order to tell a coherent and all-encompassing story, retaining the variety of alternative assemblies may actually strengthen the method. By utilising the mobility of digital devices, we could (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  21
    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  
  42.  24
    A Computational Model of Pragma-dialectics as a Tool for its Analysis and Evaluation.Alejandro Secades - 2015 - Informal Logic 35 (3):342-377.
    The overall goal of this paper is to show that computational modelling of argumentation theories is a useful tool to deepen them. Specifically, it provides a basic computational formalization of part of Pragma-dialectics’ model of a critical discussion, which serves as a basis for analyzing this influential theory of argumentation. Such analysis reveals some weaknesses and leaves some questions opened for Pragma-dialectics. Particularly, it shows that the model of a critical discussion is not independent of the model of reasoning/inference (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  18
    Computable Riesz representation for the dual of C [0; 1].Hong Lu & Klaus Weihrauch - 2007 - Mathematical Logic Quarterly 53 (4):415-430.
    By the Riesz representation theorem for the dual of C [0; 1], if F: C [0; 1] → ℝ is a continuous linear operator, then there is a function g: [0;1] → ℝ of bounded variation such that F = ∫ f dg . The function g can be normalized such that V = ‖F ‖. In this paper we prove a computable version of this theorem. We use the framework of TTE, the representation approach to computable (...), which allows to define natural computability for a variety of operators. We show that there are a computable operator S mapping g and an upper bound of its variation to F and a computable operator S ′ mapping F and its norm to some appropriate g. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  14
    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.
  45. Rythmic structure of Hindi and English: new insights from a computational analysis.T. Das, L. Singh & N. C. Singh - 2008 - In Rahul Banerjee & Bikas K. Chakrabarti (eds.), Models of brain and mind: physical, computational, and psychological approaches. Boston: Elsevier.
     
    Export citation  
     
    Bookmark   1 citation  
  46.  25
    A journey through computability, topology and analysis.Manlio Valenti - 2022 - Bulletin of Symbolic Logic 28 (2):266-267.
    This thesis is devoted to the exploration of the complexity of some mathematical problems using the framework of computable analysis and descriptive set theory. We will especially focus on Weihrauch reducibility as a means to compare the uniform computational strength of problems. After a short introduction of the relevant background notions, we investigate the uniform computational content of problems arising from theorems that lie at the higher levels of the reverse mathematics hierarchy.We first analyze the strength of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47. An Analysis of the Impact of Brain-Computer Interfaces on Autonomy.Orsolya Friedrich, Eric Racine, Steffen Steinert, Johannes Pömsl & Ralf J. Jox - 2018 - Neuroethics 14 (1):17-29.
    Research conducted on Brain-Computer Interfaces has grown considerably during the last decades. With the help of BCIs, users can gain a wide range of functions. Our aim in this paper is to analyze the impact of BCIs on autonomy. To this end, we introduce three abilities that most accounts of autonomy take to be essential: the ability to use information and knowledge to produce reasons; the ability to ensure that intended actions are effectively realized ; and the ability to enact (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  48.  17
    Computer-Assisted Analysis of the Anderson–Hájek Ontological Controversy.C. Benzmüller, L. Weber & B. Woltzenlogel Paleo - 2017 - Logica Universalis 11 (1):139-151.
    A universal reasoning approach based on shallow semantical embeddings of higher-order modal logics into classical higher-order logic is exemplarily employed to analyze several modern variants of the ontological argument on the computer. Several novel findings are reported which contribute to the clarification of a long-standing dispute between Anderson and Hájek. The technology employed in this work, which to some degree realizes Leibniz’s dream of a characteristica universalis and a calculus ratiocinator for solving philosophical controversies, is ready to be fruitfully adopted (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  49.  18
    Computability theory, nonstandard analysis, and their connections.Dag Normann & Sam Sanders - 2019 - Journal of Symbolic Logic 84 (4):1422-1465.
    We investigate the connections between computability theory and Nonstandard Analysis. In particular, we investigate the two following topics and show that they are intimately related. A basic property of Cantor space$2^ $ is Heine–Borel compactness: for any open covering of $2^ $, there is a finite subcovering. A natural question is: How hard is it to compute such a finite subcovering? We make this precise by analysing the complexity of so-called fan functionals that given any $G:2^ \to $, output (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  50. Setting the first few syntactic parameters: A computational analysis.William G. Sakas & Janet Dean Fodor - 1998 - In Morton Ann Gernsbacher & Sharon J. Derry (eds.), Proceedings of the 20th Annual Conference of the Cognitive Science Society. Lawerence Erlbaum.
     
    Export citation  
     
    Bookmark  
1 — 50 / 998