The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory T in which all partially recursive functions are representable, yet T does not interpret Robinson’s theory R. To this end, we borrow tools from model theory — specifically, we investigate model-theoretic properties of the model completion of the empty theory in a language with function symbols. We obtain a certain characterization of ∃∀ theories (...) interpretable in existential theories in the process. (shrink)

Human brain is a highly evolved coordinating mechanism in the species Homo sapiens. It is only in the last 100 years that extensive knowledge of the intricate structure and complex functioning of the human brain has been acquired, though a lot is yet to be known. However, from the beginning of civilisation, people have been conscious of a 'mind' which has been considered the origin of all scientific and cultural development. Philosophers have discussed at length the various attributes of consciousness. (...) At the same time, most of the philosophical or scientific frameworks have directly or indirectly implied mind-body duality. It is now imperative that we develop an integrated approach to understand the interconnection between mind and consciousness on one hand and brain on the other. This paper begins with the proposition that the structure of the brain is analogous, at least to certain extent, to that of the computer system. Of course, it is much more sophisticated and complex. The second proposition is that the Chomskyean concept of 'mental organs' is a good working hypothesis that tries to characterise this complexity in terms of an innate cognitive framework. By following this dual approach, brain as a data processing system and brain as a superstructure of intricately linked mental organs, we can move toward a better understanding of 'mind' within the framework of empirical science. The one 'mental organ' studied extensively in Chomskyean terms is 'language faculty' which is unique in its relation to brain, mind and consciousness. (shrink)

New success criteria of inductive inference in computational learning theory are introduced which model learning total (not necessarily recursive) functions with (possibly everywhere) imprecise theories from (possibly always) inaccurate data. It is proved that for any level of error allowable by the new success criteria, there exists a class of recursive functions such that not all f are identifiable via the criterion at that level of error. Also, necessary and sufficient conditions on the error level (...) are given for when more classes of functions may be identified. (shrink)

To shorten the travel time and improve comfort, the automatic train driving system is considered to replace manual driving. In this article, an automatic control method of computer application data-processing system based on artificial intelligence is proposed. An automatic train operation (ATO) introduced the structure and function of an autopilot system (train), optimized the train running on the target curve, introduced the basic principle of fuzzy generalized predictive control (PC) algorithm, and combined with the characteristics of ATO system (...) design the speed controller based on optimization algorithm, the target curve to make use of the designed controller to track and simulation validation. The experimental outcomes demonstrate that when the train runs to 90 s, the displacement difference reaches about 40 m, which proves that the fuzzy PC has better displacement tracking, punctual arrival, and higher stopping accuracy. (shrink)

With the rapid development of big data, artificial intelligence teaching systems have gradually been developed extensively. The powerful artificial intelligence teaching systems have become a tool for teachers and students to learn independently in various universities. The characteristic of artificial intelligence teaching system is to get rid of the constraints of traditional teaching time and space and build a brand-new learning environment, which is the mainstream trend of future learning. As the carrier of students’ autonomous learning, the artificial intelligence (...) teaching system provides a wealth of learning resources and learning tools on the one hand, and on the other hand, it gradually accumulates more and more learning behaviors, learning status, and other large amounts of data, which is an in-depth study of online learning and provides valuable and generative dynamic resources. Based on relevant researches on domestic and foreign related learning analysis and common big data analysis methods, combined with actual learning evaluation goals, this paper proposes an artificial intelligence teaching system using big data analysis methods and a modeling process framework for online learning evaluation and uses student data to carry out predictive evaluation modeling to evaluate student learning outcomes. The evaluation results can enable teachers to predict whether students can successfully complete the course of learning after a period of teaching. Through the final evaluation, students’ learning problems can be discovered in time based on the evaluation results, and targeted interventions can be made for students who are at risk. The scientific and objective learning evaluation obtained in this study through data analysis can not only provide teachers with relevant information and provide personalized guidance to students, but also improve the adaptive and personalized service functions of the learning platform of the artificial intelligence teaching system, greatly reducing teachers teaching burden. Artificial intelligence teaching evaluation can help educators understand the problems in teaching, adjust teaching strategies in time, and improve teaching results. (shrink)

Let ƒ be a real number. It is well known [7] that the set of rational numbers which are less than ƒ is a recursive set if and only if ƒ is representable as the limit of a recursive, recursively convergent sequence of rational numbers. In this paper we replace the condition that the set of rational numbers less than ƒ is recursive by the condition that this set is at various points in the Kleene hierarchy, and (...) we replace the recursive, recursively convergent limit by a variety of other recursive limiting processes. (shrink)

This article deals with the meaning and function of saññā in perception according to the Suttapiṭaka. As regards its meaning, the discussion stresses the fact that the renderings “perception” and “apperception” seem to overinterpret the actual function/activity of saññā. Also the translations “idea” and “ideation” should be used cautiously, in order to avoid misunderstandings, since these terms are fraught with very specific philosophical and psychological implications in the Western context. Moreover, though “cognition” could be a good rendering, “recognition” seems to (...) be a more adequate translation for saññā, because it conveys the meaning of both cognizing and naming, which are the two main activities carried out by saññā. In this sense, cognition should be envisaged as a recording process that labels (and gives names to) the data coming from the senses. As regards its role in perception, saññā takes place after contact (phassa) and sensation (vedanā). Its task is to collect the not yet well-defined information provided by phassa and vedanā, and to organize this information into a datum that can be made available to, and handled by, the consciousness (viññāṇa). The task of viññāṇa, in its turn, is to interpret this datum according to sujbective “values”. The present study stresses also the fact that the recognition carried out by saññā can be either simple (colors, tastes, etc.) or complex (danger, death, etc.). For this reason, after having dealt with simple perceptions, a section is devoted to the analysis and possible explanation of complex recognitions. Moreover, since the textual sources record the fact that saññā can fail its task to recognize things, another section is added, in which incorrect recognitions are taken into consideration. (shrink)

Predictions during language comprehension are currently discussed from many points of view. One area where predictive processing may play a particular role concerns poetic language that is regularized by meter and rhyme, thus allowing strong predictions regarding the timing and stress of individual syllables. While there is growing evidence that these prosodic regularities influence language processing, less is known about the potential influence of prosodic preferences on neurophysiological processes. To this end, the present electroencephalogram study examined whether the (...) predictability of strong and weak syllables within metered speech would differ as a function of meter. Strong, i.e., accented positions within a foot should be more predictable than weak, i.e., unaccented positions. Our focus was on disyllabic pseudowords that solely differed between trochaic and iambic structure, with trochees providing the preferred foot in German. Methodologically, we focused on the omission Mismatch Negativity that is elicited when an anticipated auditory stimulus is omitted. The resulting electrophysiological brain response is particularly interesting because its elicitation does not depend on a physical stimulus. Omissions in deviant position of a passive oddball paradigm occurred at either first- or second-syllable position of the aforementioned pseudowords, resulting in a 2-by-2 design with the factors foot type and omission position. Analyses focused on the mean oMMN amplitude and latency differences across the four conditions. The result pattern was characterized by an interaction of the effects of foot type and omission position for both amplitudes and latencies. In first position, omissions resulted in larger and earlier oMMNs for trochees than for iambs. In second position, omissions resulted in larger oMMNs for iambs than for trochees, but the oMMN latency did not differ. The results suggest that omissions, particularly in initial position, are modulated by a trochaic preference in German. The preferred strong-weak pattern may have strengthened the prosodic prediction, especially for matching, trochaic stimuli, such that the violation of this prediction led to an earlier and stronger prediction error. Altogether, predictive processing seems to play a particular role in metered speech, especially if the meter is based on the preferred foot type. (shrink)

The cerebral cortex is a rich and diverse structure that is the basis of intelligent behavior. One of the deepest mysteries of the function of cortex is that neural processing times are only about one hundred times as fast as the fastest response times for complex behavior. At the very least, this would seem to indicate that the cortex does massive amounts of parallel computation.This paper explores the hypothesis that an important part of the cortex can be modeled as (...) a connectionist computer that is especially suited for parallel problem solving. The connectionist computer uses a special representation, termed value unit encoding, that represents small subsets of parameters in a way that allows parallel access to many different parameter values. This computer can be thought of as computing hierarchies of sensorimotor invariants. The neural substrate can be interpreted as a commitment to data structures and algorithms that compute invariants fast enough to explain the behavioral response times. A detailed consideration of this model has several implications for the underlying anatomy and physiology. (shrink)

The body-oriented approach in the philosophy of cognitive sciences is gaining in importance in the conditions of the formation of new high-tech contexts. The problem of interoception and integration of bodily data into socio-economic processes requires a comprehensive analysis and ethical assessment. This article examines the conceptual foundations of the body-oriented approach and its impact on the essence of cognitive processes. The main advantages and disadvantages of this approach are presented. We consider the methodological conflict zones of the bodily (...) paradigm and traditional methodological attitudes of the cognitive sciences. The system ofinteroceptive sensations is a special «layer» of bodily experience. The social functions of interoceptive sensations are an interdisciplinary research area that focuses on the mechanisms of interaction between the private content of bodily experience and systems of social interaction. The regularity between interoceptive sensations and human behavioral patterns reflects the importance of examining bodily data. Today, the market for bodily data is just beginning to form, but at the same time it is already playing an important role in global digital transformation processes. A multitude of applications and wearable digital devices that track bodily activity and generate gigantic amounts of data are used today by millions of people around the world. The identification of bodily activity leads to the emergence of new forms of interaction between a person and socio-institutional systems, the specific properties of which are also considered in this article. (shrink)

This commentary article outlines and explores the key problem that faces anyone interested in researching and understanding what might be thought of as a recursive society. It reflects on the problem that is posed by the layering of multiple feedback loops as a result of algorithmic sorting and data processes. This article is concerned with the difficulties of understanding the social where recursive algorithmic processes have repeatedly shaped outcomes, practices, relations and actions over time. This is not (...) just about the sinking of algorithms into the everyday, it is about the way that loop-upon-loop of data processes lead to the social world itself being recursive. This repeated looping is described here as a kind of data coiling. The article argues for a focus on recursivity and for an engagement with the conceptual problems and questions that this notion implies. (shrink)

The HIT model explains the existence of semantic category-specific deficits by assuming that sensory knowledge is crucially important in processing living things, while functional knowledge is crucially important in processing nonliving things – the sensory/functional assumption. Here we argue that the sensory/functional assumption as implemented in HIT is neither theoretically nor empirically grounded and that, in any case, there is neuropsychological evidence which invalidates this assumption, thereby undermining the HIT model as a whole.

This paper addresses the problem of upgrading functional information to knowledge. Functional information is defined as syntactically well-formed, meaningful and collectively opaque data. Its use in the formal epistemology of information theories is crucial to solve the debate on the veridical nature of information, and it represents the companion notion to standard strongly semantic information, defined as well-formed, meaningful and true data. The formal framework, on which the definitions are based, uses a contextual version of the verificationist principle (...) of truth in order to connect functional to semantic information, avoiding Gettierization and decoupling from true informational contents. The upgrade operation from functional information uses the machinery of epistemic modalities in order to add data localization and accessibility as its main properties. We show in this way the conceptual worthiness of this notion for issues in contemporary epistemology debates, such as the explanation of knowledge process acquisition from information retrieval systems, and open data repositories. (shrink)

We introduce a system of simply typed lambda terms and show that a rather comprehensive class of recursion equations on streams or non-wellfounded trees can be solved in our system. Moreover certain conditions are presented which guarantee that the defined functionals are primitive recursive. As a major example we give a co-recursive treatment of Mints’ continuous cut-elimination operator.

This study draws upon naturalistic ethnographic data to expand current understandings regarding the socio-communicative capabilities and challenges of children with autism spectrum disorders in mid-childhood. Affording a view of the children’s spontaneous interactions within naturally occurring family and community settings, the study explores a range of discursive resources utilized by the children to accomplish socially reciprocal positive politeness practices in tandem with others. Emphasizing contextualized deployment of politeness forms in interaction, the practice-based conception developed here construes positive politeness as (...) a discursive process encompassing both socio-cultural and interpersonal knowledge/skills; and contributes to a perspective in which social and communicative realms are conceptualized as integrated domains of functioning. (shrink)

Performance Generating Systems (PGS) are rule- and task-based approaches to improvisation on stage in theatre, dance, and music. These systems require performers to draw on predefined source materials (texts, scores, memories) while working on complex tasks within limiting rules. An interdisciplinary research team at a large Western Canadian university hypothesized that learning to sustain this praxis over the duration of a performance places high demands on executive functions; demands that may improve the performers’ executive abilities. These performers need to (...) continuously shift attention while remaining responsive to embodied and environmental stimuli in the present, they are required to inhibit automated responses and impulses using the rules of the system, and they strive towards addressing multitasking challenges with fluidity and flexibility. This study set out to test the mentioned hypothesis deductively and identify mediating processes inductively, using mixed empirical methods. In a small sample experiment with a control group (28 participants; 15 in intervention group, 13 in control group), standardized quantitative tests of executive functions (D-KEFS) were administered before and after an eight-week intervention. Participant-reported qualitative observations from the praxis were also collected throughout the intervention for grounded analysis. Within the limitations of small sample data, we found both statistically significant and trending effects on inhibition, problem-solving initiation, fluidity, and cognitive flexibility. Examining the mediating process, we found that participants experienced significant challenges sustaining the practice halfway through the intervention. The participant-reported solutions to these challenges, which emerged as the strongest behavioural patterns when coding the qualitative data to saturation, were strategies of problem-solving and of re-directing attention. These strategies support and advance our understanding of the effects measured in the standardized tests. In terms of application, our results identify characteristics of PGS that could potentially maintain and strengthen executive functions over and above less demanding performing arts interventions. The results also deliver new insight into how PGS works, which may contribute to the development and teaching of this artistic practice. (shrink)

In the spring of 1987, I was in Havana, Cuba, where I was participating in planning a large-scale longitudinal study of the neurophysiological, neurochemical, and behavioral characteristics of cohorts of patients with cerebrovascular disease, depression, senile dementia, schizophrenia, or learning disabilities; and also part of this study were their first-degree blood relatives. This study was the outgrowth of a long-term project on the practical application of computer methods for the evaluation of brain electrical activity related to anatomical integrity, maturational development, (...) and sensory, perceptual;·-and cognitive processes, especially in chil dren. For many years, that project had been supported by the United Nations Development Program (UNDP), the National Scientific Research Center of Cuba (CNIC), and the Ministries of Public Health and of Education of Cuba. Since its inception, I had served as a technical advisor to the UNDP project. When the project began, I became acquainted with Dr. Jose M. Miyar Barrueco, who was at that time the Rector of the Medical School of the University of Havana. Because of his keen interest in the new computer technology and its potential utility in developing countries, we met from time to time during my visits. These occasional meetings continued after he became Secretary of the Cuban Council of State, so that he could remain apprised of progress and problems with which he might help. (shrink)

Starting from Marr's ideas about levels of explanation, a theory of the data structures and access processes in human memory is demonstrated on 10 tasks. Functional characteristics of human memory are captured implementation-independently. Our theory generates a multidimensional task classification subsuming existing classifications such as the distinction between tasks that are implicit versus explicit, data driven versus conceptually driven, and simple associative (two-way bindings) versus higher order (threeway bindings), providing a broad basis for new experiments. The formal language (...) clarifies the binding problem in episodic memory, the role of input pathways in both episodic and semantic (lexical) memory, the importance of the input set in episodic memory, and the ubiquitous calculation of an intersection in theories of episodic and lexical access. (shrink)

We propose and axiomatically analyze a class of rational solutions to simple allocation problems where a policy-maker allocates an endowment $E$ among $n$ agents described by a characteristic vector c. We propose a class of recursive rules which mimic a decision process where the policy-maker initially starts with a reference allocation of $E$ in mind and then uses the data of the problem to recursively adjust his previous allocation decisions. We show that recursive rules uniquely satisfy rationality, (...) c-continuity, and other-c monotonicity. We also show that a well-known member of this class, the Equal Gains rule, uniquely satisfies rationality, c-continuity, and equal treatment of equals. (shrink)

In previous work the author has introduced a lambda calculus SLR with modal and linear types which serves as an extension of Bellantoni–Cook's function algebra BC to higher types. It is a step towards a functional programming language in which all programs run in polynomial time. In this paper we develop a semantics of SLR using BCK -algebras consisting of certain polynomial-time algorithms. It will follow from this semantics that safe recursion with arbitrary result type built up from N and (...) ⊸ as well as recursion over trees and other data structures remains within polynomial time. In its original formulation SLR supported only natural numbers and recursion on notation with first-order functional result type. (shrink)

The complex process of cell immortalization and transformation is likely to involve the inactivation of growth regulatory genes. Mutations (deletions, missense mutations) in the p53 gene are the most frequently observed genetic alteration in human tumors, making p53 a candidate for a cellular protein involved in the control of cell growth. Two recent studies have examined the role of p53 in immortalization and tumorigenesis(27,28). In the first study(27), p53 expression was examined in both mortal and immortal chick embryo fibroblasts. All (...) mortal clones expressed p53 but the loss of wild‐type p53 expression was observed in every immortal cell line examined. In the second study(28), a line of mice carrying two null p53 alleles has been created and characterized. Although these mice develop normally, they show a predisposition to develop a variety of neoplasms at an early age (< 6 months). Although it is unclear whether p53 regulates the same, different, or overlapping pathways in the two experimental systems, these data demonstrate that p53 function is critical for the maintenance of normal growth control and support the current classification of p53 as a growth suppressive or tumor suppressor gene. (shrink)

It has been suggested that hierarchically structured symbols, a remarkable feature of human language, are produced via the operation of recursive combination. Recursive combination is frequently observed in human behavior, not only in language but also in action sequences, mind-reading, technology, et cetera.; in contrast, it is rarely observed in animals. Why is it that only humans use this operation? What is the adaptability of recursive combination? We aim (1) to identify the environmental feature(s) in which (...) class='Hi'>recursive combination is effective for survival and reproduction, and that has facilitated the evolution of this ability, and (2) to demonstrate the possible evolutionary processes of recursive combination. To achieve this, we constructed an evolutionary simulation of agents that generated products using recursive combination and used the results to explore the types of fitness functions (that reflect the kinds of adaptive environments) that give rise to this ability. We identified two types of adaptability of the recursive combination: (1) diversifiability of production and (2) diversifiability of products. Through the former, recursive combination promotes robustness against failure of production caused by inaccurate manipulations or irreversible changes. In an environment in which diversified products are preferable, sharing a portion of the production process for these products entails producing multiple products in which recursive combination plays a key role. We suppose that recursive combination works as a driving force of material culture. Finally, we discuss the possible evolutionary scenarios of recursive combination that is later generalized to encompass many aspects of human cognition, including human language. (shrink)

Functional imaging techniques, such as positron emission tomography and functional magnetic resonance imaging, present a unique opportunity to examine, in humans, the cerebral representation of space in vivo. Space is ubiquitous and not a unitary phenomenon, and the brain uses visual, vestibular and proprioceptive inputs to produce multiple representations of space subserving spatial cognition, ranging from gaze control to remembering multiple complex large-scale environments. Functional imaging studies have shown the importance of the parietal cortex in perceptual, motor, attention and working (...) memory aspects of body-centred human spatial cognition. Functional imaging has also revealed pathways in humans homologous to those found in monkeys for the separate processing of spatial location and object identity. There are further suggestions of similar differentiation in working memory. The importance of the medial temporal region in the recall of spatial location has been confirmed also and novel virtual reality paradigms are now providing insights into the cerebral representation of spatially-extended large-scale environments. We still have much to learn about the cerebral representation of space in the human brain and functional brain imaging, in concert with patient studies and animal models, will allow us to continue investigating. (shrink)

In this chapter, we aimed at further characterizing the functional neuroanatomy of the human rapid eye movement (REM) sleep at the population level. We carried out a meta-analysis of a large dataset of positron emission tomography (PET) scans acquired during wakefulness, slow wave sleep and REM sleep, and focused especially on the brain areas in which the activity diminishes during REM sleep. Results show that quiescent regions are confined to the inferior and middle frontal cortex and to the inferior parietal (...) lobule. Providing a plausible explanation for some of the features of dream reports, these findings may help in refining the concepts, which try to account for human cognition during REM sleep. In particular, we discuss the significance of these results to explain the alteration in executive processes, episodic memory retrieval and self representation during REM sleep dreaming as well as the incorporation of external stimuli into the dream narrative. (shrink)

The present research investigates the role of voluntary, conscious processing in strategy change. In 2 experiments, we address whether the switch to a new strategy is the result of data - driven, automatic processes or of voluntary processes. Experiment 1 demonstrates that participants performing an alphabet verification task are able to transfer a newly adopted strategy to dissimilar information never encountered before, verbally describe the task regularity that allows for the generation and application of the new strategy immediately (...) after the strategy was adopted. Using the same experimental task, Experiment 2 shows that participants, and decide against adopting a new strategy when the available evidence suggests that the new strategy cannot be used for the entire range of problems encountered. Overall, the obtained results support the view that strategy change is mediated by voluntary controlled processing. They do not support the view that strategy change is an inevitable, automatic consequence of task practice. The present research thus highlights a potential function of conscious human processing. (shrink)

At present, a series of economic structural changes created by the network economy have brought challenges to the entire economy and society. Traditional social commerce has also suffered severe tests under the background of network economy and global integration, and the rise and development of network commercial activities lack legal constraints. Based on the Big Data technology, in view of the characteristics of data mining services, this paper expands and changes the traditional model and proposes the Big (...) class='Hi'>Data alliance data mining service process model. Moreover, this paper uses intelligent decision-making theory and knowledge reasoning methods to construct a fast-responding, service-reusable, and intelligent service model to realize the scalability of data mining services. In addition, this paper constructs system function modules according to the requirements of Internet commercial judicial data mining and verifies the performance of the system constructed in this paper through experimental analysis. The research results show that the system constructed in this paper has certain practical effects. (shrink)

Big Data is a large-sized and complex dataset, which cannot be managed using traditional data processing tools. Mining process of big data is the ability to extract valuable information from these large datasets. Association rule mining is a type of data mining process, which is indented to determine interesting associations between items and to establish a set of association rules whose support is greater than a specific threshold. The classical association rules can only be extracted (...) from binary data where an item exists in a transaction, but it fails to deal effectively with quantitative attributes, through decreasing the quality of generated association rules due to sharp boundary problems. In order to overcome the drawbacks of classical association rule mining, we propose in this research a new neutrosophic association rule algorithm. The algorithm uses a new approach for generating association rules by dealing with membership, indeterminacy, and non-membership functions of items, conducting to an efficient decision-making system by considering all vague association rules. To prove the validity of the method, we compare the fuzzy mining and the neutrosophic mining. The results show that the proposed approach increases the number of generated association rules. (shrink)

Systems biology is largely tributary to genomics and other “omic” disciplines that generate vast amounts of structural data. “Omics”, however, lack a theoretical framework that would allow using these data sets as such (rather than just tiny bits that are extracted by advanced data-mining techniques) to build explanatory models that help understand physiological processes. Systems biology provides such a framework by adding a dynamic dimension to merely structural “omics”. It makes use of bottom-up and top-down models. The (...) former are based on data about systems components, the latter on systems-level data. We trace back both modeling strategies (which are often used to delineate two branches of the field) to the modeling of metabolic and signaling pathways in the bottom-up case, and to biological cybernetics and systems theory in the top-down case. We then argue that three roots of systems biology must be discerned to account adequately for the structure of the field: pathway modeling, biological cybernetics, and “omics”. We regard systems biology as merging modeling strategies (supplemented by new mathematical procedures) from data-poor fields with data supply from a field that is quite deficient in explanatory modeling. After characterizing the structure of the field, we address some epistemological and ontological issues regarding concepts on which the top-down approach relies and that seem to us to require clarification. This includes the consequences of identifying modules in large networks without relying on functional considerations, the question of the “holism” of systems biology, and the epistemic value of the “systeome” project that aspires to become the cutting edge of the field. (shrink)

Alcohol use disorder is a burden to society creating social and health problems. Detection of AUD and its effects on the brain are difficult to assess. This problem is enhanced by the comorbid use of other substances such as nicotine that has been present in previous studies. Recent machine learning algorithms have raised the attention of researchers as a useful tool in studying and detecting AUD. This work uses AUD and controls samples free of any other substance use to assess (...) the performance of a set of commonly used machine learning classifiers detecting AUD from resting state functional network connectivity derived from independent component analysis. The cohort used included 51 alcohol dependent subjects and 51 control subjects. Despite alcohol, none of the 102 subjects reported use of nicotine, cannabis or any other dependence or habit formation substance. Classification features consisted of whole brain rsFNC estimates undergoing a feature selection process using a random forest approach. Features were then fed to 10 different machine learning classifiers to be evaluated based on their classification performance. A neural network classifier showed the highest performance with an area under the curve of 0.79. Other good performers with similar AUC scores were logistic regression, nearest neighbor, and support vector machine classifiers. The worst results were obtained with Gaussian process and quadratic discriminant analysis. The feature selection outcome pointed to functional connections between visual, sensorimotor, executive control, reward, and salience networks as the most relevant for classification. We conclude that AUD can be identified using machine learning classifiers in the absence of nicotine comorbidity. (shrink)

The present study aimed to examine the neural mechanisms underlying the ability to process the mental rotation with mirrored stimuli for different depressive tendencies with psychomotor retardation. Using functional near-infrared spectroscopy, we measured brain cortex activation of participants with higher and lower depressive tendencies while performing a left-right paradigm of object mental rotation or a same-different paradigm of subject mental rotation. Behavioral data revealed no differences in reaction time and rotation speed. The fNIRS data revealed a higher deactivation (...) of oxyhemoglobin change for the higher depression group in the perceptual stage of object mental rotation with mirrored stimuli in the superior external frontal cortex, inferior frontal gyrus, premotor cortex, and primary motor cortex. In addition, there existed a significant difference between the two groups in premotor cortex in subject mental rotation with mirrored stimuli. These results suggest that the neural mechanism of higher depression individuals connected with psychomotor retardation exists in the frontal and motor areas when processing object mental rotation with mirrored stimuli, and the motor cortex when processing subject mental rotation. (shrink)

I propose a framework that explicates and distinguishes the epistemic roles of data and models within empirical inquiry through consideration of their use in scientific practice. After arguing that Suppes’ characterization of data models falls short in this respect, I discuss a case of data processing within exploratory research in plant phenotyping and use it to highlight the difference between practices aimed to make data usable as evidence and practices aimed to use data to (...) represent a specific phenomenon. I then argue that whether a set of objects functions as data or models does not depend on intrinsic differences in their physical properties, level of abstraction or the degree of human intervention involved in generating them, but rather on their distinctive roles towards identifying and characterizing the targets of investigation. The paper thus proposes a characterization of data models that builds on Suppes’ attention to data practices, without however needing to posit a fixed hierarchy of data and models or a highly exclusionary definition of data models as statistical constructs. (shrink)

I propose a framework that explicates and distinguishes the epistemic roles of data and models within empirical inquiry through consideration of their use in scientific practice. After arguing that Suppes’ characterization of data models falls short in this respect, I discuss a case of data processing within exploratory research in plant phenotyping and use it to highlight the difference between practices aimed to make data usable as evidence and practices aimed to use data to (...) represent a specific phenomenon. I then argue that whether a set of objects functions as data or models does not depend on intrinsic differences in their physical properties, level of abstraction or the degree of human intervention involved in generating them, but rather on their distinctive roles towards identifying and characterizing the targets of investigation. The paper thus proposes a characterization of data models that builds on Suppes’ attention to data practices, without however needing to posit a fixed hierarchy of data and models or a highly exclusionary definition of data models as statistical constructs. (shrink)

We describe a software system for the analysis of defined benefit actuarial plans. The system uses a recursive formulation of the actuarial stochastic processes to implement precise and efficient computations of individual and group cash flows.

Neural organization: Structure, function, and dynamics shows how theory and experiment can supplement each other in an integrated, evolving account of the brain's structure, function, and dynamics. Structure: Studies of brain function and dynamics build on and contribute to an understanding of many brain regions, the neural circuits that constitute them, and their spatial relations. We emphasize Szentágothai's modular architectonics principle, but also stress the importance of the microcomplexes of cerebellar circuitry and the lamellae of hippocampus. Function: Control of eye (...) movements, reaching and grasping, cognitive maps, and the roles of vision receive a functional decomposition in terms of schemas. Hypotheses as to how each schema is implemented through the interaction of specific brain regions provide the basis for modeling the overall function by neural networks constrained by neural data. Synthetic PET integrates modeling of primate circuitry with data from human brain imaging. Dynamics: Dynamic system theory analyzes spatiotemporal neural phenomena, such as oscillatory and chaotic activity in both single neurons and neural networks, the self-organizing development and plasticity of ordered neural structures, and learning and memory phenomena associated with synaptic modification. Rhythm generation involves multiple levels of analysis, from intrinsic cellular processes to loops involving multiple brain regions. A variety of rhythms are related to memory functions. The Précis presents a multifaceted case study of the hippocampus. We conclude with the claim that language and other cognitive processes can be fruitfully studied within the framework of neural organization that the authors have charted with John Szentágothai. (shrink)

The objective of this paper is to present a new theory of synaptic function in the nervous system. The basis for this theory is the experimental demonstration that a nerve impulse assumes five different forms as it advances through the synaptic region, and that five basic mathematical operations have been identified as being involved in the transformation of one form into another form. As a result of these data, the synaptic region is regarded as a functional unit where information (...) coming to it is unpacked, processed, stored, and retrieved for transit to another synaptic region or effector site. The data also suggests that a nerve impulse is a bolus of energy, therefore, without substance; that it contains information coded in its shape or form; that it is precisely described mathematically. Furthermore, the data suggests synaptic regions process these nerve impulses by applying mathematical operations to them; that function in the synaptic region is highly stereotyped (programmed); that chemical substances are associated with the mathematical operations. The basic approach of this theory is to regard a significant portion of the nervous system as an interface between the external universe and man himself. As an interface, the nervous system receives and processes information from both the external universe and man himself in a programmed manner. The interface functions by converting the information it receives into a bolus of energy, the nerve impulse, then processes the bolus by converting it into numbers or functions and applying mathematical operation to it. (shrink)

This review considers a number of recent theories on the neural basis of consciousness, with particular attention to the theories of Bogen, Crick, Llinás, Newman, and Changeux. These theories allot different roles to various key brain areas, in particular the reticular and intralaminar nuclei of the thalamus and the cortex. Crick's hypothesis is that awareness is a function of reverberating corticothalamic loops and that the spotlight ofintramodalattention is controlled by the reticular nucleus of the thalamus. He also proposed different mechanisms (...) for attention and intention . The current review presents a new hypothesis, based on elements from these hypotheses, includingintermodalattention and olfaction and pain, which may pose problems for Crick's original theory. This work reviews the possible role in awareness and intermodal attention and intention of the cholinergic system in the basal forebrain and the tegmentum; the reticular, the intralaminar, and the dorsomedial thalamic nuclei; the raphe and locus coeruleus; the reticular formation; the ventral striatum and extended amygdala; insula cortex, and other selected cortical areas. Both clinical and basic research data are covered. The conclusion is reached that the brain may work by largely nonlinear parallel processing and much intramodal shifts of attention may be effected by intracortical, or multiple corticothalamic mechanisms . But this is constrained by the functional anatomy of the circuits concerned and waking “awareness” is modulated by the many “nonspecific” systems . But the principal agents for intermodal attention shifts, the “searchlight,” may be two key nuclei of the cholinergic system in the mesencephalon. Clinical loss of consciousness results from damage to these nuclei but not from damage to the cholinergic nucleus basalis of the basal forebrain. (shrink)

Posterior parietal cortex has traditionally been considered to be a sensory association area in which higher-order processing and intermodal integration of incoming sensory information occurs. In this paper, evidence from clinical reports and from lesion and behavioral-electrophysiological experiments using monkeys is reviewed and discussed in relation to the overall functional organization of posterior parietal association cortex, and particularly with respect to a proposed posterior parietal mechanism concerned with the initiation and control of certain classes of eye and limb movements. (...) Preliminary data from studies of the effects of posterior parietal lesions on oculomotor control in monkeys are reported.The behavioral effects of lesions of posterior parietal cortex in monkeys have been found to be similar to those which follow analogous damage of the minor hemisphere in humans, while behavioral-electrophysiological experiments have disclosed classes of neurons in this area which have functional properties closely related to the behavioral acts that are disrupted by lesions of the area. On the basis of current data from these areas of study, it is proposed that the sensory association model of posterior parietal function is inadequate to account for the complexities of the present evidence. Instead, it now appears that many diverse neural mechanisms are locatedin partin parietal cortex, that some of these mechanisms are involved in sensory processing and perceptual functions, but that others participate in motor control, and that still others are involved in attentional, motivational, or emotional processes. It is further proposed that the elementary units of these various neural mechanisms are distributed within posterior parietal cortex according to the columnar hypothesis of Mountcastle. (shrink)

While a growing body of scholarship identifies urban agriculture’s broad suite of benefits and drivers, it remains unclear how motivations to engage in urban agriculture (UA) interrelate or how they differ across cities and types of organizations. In this paper, we draw on survey responses collected from more than 250 UA organizations and businesses from 84 cities across the United States and Canada. Synthesizing the results of our quantitative analysis of responses (including principal components analysis), qualitative analysis of textual (...) class='Hi'>data excerpted from open-ended responses, and a review of existing literature, we describe six motivational frames that appear to guide organizations and businesses in their UA practice: Entrepreneurial, Sustainable Development, Educational, Eco-Centric, DIY Secessionist, and Radical. Identifying how practitioners stack functions and frame their work is a first step in helping to differentiate the diverse and often contradictory efforts transforming urban food environments. We demonstrate that a wide range of objectives drive UA and that political orientations and discourses differ by geography, organizational type and size, and funding regime. These six paradigms provide a basic framework for understanding UA that can guide more in-depth studies of the gap between intentions and outcomes, while helping link historically and geographically specific insights to wider social and political economic processes. (shrink)

This paper explores some key discrepancies between two sets of normative requirements applicable to the research use of personal data and human biological materials: the data protection regime which follows the application of the European Union General Data Protection Regulation, and the Declaration of Helsinki, CIOMS guidelines and other research ethics regulations. One source of this controversy is that the GDPR requires consent to process personal data to be clear, concise, specific and granular, freely given and (...) revocable and therefore has challenged the concept of ‘broad consent’, which has been widely applied in the context of biobanking. Another source of controversy is the interplay between regulations of research ethics and protection of personal data related to the secondary use of personal data and biological materials. In this case, the GDPR ‘research condition’ provides an alternative to re-consent for the use of previously collected personal data and biological materials. Although the mentioned controversies have been raised in the legal literature, they have not been explicitly addressed from the research ethics perspective. Should consent be regarded as a priority legal basis for personal data processing in health data research? Can broad consent still be a suitable legal ground for biobanking? What should be the role of research ethics provisions that differ from the GDPR standards, and what should be the role and function of research ethics committees in the changing environment of health data research? These are the ongoing controversies to be explored in the paper. (shrink)

We propose a rudimentary formal framework for reasoning about recursion equations over inductively generated data. Our formalism admits all equational programs , and yet singles out none. While being simple, this framework has numerous extensions and applications. Here we lay out the basic concepts and definitions; show that the deductive power of our formalism is similar to that of Peano's Arithmetic; prove a strong normalization theorem; and exhibit a mapping from natural deduction derivations to an applied λ -calculus, à (...) la Curry–Howard, which provides a transparent proof of Gödel's result that the provably recursive functions of PA are definable by primitive recursion in finite types. Also of interest is the extent, uncommon among similar constructions, to which our mapping is oblivious to first order terms, including first order quantification and equality. Additional applications and extensions of the method will be presented in sequel papers. In particular, the methodology introduced here lends itself to systematic links between natural sub-formalisms and computational complexity classes. Since these sub-formalisms are largely transparent, allowing one to reason formally in the full system while leaving to automatic software tools the task of verifying that restrictions are complied with, the framework is particularly attractive for the development of Feasible Mathematics. (shrink)

Analysis of grip force signals tailored to hand and finger movement evolution and changes in grip force control during task execution provide unprecedented functional insight into somatosensory cognition. Somatosensory cognition is a basis of our ability to manipulate, move, and transform objects of the physical world around us, to recognize them on the basis of touch alone, and to grasp them with the right amount of force for lifting and manipulating them. Recent technology has permitted the wireless monitoring of grip (...) force signals recorded from biosensors in the palm of the human hand to track and trace human grip forces deployed in cognitive tasks executed under conditions of variable sensory (visual, auditory) input. Non-invasive multi-finger grip force sensor technology can be exploited to explore functional interactions between somatosensory brain mechanisms and motor control, in particular during learning a cognitive task where the planning and strategic execution of hand movements is essential. Sensorial and cognitive processes underlying manual skills and/or hand-specific (dominant versus non-dominant hand) behaviors can be studied in a variety of contexts by probing selected measurement loci in the fingers and palm of the human hand. Thousands of sensor data recorded from multiple spatial locations can be approached statistically to breathe functional sense into the forces measured under specific task constraints. Grip force patterns in individual performance profiling may reveal the evolution of grip force control as a direct result of cognitive changes during task learning. Grip forces can be functionally mapped to from-global-to-local coding principles in brain networks governing somatosensory processes for motor control in cognitive tasks leading to a specific task expertise or skill. Under the light of a comprehensive overview of recent discoveries into the functional significance of human grip force variations, perspectives for future studies in cognition, in particular the cognitive control of strategic and task relevant hand movements in complex real-world precision task, are pointed out. (shrink)

Anatomical studies propose that the primate auditory cortex contains more fields than have actually been functionally confirmed or described. Spatially resolved functional magnetic resonance imaging (fMRI) with carefully designed acoustical stimulation could be ideally suited to extend our understanding of the processing within these fields. However, after numerous experiments in humans, many auditory fields remain poorly characterized. Imaging the macaque monkey is of particular interest as these species have a richer set of anatomical and neurophysiological data to clarify (...) the source of the imaged activity. We functionally mapped the auditory cortex of behaving and of anesthetized macaque monkeys with high resolution fMRI. By optimizing our imaging and stimulation procedures, we obtained robust activity throughout auditory cortex using tonal and band-passed noise sounds. Then, by varying the frequency content of the sounds, spatially specific activity patterns were observed over this region. As a result, the activity patterns could be assigned to many auditory cortical fields, including those whose functional properties were previously undescribed. The results provide an extensive functional tessellation of the macaque auditory cortex and suggest that 11 fields contain neurons tuned for the frequency of sounds. This study provides functional support for a model where three fields in primary auditory cortex are surrounded by eight neighboring ‘‘belt’’ fields in non-primary auditory cortex. The findings can now guide neurophysiological recordings in the monkey to expand our understanding of the processing within these fields. Additionally, this work will improve fMRI investigations of the human auditory cortex. (shrink)

Today’s bodies are akin to ‘walking sensor platforms’. Bodies either host, or are the subjects of, an array of sensing devices that act to convert bodily movements, actions and dynamics into circulative data. This article proposes the notions of ‘disembodied exhaust’ and ‘embodied exhaustion’ to conceptualise processes of bodily sensorisation and datafication. As the material body interfaces with networked sensor technologies and sensing infrastructures, it emits disembodied exhaust: gaseous flows of personal information that establish a representational data-proxy. It (...) is this networked actant that progressively structures how embodied subjects experience their daily lives. The significance of this symbiont medium in determining the outcome of interplays between networked individuals and audiences necessitates that it is carefully contrived. The article explores the nature and function of the data-proxy, and its impact on social relations. Drawing on examples that depict individuals engaging with their data-proxies, the article suggests that managing a virtual presence is analogous to a work relation, demanding diligence and investment. But it also shows how the data-proxy operates as a mode of affect that challenges conventional distinctions made between organic and inorganic bodies, agency and actancy, mortality and immortality, presence and absence. (shrink)

Since the second half of the twentieth century, biomedical research has made increasing use of epidemiological methods to establish empirical evidence on a population level. This paper is about practices with data in epidemiological research, based on a case study in Denmark. I propose an epistemology of record linkage that invites exploration of epidemiological studies as heterogeneous assemblages. Focusing on data collecting, sampling and linkage, I examine how data organisation and processing become productive beyond the context (...) of their collection. The case study looks at how a local population database established in 1976 to investigate possibilities for the prevention of cardiovascular disease is used thirty years later to test hypotheses on the aetiology of breast cancer. For two breast cancer investigations based on the same core data set, I follow the underlying record linkage practice and describe how research objects such as molecular markers become relevant with respect to public health through information networking. Epidemiological association studies function as tools that performatively enrol different contexts into statistical risk estimation, thereby configuring options for research as well as for clinical testing and public health policy. (shrink)

This article examines the functions performed by each of the “core” face processing regions: the fusiform face area, occipital face area, and superior temporal sulcus. It reviews the data from two complementary sources: functional imaging in healthy subjects and behavioral data from neurological subjects with damage to these regions. Data from functional neuroimaging allows for the determination of which regions are specifically engaged by which stimuli and which tasks; functional magnetic resonance imaging adaptation and pattern (...) classification methods even allow for the characterisation of the representations extracted in each. However, fMRI can only tell that a given region is sensitive to a particular stimulus property. fMRI cannot depict if the processing requires perceiving that property occurs in that area. In contrast, lesion data can answer the crucial question of whether a given brain region is necessary for a given computation. (shrink)

There is a bias in neuroscience toward localizing and modularizing brain functions. Single cell recording, imaging studies, and the study of neurological deficits all feed into the Gallian view that different brain areas do different things and the things being done are confined to particular processing streams. At the same time, there is a growing sentiment that brains probably don’t work like that after all; it is better to conceive of them as fundamentally distributed units, multi‐tasking at every (...) level. This sentiment, however, is much less congenial to the tried‐and‐true experimental protocols available today and to theorizing about the brain in general. This essay examines the tension between current experimental methods and large-scale views of the brain. We argue that this disconnection between experiment and what really are guiding theoretical metaphors seriously impedes progress in neuroscience. (shrink)

Data analytics and data-driven approaches in Machine Learning are now among the most hailed computing technologies in many industrial domains. One major application is predictive analytics, which is used to predict sensitive attributes, future behavior, or cost, risk and utility functions associated with target groups or individuals based on large sets of behavioral and usage data. This paper stresses the severe ethical and data protection implications of predictive analytics if it is used to predict sensitive (...) information about single individuals or treat individuals differently based on the data many unrelated individuals provided. To tackle these concerns in an applied ethics, first, the paper introduces the concept of “predictive privacy” to formulate an ethical principle protecting individuals and groups against differential treatment based on Machine Learning and Big Data analytics. Secondly, it analyses the typical data processing cycle of predictive systems to provide a step-by-step discussion of ethical implications, locating occurrences of predictive privacy violations. Thirdly, the paper sheds light on what is qualitatively new in the way predictive analytics challenges ethical principles such as human dignity and the (liberal) notion of individual privacy. These new challenges arise when predictive systems transform statistical inferences, which provide knowledge about the cohort of training data donors, into individual predictions, thereby crossing what I call the “prediction gap”. Finally, the paper summarizes that data protection in the age of predictive analytics is a collective matter as we face situations where an individual’s (or group’s) privacy is violated using dataotherindividuals provide about themselves, possibly even anonymously. (shrink)

There is considerable evidence that the hippocampal system contributes both to (1) the temporary maintenance of memories and to (2) the processing of a particular type of memory representation. The findings on amnesia suggest that these two distinguishing features of hippocampal memory processing are orthogonal. Together with anatomical and physiological data, the neuropsychological findings support a model of cortico-hippocampal interactions in which the temporal and representational properties of hippocampal memory processing are mediated separately. We propose that (...) neocortical association areas maintain shortterm memories for specific items and events prior to hippocampal processing as well as providing the final repositories of long-term memory. The parahippocampal region supports intermediate-term storage of individual items, and the hippocampal formation itself mediates an organization of memories according to relevant relationships among items. Hippocampal-cortical interactions produce (i) strong and persistent memories for events, including their constituent elements and the relationships among them, and (ii) a capacity to express memories flexibly across a wide range of circumstances. (shrink)