Recursive linear structural equation models can be represented by directed acyclic graphs. When represented in this way, they satisfy the Markov Condition. Hence it is possible to use the graphical d-separation to determine what conditional independence relations are entailed by a given linear structural equation model. I prove in this paper that it is also possible to use the graphical d-separation applied to a cyclic graph to determine what conditional independence relations are entailed to hold by a given (...) non-recursive linear structural equation model. I also give a causal intepretation to the linear coefficients in a non- recursive structural equation models, and explore the relationships between cyclic graphs and undirected graphs, directed acyclic graphs with latent variables, and chain independence graphs. (shrink)

This paper addresses the existence of Hopf bifurcations in a directed acyclic network of neurons, each of them being modeled by a Hindmarsh–Rose neuronal model. The bifurcation parameter is the small parameter corresponding to the ratio of time scales between the fast and the slow dynamics. We first prove that, under certain hypotheses, the single uncoupled neuron can undergo a Hopf bifurcation. Hopf bifurcation occurrences in a directed acyclic network of HR neurons are then discussed. Numerical simulations are carried out (...) to observe these bifurcations and to illustrate the theoretical results. (shrink)

Humankind is currently confronted with a critical challenge that determines its very existence, not only on an individual, racial, or national level but as a whole species: the fight against climate change and environmental degradation. To win this battle, humanity needs innovations and non-linear thinking. Nature has long been a substantial information source for unthinkable discoveries that save human lives. The paper suggests that by understanding the nature, emergence, and mechanism of serendipity, the survival skill of humans, humanity can (...) capitalize on it to learn from nature and generate nature-based innovations that can address the climate and environmental degradation crises. In the era of Artificial Intelligence (AI) proliferation, AI will be a vital tool providing navigational and useful information to leverage the power of serendipity in climate and sustainability science. However, an eco-surplus culture that incorporates core values pertaining to nature and sees environmental sustainability as the conscience of the times needs to be built to direct and control the immense power of AI-leveraged serendipity. Insights applied in this paper are drawn from the book titled “A New Theory of Serendipity: Nature, Emergence and Mechanism”. (shrink)

Humankind is currently confronted with a critical challenge that determines its very existence, not only on an individual, racial, or national level but as a whole species: the fight against climate change and environmental degradation. To win this battle, humanity needs innovations and non-linear thinking. Nature has long been a substantial information source for unthinkable discoveries that save human lives. The paper suggests that by understanding the nature, emergence, and mechanism of serendipity, the survival skill of humans, humanity can (...) capitalize on it to learn from nature and generate nature-based innovations that can address the climate and environmental degradation crises. In the era of Artificial Intelligence (AI) proliferation, AI will be a vital tool providing navigational and useful information to leverage the power of serendipity in climate and sustainability science. However, an eco-surplus culture that incorporates core values pertaining to nature and sees environmental sustainability as the conscience of the times needs to be built to direct and control the immense power of AI-leveraged serendipity. Insights applied in this paper are drawn from the book titled “A New Theory of Serendipity: Nature, Emergence and Mechanism”. (shrink)

It is “well known” that in linear models: (1) testable constraints on the marginal distribution of observed variables distinguish certain cases in which an unobserved cause jointly influences several observed variables; (2) the technique of “instrumental variables” sometimes permits an estimation of the influence of one variable on another even when the association between the variables may be confounded by unobserved common causes; (3) the association (or conditional probability distribution of one variable given another) of two variables connected by (...) a path or pair of paths with a single common vertex (a trek) can be computed directly from the parameter values associated with each edge in the trek; (4) the association of two variables produced by multiple treks can be computed from the parameters associated with each trek; and (5) the independence of two variables conditional on a third implies the corresponding independence of the sums of the variables over all units conditional on the sums over all units of each of the original conditioning variables. (shrink)

One of the first frameworks developed for understanding the relation of science and technology to the economy has been the linear model of innovation. The model postulated that innovation starts with basic research, is followed by applied research and development, and ends with production and diffusion. The precise source of the model remains nebulous, having never been documented. Several authors who have used, improved, or criticized the model in the past fifty years rarely acknowledged or cited any original source. (...) The model usually was taken for granted. According to others, however, it comes directly from V. Bush’s Science: The Endless Frontier. This article traces the history of the linear model, suggesting that it developed in three steps corresponding to three scientific communities looking at science analytically. The article argues that statistics is a main reason the model is still alive despite criticisms, alternatives, and having been proclaimed dead. (shrink)

We develop an extension of the familiar linear mixed logit model to allow for the direct estimation of parametric non-linear functions defined over structural parameters. Classic applications include the estimation of coefficients of utility functions to characterize risk attitudes and discounting functions to characterize impatience. There are several unexpected benefits of this extension, apart from the ability to directly estimate structural parameters of theoretical interest.

A Linear Logic automaton is a hybrid of a finite automaton and a non-deterministic Petri net. LL automata commands are represented by propositional Horn Linear Logic formulas. Computations performed by LL automata directly correspond to cut-free derivations in Linear Logic.A programming language of LL automata is developed in which typical sequential, non-deterministic and parallel programming constructs are expressed in the natural way.All non-deterministic computations, e.g. computations performed by programs built up of guarded commands in the Dijkstra's approach (...) to non-deterministic programming, are directly simulated within the framework of Linear Logic automata, and thereby within the Horn framework of Linear Logic. (shrink)

Linear logic, introduced by Girard, is a refinement of classical logic with a natural, intrinsic accounting of resources. This accounting is made possible by removing the ‘structural’ rules of contraction and weakening, adding a modal operator and adding finer versions of the propositional connectives. Linear logic has fundamental logical interest and applications to computer science, particularly to Petri nets, concurrency, storage allocation, garbage collection and the control structure of logic programs. In addition, there is a direct correspondence between (...) polynomial-time computation and proof normalization in a bounded form of linear logic. In this paper we show that unlike most other propositional logics, full propositional linear logic is undecidable. Further, we prove that without the modal storage operator, which indicates unboundedness of resources, the decision problem becomes PSPACE-complete. We also establish membership in NP for the multiplicative fragment, NP-completeness for the multiplicative fragment extended with unrestricted weakening, and undecidability for fragments of noncommutative propositional linear logic. (shrink)

The question at issue is to develop a computational interpretation of Linear Logic [8] and to establish exactly its expressive power. We follow the bottom-up approach. This involves starting with the simplest of the systems we are interested in, and then expanding them step-by-step. We begin with the !-Horn fragment of Linear Logic, which uses only positive literals, the linear implication ⊸, the tensor product ⊗, and the modal storage operator !. We give a complete computational interpretation (...) for the !-Horn fragment of Linear Logic and for some natural generalizations of it formed by introducing additive connectives. Here we use the well-known ‘ or ’-like connective ⊕, and, for the sake of the computational duality, we introduce a new ‘ and ’-like connective @ For !-Horn sequents, we prove that their derivability problem is directly equivalent to the reachability problem for Petri nets, which is known to be decidable [19]. For the -Horn fragment of Linear Logic, which uses only positive literals, the linear implication ⊸, the tensor product ⊗, the modal storage operator!, and the additive ‘disjunction’ ⊕, we prove that standard Minsky machines [21] can be directly encoded in this -Horn fragment. Standard Minsky machines can be directly encoded in the corresponding ‘dual’ -Horn fragment of Linear Logic, as well. As a corollary, both these fragments of Linear Logic are proved to be undecidable. (shrink)

The number-line estimation task has become one of the most important methods in numerical cognition research. Originally applied as a direct measure of spatial number representation, it became also informative regarding various other aspects of number processing and associated strategies. However, most of this work and associated conclusions concerns processing numbers in a symbolic format, by school children and older subjects. Symbolic number system is formally taught and trained at school, and its basic mathematical properties can easily be transferred into (...) a spatial format of an oriented number line. This triggers the question on basic characteristics of number line estimation before children get fully familiar with the symbolic number system, i.e., when they mostly rely on approximate system for non-symbolic quantities. In our three studies, we examine therefore how preschool children estimate position of non-symbolic quantities on a line, and how this estimation is related to the developing symbolic number knowledge and cultural directionality. The children were tested with the Give-a-number task, then they performed a computerized number-line task. In Experiment 1, lines bounded with sets of 1 and 20 elements going left-to-right or right-to-left were used. Even in the least numerically competent group, the linear model better fit the estimates than the logarithmic or cyclic power models. The line direction was irrelevant. In Experiment 2, a 1–9 left-to-right oriented line was used. Advantage of linear model was found at group level, and variance of estimates correlated with tested numerosities. In Experiment 3, a position-to-number procedure again revealed the advantage of the linear model, although the strategy of selecting an option more similar to the closer end of the line was prevalent. The precision of estimation increased with the mastery of counting principles in all three experiments. These results contradict the hypothesis of the log-to-linear shift in development of basic numerical representation, rather supporting the linear model with scalar variance. However, the important question remains whether the number-line task captures the nature of the basic numerical representation, or rather the strategies of mapping that representation to an external space. (shrink)

Science is the basis for managing the affairs of life and human activities, and living without knowledge is a form of wandering and a kind of loss. Using scientific methods helps us understand the foundations of choice, decision-making, and adopting the right solutions when solutions abound and options are numerous. Operational research is considered the best that scientific development has provided because its methods depend on the application of scientific methods in solving complex issues and the optimal use of available (...) resources in various fields, private and governmental work in peace and war, in politics and economics, in planning and implementation, and in various aspects of life. Its basic essence is to use the data provided for the issue under study to build a mathematical model that is the optimal solution. It is the basis on which decision makers rely in managing institutions and companies, and when operations research methods meet with the neutrosophic teacher, we get ideal solutions that take into account all the circumstances and fluctuations that may occur in the work environment over time. One of the most important operations research methods is the linear programming method. Which prompted us to reformulate the linear models, the graphical method, and the simplex method, which are used to obtain the optimal solution for linear models using the concepts of neutrosophic science. In this research, and as a continuation of what we presented previously, we will reformulate the modified simplex algorithm that was presented to address the difficulty that we were facing when applying the direct simplex algorithm. It is the large number of calculations required to be performed in each step of the solution, which requires a lot of time and effort. (shrink)

In this article, we propose a new method to learn the underlying acyclic mixed graph of a linear non-Gaussian structural equation model with given observational data. We build on an algorithm proposed by Wang and Drton, and we show that one can augment the hidden variable structure of the recovered model by learning multidirected edges rather than only directed and bidirected ones. Multidirected edges appear when more than two of the observed variables have a hidden common cause. We detect (...) the presence of such hidden causes by looking at higher order cumulants and exploiting the multi-trek rule. Our method recovers the correct structure when the underlying graph is a bow-free acyclic mixed graph with potential multidirected edges. (shrink)

In this paper we give a brief treatment of a theory of proofs for a system of Full Intuitionistic Linear Logic. This system is distinct from Classical Linear Logic, but unlike the standard Intuitionistic Linear Logic of Girard and Lafont includes the multiplicative disjunction par. This connective does have an entirely natural interpretation in a variety of categorical models of Intuitionistic Linear Logic. The main proof-theoretic problem arises from the observation of Schellinx that cut elimination fails (...) outright for an intuitive formulation of Full Intuitionistic Linear Logic; the nub of the problem is the interaction between par and linear implication. We present here a term assignment system which gives an interpretation of proofs as some kind of non-deterministic function. In this way we find a system which does enjoy cut elimination. The system is a direct result of an analysis of the categorical semantics, though we make an effort to present the system as if it were purely a proof-theoretic construction. (shrink)

We discuss the main results of Linear Stochastic Electrodynamics, starting from a reformulation of its basic assumptions. This theory shares with Stochastic Electrodynamics the core assumption that quantization comes about from the permanent interaction between matter and the vacuum radiation field, but it departs from it when it comes to considering the effect that this interaction has on the statistical properties of the nearby field. In the transition to the quantum regime, correlations between field modes of well-defined characteristic frequencies (...) arise, which coincide with the transition frequencies of quantum mechanics and are therefore directly related with the energy quantization. The Heisenberg equations of motion of (non-relativistic) quantum electrodynamics are thus obtained. After a detailed consideration of the significance of the approximations made, we present a discussion on some of the most delicate or controversial features of quantum mechanics from the perspective provided by the present theory. (shrink)

This work deals with the exponential fragment of Girard's linear logic without the contraction rule, a logical system which has a natural relation with the direct logic . A new sequent calculus for this logic is presented in order to remove the weakening rule and recover its behavior via a special treatment of the propositional constants, so that the process of cut-elimination can be performed using only “local” reductions. Hence a typed calculus, which admits only local rewriting rules, can (...) be introduced in a natural manner. Its main properties — normalizability and confluence — has been investigated; moreover this calculus has been proved to satisfy a Curry-Howard isomorphism with respect to the logical system in question. MSC: 03B40, 03F05. (shrink)

Usually the Lorentz transformations are derived from the conservation of the spacetime interval. We propose here a way of obtaining spacetime transformations between two inertial frames directly from symmetry, the isotropy of the space and principle of relativity. The transformation is uniquely defined except for a constant e, that depends only on the process of synchronization of clocks inside each system. Relativistic velocity addition is obtained, and it is shown that the set of velocities is a bounded symmetric domain. If (...) e=0, Galilean transformations are obtained. If e>0, the speed 1/√e and a spacetime interval are conserved. By assuming constancy of the speed of light, we get e=1/c 2 and the transformation between the frames becomes the Lorentz transformation. If e<0, a proper speed and a Hilbertian norm are conserved. (shrink)

We describe anytime search procedures that (1) find disjoint subsets of recorded variables for which the members of each subset are d-separated by a single common unrecorded cause, if such exists; (2) return information about the causal relations among the latent factors so identified. We prove the procedure is point-wise consistent assuming (a) the causal relations can be represented by a directed acyclic graph (DAG) satisfying the Markov Assumption and the Faithfulness Assumption; (b) unrecorded variables are not caused by recorded (...) variables; and (c) dependencies are linear. We compare the procedure with standard approaches over a variety of simulated structures and sample sizes, and illustrate its practical value with brief studies of social science data sets. Finally, we consider generalizations for non-linear systems. Keywords: latent variable models, causality, graphical models.. (shrink)

Linear Logic was introduced by Girard as a resource-sensitive refinement of classical logic. In this paper we establish strong connections between natural fragments of Linear Logic and a number of basic concepts related to different branches of Computer Science such as Concurrency Theory, Theory of Computations, Horn Programming and Game Theory. In particular, such complete correlations allow us to introduce several new semantics for Linear Logic and to clarify many results on the complexity of natural fragments of (...) Linear Logic. As a main corollary, any non-deterministic and concurrent computation is proved to be simulated directly within the framework of each of these systems. (shrink)

Level measurements, thickness measurement or remote surface detection using ultrasonic pulse transit method require that the target surface be at 90 O to the incident beam so that reflected beam comes back at 180-degree angle to effectively use this method. This is perfectly true in case of flat, solid surface at right angle to the incident beam. But surface irregularities of a porous, non-smooth, uneven material such as snow cause penetration of incident wave into the surface, absorption of the incident (...) energy, scatter of energy in many directions and further attenuation of reflected signal making it difficult to detect the reflected echo. Such a received reflected echo is very low in amplitude and is heavily noise-ridden. The successful surface detection with excellent repeatability and accuracy without any false measurement in this case requires combination of physical acoustic, mechanical, hardware and software techniques together. In this paper we discuss the suitable physical, mechanical, electronics design to physically implement the theory of Arrayed Ultrasonic transducers to shape up the directional response, beam width and avoid interference to improve the chances of proper and sufficient reflection from the non-smooth, highly porous, uneven, non-planar irregular surface. (shrink)

The goal of this paper is to describe the link between financial performance and the level of sustainability. In a novel approach, the paper classifies firms based on past financial success to address a potentially reciprocal relationship. For the groups of better and worse performing firms and for the entire sample, the above link is then tested, also accounting for non‐linearity in the relationship. We show that environmental management system (EMS) implementation as a proxy for a firm's sustainability level is (...) only positively associated with the financial performance of financially well‐performing firms. Conversely, it has a negative association with the performance of less good firms. We show that this implies that firms cannot change from good to bad performance, and vice versa, solely through the implementation of an EMS, and also that the result remains when introducing non‐linearity in the link. Based on this result, we discuss implications for the direction of causality. (shrink)

The goal of this paper is to describe the link between financial performance and the level of sustainability. In a novel approach, the paper classifies firms based on past financial success to address a potentially reciprocal relationship. For the groups of better and worse performing firms and for the entire sample, the above link is then tested, also accounting for non-linearity in the relationship. We show that environmental management system (EMS) implementation as a proxy for a firm's sustainability level is (...) only positively associated with the financial performance of financially well-performing firms. Conversely, it has a negative association with the performance of less good firms. We show that this implies that firms cannot change from good to bad performance, and vice versa, solely through the implementation of an EMS, and also that the result remains when introducing non-linearity in the link. Based on this result, we discuss implications for the direction of causality. (shrink)

There is a Turing computable embedding $\Phi $ of directed graphs $\mathcal {A}$ in undirected graphs. Moreover, there is a fixed tuple of formulas that give a uniform effective interpretation; i.e., for all directed graphs $\mathcal {A}$, these formulas interpret $\mathcal {A}$ in $\Phi $. It follows that $\mathcal {A}$ is Medvedev reducible to $\Phi $ uniformly; i.e., $\mathcal {A}\leq _s\Phi $ with a fixed Turing operator that serves for all $\mathcal {A}$. We observe that there is a graph G (...) that is not Medvedev reducible to any linear ordering. Hence, G is not effectively interpreted in any linear ordering. Similarly, there is a graph that is not interpreted in any linear ordering using computable $\Sigma _2$ formulas. Any graph can be interpreted in a linear ordering using computable $\Sigma _3$ formulas. Friedman and Stanley [4] gave a Turing computable embedding L of directed graphs in linear orderings. We show that there is no fixed tuple of $L_{\omega _1\omega }$ -formulas that, for all G, interpret the input graph G in the output linear ordering $L$. Harrison-Trainor and Montalbán [7] have also shown this, by a quite different proof. (shrink)

The introduction of statistical models represented by directed acyclic graphs (DAGs) has proved fruitful in the construction of expert systems, in allowing efficient updating algorithms that take advantage of conditional independence relations (Pearl, 1988, Lauritzen et al. 1993), and in inferring causal structure from conditional independence relations (Spirtes and Glymour, 1991, Spirtes, Glymour and Scheines, 1993, Pearl and Verma, 1991, Cooper, 1992). As a framework for representing the combination of causal and statistical hypotheses, DAG models have shed light on a (...) number of issues in statistics ranging from Simpson’s Paradox to experimental design (Spirtes, Glymour and Scheines, 1993). The relations of DAGs with statistical constraints, and the equivalence and distinguishability properties of DAG models, are now well understood, and their characterization and computation involves three properties connecting graphical structure and probability distributions: (i) a local directed Markov property, (ii) a global directed Markov property, (iii) and factorizations of joint densities according to the structure of a graph (Lauritizen, et al., 1990). (shrink)

The idea of this paper is to approach linear orderings as generalized ordinals and to study how they are made from their initial segments. First we look at how the equality of two linear orderings can be expressed in terms of equality of their initial segments. Then we shall use similar methods to define functions by recursion with respect to the initial segment relation. Our method is based on the use of a game where smaller and smaller initial (...) segments of linear orderings are considered. The length of the game is assumed to exceed that of the descending sequences of elements of the linear orderings considered. By use of such game-theoretical methods we can for example extend the recursive definitions of the operations of sum, product and exponentiation of ordinals in a unique and natural way for arbitrary linear orderings. Extensions coming from direct limits do not satisfy our game-theoretic requirements in general. We also show how our recursive definitions allow very simple constructions for fixed points of functions, giving rise to certain interesting linear orderings. (shrink)

Quantum walks exhibit different properties compared with classical random walks, most notably by linear spreading and localization. In the meantime, random walks that replicate quantum walks, which we refer to as quantum-walk-replicating random walks, have been studied in the literature where the eventual properties of QWRW coincide with those of QWs. However, we consider that the unique attributes of QWRWs have not been fully utilized in the former studies to obtain deeper or new insights into QWs. In this paper, (...) we highlight the directivity of one-dimensional discrete quantum walks via QWRWs. By exploiting the fact that QWRW allows trajectories of individual walkers to be considered, we first discuss the determination of future directions of QWRWs, through which the effect of linear spreading and localization is manifested in another way. Furthermore, the transition probabilities of QWRWs can also be visualized and show a highly complex shape, representing QWs in a novel way. Moreover, we discuss the first return time to the origin between RWs and QWs, which is made possible via the notion of QWRWs. We observe that the first return time statistics of QWs are quite different from RWs, caused by both the linear spreading and localization properties of QWs. (shrink)

Publication date: 25 October 2017 Source: Author: Ivana Slavoljub Domazet, Darko Milivoj Marjanović The main aim of this work is to determine, on the basis of empirical research, whether and to what extent foreign direct investment has impact on the overall economic development of selected countries in the Western Balkans. Analyses made for the purpose of this paper were performed on the basis of available secondary data possessed by the World Bank for the period of 2000-2012. The research methodology involved (...) the use of the techniques of linear regression and correlation analysis. The first task was to determine whether there is an impact of foreign direct investment on the overall economic development of these countries. Where such influence occurred, it was necessary to define its level in comparison to the influence of other variables. The results of the analysis in this paper suggest that inflow of foreign direct investment does not affect to a significant extent the economic development of selected countries in the Western Balkans. (shrink)

The primary purpose of the system of linear notation is to make the logic of the syllogism more convenient to use by eliminating many of the operations required by its traditional forms. Except for its employment of the distinction between symmetric and nonsymmetric relations and the distinction between transitive and nontransitive relations, linear notation introduces no new principles into syllogistic logic. It is new only as a system of notation. As a system of notation it radically simplifies the (...) application of the principles of syllogistic logic to the analysis of arguments.The use of linear notation enables us to state subject-predicate propositions in such a way that their formal relations with each other are revealed directly without the necessity of performing any of the separate operations required by the traditional methods of syllogistic logic. Very complex arguments, involving any number of related premises, can be stated in such form that all possible conclusions that are obtainable by any combination of syllogistic operations may be read directly from the premises. (shrink)

We present a direct proof of the consistency of the existence of a five element basis for the uncountable linear orders. Our argument is based on the approach of König, Larson, Moore and Veličković and simplifies the original proof of Moore.

The Trek Separation Theorem states necessary and sufficient conditions for a linear directed acyclic graphical model to entail for all possible values of its linear coefficients that the rank of various sub-matrices of the covariance matrix is less than or equal to n, for any given n. In this paper, I extend the Trek Separation Theorem in two ways: I prove that the same necessary and sufficient conditions apply even when the generating model is partially non-linear and (...) contains some cycles. This justifies application of constraint-based causal search algorithms to data generated by a wider class of causal models that may contain non-linear and cyclic relations among the latent variables. (shrink)

_Material Feminisms: New Directions for Education_ provides a range of powerful theoretical and innovative methodological examples to illuminate how new material feminism can be put to work in education to open up new avenues of research design and practice. It poses challenging questions about the nature of knowledge production, the role of the researcher, and the critical endeavour arising from inter- and post-disciplinarity. Working with diffractive methodologies and new materialist ecological epistemologies, the book offers resources for hope which widen the (...) scope for how educational problems are interrogated, and provides a political counter-movement to neo-positivist, outcomes-based approaches within education. Inspired by writers such as Barad, Bennett, and Deleuze and Guattari, the book makes a radical break with cognitive, dualist, and universal conceptions of human subjectivity and intelligence in education. By taking its starting point as the co-consitutiveness of discourse, materiality, corporeality, and place, the book foregrounds educational practices as material enactments of multiple, non-linear, entangled, affective, and relational forces. It offers new insights into how gender, class, and ethnicity are constituted in, and by, material assemblages that are often submerged or ‘unseen’. This book is an essential starting place for those intrigued by what new theoretical accounts of materiality, posthumanism, and affect can offer educational research. Diffractive methodologies challenge readers to take a fuller range of actors into account than in ‘objective’ humanist methodologies, and in so doing to pay closer attention to what data is. It invites researchers to engage with long-standing feminist concerns about power and knowledge production in research processes. This book was originally published as a special issue of _Gender and Education. _. (shrink)

Item context effects refer to the impact of features of a test on an examinee’s item responses. These effects cannot be explained by the abilities measured by the test. Investigations typically focus on only a single type of item context effects, such as item position effects, or mode effects, thereby ignoring the fact that different item context effects might operate simultaneously. In this study, two different types of context effects were modeled simultaneously drawing on data from an item calibration study (...) of a multidimensional computerized test (N = 1,632) assessing student competencies in mathematics, science, and reading. We present a generalized linear mixed model (GLMM) parameterization of the multidimensional Rasch model including item position effects (distinguishing between within-block position effects and block position effects), domain order effects, and the interactions between them. Results show that both types of context effects played a role, and that the moderating effect of domain orders was very strong. The findings have direct consequences for planning and applying mixed domain assessment designs. (shrink)

In 1958 J. Lambek introduced a calculusL of syntactic types and defined an equivalence relation on types: x y means that there exists a sequence x=x1,...,xn=y (n 1), such thatx i x i+1 or xi+ x i (1 i n). He pointed out thatx y if and only if there is joinz such thatx z andy z. This paper gives an effective characterization of this equivalence for the Lambeck calculiL andLP, and for the multiplicative fragments of Girard's and Yetter's (...) class='Hi'>linear logics. Moreover, for the non-directed Lambek calculusLP and the multiplicative fragment of Girard's linear logic, we present linear time algorithms deciding whether two types are equal, and finding a join for them if they are. (shrink)

In 1997, the Japanese Diet revised the Bank of Japan law thereby granting the central bank greater independence in monetary policy making. The revision was an attempt by Japan's political class to weaken the authority of the powerful Ministry of Finance over the central bank and augment its own influence. The Bank of Japan, however, gained more autonomy than politicians ever intended, leading to frequent confrontations between the government and the central bank over monetary policy. This paper explores the new (...) strategic relationship that emerged between the Bank of Japan and government and the nature of monetary policy implemented in the post-reform period. We demonstrate that several factors contributed to the Bank's unexpected ability to enhance its independence: the astute leadership of the first post-reform governor Hayami Masaru; the Bank's ability to turn politicization of monetary policy to its advantage; and its pursuit of a strategy achieved by augmenting its own research capacity. On a theoretical level, our findings show that the passage of a new legal framework only marks the completion of one stage of institutional change and the start of the next; post-enactment politics have as much importance as pre-enactment politics in shaping outcomes. In the post-enactment phase, various factors, including the state of the economy and informal institutions or processes, matter greatly and may shift the direction of institutional change away from the intended path. (shrink)

This paper presents a formulation and completeness proof of the resolution-type calculi for the first order fragment of Girard's linear logic by a general method which provides the general scheme of transforming a cutfree Gentzen-type system into a resolution type system, preserving the structure of derivations. This is a direct extension of the method introduced by Maslov for classical predicate logic. Ideas of the author and Zamov are used to avoid skolomization. Completeness of strategies is first established for the (...) Gentzen-type system, and then transferred to resolution. The propositional resolution system was implemented by T. Tammet. (shrink)

The present study focused on the dynamics and factors underpinning domestic abuse survivors’ decisions to end the abusive relationship. The experiences and opinions of 12 female DA survivors and 18 support workers were examined through in-depth, one-to-one, semi-structured interviews. Hybrid thematic analysis was conducted to retrieve semantic themes and explore relationships among the themes identified and the differences in survivors’ and professionals’ narratives of the separation process. The findings highlighted that separation decisions derived from the joint action of two sets (...) of factors, the “promoters” and the “accelerators.” Whilst the “promoters” are factors leading to the separation from the abuser over time, the “accelerators” bear a stronger and more direct connection with survivors’ decision to end the abusive relationship. Despite their differences, both these factors acted as propelling forces, leading survivors to actively pursue the separation from the perpetrator. To portray the dynamic links among these factors, we propose a conceptualisation drawn from Newton’s laws of motion. Our findings also highlighted important differences in the views of survivors and support workers, as the former conceived themselves as proactive in ending the abuse, whereas the latter described the leaving process as mainly led by authorities and services supporting survivors. This study has potential implications for research, policy and clinical practice, as it suggests that far from being a linear sequence of multiple stages, leaving an abusive relationship results from a complex interplay of factors that facilitate or drastically accelerate the separation process. We argue that future research should aim at improving our current understanding of the subjective and situational factors that can act as “accelerators” or “promoters” for women’s leaving decisions. Moreover, clinicians and policymakers should invest in creating interventions that aid victims to recognise and leverage promoters and accelerators, thus increasing their readiness to end the abuse. (shrink)

Figure 1: A pr ototyp ical exa mple of a three-layer feed forward network, used by Plunkett and M archm an (1 991 ) to simulate learning the past-tense of En glish verbs. The inpu t units encode representations of the three phonemes of the present tense of the artificial words used in this simulation. Th e netwo rk is trained to produce a representation of the phonemes employed in the past tense form and the suffix (/d/, /ed/, or /t/) (...) used on regular verbs. To run the network, each input unit is assigned an activation value o f 0 or 1 , dep ending on whethe r the featu re is present or not. Eac h input unit is conne cted to each of the 30 hidden units by a we ighted conn ection and p rovid es an inp ut to each hidden unit equal to the product of the input unit's activation and the weight. Each hidd en unit's activation is then determined by summing ov er the va lues co ming fro m each inp ut unit to deter mine a netinput, and then applying a non-linear function (e.g., the logistic function 1/(1+e^netinput). Th is whole proced ure is. (shrink)

Two theses appear to be central to Reid’s view of the visual field. By sight, we do not originally perceive depth or linear distance from the eye. By sight, we originally perceive the position that points on the surface of objects have with regard to the centre of the eye. In different terms, by sight, we originally perceive the compass direction and degree of elevation of points on the surface of objects with reference to the centre of the (...) eye. I consider various problems about distance perception and perception of position with regard to the centre of the eye raised by Reid’s texts. These questions are relevant to Reid’s description of the geometry of visibles as the “intrinsic” geometry of the surface of the sphere. (shrink)

It has been shown in Spirtes(1995) that X and Y are d-separated given Z in a directed graph associated with a recursive or non-recursive linear model without correlated errors if and only if the model entails that ρXY.Z = 0. This result cannot be directly applied to a linear model with correlated errors, however, because the standard graphical representation of a linear model with correlated errors is not a directed graph. The main result of this paper is (...) to show how to associate a directed graph with a linear model L with correlated errors, and then use d-separation in the associated directed graph to determine whether L entails that a particular partial correlation is zero. (shrink)

In this paper, a robust H ∞ control problem of a class of linear parabolic distributed parameter systems with pointwise/piecewise control and pointwise/piecewise measurement has been investigated via the robust H ∞ feedback compensator design approach. A unified Lyapunov direct approach is proposed in consideration of the pointwise/piecewise control and point/piecewise measurement based on the distributions of the actuators and sensors. A new type of Luenberger observer is developed on the continuous interval of space domain to track the state (...) of the system, and an H ∞ performance constraint with prescribed H ∞ attenuation levels is proposed in this paper. By utilizing Lyapunov technique, mathematical inequalities, and integration theory, a sufficient condition based on LMI for the exponential stability of the corresponding closed-loop coupled system under an H ∞ performance constraint is presented. Finally, the effectiveness of the proposed design method is verified by numerical simulation results. (shrink)

Iconic signs are overrepresented in the vocabularies of young deaf children, but it is unclear why. It is possible that iconic signs are easier for children to learn, but it is also possible that adults use iconic signs in child-directed signing in ways that make them more learnable, either by using them more often than less iconic signs or by lengthening them. We analyzed videos of naturalistic play sessions between parents and deaf children aged 9–60 months. To determine whether iconic (...) signs are overrepresented during child-directed signing, we compared the iconicity of actual parent productions to the iconicity of simulated vocabularies designed to estimate chance levels of iconicity. For almost all dyads, parent sign types and tokens were not more iconic than the simulated vocabularies, suggesting that parents do not select more iconic signs during child-directed signing. To determine whether iconic signs are more likely to be lengthened, we ran a linear regression predicting sign duration, and found an interaction between age and iconicity: while parents of younger children produced non-iconic and iconic signs with similar durations, parents of older children produced non-iconic signs with shorter durations than iconic signs. Thus, parents sign more quickly with older children than younger children, and iconic signs appear to resist that reduction in sign length. It is possible that iconic signs are perceptually available longer, and their availability is a candidate hypothesis as to why iconic signs are overrepresented in children’s vocabularies. (shrink)

The goal of this study is analyse the influence of perceived supervisor support (PSS) by employees at a micro level and the role of the cultural values of “power distance” and “masculinity” at a macro level on direct employee participation in decision making (PDM). Furthermore, the influence of the gender of managers and employees is taken into account. The analysis is based upon the Sixth European Working Conditions Survey carried out by Eurofound in 2016. The results of a Hierarchical (...) class='Hi'>linear model indicate that all predictors significantly influenced PDM and PSS positively and cultural values negatively. When the gender of managers and employees is considered, the findings suggest that PSS has a larger impact on PDM when male managers address female employees. Regarding the moderating effect of PSS on cultural values, it is shown that masculinity and power distance lose importance when employees have the support of their supervisors. (shrink)

Igal Kvart A Coding Conception in Action-Directed-Pragmatics -/- I present formal Pragmatics for a domain in Pragmatics that I call Action-Directed Pragmatics, which focuses on the Pragmatic riddle of how implicit contents are conveyed and understood, by adopting a coding model, in which the speaker and addressee simulate each other iteratively in a deliberative context (an ‘action-pregnant’ one). The implicit content, conveyed by a speaker and decoded by her addressee, in such cases, consists in the specified steered-to action, plus modulations (...) on the action-polarity (pro or con) and the degree of the so-called Steering Thrust that accompanies such assertions and is conveyed by verbal locutions, intonation, and/or bodily and facial gestures. There are two main tasks to model (in a given setup and conversational context): First, how is the speaker, with a steered-to action in mind (and Steering Thrust), to select an assertion so as to (say) optimize the successful transmission and decoding of its implicit pragmatic content by her and her addressee? Second, how does the addressee, given an assertion by the speaker, decipher the implicit pragmatic content conveyed via it? Both will invoke pertinent information they have about each other and the setup/context in order to best encode and best decode the implicit pragmatic content. (This coding mechanism proposed here is not offered for the ubiquitous ‘frozen’, ‘trivial’ or ‘routinized’ pragmatic messages.) A prelude to this formal Pragmatics is a general formal Pragmatic account of Assertibility in contexts that are multi-normative (which is the common case). I focus here only on Epistemic/Semantic and Instrumental Norms. A linear representation of degrees of Overall Assertibility (i.e., taking into account various operative norms) will be an n-dimensional qualitative vector space with a function that computes them given different degrees of sub-normative Assertibility on each axis. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Response 3: Transgressive Utopianism and Direct ActivismHeather AlberroThis is an important time to revisit questions concerning the historical underpinnings of utopianism as a mode of praxis and theoretical endeavor, its potential oversights and where it ought to venture in the decades to come. The multidisciplinary Hispanic utopian project Histopia discussed by Ramirez-Blanco offers a helpful starting point for this discussion. Especially noteworthy, in my view, is Histopia’s recognition of (...) and interest in engaging with manifestations of utopianism beyond academia and examining the full spectrum of the utopian imaginary, from texts to social movements. Similarly important is what Ramirez-Blanco alludes to as Histopia’s laudable attempts to “decenter” the discipline toward the Spanish-speaking world. This recalls the wider, vital work of decolonizing utopian studies highlighted by Edwards and others in this piece so that it is inclusive of the immeasurably diverse array of utopian imaginaries and modes of praxis around the globe. To reduce such diverse manifestations to the lens of a single medium or cultural-historical context would be a profound intellectual and ethical misdeed.A related example of such decolonial work is Histopia’s emphasis on history as opposed to the canon’s traditional emphasis on texts. Here, I was [End Page 550] wondering if you (Ramirez-Blanco) could elaborate further on what this entails. That is, what is Histopia’s conceptualization of history vis-à-vis the now and “to-come,” and their relation more generally to the utopian impulse? Is this conceptualization akin to the (Western) utopian conception of time as a linear progression from an archaic past toward a radiant future toward some “advanced” end state?1 Or does it depart from this modernist construct and, if so, in what ways? What is the role of prefigurative (utopian) activist movements in the history of social transformation, in your view?With movements like 15M in Spain that you discuss, what do you see as the transformative utopian potential of their denunciations of the status quo, however fleeting? What of their annunciations? That is, what were they gesturing toward, and what did their imaginings of “a better” consist of? How do public assemblies as “performances” factor into these visions? I’m curious to know what patterns, if any, can be traced across contemporary left-social movements. My own research with radical environmental activists has found that they exhibit the former aspect of the utopian mode—denunciation—with immense power and potency. Like the 15M movement, their direct activism is postparliamentary given their profound disaffection with the capitalist state and its perceived collusion with extractive industries driving ecological breakdown. The aspect of annunciation for them, however, is much more complex and fragmented. They are similarly engaged in constant deliberations over the relative strengths and weaknesses of alternative modes of political organization and participation, particularly concerning which actors may be excluded. However, they do exhibit a consensus on certain things—especially their fervent desire for a renewed abundance of terrestrial life forms and an equally fervent refusal of the worst of possible worlds consisting of substantially diminished other-than-human life forms.The question raised by Antonis concerning blueprints, or utopian modalities that provide fleshed-out visions of better worlds, is a similarly pertinent one for two key reasons: (1) in connection with the aforementioned vital work of decolonizing the utopian canon and imaginary, and (2) as a possible response to the mounting socio-ecological depredations of late-stage capitalism and the theft of the now and to-come from growing portions of the earth’s inhabitants. As Antonis highlights, some have suggested that utopianism’s pursuit of human and societal perfectibility—especially “blueprint” modalities aiming to implement a particular conception of “the good society”—harbor seeds of totalitarianism and intolerance of difference.2 [End Page 551] Indeed, inklings toward domination can be seen within some totalizing/blue-printing utopias and their cultural-historical links to Enlightenment projects of universal conquest, namely the hegemonic “utopias” of Western modernity in the form of colonial-capitalism.3 These totalizing visions of progress and “the good life” have been systematically ending other-than-Western worlds for centuries, leading to our present state of ruination.Hence why subsequent modalities... (shrink)

Individuals differ greatly in their ability to learn and navigate through environments. One potential source of this variation is “directional sense” or the ability to identify, maintain, and compare allocentric headings. Allocentric headings are facing directions that are fixed to the external environment, such as cardinal directions. Measures of the ability to identify and compare allocentric headings, using photographs of familiar environments, have shown significant individual and strategy differences; however, the neural basis of these differences is unclear. Forty-five college students, (...) who were highly familiar with a campus environment and ranged in self-reported sense-of-direction, underwent fMRI scans while they completed the Relative Heading task, in which they had to indicate the direction of a series of photographs of recognizable campus buildings (i.e., “target headings”) with respect to initial “orienting headings”. Large individual differences were found in accuracy and correct decision latencies, with gender, self-reported sense-of-direction, and familiarity with campus buildings all predicting task performance. Using linear mixed models, the directional relationships between headings and the experiment location also impacted performance. Structural scans revealed that lateral orbitofrontal and superior parietal volume were related to task accuracy and decision latency, respectively. Bilateral hippocampus and right presubiculum volume were related to self-reported sense-of-direction. Meanwhile, functional results revealed clusters within the superior parietal lobule, supramarginal gyrus, superior frontal gyrus, lateral orbitofrontal cortex, and caudate among others in which the intensity of activation matched the linear magnitude of the difference between the orienting and target headings. While the retrosplenial cortex and hippocampus have previously been implicated in the coding of allocentric headings, this work revealed that comparing those headings additionally involved frontal and parietal regions. These results provide insights into the neural bases of the variation within human orientation abilities, and ultimately, human navigation. (shrink)

The equivalence principle as well as the spin-two character of the weak gravitational field lead to difficulties in the measurability analysis of this field which are not encountered in Bohr and Rosenfeld's corresponding inquiry into the electromagnetic field. To meet these difficulties, atomic elastic structures are proposed as gravitational field detectors whose parameters (masses, total volumes, lattice and elastic constants) are adjustable. The limitations imposed by the uncertainty principle and by the radiation reaction of the detectors on the determination of (...) the amplitude, frequency, and direction of the field are then exhibited. Finally, the relevance of the present work to the investigation of DeWitt and to Einstein's full theory of gravitation is briefly considered. (shrink)

The study of belief is expanding and involves a growing set of disciplines and research areas. These research programs attempt to shed light on the process of believing, understood as a central human cognitive function. Computational systems and, in particular, what we commonly understand as Artificial Intelligence (AI), can provide some insights on how beliefs work as either a linear process or as a complex system. However, the computational approach has undergone some scrutiny, in particular about the differences between (...) what is distinctively human and what can be inferred from AI systems. The present article investigates to what extent recent developments in AI provide new elements to the debate and clarify the process of belief acquisition, consolidation, and recalibration. The article analyses and debates current issues and topics of investigation such as: different models to understand belief, the exploration of belief in an automated reasoning environment, the case of religious beliefs, and future directions of research. (shrink)