Turing's analysis of computation is a fundamental part of the background of cognitive science. In this paper it is argued that a re‐interpretation of Turing's work is required to underpin theorizing about cognitive architecture. It is claimed that the symbol systems view of the mind, which is the conventional way of understanding how Turing's work impacts on cognitive science, is deeply flawed. There is an alternative interpretation that is more faithful to Turing's original insights, avoids the criticisms made (...) of the symbol systems approach and is compatible with the growing interest in agent‐environment interaction. It is argued that this interpretation should form the basis for theories of cognitive architecture. (shrink)

Church's thesis asserts that a number-theoretic function is intuitively computable if and only if it is recursive. A related thesis asserts that Turing's work yields a conceptual analysis of the intuitive notion of numerical computability. I endorse Church's thesis, but I argue against the related thesis. I argue that purported conceptual analyses based upon Turing's work involve a subtle but persistent circularity. Turing machines manipulate syntactic entities. To specify which number-theoretic function a Turing machine computes, we must correlate these (...) syntactic entities with numbers. I argue that, in providing this correlation, we must demand that the correlation itself be computable. Otherwise, the Turing machine will compute uncomputable functions. But if we presuppose the intuitive notion of a computable relation between syntactic entities and numbers, then our analysis of computability is circular. (shrink)

This article starts with the analysis of the existing electronic commerce system, summarizes its characteristics, and analyzes and solves its existing problems. Firstly, the characteristics of the relational database My Structured Query Language and the distributed database HBase are analyzed, their respective advantages and disadvantages are summarized, and the advantages and disadvantages of each are taken into account when storing data. My SQL is used to store structured business data in the system, while HBase is used to store unstructured (...) data such as pictures. These two storage mechanisms together constitute a data storage subsystem. Secondly, considering the large amount of data in the e-commerce system and the complex calculation of the data mining algorithm, this paper uses MapReduce to realize the parallelization of the data mining algorithm and builds a Hadoop-based commodity recommendation subsystem on this basis. We use JavaEE technology to design a full-featured web mall system. Finally, based on the impact of cloud computing, mobile e-commerce is analyzed, including relevant theories, service mode, architecture, core technology, and the application in e-commerce, which can realize e-commerce precision marketing, find the optimal path of logistics, and take effective security measures to avoid transaction risks. This method can avoid the disadvantages of the traditional e-commerce, where large-scale data cannot be processed in a timely manner, realize the value of mining data behind, and realize the precision marketing of e-commerce enterprises. (shrink)

This paper deals with the question: What are the criteria that an adequate theory of computation has to meet? 1. Smith's answer: it has to meet the empirical criterion (i.e. doing justice to computational practice), the conceptual criterion (i.e. explaining all the underlying concepts) and the cognitive criterion (i.e. providing solid grounds for computationalism). 2. Piccinini's answer: it has to meet the objectivity criterion (i.e. identifying computation as a matter of fact), the explanation criterion (i.e. explaining the computer's (...) behaviour), the right things compute criterion, the miscomputation criterion (i.e. accounting for malfunctions), the taxonomy criterion (i.e. distinguishing between different classes of computers) and the empirical criterion. 3. Von Neumann's answer: it has to meet the precision and reliability of computers criterion, the single error criterion (i.e. addressing the impacts of errors) and the distinction between analogue and digital computers criterion. 4. “Everything” computes answer: it has to meet the implementation theory criterion by properly explaining the notion of implementation. -/- According to computationalists, minds are computational. Before we can judge the plausibility of any particular computationalist theory, we need to understand what notion of computation this theory employs. Although there are extant accounts of computation, any of which may, in principle, serve as a basis for computationalism, it isn’t clear that they’re all equivalent or even adequate as accounts of computation proper. By examining plausible alternatives to Smith’s adequacy criteria, our goal here is to resist his claim that no adequate account of computation proper is possible. (shrink)

With the progress of social production, the competition for talents among enterprises is fierce, and the market often lacks capable leaders, which leads to the lack of management of enterprise employees and cannot bring more economic benefits to enterprises. Traditional leaders make subordinate employees work actively and achieve the common goal of the enterprise by exerting their own leadership characteristics and observing their subordinates, but they cannot take care of the psychological state of each employee, resulting in the employee's work (...) efficiency is not very high. In recent years, charismatic leadership has become an important economic leader in the new era, and the theoretical spirit of charismatic leadership can well guide employees to work actively. Artificial intelligence affective computing can well identify the psychological state of the subject, and the combination of artificial intelligence affective computing and charismatic leadership can achieve effective management of employees through the predictive analysis of employees' psychological state. This paper compares the psychological state prediction analysis of employees' work attitudes between charismatic leaders based on artificial intelligence affective computing and traditional leaders through experiments. The results show that: charismatic leaders based on artificial intelligence affective computing predictive analytics can improve sensitivity to employee needs, resulting in an 8.2% increase in employee trust in leadership, a 4.4% increase in employee commitment to achieving organizational goals, and a 19.3% increase in employee job satisfaction. The psychological state prediction analysis of charismatic leaders based on artificial intelligence affective computing on employees' work attitudes can improve the work efficiency of employees and the economic benefits of enterprises. (shrink)

Interest in the computational aspects of modeling has been steadily growing in philosophy of science. This paper aims to advance the discussion by articulating the way in which modeling and computational errors are related and by explaining the significance of error management strategies for the rational reconstruction of scientific practice. To this end, we first characterize the role and nature of modeling error in relation to a recipe for model construction known as Euler’s recipe. We then describe a general model (...) that allows us to assess the quality of numerical solutions in terms of measures of computational errors that are completely interpretable in terms of modeling error. Finally, we emphasize that this type of error analysis involves forms of perturbation analysis that go beyond the basic model-theoretical and statistical/probabilistic tools typically used to characterize the scientific method; this demands that we revise and complement our reconstructive toolbox in a way that can affect our normative image of science. (shrink)

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.

Turing’s analysis of computability has recently been challenged; it is claimed that it is circular to analyse the intuitive concept of numerical computability in terms of the Turing machine. This claim threatens the view, canonical in mathematics and cognitive science, that the concept of a systematic procedure or algorithm is to be explicated by reference to the capacities of Turing machines. We defend Turing’s analysis against the challenge of ‘deviant encodings’.Keywords: Systematic procedure; Turing machine; Church–Turing thesis; Deviant encoding; (...) Acceptable encoding; Turing’s analysis of computability; Turing’s Notational Thesis. (shrink)

Design problems in structural engineering are often modeled as differential equations. These problems are posed as initial or boundary value problems with several possible variations in structural designs. In this paper, we have derived a mathematical model that represents different structures of beam-columns by varying axial load with or without internal forces including bending rigidity. We have also developed a novel solver, the LeNN-NM algorithm, which consists of weighted Legendre polynomials, and a single path following optimizer, the Nelder–Mead algorithm. To (...) evaluate the performance of our solver, we have considered three design problems representing beam-columns. The values of performance indicators, MAD, TIC, NSE, and ENSE, are calculated for a hundred simulations. The outcome of our statistical analysis points to the superiority of the LeNN-NM algorithm. Graphical illustrations are presented to further elaborate on our claims. (shrink)

We live in an information society where the usage, creation, distribution, manipulation, and integration of information is a significant activity. Computations allow us to process information from various sources in various forms and use the derived knowledge in improving efficiency and resilience in our interactions with each other and with our environment. The general theory of information tells us that information to knowledge is as energy is to matter. Energy has the potential to create or modify material structures and information (...) has the potential to create or modify knowledge structures. In this paper, we analyze computations as a vital technological phenomenon of contemporary society which allows us to process and use information. This analysis allows building classifications of computations based on their characteristics and explication of new types of computations. As a result, we extend the existing typologies of computations by delineating novel forms of information representations. While the traditional approach deals only with two dimensions of computation—symbolic and sub-symbolic, here we describe additional dimensions, namely, super-symbolic computation, hybrid computation, fused computation, blended computation, and symbiotic computation. (shrink)

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

Biomedical ontologies define entities and relations in order to represent knowledge in the biomedical domain. In addition, many ontologies further represent supplementary knowledge by linking terms from an external controlled vocabulary to the entities defined within the ontology itself. In this paper we concentrate on the domain of medical imaging, for which controlled vocabularies are emerging, but no ontology currently exists. We analyzed computed tomography reports in order to determine to which entities terms used in such reports refer and which (...) relations are used with regard to the recently published Open Biomedical Ontologies (OBO) Relation Ontology. Our analysis revealed that the majority of entities referred to in radiological reporting practice are anatomical entities and anatomical coordinates. Based on the Open Biomedical Ontologies (OBO) Relation Ontology we provide a set of additional relations for the ontological structuring of image features such as shape, morphology, size and signal, frequently found in the reports. On the basis of these results we conclude that the construction of an imaging ontology may benefit greatly from already existing reference ontologies such as the Foundational Model of Anatomy (FMA), which represent those entities to which radiological reports most frequently refer. (shrink)

Visual stylometry is a new interdisciplinary research field that sits at the junction of digital humanities, empirical aesthetics, and computer science. Research in this field employs image analysis algorithms to study key aspects of artistic style. The nature of artistic style is the subject of ongoing debate within art history and philosophy of art. Computational and statistical methods in visual stylometry allow researchers to quantify and compare aspects of artistic style over the course of the career of an individual (...) artist, among artists who share in a common artistic style, and across different schools of art. The results of these studies provide clues to the image features that enable viewers to categorize works as belonging to different artistic styles. -/- We have developed a system that can act as an open access laboratory for visual stylometry. This approach is powerful enough to support advanced academic research in computer science, cognitive science, art history, and the philosophy of art while at the same time providing a user friendly interface accessible to students and researchers with little or no computer science background. Our framework is designed around the idea of scientific workflows. Scientific workflows allow users to build executable analyses in the same way they would draw a flowchart, by dragging objects representing data sets and image analysis procedures onto the work-space and drawing links between them. These workflows and data sets can be exported using open standards as web objects that can then be shared or modified by other users. -/- Our platform, Workflows for the Analysis of Images in Visual Stylometry (WAIVS), has the potential to promote computational literacy and data analytic skills among humanities students, to introduce science students to research in art and the humanities, to explore the nature of artistic style and its role in our understanding of artwork, and to help researchers in cognitive science understand how viewers perceptually categorize, recognize, and otherwise engage with artworks. (shrink)

Understanding students’ psychological pressure and bad emotional reaction can solve psychological problems as soon as possible and avoid affecting students’ normal study life. With the improvement of global scientific and technological strength, and the step-by-step in-depth research on deep learning and computational intelligence optimization. Now, we have enough conditions to build a psychological and emotional data set for the field of education, and build a mental health stress detection model with emotional analysis function. In addition, a variety of experimental (...) methods are used for comparison, which shows the superior performance of the model in practical application scenarios. The results show that: the data set constructed for the model is reasonable. Psychological stress test shows that the tested college students are in good health and have no positive performance. Schools need to pay special attention to obsessive–compulsive disorder and interpersonal sensitivity, and the average values of both indicators are higher than 0.9. For the optimization of ant colony algorithm computational intelligence, both the stability and the average execution time of the algorithm are obviously higher than those of other algorithms. This model has obvious performance advantages after using this algorithm. Using loss function value to measure the difference between simulated emotion analysis and real value. The difference of most emotion tests is less than 3%; the accuracy difference between sadness and fear is about 7%. Although the final results prove the feasibility of this method, there are still some shortcomings to be optimized. (shrink)

With the continuous development of the era of big data, community management plays an important role in people’s mental health. Improve people’s mental health through the use of big data to improve governance of the community. To solve the problem, sequence segmentation is used in feature extraction, histogram absolute difference calculation and K-means intelligent algorithm, to analyze the existing problems one by one. Research shows that it is possible to systematically govern the community through big data and intelligent computing, so (...) that community residents can live a higher quality of life. In order to get rid of psychological problems, it can be solved by establishing special psychological support institutions in the community and strengthening the role of the government in community management. With the continuous development of big data, the application of big data and intelligence in community governance and mental health community is a trend. With the continuous progress of society, it also brings pressure to people, which leads to the decline of people’s mental health quality. We need to do something to improve community governance and people’s mental health. (shrink)

Three variants of Kurt Gödel's ontological argument, proposed by Dana Scott, C. Anthony Anderson and Melvin Fitting, are encoded and rigorously assessed on the computer. In contrast to Scott's version of Gödel's argument the two variants contributed by Anderson and Fitting avoid modal collapse. Although they appear quite different on a cursory reading they are in fact closely related. This has been revealed in the computer-supported formal analysis presented in this article. Key to our formal analysis is the (...) utilization of suitably adapted notions of ultrafilters, and a careful distinction between extensions and intensions of positive properties. (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)

In her 2010 study of the Shi zhu duan jie jing T309, Jan Nattier found that several passages in T309 were copied from earlier Chinese Buddhist texts. She thus proposed that T309 is not a translation from an Indian text, but a “forgery” by Zhu Fonian. Extending Nattier’s analysis with the help of TACL, a tool for computational textual analysis, we conducted a more thorough analysis of Zhu Fonian’s four Mahayana texts, namely, T309, the Pusa chu tai (...) jing T384, the Zhongyin jin T385, and the Pusa yingluo jing T656, and found in T309 and T656 additional content deriving from earlier Chinese texts. On the basis of this analysis of these features of the texts, we propose that all four were likely compiled by Zhu Fonian himself. (shrink)

This paper provides an in-depth study and analysis of the quantitative relationship between ASEAN industry transfer and nuclear trade restructuring through the multiregional computable general equilibrium model and categorizes the ten major projects and 57 subprojects covered by the ASEAN Information Port project investment into construction, information technology, and telecommunications, according to the key directions of investment. We design and simulate the changes in production activities, trade activities, and the balance of payments behaviour of the national economy affected by (...) the project’s investment under 10 types of investment amount scenarios and prepare the corresponding social accounting matrix. Increased trade openness increases external risks and instability of the economy and fiscal revenues. At the same time, it creates other potential problems for the country such as environmental pollution and leading to unfair competition. Under free trade conditions, some manufacturers may choose to produce inputs that are not environmentally friendly to reduce costs, thereby harming the environment. For infant industries, if the government does not provide them with short-term protection or supportive policies, these new or developing infant industries may not have strong international competitiveness and may be vulnerable to the attacks of mature industries in the world. Therefore, based on the study of the influence of tax policy on trade openness, this paper examines the impact of changes in trade openness on a country’s economic environment and takes tax revenue as an example to conduct an empirical analysis and improve the factors that need to be considered when adjusting tax policy. (shrink)

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 (...) in larger scale by philosophers. (shrink)

Artificial general intelligence is a greatly anticipated technology with non-trivial existential risks, defined as machine intelligence with competence as great/greater than humans. To date, social scientists have dedicated little effort to the ethics of AGI or AGI researchers. This paper employs inductive discourse analysis of the academic literature of two intellectual groups writing on the ethics of AGI—applied and/or ‘basic’ scientific disciplines henceforth referred to as technicians (e.g., computer science, electrical engineering, physics), and philosophy-adjacent disciplines henceforth referred to as (...) PADs (e.g., philosophy, theology, anthropology). These groups agree that AGI ethics is fundamentally about mitigating existential risk. They highlight our moral obligation to future generations, demonstrate the ethical importance of better understanding consciousness, and endorse a hybrid of deontological/utilitarian normative ethics. Technicians favor technocratic AGI governance, embrace the project of ‘solving’ moral realism, and are more deontologically inclined than PADs. PADs support a democratic approach to AGI governance, are more skeptical of deontology, consider current AGI predictions as fundamentally imprecise, and are wary of using AGI for moral fact-finding. (shrink)

Computer simulations can be useful tools to support philosophers in validating their theories, especially when these theories concern phenomena showing nontrivial dynamics. Such theories are usually informal, whilst for computer simulation a formally described model is needed. In this paper, a methodology is proposed to gradually formalise philosophical theories in terms of logically formalised dynamic properties. One outcome of this process is an executable logic-based temporal specification, which within a dedicated software environment can be used as a simulation model to (...) perform simulations. This specification provides a logical formalisation at the lowest aggregation level of the basic mechanisms underlying a process. In addition, dynamic properties at a higher aggregation level that may emerge from the mechanisms specified by the lower level properties, can be specified. Software tools are available to support specification, and to automatically check such higher level properties against the lower level properties and against generated simulation traces. As an illustration, three case studies are discussed showing successful applications of the approach to formalise and analyse, among others, Clark’s theory on extended mind, Damasio’s theory on core consciousness, and Dennett’s perspective on intertemporal decision making and altruism. (shrink)

Philosophical and sociological approaches in technology have increasingly shifted toward describing AI (artificial intelligence) systems as ‘(moral) agents,’ while also attributing ‘agency’ to them. It is only in this way – so their principal argument goes – that the effects of technological components in a complex human-computer interaction can be understood sufficiently in phenomenological-descriptive and ethical-normative respects. By contrast, this article aims to demonstrate that an explanatory model only achieves a descriptively and normatively satisfactory result if the concepts of ‘(moral) (...) agent’ and ‘(moral) agency’ are exclusively related to human agents. Initially, the division between symbolic and sub-symbolic AI, the black box character of (deep) machine learning, and the complex relationship network in the provision and application of machine learning are outlined. Next, the ontological and action-theoretical basic assumptions of an ‘agency’ attribution regarding both the current teleology-naturalism debate and the explanatory model of actor network theory are examined. On this basis, the technical-philosophical approaches of Luciano Floridi, Deborah G. Johnson, and Peter-Paul Verbeek will all be critically discussed. Despite their different approaches, they tend to fully integrate computational behavior into their concept of ‘(moral) agency.’ By contrast, this essay recommends distinguishing conceptually between the different entities, causalities, and relationships in a human-computer interaction, arguing that this is the only way to do justice to both human responsibility and the moral significance and causality of computational behavior. (shrink)

I extend Jones & Love's (J&L's) critique of Bayesian models and evaluate the conceptual foundations on which they are built. I argue that: (1) the part of Bayesian models is scientifically trivial; (2) theory is a fiction that arises from an inappropriate programming metaphor; and (3) the real scientific problems lie outside Bayesian theorizing.

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)

L’analisi informatica di testi filosofici, la creazione di database, ipertesti o edizioni elettroniche non costituiscono più unicamente una ricerca di frontiera, ma sono da molti anni una risorsa preziosa per gli studi umanistici. Ora, non si tratta di richiedere alle macchine un ulteriore sforzo per comprendere il linguaggio umano, quanto piuttosto di perfezionare gli strumenti affinché esse possano essere a tutti gli effetti collaboratori di ricerca. Questo articolo è concepito come il resoconto di un esperimento finalizzato a documentare come le (...) associazioni lessicali di un gruppo selezionato di testi medievali possa offrire qualche suggerimento in merito ai loro contenuti teorici. Computer analysis of texts, creation of databases hypertexts and digital editions are not the final frontier of research anymore. Quite the contrary, from many years they have been representing a significant contribution to medieval studies. Therefore, we do not mean to make the computer able to grasp the meaning of human language and penetrate its secrets, but rather we aim at improving their tools, so that they will become an even more efficient equipment employed in research activities. This paper is thought as a sort of technical report with the proposed task to verify if an automatic identification of some word associations within a selected groups of medieval writings produces suggestions on the subject of the processed texts, able to be used in a theoretical inquiry. (shrink)

The aesthetically optimistic view of life in the last paragraph of Darwin’s On the Origin of Species contrasts with the evidence in his autobiography of a supposed perceptive colour blindness to the magnificence of nature. Accepting the theory of evolution as one of the scientific theories that has contributed to disenchantment, my aim is to delve into the Darwinian perception of natural beauty and solve this contrast of perceptions within the framework of the Weberian concept of “disenchantment of the world.” (...) To do this, I have carried out a computer-assisted study of Darwin’s language focusing on the frequency of aesthetic-emotional and religious adjectives and adverbs in the six editions of the Origin. A semantic analysis of the lexicon shows that, although disenchanted, Darwin perceives nature as aesthetically enhanced. I arrive at the conclusion that Darwin’s alleged colour blindness does not come from a loss of his capacity to aesthetically perceive nature, but from his loss of religious belief. (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)

ObjectiveThis study aimed to examine the effectiveness and safety of the Brain-computer interface in treatment of upper limb dysfunction after stroke.MethodsEnglish and Chinese electronic databases were searched up to July 2021. Randomized controlled trials were eligible. The methodological quality was assessed using Cochrane’s risk-of-bias tool. Meta-analysis was performed using RevMan 5.4.ResultsA total of 488 patients from 16 RCTs were included. The results showed that the meta-analysis of BCI-combined treatment on the improvement of the upper limb function showed statistical (...) significance [standardized mean difference : 0.53, 95% CI: 0.26–0.80, P < 0.05]; BCI treatment can improve the abilities of daily living of patients after stroke, and the analysis results are statistically significant ; and the BCI-combined therapy was not statistically significant for the analysis of the Modified Ashworth Scale.ConclusionThe meta-analysis indicates that the BCI therapy or BCI combined with other therapies such as conventional rehabilitation training and motor imagery training can improve upper limb dysfunction after stroke and enhance the quality of daily life. (shrink)

Excitement about digital agriculture—i.e., expanded reliance on collecting, integrating, analyzing, and applying digital data in agri-food systems—is bringing two different conceptualizations of abstraction into collision and dialogue. Critical agri-food scholars have long expressed concerns about disembedding—or abstracting—agriculture from particular geographies, farmers’ varied interests, and ecological processes. In contrast, in computer science, abstraction is understood as beneficial for taming the complexities of technology and supporting the development of general-purpose tools. In this paper, we compare these very different theorizations of abstraction through (...) an ethnographic case study of the early development of new digital agriculture networking infrastructure. We analyze how the commitments to abstraction in computer science relate to and depart from critical agri-food studies' critiques of decontextualization and disembedding. The study is based on a long-term collaboration between computer networking researchers and social scientists. Our findings indicate that the commitment to abstraction by computer network scientists leads them to engage minimally with critical agri-food studies’ concerns regarding historical processes of agricultural industrialization and their effect on farm size, the labor process, and the environment, but produces deep engagement with concerns regarding corporate control of innovation trajectories. We find, however, that the technologists focus on open innovation and vendor lock-in in order to expand the scale, scope, and pace of innovation, rather than to advance social justice and environmental sustainability, demonstrating that openness can be understood and practiced in various ways. Through integrated treatment of abstraction in computer science and critical agri-food studies, this article highlights opportunities and constraints for interdisciplinary analysis pertaining to the development of digital agriculture. Through ethnographic analysis of digital agriculture research and development, we identify mechanisms through which contemporary innovation processes are likely to reinforce the social, economic, and ecological relations of conventional agriculture. (shrink)

Students’ perceptions of learning are important predictors of their learning motivation and academic performance. Examining perceptions of learning has meaningful implications for instruction practices, while it has been largely neglected in the research of computational thinking. To contribute to the development of CT education, we explored the influence of students’ perceptions on their motivation and performance in CT acquisition and examined the gender difference in the structural model using a multigroup structural equation modeling analysis. Two hundred and eighty-five students (...) from a Chinese urban high school were recruited for the study. The analysis revealed that students’ perceptions of CT positively influenced their CT performance and learning motivation, and some motivational constructs, namely self-efficacy and learning goal orientation, also positively influenced their CT performance. Furthermore, in the male student group, perceptions of CT exhibited significant correlations with both self-efficacy and LGO. However, no significant correlation was found in the female student group. Implications for research and teaching practice in CT education are presented herein. (shrink)

The existing computer technology is used to conduct an in-depth study and analysis of drilling waste treatment, and the results are analyzed by computer simulation optimization algorithms. Based on the system theory, we define the research system, combine the unique characteristics of the technological innovation mechanism of drilling waste treatment, and use the internal and external factors affecting the technological innovation dynamics of drilling waste treatment, such as drilling waste treatment capacity, from the current actual situation. On this basis, (...) factor analysis is used to analyze the factors affecting technological innovation dynamics from both internal and external aspects of the system, establish a system model of technological innovation dynamics of drilling waste disposal, and give the initial values of the simulation model. This will reduce the pollution of the environment and enhance the competitiveness of enterprises. Drilling waste treatment technology is getting increased attention, but at this stage, there is no suitable technology innovation mechanism for drilling waste treatment. Through the simulation trend chart obtained by sensitivity analysis, the key factors in the system are found, and the innovation power mechanism of drilling waste treatment technology is constructed, which provides a basis for the formulation of enterprise technological innovation strategies and the development of technological innovation activities. Research on the dynamic mechanism of drilling waste treatment technology innovation explores a waste treatment mechanism suitable for the drilling industry, so as to promote the steady development of the drilling industry and at the same time provide theoretical support for the treatment of drilling engineering waste. (shrink)

In this paper, we present a computational algebraic representation of Hindi syntax. This paper is the first attempt to establish the representation of various facets of Hindi syntax into algebra, including dual nominative/ergative behavior, a syntacto-semantic case system and complex agreement rules between the noun and verb phrase. Using the pregroup analysis framework, we show how we represent morphological type reduction for morphological behavior of lexical markers, the representation of causative constructions which are morphologically affixed, as well as of (...) light verb constructions which form the verb by joint predication. We present examples adapted from the Hindi Dependency Treebank to show the pregroup analysis of Hindi sentences. (shrink)