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.

INTRODUCTION In the course of their excavations on Delos, the sacred island of Apollo, archaeologists discovered considerable remains of an Egyptian cult. ...

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 (...) of the research is defined by the general semiotics, distinguishing semantics, syntax, and pragmatics of a sign, by the aesthetic analysis’ methods, ranging according to the author’s message aesthetics, receptive aesthetics, and text aesthetics, as well as by the computational analysis methods connected with neural network means of defining the images’ symmetry. The article reveals preconditions for the emergence and also the current state of computational aesthetics as an interdisciplinary branch of knowledge. Analyzing the problem from the perspective of philosophy, aesthetics, semiotics, and technology, the authors draw attention to the need to improve the computational aesthetics methods. Firstly, the existing methods do not always enable to describe the fine-art object adequately. Secondly, there exists the so-called reduction of aesthetic assertion transforming it into the assertion concerning the object’s external characteristics. As a result, the authors assume that the increasing complexity of the current mathematical models and the experts’ subjective assessment support will allow to reach a compromise solution that enables the development of computational aesthetics as a branch of knowledge. Enhancement and development of the mathematical models, taking into account the rules of semiotics and subjectivism of the human perception, is the relevant objective of computational analysis of the aesthetic fine-arts text. The results of the present research supports the classic statement regarding the underivability of semantic and pragmatic propositions from syntax. The research concludes that relevant objectives are to find a correlation between, one the one hand, the axes and points of symmetry, deriving from the neural simulation, and, on the other hand, aesthetic effect, emerging from the perception of fine-art paintings. (shrink)

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 (...) counties. This study investigates the effects of internal flow behaviour and performance of Pump as Turbine under different rotational speed and flow rate. The rotational speed is an essential physical parameter as it affects the Pump as Turbine operation. A model-specific speed centrifugal pump model with head 32, flow rate of 12.5 and the rotational speed of 2900 rpm, has been selected for the study. Numerical simulations have been conducted using the k-ω turbulence model to solve three-dimensional equations. The pump mode experimental data were used to confirm the results for better analysis. The results predicted that vortex and turbulent kinetic energy increase per rotational speed increase. Also, at the higher rotational speed, very high recirculation of flow is detected at the blade suction chamber, although the pressure side has a smooth flow. This study provides beneficial information which will serve as a reference to help improve PAT performance along with selecting PAT for a small hydropower site. Future works will consider the impact of blade thickness and cavitation in Pump as Turbine. (shrink)

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 (...) choice principles such as co-finite choice, discrete choice, interval choice, compact choice and closed choice, which are cornerstones among Weihrauch degrees and it turns out that certain core theorems in analysis can be classified naturally in this structure. In particular, we study theorems such as the Intermediate Value Theorem, the Baire Category Theorem, the Banach Inverse Mapping Theorem, the Closed Graph Theorem and the Uniform Boundedness Theorem. We also explore how existing classifications of the Hahn—Banach Theorem and Weak Kőnig's Lemma fit into this picture. Well-known omniscience principles from constructive mathematics such as LPO and LLPO can also naturally be considered as Weihrauch degrees and they play an important role in our classification. Based on this we compare the results of our classification with existing classifications in constructive and reverse mathematics and we claim that in a certain sense our classification is finer and sheds some new light on the computational content of the respective theorems. Our classification scheme does not require any particular logical framework or axiomatic setting, but it can be carried out in the framework of classical mathematics using tools of topology, computability theory and computable analysis. We develop a number of separation techniques based on a new parallelization principle, on certain invariance properties of Weihrauch reducibility, on the Low Basis Theorem of Jockusch and Soare and based on the Baire Category Theorem. Finally, we present a number of metatheorems that allow to derive upper bounds for the classification of the Weihrauch degree of many theorems and we discuss the Brouwer Fixed Point Theorem as an example. (shrink)

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 (...) of Turing's pioneering work in the subject. (shrink)

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 (...) the change in the relation between lexical representations and the words with the most similar usage patterns, showing that they capture different aspects of language change. Our results show a unique relation between language change and AoA, which is stronger when considering neighborhood-level measures of language change: Words with more coherent diachronic usage patterns tend to be acquired earlier. The results support theories positing a link between ontogenetic and ethnogenetic processes in language. (shrink)

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 (...) this media discourse. The macro-structuring of discourse on model coexistence revolves around scientific, economic and political framings. Coexistence is a complex of debates based on specific frames associated with specific arenas and actor configurations: growth of organic agriculture, transformations of agrifood systems, sciences of production and impacts, livestock and meat diet controversies, agroecological innovations, CAP reform criticism, discourse of peasant agriculture and State-Profession _co-gestion_. Employing global sentiment analysis and focusing on salient controversies, namely EGAlim law, pesticide regulations, and agribashing, we show the shift from conciliation to a hardening of debates. Finally, we discuss the causes and consequences of this trend. The political will to support the transition of agriculture remains influenced by the _co-gestion_ system, an inherited configuration of decision-makers instrumental in the agricultural modernization. As a consequence, significant agricultural challenges, particularly highlighted in the scientific macro-frame, persist unresolved. This lock-in of the agrifood system is based on defensive strategies that challenge the democratic debate about food and agricultural practices. (shrink)

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 (...) ofrecer una serie de dimensiones discursivas presentes en el texto que arrojan un conjunto de conclusiones valiosas para la comprensión de esta obra kierkegaardiana y la postura del filósofo danés frente a la mujer y lo que le compete. Los resultados del análisis se muestran al final del artículo por medio de tablas que comparan el vocabulario de A y de B y muestran su frecuencia; otras figuras exhiben por medio de gráficas el comportamiento de las palabras clave frente a las dimensiones discursivas más importantes. (shrink)

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 (...) the century, the article presents semantic network diagrams which further demonstrate the distinctness of noun from adjective. I argue that while ‘beautiful’ is suspended in a semantic space that is recognizably aesthetic, ‘beauty’ is not. Furthermore, that which is deemed ‘beautiful,’ according to the evidence presented here, presents something of a challenge to received narratives of how the concept of aesthetics developed throughout the eighteenth century. (shrink)

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 (...) shorter responses. In the compositions of the questions, we identified many “trigger terms” that facilitated reflexive responses independent of the fetvas’ jurisprudential contexts, a tendency that became stronger after the second half of the seventeenth century. In addition, we propose in the article a methodology that measures the relative strengths of textual and conceptual links among the fetva corpora of various Ottoman şeyhülislams. This analysis informs us about possible paths of long-term evolution of this genre of jurisprudential documents. (shrink)

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.

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 (...) a finite sequence $\langle f_0, \ldots,f_n \rangle $ in $2^ $ such that the neighbourhoods defined from $\overline {f_i } G\left$ for $i \le n$ form a covering of $2^ $. A basic property of Cantor space in Nonstandard Analysis is Abraham Robinson’s nonstandard compactness, i.e., that every binary sequence is “infinitely close” to a standard binary sequence. We analyse the strength of this nonstandard compactness property of Cantor space, compared to the other axioms of Nonstandard Analysis and usual mathematics.Our study of yields exotic objects in computability theory, while leads to surprising results in Reverse Mathematics. We stress that and are highly intertwined, i.e., our study is holistic in nature in that results in computability theory yield results in Nonstandard Analysis and vice versa. (shrink)

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 (...) intentions within concrete relationships and contexts. We then consider the impact of BCI technology on each of these abilities. Although on first glance, BCIs solely enhance self-determination because they restore or improve abilities, we will show that there are other positive, but also negative impacts on user autonomy, which require further philosophical and ethical discussions. (shrink)

This chapter will deal with an issue that is as much a problem for moral philosophy as it is for the computer world. My basic theme is that high technology, and computer technology in particular, raises ethical problems of a new sort that require considerable restructuring of our traditional ethical categories. It follows that our job as philosophers is not, as it is often thought to be, simply to apply ready-made categories to new situations; rather, it is to find new (...) categories, or new ways of interpreting old categories, in order to accommodate the challenges presented by new technologies. (shrink)

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 (...) DOLCE foundational ontology, which allows the representation of categories belonging both to the physical and to the social realms. We then propose a simplified and tractable version of such ontology in a new temporal extension of a description logic, which is used for temporally coupling events happening on the play- ground and spectator crowd behavior. At last, computer vision algorithms provide the input information concerning what is observed on the stands and ontological reasoning delivers the output necessary to perform complex event recognition. (shrink)

Social scientists and computer scientist are divided by small differences in perspective and not by any significant disciplinary divide. In the field of text analysis, several such differences are noted: social scientists often use unsupervised models to explore corpora, whereas many computer scientists employ supervised models to train data; social scientists hold to more conventional causal notions than do most computer scientists, and often favor intense exploitation of existing algorithms, whereas computer scientists focus more on developing new models; and (...) computer scientists tend to trust human judgment more than social scientists do. These differences have implications that potentially can improve the practice of social science. (shrink)

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 (...) chosen, because, while it performs differently with different models of reasoning, it does not work well with some of them. (shrink)

This paper explores the application of an affective content analysis to a selection of nanotechnology news articles gathered from selected newspapers. Thematic content analyses dominate current efforts to mine large text collections of popular science media; the addition of an affective analysis element can yield useful information to supplement future content analysis efforts. Using Whissell’s Dictionary of Affect in Language , the analysis rates news articles gathered over a twenty-two year period for their pleasantness, activeness, and (...) imagery, determining the mean affective tone in each category for the entire collection, four ‘content themes’ (business, national security, health, and environment), and the change in affective tone over the twenty-two year period these articles represent. Whereas the entire collection analyzed as a whole rates very similarly to the average found for everyday English language use and the ‘content themes’ show similar results, the change in affective tone over the years has been both significant and striking. A sample of results from three years of the twenty-two year period is then qualitatively explored to demonstrate to the reader the connection between the quantitative results of the Dictionary and the qualitative effect of the article’s word use and phrasing. The paper ends with a review of the technique’s success, implications for policymaking and public dialogue, and avenues for future use. (shrink)