In this paper, we analyse the simplest possible three-dimensional model of endogenous growth to account for the relationship between financial intermediation and economic growth. In our setting, households maximize an interim utility function and firms maximize profit. Households can save money only through banks which offer firms investment loans. We show that under very general assumptions, investments realized by firms depend not only on savings accumulated by banks but also on financial intermediation technology ϕ(θ). Using mathematical methods of dynamical systems, (...) we found stationary states of the system and study their stability. (shrink)

Eigenfeatures are created by the principal component approach (PCA) used on objects described by a low-level code (i.e., pixels, Gabor jets). We suggest that eigenfeatures act like the flexible features described by Schyns et al. They are particularly suited for face processing and give rise to class-specific effects such as the other-race effect. The PCA approach can be modified to accommodate top-down constraints.

As an alternative to universalism and particularism, Intermedialities: Philosophy, Arts, Politics proposes "intermedialities" as a new model of social relations and intercultural dialogue. The concept of "intermedialities" stresses the necessity of situating debates concerning social relations in the divergent contexts of new media and avant-garde artistic practices as well as feminist, political, and philosophical analyses.

The aim of this paper is to look from the point of view of admissibility of inference rules at intermediate logics having the finite model property which extend Heyting's intuitionistic propositional logic H. A semantic description for logics with the finite model property preserving all admissible inference rules for H is given. It is shown that there are continuously many logics of this kind. Three special tabular intermediate logics λ, 1 ≥ i ≥ 3, are given which describe (...) all tabular logics preserving admissibility: a tabular logic λ preserves all admissible rules for H iff 7λ has width not more than 2 and is not included in each λ. MSC: 03B55, 03B20. (shrink)

Models of moral responsibility rely on foundational views about moral agency. Many scholars believe that only humans can be moral agents, and therefore business needs to create models that foster greater receptivity to others through ethical dialog. This view leads to a difficulty if no specific person is the sole causal agent for an act, or if something comes about through aggregated action in a corporate setting. An alternate approach suggests that corporations are moral agents sufficiently like humans (...) to be treated as persons, which leads to questions of intentionality and the organizational structure required to support the claim. In this article, I make an intermediate claim combining Goodpaster and Matthews' (60:132–141, 1982 ) view that a corporation may have a moral culture which affects subjective choices, with those of Painter-Morland (17(3):515–534, 2007 ) who points out that we should move from a model that posits discrete persons acting on each other to one where morality comes about through shared experience between agents who participate in each other’s lives. I argue that the discussion has been trapped in traditional dichotomies, and is better served by language that more accurately represents the dynamic interplay between organization and individual. I underwrite this claim by looking at recent changes in British and American legal approaches to corporate responsibility. These provide greater incentives for owners and business leaders to encourage employees to discuss the reflexive nature of legal and moral responsibility in business, facilitate workers to voice their moral concerns, and create structures and processes that allow those concerns to be heard. (shrink)

There is a view on consciousness that has strong intuitive appeal and empirical support: the intermediate-level theory of consciousness, proposed mainly by Ray Jackendoff and by Jesse Prinz. This theory identifies a specific “intermediate” level of representation as the basis of human phenomenal consciousness, which sits between high-level non-perspectival thought processes and low-level disjointed feature-detection processes in the perceptual and cognitive processing hierarchy. In this article, we show that the claim that consciousness arises at an intermediate-level is (...) true of some cognitive systems, but only in virtue of specific constraints on their active interactions with the environment. We provide ecological reasons for why certain processing levels in a cognitive hierarchy are privileged with respect to consciousness. We do this from the perspective of a prediction-error minimization model of perception and cognition, relying especially on the notion of active inference: the privileged level for consciousness depends on the specific dispositions of an organism concerned with inferring its policies for action. Such a level is indeed intermediate for humans, but this depends on the spatiotemporal resolution of the typical actions that a human organism can normally perform. Thus, intermediateness is not an essential feature of consciousness. In organisms with different action dispositions the privileged level or levels may differ as well. (shrink)

We study arbitrary intermediate propositional logics extended with a collection of axioms from justification logics. For these, we introduce various semantics by combining either Heyting algebras or Kripke frames with the usual semantic machinery used by Mkrtychev’s, Fitting’s or Lehmann and Studer’s models for classical justification logics. We prove unified completeness theorems for all intermediate justification logics and their corresponding semantics using a respective propositional completeness theorem of the underlying intermediate logic. Further, by a modification of (...) a method of Fitting, we prove unified realization theorems for a large class of intermediate justification logics and accompanying intermediate modal logics. (shrink)

A logic Λ bounds a property P if all proper extensions of Λ have P while Λ itself does not. We construct logics bounding finite axiomatizability and logics bounding finite model property in the lattice of intermediate logics and in the lattice of normal extensions of K4.3. MSC: 03B45, 03B55.

The key role played by online platforms in the neo-intermediation of the public debate requires a review of current tools for mapping the digital information ecosystem, highlighting the political nature of such an analysis: Starting from a synoptic overview of the main models of platform governance, we try to understand whether the ongoing European shift towards the Limited Government Regulation (LGR) model will be able to counterbalance the “systemic opinion power” of the giant platforms and restore the “health” of (...) the digital information ecosystem. A close analysis of the European Digital Services Act (DSA) has highlighted some limitations in achieving its goals, because of the features of the LGR on the one hand, and the disruptive features of the algorithmic neo-intermediation phenomenon on the other. Thus, we suggest a tripartite regulatory model, that can be defined as “neo-editorial accountability.” However, increasing users’ critical algorithmic awareness is an essential prerequisite for implementing the suggested template, and mitigating an outstanding effect of the LGR model: the normalization of the ideological assumptions underlying informational capitalism. (shrink)

This article describes an implemented architecture for intermediate vision. By integrating a variety of Intermediate visual mechanisms and putting them to use in support of concrete activity, the implementation demonstrates their utility. The sytem, SIVS, models psychophysical discoveries about visual attention and search. It is designed to be efficiently implementable in slow, massively parallel, locally connected hardware, such as that of the brain.SIVS addresses five fundamental problems. Visual attention is required to restrict processing to task-relevant locations in (...) the image. Visual search finds such locations. Visual routines are a means for nonuniform processing based on task demands. Intermediate objects keep track of intermediate results of this processing. Visual operators are a set of relatively abstract, general-purpose primitives for spatial analysis, out of which visual routines are assembled. (shrink)

As an alternative to universalism and particularism, Intermedialities: Philosophy, Arts, Politics proposes "intermedialities" as a new model of social relations and intercultural dialogue. The concept of "intermedialities" stresses the necessity of situating debates concerning social relations in the divergent contexts of new media and avant-garde artistic practices as well as feminist, political, and philosophical analyses.

The intermediate logics have been classified into slices (cf. Hosoi [1]), but the detailed structure of slices has been studied only for the first two slices (cf. Hosoi and Ono [2]). In order to study the structure of slices, we give a method of a finer classification of slices & n (n 3). Here we treat only the third slice as an example, but the method can be extended to other slices in an obvious way. It is proved that (...) each subslice contains continuum of logics. A characterization of logics in each subslice is given in terms of the form of models. (shrink)

For each intermediate propositional logicJ, J * denotes the least predicate extension ofJ. By the method of canonical models, the strongly Kripke completeness ofJ *+D(=x(p(x)q)xp(x)q) is shown in some cases including:1. J is tabular, 2. J is a subframe logic. A variant of Zakharyashchev's canonical formulas for intermediate logics is introduced to prove the second case.

We investigate a recently devised polyhedral semantics for intermediate logics, in which formulas are interpreted in n-dimensional polyhedra. An intermediate logic is polyhedrally complete if it is complete with respect to some class of polyhedra. The first main result of this paper is a necessary and sufficient condition for the polyhedral completeness of a logic. This condition, which we call the Nerve Criterion, is expressed in terms of Alexandrov’s notion of the nerve of a poset. It affords a (...) purely combinatorial characterisation of polyhedrally complete logics. Using the Nerve Criterion we show, easily, that there are continuum many intermediate logics that are not polyhedrally complete but which have the finite model property. We also provide, at considerable combinatorial labour, a countably infinite class of logics axiomatised by the Jankov–Fine formulas of ‘starlike trees’ all of which are polyhedrally complete. The polyhedral completeness theorem for these ‘starlike logics’ is the second main result of this paper. (shrink)

Many studies assume a significant relationship between intention and behavior. However, the data do not always support this assumption. This study used a modified version of social cognitive theory with self-evaluations as an intermediate variable to explore and resolve the problems associated with applying the theory of planned behavior to explain students’ adoption of technology for self-directed learning. We surveyed 285 college students who enrolled in an e-book publishing course using multifaceted technological learning tools. We found that, as an (...) intermediate variable, self-evaluation enhanced the influence of intentions on behavior and improved the accuracy of predictions of college students’ adoption of technology for self-directed learning. Students’ attitudes and perceived behavioral control were important factors influencing their adoption of technology for self-directed learning through their effects on intention; subjective norms were not important in this respect. (shrink)

Let denote a first‐order logic in a language that contains infinitely many constant symbols and also containing intuitionistic logic. By, we mean the associated logic axiomatized by the double negation of the universal closure of the axioms of plus. We shall show that if is strongly complete for a class of Kripke models, then is strongly complete for the class of Kripke models that are ultimately in.

The simian virus 40 chromosome, a model for the mammalian replicon, is a uniquely powerful system for the study of drugs and treatments which target enzymes of the mammalian replication apparatus. High resolution gel electrophoretic analysis of normal and aberrant viral replication intermediates can be used effectively to understand the molecular events of replication failure. These events include breakage of replication forks, aberrant topoisomerase action, failure to separate daughter chromosomes, protein‐DNA crosslinking, single and double strand DNA breakage, alterations in topology (...) and inactivation of replication intermediates. The SV40 replication system can also be used to study the recombinational events which often follow drug‐induced replication failure. (shrink)

A part of the scientific literature consists of intermediate results within a longer project. Scientists often publish a first result in the course of their work, while aware that they should soon achieve a more advanced result from this preliminary result. Should they follow the proverb “a bird in the hand is worth two in the bush”, and publish any intermediate result they get? This is the normative question addressed in this paper. My aim is to clarify, to (...) refine, and to assess informal arguments about the choice whether to publish intermediate results. To this end, I adopt a rational decision framework, supposing some utility or preferences, and I propose a formal model. The best publishing strategy turns out to depend on the research situation. In some simple circumstances, even selfish and short-minded scientists should publish their intermediate results, and should thus behave like their altruistic peers, i. e. like society would like them to behave. In other research situations, with inhomogeneous reward or difficulty profiles, the best strategy is opposite. These results suggest qualified philosophical morals. (shrink)

In this paper we will study the properties of the least extension n(Λ) of a given intermediate logic Λ by a strong negation. It is shown that the mapping from Λ to n(Λ) is a homomorphism of complete lattices, preserving and reflecting finite model property, frame-completeness, interpolation and decidability. A general characterization of those constructive logics is given which are of the form n(Λ). This summarizes results that can be found already in [13, 14] and [4]. Furthermore, we determine (...) the structure of the lattice of extensions of n(LC). (shrink)

We construct a model [Formula: see text] of [Formula: see text] which lies between [Formula: see text] and [Formula: see text] for a Cohen real [Formula: see text] and does not have the form [Formula: see text] for any set [Formula: see text]. This is loosely based on the unwritten work done in a Bristol workshop about Woodin’s HOD Conjecture in 2011. The construction given here allows for a finer analysis of the needed assumptions on the ground models, thus (...) taking us one step closer to understanding models of [Formula: see text], and the HOD Conjecture and its relatives. This model also provides a positive answer to a question of Grigorieff about intermediate models of [Formula: see text], and we use it to show the failure of Kinna–Wagner Principles in [Formula: see text]. (shrink)

This paper aims to determine knowledge management (KM) factors which have strong impact on high performance. Also, the study aims to compare KMM between intermediate colleges. This study was applied on three intermediate colleges in Gaza strip, Palestine. Asian productivity organization model was applied to measure KMM. Second dimension which assess high performance was developed by the authors. The controlled sample was 190. Several statistical tools were used for data analysis and hypotheses testing, including reliability correlation using Cronbach’s (...) alpha, “ANOVA”, simple linear regression and step wise regression and LSD test. The overall findings of the current study show that maturity level is in the second level. Findings also support the main hypothesis and its sub- hypotheses. The most important factors effecting high performance are the processes, KM leadership, people and KM outcomes. In addition, there are differences in high performance for college (PTC). Furthermore, the current study is unique by the virtue of its nature, scope and way of implied investigation, as it is the first comparative study between intermediate colleges in Palestine that explores the status of KMM using the Asian productivity model. Research limitations was that the survey findings were based on intermediate colleges in Gaza Strip. (shrink)

I criticize Herbert Simon 's argument for the claim that complex natural systems must constitute decomposable, mereological or functional hierarchies. The argument depends on certain assumptions about the requirements for the successful evolution of complex systems, most importantly, the existence of stable, intermediate stages in evolution. Simon offers an abstract model of any process that succeeds in meeting these requirements. This model necessarily involves construction through a decomposable hierarchy, and thus suggests that any complex, natural, i.e., evolved, system is (...) constituted by a decomposable hierarchy. I argue that Stuart Kauffman's recent models of genetic regulatory networks succeed in specifying processes that could meet Simon 's requirements for evolvability without requiring construction through a decomposable hierarchy. Since Kauffman's models are at least as plausible as Simon 's model, Simon 's argument that complex natural systems must constitute decomposable, mereological or functional hierarchies does not succeed. (shrink)

A lot of research has been done on the detection of mental workload using various bio-signals. Recently, deep learning has allowed for novel methods and results. A plethora of measurement modalities have proven to be valuable in this task, yet studies currently often only use a single modality to classify MWL. The goal of this research was to classify perceived mental workload using a deep neural network that flexibly makes use of multiple modalities, in order to allow for feature sharing (...) between modalities. To achieve this goal, an experiment was conducted in which MWL was simulated with the help of verbal logic puzzles. The puzzles came in five levels of difficulty and were presented in a random order. Participants had 1 h to solve as many puzzles as they could. Between puzzles, they gave a difficulty rating between 1 and 7, seven being the highest difficulty. Galvanic skin response, photoplethysmograms, functional near-infrared spectrograms and eye movements were collected simultaneously using LabStreamingLayer. Marker information from the puzzles was also streamed on LSL. We designed and evaluated a novel intermediate fusion multimodal DNN for the classification of PMWL using the aforementioned four modalities. Two main criteria that guided the design and implementation of our DNN are modularity and generalisability. We were able to classify PMWL within-level accurate on a seven-level workload scale using the aforementioned modalities. The model architecture allows for easy addition and removal of modalities without major structural implications because of the modular nature of the design. Furthermore, we showed that our neural network performed better when using multiple modalities, as opposed to a single modality. The dataset and code used in this paper are openly available. (shrink)

We present a model that allows one to build structures that evolve continuously from classical to quantum, and we study the intermediate situations, giving rise to structures that are neither classical nor quantum. We construct the closure structure corresponding to the collection of eigenstate sets of these intermediate situations, and demonstrate how the superposition principle disappears during the transition from quantum to classical. We investigate the validity of the axioms of quantum mechanics for the intermediate situations.

Research suggests that ethical leadership influences employees’ behavior and organizational functioning. Thus, the purpose of this study is to investigate the role of ethical leadership in the improvement of employees’ innovative performance. Specifically, this research developed and tested a framework about the intermediating mechanism of social capital in the relationship between ethical leadership and employees’ innovative performance. The current study integrated assumptions of social learning and social exchange theories, which postulate that the leadership has a direct effect on the employees’ (...) conduct, principally through role modeling and the reciprocal landscape. Data were collected through in-person administered questionnaire-based survey from 297 employees working in the manufacturing sectors of Pakistan. The conceptual model of our research was analyzed applying Structural Equation Modeling (SEM). The results exhibited that the ethical leadership plays an important role in fostering employees’ innovative performance. The present study also found that social capital plays an intermediating role between the ethical leadership and employees’ innovative performance relationship. The current study contributed to the leadership and innovation literature and provided insights in examining the ethical leadership-employees’ innovative performance relationship through the intermediating mechanism of social capital. (shrink)

Cet article vise à comprendre si une quelconque notion d’“intermédiaire” joue un rôle dans le système de Speusippe. Je commence en étudiant cette question vis-à-vis des objets mathématiques. Étant donné que je souscris au modèle épisodique du monde de Speusippe, je propose que la seule signification possible de μεταξύ dans son système est celle d’une simple position. En effet, dans un monde épisodique, la distinction ontologique radicale qui délimite chaque couche de réalité demande une signification de μεταξύ qui n’indique rien (...) de plus que l’emplacement d’un élément dans un classement d’êtres. Cette conclusion nous fournit cependant un candidat inhabituel pour le rôle d’“intermédiaire” : l’âme. En effet, la notion d’“intermédiaire”, si elle est prise comme un concept heuristique, nous permet de voir l’âme de Speusippe sous un jour différent. Plus précisément, étant donné que l’âme est une substance spécifique, je soutiens que son caractère intermédiaire ne repose ni dans sa composition ontologique mixte ni dans son statut d’objet ontologique intermédiaire. Au contraire, l’âme peut être considérée comme un intermédiaire dans la mesure où elle est ce qui confère aux êtres humains leurs fonctions cognitives par une interaction avec le corps. (shrink)

Name der Zeitschrift: Semiotica Jahrgang: 2018 Heft: 224 Seiten: 269-293.

We provide results allowing to state, by the simple inspection of suitable classes of posets , that the corresponding intermediate propositional logics are maximal among the ones which satisfy the disjunction property. Starting from these results, we directly exhibit, without using the axiom of choice, the Kripke frames semantics of 2No maximal intermediate propositional logics with the disjunction property. This improves previous evaluations, giving rise to the same conclusion but made with an essential use of the axiom of (...) choice, of the cardinality of the set of the maximal intermediate propositional logics with the disjunction property. (shrink)

Eukaryotic origins are inextricably linked with the arrival of a pre‐mitochondrion of alphaproteobacterial‐like ancestry. However, the nature of the “host” cell and the mode of entry are subject to heavy debate. It is becoming clear that the mutual adaptation of a relatively simple, archaeal host and the endosymbiont has been the defining influence at the beginning of the eukaryotic lineage; however, many still resist such symbiogenic models. In part 1, it is posited that a symbiotic stage before uptake (“pre‐symbiosis”) (...) seems essential to allow further metabolic integration of the two partners ending in endosymbiosis. Thus, the author argued against phagocytic mechanisms (in which the bacterium is prey or parasite) as the mode of entry. Such positions are still broadly unpopular. Here it is explained why. Evolutionary thinking, especially in the case of eukaryogenesis, is still dominated by anachronistic reasoning, in which highly derived protozoan organisms are seen as in some way representative of intermediate steps during eukaryotic evolution, hence poisoning the debate. This reasoning reflects a mind‐set that ignores that Darwinian evolution is a fundamentally historic process. Numerous examples of this kind of erroneous reasoning are given, and some basic precautions against its use are formulated. Also see the video abstract here https://youtu.be/ekqtNleVJpU. (shrink)

We propose a model of natural language inference which identifies valid inferences by their lexical and syntactic features, without full semantic interpretation. We extend past work in natural logic, which has focused on semantic containment and monotonicity, by incorporating both semantic exclusion and implicativity. Our model decomposes an inference problem into a sequence of atomic edits linking premise to hypothesis; predicts a lexical semantic relation for each edit; propagates these relations upward through a semantic composition tree according to properties of (...) intermediate nodes; and joins the resulting semantic relations across the edit sequence. A computational implementation of the model achieves 70% accuracy and 89% precision on the FraCaS test suite. Moreover, including this model as a component in an existing system yields significant performance gains on the Recognizing Textual Entailment challenge. (shrink)

In this paper I discuss the relationship between model, theories, and laws in the practice of experimental scale modeling. The methodology of experimental scale modeling, also known as physical similarity, differs markedly from that of other kinds of models in ways that are important to issues in philosophy of science. Scale models are not discussed in much depth in mainstream philosophy of science. In this paper, I examine how scale models are used in making inferences. The main (...) question I address in this talk is ``How are fundamental laws involved in the construction of, and inferences drawn from, experimental scale models?'' We shall see that there is a refreshing alternative to the mainstream view that models can serve only as intermediaries between theory and experiment. Using the methodology of scale models, one can use observations on one piece of the world to make inferences about another piece of the world, without involving an intermediate abstract model about which one reasons. The philosophical significance of that point to philosophy of science is that the method of physical similarity, which provides the basis for inferences based upon scale models, is a qualitatively different way in which fundamental laws can be used in analogical reasoning that is truly informative. Finally, as this method provides a formal basis for case-based reasoning, it may be helpful in formalizing methods used in some of the so-called ``special sciences''. (shrink)

Spin gauge models use a real Clifford algebraic structure Rp,q associated with a real manifold of dimension p + q to describe the fundamental interactions of elementary particles. This review provides a comparison between those models and the standard model, indicating their similarities and differences. By contrast with the standard model, the spin gauge model based on R3,8 generates intermediate boson mass terms without the need to use the Higgs-Kibble mechanism and produces a precise prediction for the (...) mass of the top quark. The potential of this model to account for exactly three families of fermions is considered. (shrink)

Together with microtubules and actin microfilaments, ∼11 nm wide intermediate filaments (IFs) constitute the integrated, dynamic filament network present in the cytoplasm of metazoan cells. This network is critically involved in division, motility and other cellular processes. While the structures of microtubules and microfilaments are known in atomic detail, IF architecture is presently much less understood. The elementary ‘building block’ of IFs is a highly elongated, rod‐like dimer based on an α‐helical coiled‐coil structure. Assembly of cytoplasmic IF proteins, such (...) as vimentin, begins with a lateral association of dimers into tetramers and gradually into the so‐called unit‐length filaments (ULFs). Subsequently ULFs start to anneal longitudinally, ultimately yielding mature IFs after a compaction step. For nuclear lamins, however, assembly starts with a head‐to‐tail association of dimers. Recently, X‐ray crystallographic data were obtained for several fragments of the vimentin dimer. Based on the dimer structure, molecular models of the tetramer and the entire filament are now a possibility. BioEssays 25:243–251, 2003. © 2003 Wiley Periodicals, Inc. (shrink)

Most models of response time (RT) in elementary cognitive tasks implicitly assume that the speed-accuracy trade-off is continuous: When payoffs or instructions gradually increase the level of speed stress, people are assumed to gradually sacrifice response accuracy in exchange for gradual increases in response speed. This trade-off presumably operates over the entire range from accurate but slow responding to fast but chance-level responding (i.e., guessing). In this article, we challenge the assumption of continuity and propose a phase transition model (...) for RTs and accuracy. Analogous to the fast guess model (Ollman, 1966), our model postulates two modes of processing: a guess mode and a stimulus-controlled mode. From catastrophe theory, we derive two important predictions that allow us to test our model against the fast guess model and against the popular class of sequential sampling models. The first prediction—hysteresis in the transitions between guessing and stimulus-controlled behavior—was confirmed in an experiment that gradually changed the reward for speed versus accuracy. The second prediction—bimodal RT distributions—was confirmed in an experiment that required participants to respond in a way that is intermediate between guessing and accurate responding. (shrink)

A unifing theory of spatiotemporal brain dynamics should incorporate multiple spatial and temporal scales. Between the microscopic (local) and macroscopic (global) components proposed by Nunez, mesoscopic (intermediate-range) elements should be integral parts of models. The corresponding mathematical formalism requires tools of nonlinear dynamics and the use of aperiodic (chaotic) attractors. Some relations between local-mesoscopic and mesoscopic-global components are outlined.

In this article, I use a mental models computational account of representation to illustrate some details of my previously presented inferential model of scientific understanding. The hope is to shed some light on possible mechanisms behind the notion of scientific understanding. I argue that if mental models are a plausible approach to modelling cognition, then understanding can best be seen as the coupling of specific rules. I present our beliefs as ?ordinary? conditional rules, and the coupling process as (...) one where the consequent of one ordinary rule (OR) matches and activates the antecedent of the rule to which it is coupled in virtue of the activation of an intermediate ?inference? rule. I argue that on this approach knowledge of an explanation is the activation of ORs in a cognitive hierarchy, while understanding is achieved when those activated ORs are also coupled via correct inference rules. I do not directly address issues regarding the plausibility of mental models themselves. This article should therefore be seen as an exercise in refining the inferential model within an already presupposed computational setting, not one of arguing for the psychological adequacy of computational approaches. (shrink)

In this study, a new mathematical model is presented to solve the flexible flow shop problem where transportation is reliable and there are constraints on intermediate buffers, budgets, and human resource learning effects. Firstly, the model is validated to confirm the accuracy of its performance. Then, since it is an NP-hard one, two metaheuristic algorithms, namely, MOSA and MOEA/D, are rendered to solve mid- and large-scale problems. To confirm their accuracy of performance, two small-scale problems are solved using GAMS (...) exact solution software, and the obtained results have been compared with the output of the algorithms. Since the problem in this study is multiobjective, five comparative indices are used to compare the performance of algorithms. The results show that the answers achieved using the metaheuristic algorithms are very close to the ones achieved via the GAMS exact program. Therefore, the proposed algorithms are validated, and it is proved that they are accurately designed and useable in solving the real-world problems in logical calculation time. By comparing the obtained results, it can be seen that the MOEA/D algorithm performs better in terms of computational time and Mean ideal distance. The MOSA algorithm also performs better according to the index Spread of nondominated solutions, diversity metric, and number of Pareto solutions. Considering the confirmation of precision and accuracy of performance of the proposed algorithms, it can be concluded that MOSA and MOEA/D are useful in solving the mid- and large-scale modes of the problem in the study, which is very applicable in the real world. (shrink)

I discuss a game-theoretic model in which scientists compete to finish the intermediate stages of some research project. Banerjee et al. have previously shown that if the credit awarded for intermediate results is proportional to their difficulty, then the strategy profile in which scientists share each intermediate stage as soon as they complete it is a Nash equilibrium. I show that the equilibrium is both unique and strict. Thus rational credit-maximizing scientists have an incentive to share their (...) intermediate results, as long as this is sufficiently rewarded. (shrink)

Being formalized inside the S-matrix scheme, the zigzagging causility model of EPR correlations has full Lorentz and CPT invariance. EPR correlations, proper or reversed, and Wheeler's smoky dragon metaphor are respectively pictured in spacetime or in the momentum-energy space, as V-shaped, A-shaped, or C-shaped ABC zigzags, with a summation at B over virtual states |B〉 〈B|. An exact “correspondence” exists between the Born-Jordan-Dirac “wavelike” algebra of transition amplitudes and the 1774 Laplace algebra of conditional probabilities, where the intermediate summations (...) |B) (B| were over “real hidden states.” While the latter used conditional (or transition) probabilities (A|C) = (C|A), the former uses transition (or conditional) amplitudes 〈A|C〉 = 〈C|A〉*. The formal parrallelism breaks down at the level of interpretation because (A|C) = |〈A|C〉|2. CPT invariance implies the Fock and Watanabe principle that, in quantum mechanics, retarded (advanced) waves are used for prediction (retrodiction), an expression of which is 〈Ψ| U |Φ〉 = 〈Ψ| UΦ〉 = 〈ΦU|Φ〉, with |Φ〉 denoting a preparation, |Ψ〉 a measurement, and U the evolution operator. The transformation |Ψ〉 = |UΦ〉 or |Φ〉 = |U−1Ψ〉 exchanges the “preparation representation” and the “measurement representation” of a system and is ancillary in the formalization of the quantum chance game by the “wavelike algebra” of conditional amplitude. In 1935 EPR overlooked that a conditional amplitude 〈A|C〉 = Σ 〈A|B〉〈B|C〉 between the two distant measurements is at stake, and that only measurements actually performed do make sense. The reversibility 〈A|C〉 = 〈C|A〉* implies that causality is CPT-invariant, or arrowless, at the microlevel. Arrowed causality is a macroscopic emergence, corollary to wave retardation and probability increase. Factlike irreversibility states repression, not suppression, of “blind statistical retrodiction”—that is, of “final cause.”. (shrink)

The problem of building an effective system of interconnected and purposeful innovative changes in business management is solved in the article. The main purpose of the research is to improve the model of business excellence on the basis of interconnected and purposeful innovative changes in business management. Critical analysis of literature sources and approaches to solving the problem of building a perfect model of business emphasizes the diversity of applied methodological approaches and methods of management innovation. However, in terms of (...) business technologicalization, necessity to accelerate information exchange, development of innovation and, at the same time, development of new threats, the need on the basis of strategizing, intellectualization of management, partnership, compliance with the challenges of the external environment, communication efficiency, leadership transformation, balancing intermediate and final results, there is a need to transform business and management on the basis of strategizing, intellectualization of management, partnership interaction, compliance with the challenges of the external environment, communication efficiency, transformation of leadership, balancing intermediate and final results. Relevance of solving of this scientific issue is that the timely use of innovative tools and management methods in the implementation of strategic intentions and goals forms a high adaptability of companies to transformation processes occurring in their external and internal environment under the influence of digital technologies in business processes. The scientific-theoretical and methodological basis of the study were the following methods: abstract-logical and comparative analysis – to generalize theoretical approaches and confirm the practical importance of solving the problem of building a model of providing business excellence on the basis of interconnected and focused innovative changes in business management; system analysis and modelling – method of building a model of business excellence based on managerial innovation; system-analytical – method of balancing the interaction of the components providing business excellence; generalization – when drawing conclusions based on research results. The object of research is a system of interconnected and purposeful innovative changes in business management. The results of solving the problem of building a model of business excellence while balancing the interaction of the components of such provision and implementation of the process of digital transformation of the business model. The results of the research have practical value for business entities that seek to increase the effectiveness of interconnected and purposeful innovative changes in business management. (shrink)

The goal of synthetic biology is to create artificial organisms. To achieve this it is essential to understand what life is. Metabolism-replacement systems, or (M, R)-systems, constitute a theory of life developed by Robert Rosen, characterized in the statement that organisms are closed to efficient causation, which means that they must themselves produce all the catalysts they need. This theory overlaps in part with other current theories, including autopoiesis, the chemoton, and autocatalytic sets, all of them invoking some idea of (...) closure. A simple model of an (M, R)-system has been implemented in the computer, and behaves in ways that may shed light on the requirements for a prebiotic self-organizing system. In addition to a trivial steady state in which nothing happens, it can establish a non-trivial steady state in which all intermediates have finite concentrations, with their rates of degradation balanced by their rates of synthesis. The system can be regenerated from the set of food components plus a single intermediate, and maintain itself in that state indefinitely, despite continuous degradation. At the very low compartment volumes that may have existed in prebiotic conditions, for example in cavities in minerals, or in micelles formed by simple amphiphiles, statistical fluctuations in the numbers of molecules need to be taken into account. With the stochastic approach there is no non-trivial steady state in strict mathematical terms, because the system will always collapse to the trivial state after sufficient time. However, the average time before collapse is so long for volumes greater than $10^{-19}\;{\textsc{l}}$ (much smaller than the volume of the order of $10^{-15}\;{\textsc{l}}$ for a typical bacterial cell) that for practical purposes the self-maintaining state of non-null concentrations becomes significant, recalling the situation of bistability that is observed in deterministic analysis. In turn, there exists a minimum size below which the self-organizing system cannot maintain itself on chemically relevant time scales. The value of the critical volume depends on the particular concentrations and rate constants assumed, but the principle could apply generally. (shrink)

Infinitely many intermediate propositional logics with the disjunction property are defined, each logic being characterized both in terms of a finite axiomatization and in terms of a Kripke semantics with the finite model property. The completeness theorems are used to prove that any two logics are constructively incompatible. As a consequence, one deduces that there are infinitely many maximal intermediate propositional logics with the disjunction property.

Given an inner model and a regular cardinal κ, we consider two alternatives for adding a subset to κ by forcing: the Cohen poset Add(κ, 1), and the Cohen poset of the inner model. The forcing from W will be at least as strong as the forcing from V (in the sense that forcing with the former adds a generic for the latter) if and only if the two posets have the same cardinality. On the other hand, a sufficient condition (...) is established for the poset from V to fail to be as strong as that from W. The results are generalized to, and to iterations of Cohen forcing where the poset at each stage comes from an arbitrary intermediate inner model. (shrink)

Beyond their linguistic and rhetorical uses, the mental epistemic verbs to knowand to believe reveal a basic conceptual system for human intentionality and the theory of representational mind. Numerous studies, particularly in the field of child development, have been devoted to the conditions under which knowledge and belief are acquired. Upstream of this empirical approach, this paper proposes a topological model of the conceptual structure underlying the linguistic use of to know and to believe. A cusp model of catastrophe theory (...) is chosen to model the formation of epistemic states. Its main characteristic is considering to believe as an intermediate state which lacks stability and presents the delayed effect of hysteresis. The attribution of mental states to the other (viewpoint of the third person) is obtained by the crossing of first and third person knowledge and belief, which gives rise to new categories (to know if and to falsely believe) and closes the system. Another merging of the beliefs of persons A and B, using the butterfly catastrophe, provides a model of interpersonal belief appreciated by an independent observer along a potential evolving from agreement to disagreement. (shrink)

Abstract Three main concepts of model in science are distinguished: (1) semantical model of a theory; (2) real model of another real thing; (3) mathematical model of a real thing. The last concept is the most important for the empirical sciences. The mathematical model is not identical with a theory: it is an ideal object which is directly described by the theory. We have here an intermediate level between reality and theory.

This paper concerns intermediate structure lattices Lt, where [MATHEMATICAL SCRIPT CAPITAL N] is an almost minimal elementary end extension of the model ℳ of Peano Arithmetic. For the purposes of this abstract only, let us say that ℳ attains L if L ≅ Lt for some almost minimal elementary end extension of [MATHEMATICAL SCRIPT CAPITAL N]. If T is a completion of PA and L is a finite lattice, then: If some model of T attains L, then every countable (...) model of T does. If some rather classless, ℵ1-saturated model of T attains L, then every model of T does. (shrink)