Achieving accurate skin tones is one of the most challenging tasks in digital photography. Master this challenge with professional photographer Lee Varis as he covers a range of skin: women and men, young and old, various tones, in-studio and outdoors, tattoos, and more. His step-by-step tutorials and before-and-after illustrations demonstrate various techniques for topics such as digital-specific lighting challenges and what can and cannot be done in post-process. A free CD-ROM accompanies the book and contains sample image files to use (...) while following the tutorials, plus equipment recommendations and technical reference materials that enhance and reinforce the instruction. Order your copy of this practical guide today and get a complete start-to-finish approach to integrating everything from posing models to shooting and retouching candid scenes. (shrink)

In the educational hypermedia domain, adaptive systems try to adapt educational materials according to the required properties of a user. The adaptability of these systems becomes more effective once the system has the knowledge about how a student can learn better. Studies suggest that, for effective personalization, one of the important features is to know precisely the learning style of a student. However, learning styles are dynamic and may vary domain-wise. To address such aspects of learning styles, we (...) have proposed a computationally efficient solution that considers the dynamic and nondeterministic nature of learning styles, effect of the subject domain, and nonstationary aspect during the learning process. The proposed model is novel, robust, and flexible to optimize students’ domain-wise learning style preferences for better content adaptation. We have developed a web-based experimental prototype for assessment and validation. The proposed model is compared with the existing available learning style-based model, and the experimental results show that personalization based on incorporating discipline-wise learning style variations becomes more effective. (shrink)

Inclusive single jet production in hadron collisions is considered. It is shown that the QCD parton model predicts a nonmonotonic dependence of the inclusive cross section on the fraction of the energy deposited in the jet registered, if it is normalized on the same cross section measured at another collision energy. Specifically, if the cross section is normalized by the one measured at a higher collision energy, it possesses a minimum which depends on jet rapidity. This prediction can be (...) tested at the Fermilab Tevatron, at the CERN LHC, and at the Very Large Hadron Collider under discussion. (shrink)

Urn models were developed by Veikko Rantala to provide a non-standard semantics for first-order logic in which the domains, over which the quantifiers range, are allowed to vary. Rantala uses game-theoretical semantics in his presentation, and the present paper is a study of urn models from a more classical, truth-conditional point of view. An axiomatic system for urn logic is set out and completeness is proved by the method of maximal consistent sets.

Few aspects of social behavior tell us more about a culture than those practices that involve the roles it assigns to models and copies. Under interpretation, such conduct reveals its attitudes toward authority and antiquity, its sense of identity and regard for security, and the relative importance that it attached to imitation and invention. To varying degrees, all societies display these concerns, but in none were they so firmly grounded in a considered theory of the relation between prototype and (...) derivative as they were in Byzantium. An example from the domain of law will illustrate, though not explain, this cultural difference. As against the Roman tradition in which the use of copies as evidence in court was prohibited, at least from the tenth century on Byzantine tribunals accepted the legitimacy of certified copies of documents. The very word used for an official copy—ison, meaning equal— suggests the conceptual distinction between it and the terms copie, Kopie, kopiya, and so on, in modern languages, all derived from the Latin word for abundance. (shrink)

In the article we study the existence predicate \(\varepsilon\) in the context of semantics for first-order modal logic. For a formula \(\varphi\) we define \(\varphi^{\varepsilon}\) - the so called existence relativization. We point to a gap in the work of Fitting and Mendelsohn concerning the relationship between the truth of \(\varphi\) and \(\varphi^{\varepsilon}\) in classes of varying- and constant-domain models. We introduce operations on models which allow us to fill the gap and provide a more general perspective on (...) the issue. As a result we obtain a series of theorems describing the logical connection between the notion of truth of a formula with the existence predicate in constant-domain models and the notion of truth of a formula without the existence predicate in varying-domain models. (shrink)

Mental model ascription – also called mindreading – is the process of inferring the mental states of others, which happens as a matter of course in social interactions. But although ubiquitous, mindreading is presumably a highly variable process: people mindread to different extents and with _different results._ We hypothesize that human mindreading ability relies on a large number of personal and contextual features: the inherent abilities of specific individuals, their current physical and mental states, their knowledge of the (...) class='Hi'>domain of discourse, their familiarity with the interlocutor, the risks associated with an incorrect assessment of intent, and so on. This paper presents a theory of mindreading that models diverse artificial intelligent agents using an inventory of parameters and value sets that represent traits of humans and features of discourse contexts. Examples are drawn from Maryland Virtual Patient, a prototype system that will permit medical trainees to diagnose and treat cognitively modeled virtual patients with the optional assistance of a virtual tutor. Since real patients vary greatly with respect to physiological and cognitive features, so must a society of virtual patients. Modeling such variation is one of the goals of the overall OntoAgent program of research and development. (shrink)

Mental model ascription – also called mindreading – is the process of inferring the mental states of others, which happens as a matter of course in social interactions. But although ubiquitous, mindreading is presumably a highly variable process: people mindread to different extents and with different results. We hypothesize that human mindreading ability relies on a large number of personal and contextual features: the inherent abilities of specific individuals, their current physical and mental states, their knowledge of the (...) class='Hi'>domain of discourse, their familiarity with the interlocutor, the risks associated with an incorrect assessment of intent, and so on. This paper presents a theory of mindreading that models diverse artificial intelligent agents using an inventory of parameters and value sets that represent traits of humans and features of discourse contexts. Examples are drawn from Maryland Virtual Patient, a prototype system that will permit medical trainees to diagnose and treat cognitively modeled virtual patients with the optional assistance of a virtual tutor. Since real patients vary greatly with respect to physiological and cognitive features, so must a society of virtual patients. Modeling such variation is one of the goals of the overall OntoAgent program of research and development. (shrink)

While genomic and proteomic information describe the overall cellular machinery available to an organism, the metabolic profile of an individual at a given time provides a canvas as to the current physiological state. Concentration levels of relevant metabolites vary under different conditions, in particular, in the presence or absence of different disorders. Metabolite concentrations thus mediate an important link between chemistry and biology, contributing to a systems-wide understanding of biological processes and pathways. However, there are a number of challenges in (...) the ontological representation of such information. Firstly, concentration information is numeric and ranges over continuous values, while ontologies consist of discrete classes. Secondly, ontologies usually model only what is certain, and their logical formalisms are adapted to reasoning from certain axioms to logical deductions, however, the link between chemicals and diseases via concentration levels, like many threshold phenomena, is both uncertain and vague. In this paper we evaluate the representation of this knowledge using a combination of concrete domains and probabilistic reasoning. We parse concentration values from HMDB and create an ontology able to distinguish normal from abnormal concentrations and able to evaluate a probabilistic risk category for the presence of an associated disorder. (shrink)

This article delineates two dimensions along which computational models of face processing may vary, and briefly review three such models, the Dailey and Cottrell model; the O'Reilly and Munakata model; and the Riesenhuber and Poggio. It focuses primarily on one of the models and shows how this model is used to reveal potential mechanisms underlying the neural processing of faces and objects—the development of a specialized face processor, how it could be recruited for other domains, hemispheric lateralization (...) of face processing, facial expression processing, and the development of face discrimination. It turns to the Riesenhuber and Poggio model to describe the elegant way it has been used to predict functional magnetic resonance imaging data on face processing. The overall strategy of these modeling efforts is to sample problems that are constrained by neurophysiological and behavioral data, and to stress the ways in which models can generate novel hypotheses about the way humans process faces. (shrink)

In everyday life, people typically observe fragments of causal networks. From this knowledge, people infer how novel combinations of causes they may never have observed together might behave. I report on 4 experiments that address the question of how people intuitively integrate multiple causes to predict a continuously varying effect. Most theories of causal induction in psychology and statistics assume a bias toward linearity and additivity. In contrast, these experiments show that people are sensitive to cues biasing various integration (...) rules. Causes that refer to intensive quantities (e.g., taste) or to preferences (e.g., liking) bias people toward averaging the causal influences, whereas extensive quantities (e.g., strength of a drug) lead to a tendency to add. However, the knowledge underlying these processes is fallible and unstable. Therefore, people are easily influenced by additional task‐related context factors. These additional factors include the way data are presented, the difficulty of the inference task, and transfer from previous tasks. The results of the experiments provide evidence for causal model and related theories, which postulate that domain‐general representations of causal knowledge are influenced by abstract domain knowledge, data‐driven task factors, and processing difficulty. (shrink)

Globally, parents and children in same-sex parent families are impacted by many laws related to the parental sexual orientation. These laws vary considerably from one country to another, ranging from full legal recognition to criminalization. The psychological consequences of living in an ambiguous or hostile legal climate likely interfere with parental health, family functioning, and child development. However, a systematic evidence synthesis of the pertinent literature and its placement within a broader psychological model are currently lacking. The aims of (...) this review were thus (1) to systematically review qualitative and quantitative evidence on the impact of sexual orientation laws on same-sex parent families in key domains and (2) to place these findings within a broader model informed by minority stress and family theories. Our review was preregistered and conducted in line with PRISMA guidelines. We searched for qualitative, quantitative, and mixed methods studies on the impact of sexual orientation laws on target outcomes (parental health, family functioning, child outcomes) via systematic database search (PubMed, Scopus, Web of Science) and forward-backward searches. Fifty-five studies published between 1999 and 2020 were eligible for inclusion and were synthesized using a data-based convergent synthesis design. Thirteen descriptive and three overarching analytical themes were identified through thematic synthesis. Linking our findings with minority stress and family theories, we propose a novel legal vulnerability model for same-sex parent families. The model posits that legal vulnerability constitutes an increased risk for parental and child health as well as family functioning through individual and shared pathways between family members. Additionally, the model introduces counteractions that families engage in on the personal, familial, and systemic level to mitigate the impact of legal vulnerability, as well as moderators on the contextual, familial, couple, and individual level that modulate this impact. Implications for research and clinical practice are discussed. (shrink)

This paper presents the intelligent virtual animals that inhabit Omosa, a virtual learning environment to help secondary school students learn how to conduct scientific inquiry and gain concepts from biology. Omosa supports multiple agents, including animals, plants, and human hunters, which live in groups of varying sizes and in a predator-prey relationship with other agent types (species). In this paper we present our generic agent architecture and the algorithms that drive all animals. We concentrate on two of our animals (...) to present how different parameter values affect their movements and inter/intra-group interactions. Two evaluations studies are included: one to demonstrate the effect of different components of our architecture; another to provide domain expert validation of the animal behavior. (shrink)

Downes, Gerrans, and Sutton all raise important issues for the account of human social learning and cooperation developed in The Evolved Apprentice. Downes suggests that I have bought too uncritically into the view that hunting was economically critical to forager life; I remain unpersuaded, while conceding something to the alternative view that hunting was signaling. Downes also suggests that I consider extending the evolved apprentice model to contemporary issues in social epistemology; I wonder whether that might make the (...) class='Hi'>model so general that it loses explanatory force. Gerrans probes the model on the relationship between social learning and imitation; I respond by arguing that imitation became important relatively late in the human social learning career, probably via learning to communicate via gesture. Sutton wonders whether the model of social learning developed is too intellectualist and individualist; I respond by emphasizing the varied task demands in different domains, and the change over time of the different elements involved in social learning. (shrink)

Cancer treatment decisions should be based on all available evidence. But this evidence is complex and varied: it includes not only the patient’s symptoms and expert knowledge of the relevant causal processes, but also clinical databases relating to past patients, databases of observations made at the molecular level, and evidence encapsulated in scientific papers and medical informatics systems. Objective Bayesian nets offer a principled path to knowledge integration, and we show in this chapter how they can be applied to integrate (...) various kinds of evidence in the cancer domain. This is important from the systems biology perspective, which needs to integrate data that concern different levels of analysis, and is also important from the point of view of medical informatics. (shrink)

Modern science’s ability to produce, store, and analyze big datasets is changing the way that scientific research is practiced. Philosophers have only begun to comprehend the changed nature of scientific reasoning in this age of “big data.” We analyze data-focused practices in biology and climate modeling, identifying distinct species of data-centric science: phenomena-laden in biology and phenomena-agnostic in climate modeling, each better suited for its own domain of application, though each entail trade-offs. We argue that data-centric practices in science (...) are not monolithic because the opportunities and challenges presented by big data vary across scientific domains. (shrink)

Working speed as a latent variable reflects a respondent’s efficiency to apply a specific skill, or a piece of knowledge to solve a problem. In this study, the common assumption of many response time models is relaxed in which respondents work with a constant speed across all test items. It is more likely that respondents work with different speed levels across items, in specific when these items measure different dimensions of ability in a multidimensional test. Multiple speed factors are used (...) to model the speed process by allowing speed to vary across different domains of ability. A joint model for multidimensional abilities and multifactor speed is proposed. Real response time data are analyzed with an exploratory factor analysis as an example to uncover the complex structure of working speed. The feasibility of the proposed model is examined using simulation data. An empirical example with responses and response times is presented to illustrate the proposed model’s applicability and rationality. (shrink)

Cancer treatment decisions should be based on all available evidence. But this evidence is complex and varied: it includes not only the patient’s symptoms and expert knowledge of the relevant causal processes, but also clinical databases relating to past patients, databases of observations made at the molecular level, and evidence encapsulated in scientific papers and medical informatics systems. Objective Bayesian nets offer a principled path to knowledge integration, and we show in this chapter how they can be applied to integrate (...) various kinds of evidence in the cancer domain. This is important from the systems biology perspective, which needs to integrate data that concern different levels of analysis, and is also important from the point of view of medical informatics. (shrink)

Building on previous work by Coquand and Spiwack [T. Coquand, A. Spiwack, A proof of strong normalisation using domain theory, in: Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science, LICS’06, IEEE Computer Society Press, 2006, pp. 307–316] we construct a strict domain-theoretic model for the untyped λ-calculus with pattern matching and term rewriting which has the property that a term is strongly normalising if its value is not . There are no disjointness or (...) confluence conditions imposed on the rewrite rules, and under a mild but necessary condition completeness of the method is proven. As an application, we prove strong normalisation for barrecursion in higher types combined with polymorphism and non-deterministic choice. (shrink)

Free logics are a family of first-order logics which came about as a result of examining the existence assumptions of classical logic (Hintikka _The Journal of Philosophy_, _56_, 125–137 1959 ; Lambert _Notre Dame Journal of Formal Logic_, _8_, 133–144 1967, 1997, 2001 ). What those assumptions are varies, but the central ones are that (i) the domain of interpretation is not empty, (ii) every name denotes exactly one object in the domain and (iii) the quantifiers have existential (...) import. Free logics reject the claim that names need to denote in (ii). _Positive_ free logic concedes that some atomic formulas containing non-denoting names (including self-identity) are true, _negative_ free logic treats them as uniformly false, and _neutral_ free logic as taking a third value. There has been a renewed interest in analyzing proof theory of free logic in recent years, based on intuitionistic logic in Maffezioli and Orlandelli (_Bulletin of the Section of Logic_, _48_(2), 137–158 2019 ) as well as classical logic in Pavlović and Gratzl (_Journal of Philosophical Logic_, _50_, 117–148 2021 ), there for the positive and negative variants. While the latter streamlines the presentation of free logics and offers a more unified approach to the variants under consideration, it does not cover neutral free logic, since there is some lack of both clear formal intuitions on the semantic status of formulas with empty names, as well as a satisfying account of the conditional in this context. We discuss extending the results to this third major variant of free logics. We present a series of G3 sequent calculi adapted from Fjellstad (_Studia Logica_, _105_(1), 93–119 2017, _Journal of Applied Non-Classical Logics_, _30_(3), 272–289 2020 ), which possess all the desired structural properties of a good proof system, including admissibility of contraction and all versions of the cut rule. At the same time, we maintain the unified approach to free logics and moreover argue that greater clarity of intuitions is achieved once neutral free logic is conceptualized as consisting of two sub-varieties. (shrink)

For years now, phase-amplitude cross frequency coupling (CFC) has been observed across multiple brain regions under different physiological and pathological conditions. It has been suggested that CFC serves as a mechanism that facilitates communication and information transfer between local and spatially separated neuronal populations. In non-invasive brain computer interfaces (BCI), CFC has not been thoroughly explored. In this work, we propose a CFC estimation method based on Linear Parameter Varying Autoregressive (LPV-AR) models and we assess its performance using both (...) synthetic data and electroencephalographic (EEG) data recorded during attempted arm/hand movements of spinal cord injured (SCI) participants. Our results corroborate the potentiality of CFC as a feature for movement attempt decoding and provide evidence of the superiority of our proposed CFC estimation approach compared to other commonly used techniques. (shrink)

The simplest quantified modal logic combines classical quantification theory with the propositional modal logic K. The models of simple QML relativize predication to possible worlds and treat the quantifier as ranging over a single fixed domain of objects. But this simple QML has features that are objectionable to actualists. By contrast, Kripke-models, with their varying domains and restricted quantifiers, seem to eliminate these features. But in fact, Kripke-models also have features to which actualists object. Though these philosophers have (...) introduced variations on Kripke-models to eliminate their objectionable features, the most well-known variations all have difficulties of their own. The present authors reexamine simple QML and discover that, in addition to having a possibilist interpretation, it has an actualist interpretation as well. By introducing a new sort of existing abstract entity, the contingently nonconcrete, they show that the seeming drawbacks of the simplest QML are not drawbacks at all. Thus, simple QML is independent of certain metaphysical questions. (shrink)

Diffusion models are widely-used and successful accounts of the time course of two-choice decision making. Most diffusion models assume constant boundaries, which are the threshold levels of evidence that must be sampled from a stimulus to reach a decision. We summarize theoretical results from statistics that relate distributions of decisions and response times to diffusion models with time-varying boundaries. We then develop a computational method for finding time-varying boundaries from empirical data, and apply our new method to two (...) problems. The first problem involves finding the time-varying boundaries that make diffusion models equivalent to the alternative sequential sampling class of accumulator models. The second problem involves finding the time-varying boundaries, at the individual level, that best fit empirical data for perceptual stimuli that provide equal evidence for both decision alternatives. We discuss the theoretical and modeling implications of using time-varying boundaries in diffusion models, as well as the limitations and potential of our approach to their inference. (shrink)

The chapter is divided in two parts. The first part gives an introduction to issues in quantified modal logic. We provide an overview of recent work in QML and we presuppose the use of a relational semantics. We discuss models for constant domains, increasing domains and varying domains and present axiomatizations for the corresponding logics. We also discuss philosophical issues related to the interpretation of the quantifiers, terms and identity and we present a first-order quantified intensional logic. A crucial (...) issue in QML is to provide a unified semantic framework capable of accommodating a large class of logical systems including both normal and non-normal systems. The second part of the article focuses on alternatives to the standard relational semantics for modalities deriving from the work of Kripke. In particular we give an overview of recent work in neighborhood semantics and we offer a general completeness result for the class of first order classical modal logics in terms of general frames with constant domains. We also consider some extensions of current work dealing with identity. (shrink)

Psychiatric researchers typically assume that the modelling of psychiatric symptoms is not influenced by psychiatric categories; symptoms are modelled and then grouped into a psychiatric category. I highlight this primarily through analysing research domain criteria. RDoC’s importance makes it worth scrutinizing, and this assessment also serves as a case study with relevance for other areas of psychiatry. RDoC takes inadequacies of existing psychiatric categories as holding back causal investigation. Consequently, RDoC aims to circumnavigate existing psychiatric categories by directly investigating (...) the causal basis of symptoms. The unique methodological approach of RDoC exploits the supposed lack of influence of psychiatric categories on symptom modelling, taking psychiatric symptoms as the same regardless of which psychiatric category is employed or if no psychiatric category is employed. But this supposition is not always true. I will show how psychiatric categories can influence symptom modelling, whereby identical behaviours can be considered as different symptoms based on an individual’s psychiatric diagnosis. If the modelling of symptoms is influenced by psychiatric categories, then psychiatric categories will still play a role, a situation which RDoC researchers explicitly aim to avoid. I discuss four ways RDoC could address this issue. This issue also has important implications for factor analysis, cluster analysis, modifying psychiatric categories, and symptom based approaches. (shrink)

Plotkin suggested using a polymorphic dual intuitionistic/linear type theory as a metalanguage for parametric polymorphism and recursion. In recent work the first two authors and R.L. Petersen have defined a notion of parametric LAPL-structure, which are models of image, in which one can reason using parametricity and, for example, solve a large class of domain equations, as suggested by Plotkin.In this paper, we show how an interpretation of a strict version of Bierman, Pitts and Russo’s language image into synthetic (...) domain theory presented by Simpson and Rosolini gives rise to a parametric LAPL-structure. This adds to the evidence that the notion of LAPL-structure is a general notion, suitable for treating many different parametric models, and it provides formal proofs of consequences of parametricity expected to hold for the interpretation. Finally, we show how these results, in combination with Rosolini and Simpson’s computational adequacy result, can be used to prove consequences of parametricity for image. In particular, we show that one can solve domain equations in image up to ground contextual equivalence. (shrink)

This paper offers a semantic study in multi-relational semantics of quantified N-Monotonic modal logics with varying domains with and without the identity symbol. We identify conditions on frames to characterise Barcan and Ghilardi schemata and present some related completeness results. The characterisation of Barcan schemata in multi-relational frames with varying domains shows the independence of BF and CBF from well-known propositional modal schemata, an independence that does not hold with constant domains. This fact was firstly suggested for classical (...) modal systems by Stolpe, 557–575, 2003), but unfortunately that work used only models and not frames. (shrink)

We analyze the dynamics of repeated interaction of two players in the Prisoner's Dilemma under various levels of interdependency information and propose an instance-based learning cognitive model to explain how cooperation emerges over time. Six hypotheses are tested regarding how a player accounts for an opponent's outcomes: the selfish hypothesis suggests ignoring information about the opponent and utilizing only the player's own outcomes; the extreme fairness hypothesis weighs the player's own and the opponent's outcomes equally; the moderate fairness hypothesis (...) weighs the opponent's outcomes less than the player's own outcomes to various extents; the linear increasing hypothesis increasingly weighs the opponent's outcomes at a constant rate with repeated interactions; the hyperbolic discounting hypothesis increasingly and nonlinearly weighs the opponent's outcomes over time; and the dynamic expectations hypothesis dynamically adjusts the weight a player gives to the opponent's outcomes, according to the gap between the expected and the actual outcomes in each interaction. When players lack explicit feedback about their opponent's choices and outcomes, results are consistent with the selfish hypothesis; however, when this information is made explicit, the best predictions result from the dynamic expectations hypothesis. (shrink)

I build a canonical model for constant domain basic first-order logic (BQLCD), the constant domain first-order extension of Visser’s basic propositional logic, and use the canonical model to verify that BQLCD satisfies the disjunction and existence properties.

Findlay and Lumsden have proposed a model of creative potential which accounts for divergent thinking but not for convergent thinking. This limitation impedes the applicability of the model to scientific creativity, where competence and thus convergent thinking play a fundamental role since the early stages of creation. This limitation is a natural consequence of the fact that Findlay and Lumsden's model is purely intrapsychic. This paper proposes a model of scientists' creative potential which accounts for both (...) divergent and convergent processes. First, drawing from Csikszentmihalyi's and Kuhn's theories, scientists' creative potential is defined as a matching between the cognitive structure and the epistemic and social structure of the domain. Second, based on this sociopsychological definition, an extension of Findlay and Lumsden's model is proposed. The model states that the highest creative potential is achieved by those scientists who deeply understand the core of the domain and still have cognitive power to access, and experiment on many ideas that are not presently included in the domain. The new model is shown to have greater explanatory power than Findlay and Lumsden's model and to include the latter as a limiting case. (shrink)

Growth modelling is of interest to scientists in various disciplines. In our article, we will collect 17 models designed for growth modelling, appraise these models and contribute to the discussion of their applicability. The merit of the paper lies in studying the convergence properties of nonlinear regression in selected models. Our studies will be performed mainly concerning the quality of the obtained estimates, which are closely related to the intrinsic curvature of the model according to Bates and Watts. This (...) curvature determines the size of the linearization domains. Only if the initial solution is in this domain, then the convergence of the estimate in nonlinear regression is guaranteed. The primary goal is to design a methodology for selecting a growth model. We will demonstrate fruitfulness of our methodology on the weight measurements of 10 calves under 25 months of age from cowsheds in the village Záluží in the Czech Republic. Estimated parameters of growth curves, sizes of linearization domain, calculated residues and coefficients of determination indices will be the subject of discussion. (shrink)

In the real world, individual resources are crucial for patients when epidemics outbreak. Thus, the coupled dynamics of resource diffusion and epidemic spreading have been widely investigated when the recovery of diseases significantly depends on the resources from neighbors in static social networks. However, the social relationships of individuals are time-varying, which affects such coupled dynamics. For that, we propose a coupled resource-epidemic dynamic model on a time-varying multiplex network to synchronously simulate the resource diffusion and epidemic (...) spreading in dynamic social networks. The equilibrium analysis of the coupled model is conducted in a general scenario where the resource generation varies between susceptible and infected states and the recovery rate changes between resourceful and noresource states. By using the microscopic Markov chain approach and Monte Carlo simulations, we determine a probabilistic framework of the intralayer and interlayer dynamic processes of the coupled model and obtain the outbreak threshold of epidemic spreading. Meanwhile, the experimental results show the trivially asymmetric interactions between resource diffusion and epidemic spreading. They also indicate that the stronger activity heterogeneity and the larger contact capacity of individuals in the resource layer can more greatly promote resource diffusion, effectively suppressing epidemic spreading. However, these two individual characters in the epidemic layer can cause more resource depletion, which greatly promotes epidemic spreading. Furthermore, we also find that the contact capacity finitely impacts the coupled dynamics of resource diffusion and epidemic spreading. (shrink)

The paper builds on both a simply typed term system ${\cal PR}^\omega$ and a computation model on Scott domains via so-called parallel typed while programs (PTWP). The former provides a notion of partial primitive recursive functional on Scott domains $D_\rho$ supporting a suitable concept of parallelism. Computability on Scott domains seems to entail that Kleene's schema of higher type simultaneous course-of-values recursion (scvr) is not reducible to partial primitive recursion. So extensions ${\cal PR}^{\omega e}$ and PTWP $^e$ are studied (...) that are closed under scvr. The twist are certain type 1 Gödel recursors ${\cal R}_k$ for simultaneous partial primitive recursion. Formally, ${\cal R}_k\vec{g}\vec{H}xi$ denotes a function $f_i \in D_{\iota\to\iota}$ , however, ${\cal R}_k$ is modelled such that $f_i$ is finite, or in other words, a partial sequence. As for PTWP $^e$ , the concept of type $\iota\to\iota$ writable variables is introduced, providing the possibility of creating and manipulating partial sequences. It is shown that the PTWP $^e$ -computable functionals coincide with those definable in ${\cal PR}^{\omega e}$ plus a constant for sequential minimisation. In particular, the functionals definable in ${\cal PR}^{\omega e}$ denoted ${\cal R}^{\omega e}$ can be characterised by a subclass of PTWP $^e$ -computable functionals denoted ${\rm PPR}^{\omega e}$ . Moreover, hierarchies of strictly increasing classes ${\cal R}^{\omega e}_n$ in the style of Heinermann and complexity classes ${\rm PPR}^{\omega e}_n$ are introduced such that $\forall n\ge 0. {\cal R}^{\omega e}_n ={\rm PPR}^{\omega e}_n$ . These results extend those for ${\cal PR}^\omega$ and PTWP [Nig94]. Finally, scvr is employed to define for each type $\sigma$ the enumeration functional $E^\sigma$ of all finite elements of $D_\sigma$. (shrink)

In this paper my goal is to extend my earlier discussion, at least in a preliminary way, to two additional areas – fairness and stealing. In doing so, I will consider whether the existing research is compatible with my Mixed Trait model, or whether instead it gives me reason to be concerned with how broadly applicable the model really is. My conclusion will be that the results are, so to speak, a mixed bag. With respect to fairness research, (...) some careful conceived studies have been done which do in fact provide additional support for my model. But in the area of research of stealing, it will turn out that we are badly in need of new behavioral studies before we can draw any reasonable conclusions about people’s characters in this area. (shrink)

The emphasis on models hasn’t completely eliminated laws from scientific discourse and philosophical discussion. Instead, I want to argue that much of physics lies beyond the strict domain of laws. I shall argue that in important cases the physics, or physical understanding, does not lie either in laws or in their properties, such as universality, consistency and symmetry. I shall argue that the domain of application commonly attributed to laws is too narrow. That is, laws can still play (...) an important, though peculiar, role outside their strict domain of validity. I shall argue also that, by way of a trade-off, while the actual domain of application of laws should be seen as much broader. At the same time, what I call ‘anomic’ representational elements reveal themselves as central to the descriptive and explanatory power of theories and model: boundary conditions, state descriptions, structures, constraints, limits and mechanisms. I conclude with a brief consideration of how my discussion has consequences for discussion of understanding, unification, approximation and dispositional properties. I focus on examples from physics, macroscopic and microscopic, phenomenological and fundametal: shock waves, propagation of cracks, symmetry breaking, and others. This law-eccentric kind of knowledge is central to both modeling the world and intervening in it. (shrink)