Nowadays, the quality standards of higher education institutions pay special attention to the performance and evaluation of the students. Then, having a complete academic record of each student, such as number of attempts, average grade and so on, plays a key role. In this context, the existence of missing data, which can happen for different reasons, leads to affect adversely interesting future analysis. Therefore, the use of imputation techniques is presented as a helpful tool to estimate the value of missing (...) data. This work deals with the academic records of engineering students, in which imputation techniques are applied. More specifically, it is assessed and compared to the performance of the multivariate imputation by chained equations methodology, the adaptive assignation algorithm based on multivariate adaptive regression splines and a hybridization based on self-organisation maps with Mahalanobis distances and AAA algorithm. The results show that proposed methods obtain successfully results regardless the number of missing values, in general terms. (shrink)

Student performance and its evaluation remain a serious challenge for education systems. Frequently, the recording and processing of students’ scores in a specific curriculum have several flaws for various reasons. In this context, the absence of data from some of the student scores undermines the efficiency of any future analysis carried out in order to reach conclusions. When this is the case, missing data imputation algorithms are needed. These algorithms are capable of substituting, with a high level of accuracy, the (...) missing data for predicted values. This research presents the hybridization of an algorithm previously proposed by the authors called adaptive assignation algorithm, with a well-known technique called multivariate imputation by chained equations. The results show how the suggested methodology outperforms both algorithms. (shrink)

Automatic control of physiological variables is one of the most active areas in biomedical engineering. This paper is centered in the prediction of the analgesic variables evolution in patients undergoing surgery. The proposal is based on the use of hybrid intelligent modelling methods. The study considers the Analgesia Nociception Index to assess the pain in the patient and remifentanil as intravenous analgesic. The model proposed is able to make a one-step-ahead prediction of the remifentanil dose corresponding to the current state (...) of the patient. The input information is the previous remifentanil dose, the ANI variable and the electromyogram signal. Modelling techniques used are Artificial Neural Networks and Support Vector machines for Regression combined with clustering methods. Both training and validation were done with a real dataset from different patients. Results obtained show the potential of this methodology to calculate the drug dose corresponding to a given analgesic state of the patient. (shrink)

This paper considers logics which are formally dual to intuitionistic logic in order to investigate a co-constructive logic for proofs and refutations. This is philosophically motivated by a set of problems regarding the nature of constructive truth, and its relation to falsity. It is well known both that intuitionism can not deal constructively with negative information, and that defining falsity by means of intuitionistic negation leads, under widely-held assumptions, to a justification of bivalence. For example, we do not (...) want to equate falsity with the non-existence of a proof since this would render a statement such as “pi is transcendental” false prior to 1882. In addition, the intuitionist account of negation as shorthand for the derivation of absurdity is inadequate, particularly outside of purely mathematical contexts. To deal with these issues, I investigate the dual of intuitionistic logic, co-intuitionistic logic, as a logic of refutation, alongside intuitionistic logic of proofs. Direct proof and refutation are dual to each other, and are constructive, whilst there also exist syntactic, weak, negations within both logics. In this respect, the logic of refutation is weakly paraconsistent in the sense that it allows for statements for which, neither they, nor their negation, are refuted. I provide a proof theory for the co-constructive logic, a formal dualizing map between the logics, and a Kripke-style semantics. This is given an intuitive philosophical rendering in a re-interpretation of Kolmogorov’s logic of problems. (shrink)

The article aims at integrating the cultural psychology perspective of into the multidisciplinary field of border studies. It analyses the border phenomenon as a co-genetic system. The authors investigate the psychological side of people who relate to the border out of different motives. Then, it expands some of the theoretical concepts current in border studies by introducing psychological dimensions such as intentionality and directionality. Finally, the framework is applied to two case-studies representing the northern and southern European Union frontiers: (...) the case of Estonian officer Eston Kohver in the Setumaa region on the Estonian–Russian border; and the experiences of border guards in the re-bordering process on the Spanish– Moroccan border. It offers an innovative conceptual resource based on a triadic co-genetic epistemological approach, which allows us to overcome the binary oppositions still very present in the contemporary debates in borders studies. (shrink)

The article aims at integrating the cultural psychology perspective of into the multidisciplinary field of border studies. It analyses the border phenomenon as a co-genetic system. The authors investigate the psychological side of people who relate to the border out of different motives. Then, it expands some of the theoretical concepts current in border studies by introducing psychological dimensions such as intentionality and directionality. Finally, the framework is applied to two case-studies representing the northern and southern European Union frontiers: (...) the case of Estonian officer Eston Kohver in the Setumaa region on the Estonian–Russian border; and the experiences of border guards in the re-bordering process on the Spanish–Moroccan border. It offers an innovative conceptual resource based on a triadic co-genetic epistemological approach, which allows us to overcome the binary oppositions still very present in the contemporary debates in borders studies. (shrink)

This paper considers a topos-theoretic structure for the interpretation of co-constructive logic for proofs and refutations following Trafford :22–40, 2015). It is notoriously tricky to define a proof-theoretic semantics for logics that adequately represent constructivity over proofs and refutations. By developing abstractions of elementary topoi, we consider an elementary topos as structure for proofs, and complement topos as structure for refutation. In doing so, it is possible to consider a dialogue structure between these topoi, and also control their relation (...) such that classical logic is simulated where proofs and refutations are conclusive. (shrink)

In decision making quite often we face permanently changeable and potentially infinite databases when we cannot apply conventional algorithms for choosing a solution. A decision process on infinite databases is called troubleshooting. A decision on these databases is called creative reasoning. One of the first heuristic semi-logical means for creative decision making were proposed in the theory of inventive problem solving by Genrich Altshuller. In this paper, I show that his approach corresponds to the so-called content-generic logic established by (...) Soviet philosophers as an alternative to mathematical logic. The main assumption of content-genetic is that we cannot reduce our thinking to a mathematical combination of signs or to a language as such and our thought is ever cyclic and reflexive so that it contains ever a history. (shrink)

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and (...) made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

We present a reconstruction of so-called classical, formal or Mendelian genetics using a notation which we believe is more legible than that of earlier accounts, and lends itself easily to computer implementation, for instance in PROLOG. By drawing from, and emending, earlier work of Balzer and Dawe (1986,1997), the present account presents the three most important lines of development of classical genetics: the so-called Mendel's laws, linkage genetics and gene mapping, in the form of a theory-net. This shows that the (...) set theoretic representation format used in the structuralist approach to the philosophy of science also applies to the domain of genetic theories. There construction is intended to lend more clarity to theme thodological, philosophical and didactical discussions of the foundations of genetics, and on the other hand to defend a formally, logically minded view of theories which seems to have become contested through the work of Feyerabend, Kuhn and Kitcher. (shrink)

The present study intends to demonstrate that there is no logical-formal inconsistency in the Christian Trinity. However, the demonstration requires specific tools, other than those of classical logic. There are many older or newer attempts that try to remove the thesis of the inconsistency of the Christian Trinity. There is often a call for mathematical tools. As far as we are concerned, we will appeal to co -inherence and the nesting relationships specific to the Christian Trinity, as they appear (...) especially in Augustine’s work. We advance the hypothesis that Augustine's metaphor "heaven of heavens" has a foundational role in the logical plane of explanation. In this sense, Augustine points out that in the "heaven of heavens", reason does not know "in part", but it knows everything suddenly, entirely, as in a totality. This totality with a founding role functions as a principle, which we can call the principle of free totality. But the co -belonging of entities in the free and founding totality also expresses co -inherence. Divine persons are an emanation of God. That is why we are talking about co -inherence. The "co" particle points out that the starting point is in the free totality of God, and that this totality logically precedes the rest of the process. Thus, we can consider the term "the Christian Trinity" as a nested term, as co -habitation. The totality of God is not a generalization in the spirit of the Aristotelian abstraction, but rather a particularity, a "personalization" that does not cancel the individual, but it highlights in instantiation. In this sense, the Christian God is not an abstraction, but a divine Being in three persons, in whom He instantiates. The logic of this process is the one of vagueness. (shrink)

In the above pages I have sketched a history of the genesis and comparative evaluation of the repressor model of genetic regulation of enzyme induction. I have not attempted in this article to carry out an analysis of the more scientifically interesting fully developed Jacob-Monod operon theory of genetic regulations but such an analysis of the operon theory would not, I believe, involve any additional logical or epistemological features than have been discussed above. I have argued that the (...) above account of the development of a theory of enzyme induction involved inferential moves and well-characterized desiderata, of both empirical and non-empirical character, in the genesis and evaluation of new hypotheses and theories. I have also contended that the reasoning displayed in the genesis of a theory is in a large measure identical to that utilized in evaluating a theory. Both of these conclusions are at variance with the views of philosophers such as H. Reichenbach, Sir Karl Popper, and C.G. Hempel who have argued that the genesis of new hypotheses is primarily an irrational affair and that only the context of justification is susceptible of rational reconstruction. In the alternative view presented here, scientific discovery and scientific justification represent the application in contexts, which are primarily telically distinguishable, of a fundamentally unitary logic of scientific inquiry. (shrink)

According to evolutionary, genetic, and endocrinal perspectives, gender differences are modulated by the interaction between intra-uterine stress, genetic equipments, and the availability of the facilitating environment during the newborn period. The social message of fitness over obstacles during socialization and the discussion of secure/non-secure attachment styles should take into consideration the brain functions, which are altered differently in response to intra- and extra-uterine stress in each gender.

The book focuses on the modern understanding of human life-forms as constructs that followed an evolutionary history. The author thus finds science confronted with two questions: firstly, how the transgression of the virtual threshold between natural and cultural history was possible, secondly, how the socio-cultural constructs were able to develop in the course of history the way they did. The discussion concentrates on the problem of determining a processual logic in the development of societal structures as well as in (...) the development of cognition. The focus of attention is the historico-genetic reconstruction of cognition. The book was originally published in German as Historisch-genetische Theorie der Kultur. (shrink)

Almost all existing genetic programming systems deal with fitness evaluation solely by testing. In this paper, by contrast, we present an original approach that combines genetic programming with Hoare logic with the aid of model checking and finite state automata, henceby proposing a brand new verification-focused formal genetic programming system that makes it possible to evolve reliable programs with mathematicallyverified properties.

Historical language change (), like evolution itself, is a fact; and its implications for the biological evolution of the human capacity for language acquisition () have been ably explored by many contemporary theorists. However, Christiansen & Chater's (C&C's) revolutionary call for a replacement of phylogenetic models with glossogenetic cultural models is based on an inadequate understanding of either. The solution to their lies before their eyes, but they mistakenly reject it due to a supposed Gene/;culture co-evolution poses a series of (...) difficult theoretical and empirical problems that will be resolved by subtle thinking, adequate models, and careful cross-disciplinary research, not by oversimplified manifestos. (shrink)

Woodger's substitution of the "allegedly more precise term 'an environmentally insensitive set of lives'" for the term 'an inborn character' is discussed by haldane. He proposes that "woodger's definitions do not appear to have reached precision." (staff).

Each of us has a story which we can think of as a set of beliefs, hopefully consistent. We make our decisions in view of our beliefs which may be probabilistic, in the general case, but simple yes or no as in this paper. Our beliefs are our envelope just as the shell of a tortoise is its envelope. Decision theory—or single agent game theory tells us when to make the best choice in a game of us against nature. But (...) nature has no desire to further or frustrate our efforts. Nature is mysterious but not malign. Things change when there are other agents involved. Then the best thing for us to do will depend on what they do. And they will think the same. And we predict their actions in terms of what we think their beliefs are. But how do we coordinate with others whose beliefs are different? This paper addresses the issue of working together despite different beliefs. (shrink)

Supervenience is mostly conceived of as a purely philosophical concept. Nevertheless, I will argue, it played an important and very fruitful inferential role in classical genetics. Gregor Mendel assumed that phenotypic traits supervene on underlying factors, and this assumption allowed him to successfully predict and explain the phenotypical regularities he had experimentally discovered. Therefore it is interesting to explicate how we reason about supervenience relations. I will tackle the following two questions. Firstly, can a reliable method (a logic) be (...) found for infenfog supervenience claims from data? Secondly, can a reliable method (a logic) be found to empirically test supervenience claims? I will answer these questions within the framework of the adaptive logics programme. (shrink)