We present a stronger variation of state MV-algebras, recently presented by T. Flaminio and F. Montagna, which we call state-morphism MV-algebras. Such structures are MV-algebras with an internal notion, a state-morphism operator. We describe the categorical equivalences of such state MV-algebras with the category of unital Abelian ℓ-groups with a fixed state operator and present their basic properties. In addition, in contrast to state MV-algebras, we are able to describe all (...) subdirectly irreducible state-morphism MV-algebras. (shrink)

Recently Flaminio and Montagna (Proceedings of the 5th EUSFLAT Conference, II: 201–206. Ostrava, 2007), (Inter. J. Approx. Reason. 50:138–152, 2009) introduced the notion of a state MV-algebra as an MV-algebra with internal state. We have two kinds: state MV-algebras and state-morphism MV-algebras. These notions were also extended for state BL-algebras in (Soft Comput. doi:10.1007/s00500-010-0571-5). In this paper, we completely describe subdirectly irreducible state-morphism BL-algebras and this generalizes an analogous result for state- (...) class='Hi'>morphism MV-algebras presented in (Ann. Pure Appl. Logic 161:161–173, 2009). (shrink)

The spacetime algebra (STA) is the natural, representation-free language for Dirac's theory of the electron. Conventional Pauli, Dirac, Weyl, and Majorana spinors are replaced by spacetime multivectors, and the quantum σ- and γ-matrices are replaced by two-sided multivector operations. The STA is defined over the reals, and the role of the scalar unit imaginary of quantum mechanics is played by a fixed spacetime bivector. The extension to multiparticle systems involves a separate copy of the STA for each particle, and it (...) is shown that the standard unit imaginary induces correlations between these particle spaces. In the STA, spinors and operators can be manipulated without introducing any matrix representation or coordinate system. Furthermore, the formalism provides simple expressions for the spinor bilinear covariants which dispense with the need for the Fierz identities. A reduction to2+1 dimensions is given, and applications beyond the Dirac theory are discussed. (shrink)

After defining, for each many-sorted signature Σ = (S, Σ), the category Ter ( Σ ), of generalized terms for Σ (which is the dual of the Kleisli category for , the monad in Set S determined by the adjunction from Set S to Alg ( Σ ), the category of Σ -algebras), we assign, to a signature morphism d from Σ to Λ , the functor from Ter ( Σ ) to Ter ( Λ ). Once defined the (...) mappings that assign, respectively, to a many-sorted signature the corresponding category of generalized terms and to a signature morphism the functor between the associated categories of generalized terms, we state that both mappings are actually the components of a pseudo-functor Ter from Sig to the 2-category Cat . Next we prove that there is a functor Tr Σ , of realization of generalized terms as term operations, from Alg ( Σ ) × Ter ( Σ ) to Set , that simultaneously formalizes the procedure of realization of generalized terms and its naturalness (by taking into account the variation of the algebras through the homomorphisms between them). We remark that from this fact we will get the invariance of the relation of satisfaction under signature change. Moreover, we prove that, for each signature morphism d from Σ to Λ , there exists a natural isomorphism θ d from the functor to the functor , both from the category Alg ( Λ ) × Ter ( Σ ) to the category Set , where d * is the value at d of the arrow mapping of a contravariant functor Alg from Sig to Cat , that shows the invariant character of the procedure of realization of generalized terms under signature change. Finally, we construct the many-sorted term institution by combining adequately the above components (and, in a derived way, the many-sorted specification institution), but for a strict generalization of the standard notion of institution. (shrink)

After defining, for each many-sorted signature Σ = (S, Σ), the category Ter(Σ), of generalized terms for Σ (which is the dual of the Kleisli category for $${\mathbb {T}_{\bf \Sigma}}$$, the monad in Set S determined by the adjunction $${{\bf T}_{\bf \Sigma} \dashv {\rm G}_{\bf \Sigma}}$$ from Set S to Alg(Σ), the category of Σ-algebras), we assign, to a signature morphism d from Σ to Λ, the functor $${{\bf d}_\diamond}$$ from Ter(Σ) to Ter(Λ). Once defined the mappings that assign, (...) respectively, to a many-sorted signature the corresponding category of generalized terms and to a signature morphism the functor between the associated categories of generalized terms, we state that both mappings are actually the components of a pseudo-functor Ter from Sig to the 2-category Cat. Next we prove that there is a functor TrΣ, of realization of generalized terms as term operations, from Alg(Σ) × Ter(Σ) to Set, that simultaneously formalizes the procedure of realization of generalized terms and its naturalness (by taking into account the variation of the algebras through the homomorphisms between them). We remark that from this fact we will get the invariance of the relation of satisfaction under signature change. Moreover, we prove that, for each signature morphism d from Σ to Λ, there exists a natural isomorphism θ d from the functor $${{{\rm Tr}^{\bf {\bf \Lambda}} \circ ({\rm Id} \times {\bf d}_\diamond)}}$$ to the functor $${{\rm Tr}^{\bf \Sigma} \circ ({\bf d}^* \times {\rm Id})}$$, both from the category Alg(Λ) × Ter(Σ) to the category Set, where d* is the value at d of the arrow mapping of a contravariant functor Alg from Sig to Cat, that shows the invariant character of the procedure of realization of generalized terms under signature change. Finally, we construct the many-sorted term institution by combining adequately the above components (and, in a derived way, the many-sorted specification institution), but for a strict generalization of the standard notion of institution. (shrink)

A general algebraic system M is considered with two binary operations. The family of all measurable functions with values in the unit interval is a motivating example. A state is a morphism from M to the unit interval, an observable is a morphism from the family of Borel sets to M. A joint distribution of two observables is constructed. It is applied for the construction of the sum of observables and for a representation of conditional probability.

This paper formulates a notion of independence of subobjects of an object in a general (i.e. not necessarily concrete) category. Subobject independence is the categorial generalization of what is known as subsystem independence in the context of algebraic relativistic quantum field theory. The content of subobject independence formulated in this paper is morphism co-possibility: two subobjects of an object will be defined to be independent if any two morphisms on the two subobjects of an object are jointly implementable by (...) a single morphism on the larger object. The paper investigates features of subobject independence in general, and subobject independence in the category of C∗ - algebras with respect to operations (completely positive unit preserving linear maps on C∗ - algebras)as morphisms is suggested as a natural subsystem independence axiom to express relativistic locality of the covariant functor in the categorial approach to quantum field theory. (shrink)

The failure of conventional quantum theory to recognize time as an observable and to admit time operators is addressed. Instead of focusing on the existence of a time operator for a given Hamiltonian, we emphasize the role of the Hamiltonian as the generator of translations in time to construct time states. Taken together, these states constitute what we call a timeline. Such timelines are adequate for the representation of any physical state, and appear to exist even for the (...) semi-bounded and discrete Hamiltonian systems ruled out by Pauli’s theorem. However, the step from a timeline to a valid time operator requires additional assumptions that are not always met. Still, this approach illuminates the issues surrounding the construction of time operators, and establishes timelines as legitimate alternatives to the familiar coordinate and momentum bases of standard quantum theory. (shrink)

The formalism of general probabilistic theories provides a universal paradigm that is suitable for describing various physical systems including classical and quantum ones as particular cases. Contrary to the usual no-restriction hypothesis, the set of accessible meters within a given theory can be limited for different reasons, and this raises a question of what restrictions on meters are operationally relevant. We argue that all operational restrictions must be closed under simulation, where the simulation scheme involves mixing and classical post-processing of (...) meters. We distinguish three classes of such operational restrictions: restrictions on meters originating from restrictions on effects; restrictions on meters that do not restrict the set of effects in any way; and all other restrictions. We fully characterize the first class of restrictions and discuss its connection to convex effect subalgebras. We show that the restrictions belonging to the second class can impose severe physical limitations despite the fact that all effects are accessible, which takes place, e.g., in the unambiguous discrimination of pure quantum states via effectively dichotomic meters. We further demonstrate that there are physically meaningful restrictions that fall into the third class. The presented study of operational restrictions provides a better understanding on how accessible measurements modify general probabilistic theories and quantum theory in particular. (shrink)

Using a comprehensive sample of U.S. non-profit hospitals from 2011 to 2015, we examine the effects of state community benefits regulation on the amount of charity care provided by and the operational efficiency of U.S. non-profit hospitals. First, we document that, under such regulations, non-profit hospitals provide more charity care and less compensated care as a proportion of net revenue. We infer from these findings that CBR has the potential to increase both non-profit hospitals’ amount of charity care and (...) their efficiency of operations. Second, by examining variation in CBR types, we find no differences between having provision or having reporting requirements on the amount of charity care offered. Moreover, when we consider CBR with both provision and reporting requirements, the combination of these two requirements does not incrementally enhance charity care offerings, suggesting that the requirements may serve as substitutes with comparable effect. Lastly, we show that several state-level characteristics influence the relationship between CBR and charity care: CBRs in states with a higher gross domestic product and percentage of revenue received in taxes have incrementally lower associations with charity care, while hospitals in states where populations have, on average, higher household incomes have greater associations between CBR and charity care. Our findings highlight the effects that state-enacted regulation can have on socially beneficial behavior by non-profits. (shrink)

Although several studies propose that the integrity of neuronal assemblies may underlie a phenomenon referred to as awareness, none of the known studies have explicitly investigated dynamics and functional interactions among neuronal assemblies as a function of consciousness expression. In order to address this question EEG operational architectonics analysis (Fingelkurts and Fingelkurts, 2001, 2008) was conducted in patients in minimally conscious (MCS) and vegetative states (VS) to study the dynamics of neuronal assemblies and operational synchrony among them as a function (...) of consciousness expression. We found that in minimally conscious patients and especially in vegetative patients neuronal assemblies got smaller, their life-span shortened and they became highly unstable. Furthermore, we demonstrated that the extent/volume and strength of operational synchrony among neuronal assemblies was smallest or even absent in VS patients, intermediate in MCS patients and highest in healthy fully-conscious subjects. All findings were similarly observed in EEG alpha as well as beta1 and beta2 frequency oscillations. The presented results support the basic tenets of Operational Architectonics theory of brain-mind functioning and suggest that EEG operational architectonics analysis may provide an objective and accurate means of assessing signs of (un)consciousness in patients with severe brain injuries. Therefore this methodological approach may complement the existing “gold standard” of behavioral assessment of this population of challenging patients and inform the diagnostic and treatment decision-making processes. (shrink)

The understanding of the interrelationship between brain and mind remains far from clear. It is well established that the brain's capacity to integrate information from numerous sources forms the basis for cognitive abilities. However, the core unresolved question is how information about the "objective" physical entities of the external world can be integrated, and how unifiedand coherent mental states (or Gestalts) can be established in the internal entities of distributed neuronal systems. The present paper offers a unified methodological and conceptual (...) basis for a possible mechanism of how the transient synchronization of brain operations may construct the unified and relatively stable neural states, which underlie mental states. It was shown that the sequence of metastable spatial EEG mosaics does exist and probably reflects the rapid stabilization periods of the interrelation of large neuron systems. At the EEG level this is reflected in the stabilization of quasi-stationary segments on corresponding channels. Within the introduced framework, physical brain processes and psychological processes are considered as two basic aspects of a single whole informational brain state. The relations between operational process of the brain, mental states and consciousness are discussed. (shrink)

Based on the theoretical analysis of self-consciousness concepts, we hypothesized that the spatio-temporal pattern of functional connectivity within the default-mode network (DMN) should persist unchanged across a variety of different cognitive tasks or acts, thus being task-unrelated. This supposition is in contrast with current understanding that DMN activated when the subjects are resting and deactivated during any attention-demanding cognitive tasks. To test our proposal, we used, in retrospect, the results from our two early studies ([Fingelkurts, 1998] and [Fingelkurts et al., (...) 2003]). In both studies for the majority of experimental trails we indeed found a constellation of operationally synchronized cortical areas (indexed as DMN) that was persistent across all studied experimental conditions in all subjects. Furthermore, we found three major elements comprising this DMN: two symmetrical occipito-parieto-temporal and one frontal spatio-temporal patterns. This new data directly supports the notion that DMN has a specific functional connotation – it provides neurophysiologic basis for self-processing operations, namely first-person perspective taking and an experience of agency. (shrink)

The "object theoretic operational view" suggests a new structure of physical knowledge. This view takes branches of physics as basic units. Its main concepts are primary (PIO) and secondary (SIO) ideal objects with the explicit definition of SIO through PIO and the implicit definition of PIOs within appropriate systems of statements, called a "nucleus of a branch of physics" (NBP). Within an NBP (which has a definite structure) the focus shifts from discovering "laws of nature" to definition of a physical (...) object (system) and its states, and the distinct notion "measurable" replaces the vague notion "observable". On this basis the roles of physical models and measurements within physics, as well as two types (PIO- and SIO- type) of theories, activity, and experiment are discussed, and a different junction of "realism” and "constructivism" is presented. (shrink)

This paper investigates various properties that may by possessed by quantum states, which are believed to be specifically “quantum” and their opposites. It also considers their “absolute” counterparts in the following sense: a given state has a given property absolutely if after an arbitrary unitary transformation it still possesses it. The known relations between the listed properties and between their absolute counterparts are summarized. It is proven that the only two-qubit state that has zero quantum discord absolutely is (...) the maximally mixed state. Finally, related conceptual issues concerning the terms “classical” and “quantum” are discussed. (shrink)

I shall be dealing, throughout this book, with a set of related problems: the relationship between morality and reasoning in general, the way in which moral reasoning is properly to be carried on, and why morality is not arbitrary. The solutions to these problems come out of the same train of argument. Morality is not arbitrary, I shall argue, because the acceptance of certain qualities of character as virtues and the rejection of others as vices is forced on us by (...) the co-operative basis of human life. The co-operation in human life is unavoidable; the alternative is a literal Hobbesian state of nature, and that is impossible. It is not that co-operation between people is a good thing or even a very good thing; it is simply unavoidable in human life, and it is impossible unless the qualities of character counted as virtues are encouraged and are at least fairly common. The possibility of human life presupposes a theory of human nature, and working out that theory of human nature is the main job of moral philosophy. These virtues or qualities of character or attitudes lead us towards a theory of reasons. A person with a sense of justice is a person inclined to accept certain sorts of facts as reasons for acting, and if the virtues are presupposed by human life then the acceptance of those sorts of facts as reasons for acting is presupposed by human life. A condition of the life of reasoning beings (a more accurate term here than 'human beings') is that moral reasons are reasons for acting and are at the very basis of reasoning. And from this it follows that properly conducted moral reasoning is ultimately guided by the virtues rather than ultimately guided by a set of rules. (shrink)

In the October 1937 number of Philosophy of Science Lindsay has made certain criticisms of the adequacy of the “operational method” of analyzing and giving meaning to the concepts of physics, documenting his criticisms chiefly from my own writings. In these criticisms he has made statements as to the method which I would by no means accept. This is not characteristic of his paper only, for I have seldom indeed seen a printed discussion of the method which I would accept (...) as being an adequate or sometimes even fair representation of what I understand by it. It will perhaps pay therefore if I attempt to state what I conceive it to be all about, particularly since I have never attempted such a comprehensive statement and since my own ideas on the subject have been developing since I first wrote in the Logic of Modern Physics. For one reason I have hesitated to do this, for fear of seeming to subscribe to the not uncommon idea that we are dealing with some elaborate and profound new theory of the nature of knowledge or of meaning. I believe that I myself have never talked of “operationalism” or “operationism”, but I have a distaste for these grandiloquent words which imply something more philosophic and esoteric than the simple thing that I see. What we are here concerned with is an observation and description of methods which at least some physicists had already, perhaps unconsciously, adopted and found successful—the practise of the methods already existed. What I have attempted is to analyze these successful methods, not to set up a philosophical system and a theory of the properties that any method must have if it hopes to be successful. Since I was concerned with a technique already extant, my principal method of getting others to see what the technique involved has been to exhibit examples of the technique in action, rather than to attempt any exhaustive characterization of the technique itself. (shrink)

Armstrong holds the Supervenience Theory of instantiation, namely that the instantiation of universals by particulars supervenes upon what particulars and what universals there are, where supervenience is stipulated to be explanatory or dependent supervenience. I begin by rejecting the Supervenience Theory of instantiation. Having done so it is then tempting to take instantiation as primitive. This has, however, an awkward consequence, undermining one of the main advantages universals have over tropes. So I examine another account hinted at by Armstrong. This (...) is the Operator Theory of instantiation, by which I mean the theory that universals are operators, and that a particular instantiates a monadic universal because the universal operates on the particular, resulting in the state of affairs. On this theory the state of affairs supervenes on the instantiation rather than vice versa. In the second part of the paper I develop this theory of universals as operators, including an account of structural universals, which are useful for accounts of modality and of mathematics. (shrink)

United States Army Special Forces who deployed to Iraq in mid-2014, and who were seeking to help Iraqi forces to combat Islamic State faced a considerable challenge: how could a force of fewer than 50 operators provide guidance and support to their Iraqi allies while also keeping in line with Washington’s policy of seeking to avoid any possibility of combat casualties among deployed U.S. Special Forces? Their solution to this dilemma came to be dubbed ‘Remote Advise and Assist’. By (...) cobbling together a system of voice and text communications, cameras, interactive maps and mobile handsets, these Special Forces personnel found they could ‘virtually accompany’ their Iraqi partners into hot zones where U.S. boots on the ground were forbidden. This approach seems to have been extremely successful, but potentially raises a range of ethical concerns. Against the backdrop of a general account of the ethics of employing surrogate forces, this paper explores the ethical questions raised by the practice of ‘Remote Advise and Assist’. (shrink)

Trapezoidal cubic fuzzy numbers (TzCFNs) are an extraordinary cubic fuzzy set on a real number set. TzCFNs are useful for dealing with well-known quantities in decision data and decision making problems themselves. This paper is about multi-attribute group decision making problems in which the attribute values are stated with TzCFNs, which are solved by developing a new decision method based on power average operators of TzCFNs. The new operation laws for TzCFNs are given. Hereby, the power average operator of (...) real numbers is extended to four kinds of power average operators of TzCFNs, involving the power average operator of TzCFNs, the weighted power average operator of TzCFNs, the power ordered weighted average operator of TzCFNs, and the power hybrid average operator of TzCFNs. In the proposed group decision method, the individual overall evaluation values of alternatives are generated by using the power average operator of TzCFNs. Applying the hybrid average operator of TzCFNs, the specific general evaluation standards of alternatives are then combined into the collective ones, which are used to rank the alternatives. The example analysis shows the practicality and effectiveness of the proposed method. (shrink)

Logical frameworks that are sensitive to features of sentences’ subject-matter—like Berto’s topic-sensitive intentional modals (TSIMs)—demand a maximally faithful model of the topics of sentences. This is an especially difficult task in the case in which topics are assigned to intensional formulae. In two previous papers, a framework was developed whose model of intensional subject-matter could accommodate a wider range of intuitions about particular intensional conditionals. Although resolving a number of counterintuitive features, the work made an implicit assumption that the subject-matter (...) of an intensional conditional is a function of the subject-matters of its subformulae. This assumption—which I will call a principle of topic sufficiency—runs counter to some natural intuitions concerning topic. In this paper, we will investigate topic sufficiency and offer a semantic account that is state-sensitive, providing an implementation through the introduction of topic-sensitive logics related to William Parry’s prototypical $\mathsf {PAI}$. (shrink)

Electroencephalogram (EEG) recordings are increasingly used to evaluate patients with disorders of consciousness (DOC) or assess their prognosis outcome in the short-term perspective. However, there is a lack of information concerning the effectiveness of EEG in classifying long-term (many years) outcome in chronic DOC patients. Here we tested whether EEG operational architectonics parameters (geared towards consciousness phenomenon detection rather than neurophysiological processes) could be useful for distinguishing a very long-term (6 years) clinical outcome of DOC patients whose EEGs were registered (...) within 3 months post-injury. The obtained results suggest that EEG recorded at third month after sustaining brain damage, may contain useful information on the long-term outcome of patients in vegetative state: it could discriminate patients who remain in a persistent vegetative state from patients who reach a minimally conscious state or even recover a full consciousness in a long-term perspective (6 years) post-injury. These findings, if confirmed in further studies, may be pivotal for long-term planning of clinical care, rehabilitative programs, medical-legal decisions concerning the patients, and policy makers. (shrink)

Philosophy & Social Criticism, Volume 48, Issue 6, Page 882-903, July 2022. Indigenous conservation through patrimonialization is the product of political and legal decisions made by a non-indigenous agent: the liberal state, using the law to retain a form of bios. We propose that patrimonialization is the device by which liberal states have processed and integrated indigenous claims into a form of bios ultimately designed to safeguard state legal structures. We argue that, to uphold the rule of law (...) in contexts of struggle and resistance that challenge the very understanding of the law, states respond by wielding the law in the form of the rule by law, that is, pushing the law to the limit to give normative content to the criteria by which the state conducts its affairs, without straying from the individual rights framework. We hold that the rule by law is an operation that defines the patrimonialization of indigenous peoples. It increases their visibility while imposing limits on political action to keep them from becoming sui juris subjects capable of breaching the distinction between zoe and bios. In this article, we try to understand the political–ideological intent of these decisions, the intentions beyond the letter of the law of patrimonialized peoples. (shrink)

To improve the safety and the performance of operators involved in risky and demanding missions, human-machine cooperation should be dynamically adapted, in terms of dialogue or function allocation. To support this reconfigurable cooperation, a crucial point is to assess online the operator’s ability to keep performing the mission. The article explores the concept of Operator Functional State, then it proposes to operationalize this concept on the specific activity of drone swarm monitoring, carried out by 22 participants on (...) simulator SUSIE. With the aid of supervised learning methods, physiological and contextual are classified into three classes, corresponding to different levels of OFS. This classification would help for adapting the countermeasures to the situation faced by operators. (shrink)

Some of our beliefs are institutional; that is, beliefs whose content is to a large extent shaped by institutions, such as beliefs about intellectual property, trade policy, or traffic rules. In this chapter, we propose a novel account of institutional beliefs, as we call them. In particular, we argue that institutional beliefs are primarily attributable to social entities, such as groups or collectives, and only secondarily to individual agents. This is because institutional beliefs respond to specific problems that, in principle, (...) only collectives face. However, existing methodology in behavioural science primarily relies on eliciting beliefs through individual choice data, which presents challenges for empirically modelling our proposed concept of institutional beliefs. To address this challenge, we propose to speak of institutional beliefs attributable to individual agents as ‘qua beliefs’. That is, institutional beliefs attributable to individual agents acting qua members of certain institutionally shaped groups. Within this framework, individuals’ qua actions occur in a shared realm of problems that can only be addressed through collective efforts. The relationship between individuals and their groups can be rendered tractable under formalised conditions. Under these conditions, choice data collected from individuals need not obstruct the elicitation of institutional beliefs for empirical study at both the collective and the individual level. We refer to these conditions as “IS conditions”, which are developed based on the synthesis between an interpretationist understanding of mental states and standard models of revealed preference theory as used in experimental economics. For an illustration of how this approach can be operationalised experimentally, we direct our readers to chapter 10 of this volume, where an experimental study applied our account of institutional beliefs. (shrink)

It has been argued that complex subjective sense of self is linked to the brain default-mode network (DMN). Recent discovery of heterogeneity between distinct subnets (or operational modules - OMs) of the DMN leads to a reconceptualization of its role for the experiential sense of self. Considering the recent proposition that the frontal DMN OM is responsible for the first-person perspective and the sense of agency, while the posterior DMN OMs are linked to the continuity of ‘I’ experience (including autobiographical (...) memories) through embodiment and localization within bodily space, we have tested in this study the hypothesis that heterogeneity in the operational synchrony strength within the frontal DMN OM among patients who are in a vegetative state (VS) could inform about a stable self-consciousness recovery later in the course of disease (up to six years post-injury). Using EEG operational synchrony analysis we have demonstrated that among the three OMs of the DMN only the frontal OM showed important heterogeneity in VS patients as a function of later stable clinical outcome. We also found that the frontal DMN OM was characterized by the process of active uncoupling (stronger in persistent VS) of operations performed by the involved neuronal assemblies. (shrink)

Segmentation of post-operative glioblastoma multiforme (GBM) is essential for the planning of Tumor Treating Fields (TTFields) treatment and other clinical applications. Recent methods developed for pre-operative GBM segmentation perform poorly on post-operative GBM MRI scans. In this paper we present a method for the segmentation of GBM in post-operative patients. Our method incorporates an ensemble of segmentation networks and the Kullback–Leibler divergence agreement score in the objective function to estimate the prediction label uncertainty and cope with noisy labels and inter-observer (...) variability. Moreover, our method integrates the surgery type and computes non-tumorous tissue delineation to automatically segment the tumor. We trained and validated our method on a dataset of 340 enhanced T1 MRI scans of patients that were treated with TTFields (270 scans for train and 70 scans for test). For validation, we developed a tool that uses the uncertainty map along with the segmentation result. Our tool allows visualization and fast editing of the tissues to improve the results dependent on user preference. Three physicians reviewed and graded our segmentation and editing tool on 12 different MRI scans. The validation set average (SD) Dice scores were 0.81 (0.11), 0.71 (0.24), 0.64 (0.25), and 0.68 (0.19) for whole-tumor, resection, necrotic-core, and enhancing-tissue, respectively. The physicians rated 72% of the segmented GBMs acceptable for treatment planning or better. Another 22% can be edited manually in a reasonable time to achieve a clinically acceptable result. According to these results, the proposed method for GBM segmentation can be integrated into TTFields treatment planning software in order to shorten the planning process. To conclude, we have extended a state-of-the-art pre-operative GBM segmentation method with surgery-type, anatomical information, and uncertainty visualization to facilitate a clinically viable segmentation of post-operative GBM for TTFields treatment planning. (shrink)

After Adolf Hitler came to power in Germany in January 1933, organized rescue operations in both Europe and the United States were put in place to save European intellectuals before or after their exile. However, it was mostly the brilliant and the productive who were helped in coming to America. From among the victims of Nazism, American foundations and endowments, universities, and research institutions primarily supported those who were viewed as having the greatest potential usefulness for the United States. This (...) chapter discusses the activities of the Rockefeller Foundation, the New School for Social Research, and the Carnegie Endowment for International Peace. (shrink)

Four hundred seventy-six nuclear power plants are in operation or under construction around the world. Are concepts for designing and operating plants safely sufficient? Conventional approaches are premised on expectations of predictability and control of radiation release and on assumptions that plant operations are closed systems. Field observations in the industry find, however, that the periodic necessity to refuel, test safety equipment, and continuously upgrade plant designs introduces challenges to control not originally calculated. The social and cultural contexts of markets, (...) regulation, and work systems create additional contingencies. In this dynamic environment, reactor operations produce invaluable data about the states of the entire technology and organizational system. Rereading these dynamics as "experiments" suggests an alternative epistemol ogy that synthesizes science's values of doubt, discovery, and documentation with engineering's values of efficiency, optimization, and problem solving. This redefines plant-based risk handlers as ethologists, geologists, and anthropologists of an ecology of visible and invisible hazards. (shrink)

In operational quantum mechanics two measurements are called operationally equivalent if they yield the same distribution of outcomes in every quantum state and hence are represented by the same operator. In this paper, I will show that the ontological models for quantum mechanics and, more generally, for any operational theory sensitively depend on which measurement we choose from the class of operationally equivalent measurements, or more precisely, which of the chosen measurements can be performed simultaneously. To this goal, (...) I will take first three examples—a classical theory, the EPR-Bell scenario and the Popescu-Rochlich box; then realize each example by two operationally equivalent but different operational theories—one with a trivial and another with a non-trivial compatibility structure; and finally show that the ontological models for the different theories will be different with respect to their causal structure, contextuality, and fine-tuning. (shrink)

In Ref. 1 we have considered the finite-dimensional quantum mechanics. There the quantum mechanical space of states wasV=C r. It is known that the second quantization of this space is the space of square-summable functions of finite number of variables(L 2(Rr,dx)) (Segal isomorphism). Creation and annihilation operators were introduced in Ref. 1, and the former coincided with the usual position and momentum operators in the conventional quantum mechanics. In this paper we shall investigate the spectral properties of field operators. We (...) shall show that the isomorphism between the exponential ofV andL 2(Rr,dx) can be understood as the decomposition by generalized eigenvectors of field operators (“Fourier transform”). (shrink)

For over four decades, "Introduction to Operations Research" by Frederick Hillier has been the classic text on operations research. While building on the classic strengths of the text, the author continues to find new ways to make the text current and relevant to students. One way is by incorporating a wealth of state-of-the-art, user-friendly software and more coverage of business applications than ever before. The hallmark features of this edition include clear and comprehensive coverage of fundamentals, an extensive set (...) of interesting problems and cases, and state-of-the-practice operations research software used in conjunction with examples from the text. The ninth edition introduces a new partnership with the Institute for Operations Research and Management (INFORMS). These two pillars of the OR world have come together to showcase some of the award-winning applications of operations research and integrate them with this text. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Operating in a Contemporary Safety NetJason D. KeuneIt is summer, and I have just started my fourth year of general surgery residency, having just returned from two years in the lab. My “lab years” were spent as a Scholar–in–Residence of the American College of Surgeons. The scholarship that I engaged in included obtaining an MBA and a Graduate Certificate in Professional Ethics. The ethics component was self–designed with help (...) from an advisor, and was made up of graduate courses in political theory, healthcare financing law and bioethics. To say that I was reflective as I returned to the clinical rotations of the fourth year of residency would be understated.During this two–year period, I did not operate. I did do some clinical work during this time, but there wasn’t anyone in town willing to hire a partially–trained surgeon to do anything operative. I ended my third year of residency very happy with my technical skills, and was not sure just how these skills would survive a two–year hiatus. The challenge, as I thought of it then, would be to return to clinical rotations with this insecurity in mind and try to gain insight into just how rusty my skills were in a short period of time, and rectify them. I was in for a surprise.I felt a chill of trepidation when I discovered that the rotation that had been selected for me to return to was one in which I would be assigned to operate on and care for a low–income population of uninsured or underinsured patients with surgical problems—with minimal attending supervision. The patients were referred from the Federally Qualified Health Centers in town. The rotation had arisen from altruistic roots. The surgical service, provided at a large, academic urban hospital, was established when the city’s last remaining public hospital closed its doors for surgical patients. The service was an upright attempt to provide surgical continuity for this population. As I started the rotation and performed my first surgeries in two years with very minimal supervision, I realized that I would be participatory in what sums to a thoroughly unjust healthcare system. I would be caught in a swirl of humanitarian justice celebrated and a focus on a justice that seemed to fall short of a mark.The indigent hospital itself managed the clinic with a full complement of staff befitting a contemporary surgical clinic, albeit with a rather rudimentary computer system. The recordkeeping mechanism in our surgical office, however, was done without administrative assistance. We occupied a small room amongst the academic surgical offices at our home institution. The chief resident sat at a large [End Page 12] desk, the intern at a smaller desk, and the medical student had a chair and a laptop. The recordkeeping mechanism tracking who needed surgery, who had had surgery, and who needed follow–up on pathology was maintained by all members of the team. It involved one labyrinthine Excel spreadsheet, with multiple tabs, and a complex color–coordinated scheme of organization. The team would scan the entire thing on a daily basis to make sure nothing would be missed.When it came time to schedule a patient for the operating room, it was my responsibility as a chief resident to get an attending to “cover the case”, which amounted to finding an attending who agreed, at the bare minimum, to be present for the “critical portion” of the case. If the case was complex or very difficult, an attending surgeon would have to be sought who would scrub in and help perform the procedure. Not every attending would cover a charity case—the reasons why were not forthcoming. One surgeon would scrub every case he was asked to cover, stating that he felt every patient should have the same chance at the best treatment. Another would come to the room, but sit along the wall and review manuscripts as we operated, there to grant reassurance, and answer questions, but not, presumably, to direct the overall decision–making. All patients with breast cancer were seen, and operated on by one very dedicated breast surgeon with a humanitarian bent.I... (shrink)

A fundamental result from Boolean modal logic states that a first-order definable class of Kripke frames defines a logic that is validated by all of its canonical frames. We generalise this to the level of non-distributive logics that have a relational semantics provided by structures based on polarities. Such structures have associated complete lattices of stable subsets, and these have been used to construct canonical extensions of lattice-based algebras. We study classes of structures that are closed under ultraproducts and whose (...) stable set lattices have additional operators that are first-order definable in the underlying structure. We show that such classes generate varieties of algebras that are closed under canonical extensions. The proof makes use of a relationship between canonical extensions and MacNeille completions. (shrink)

This essay argues that there are theoretical benefits to keeping distinct—more pervasively than the literature has done so far—the psychological states of imagining that p versus believing that in-the-story p, when it comes to cognition of fiction and other forms of narrative. Positing both in the minds of a story’s audience helps explain the full range of reactions characteristic of story consumption. This distinction also has interesting conceptual and explanatory dimensions that haven’t been carefully observed, and the two mental (...) class='Hi'>state types make distinct contributions to generating emotional responses to stories. Finally, the differences between the mental states illuminate how a given story can be both shared with others and at the same time experienced as personal. (shrink)

We propose the Selfish Goal model, which holds that a person's behavior is driven by psychological processes called goals that guide his or her behavior, at times in contradictory directions. Goals can operate both consciously and unconsciously, and when activated they can trigger downstream effects on a person's information processing and behavioral possibilities that promote only the attainment of goal end-states (and not necessarily the overall interests of the individual). Hence, goals influence a person as if the goals themselves were (...) selfish and interested only in their own completion. We argue that there is an evolutionary basis to believe that conscious goals evolved from unconscious and selfish forms of pursuit. This theoretical framework predicts the existence of unconscious goal processes capable of guiding behavior in the absence of conscious awareness and control (theautomaticity principle), the ability of the most motivating or active goal to constrain a person's information processing and behavior toward successful completion of that goal (thereconfiguration principle), structural similarities between conscious and unconscious goal pursuit (thesimilarity principle), and goal influences that produce apparent inconsistencies or counterintuitive behaviors in a person's behavior extended over time (theinconsistency principle). Thus, we argue that a person's behaviors are indirectly selected at the goal level but expressed (and comprehended) at the individual level. (shrink)

While peacekeeping operations have always been heavily dependent on host-state support and international political backing, changes in the global geopolitical and technological landscapes have presented new forms of state interference intended to influence, undermine, and impair the activities of missions on the ground. Emerging parallel security actors, notably the Wagner Group, have cast themselves as directly or implicitly in competition with the security guarantee provided by peacekeepers, while the proliferation of mis- and disinformation and growing cybersecurity vulnerabilities present (...) novel challenges for missions’ relationships with host states and populations, operational security, and the protection of staff and their local sources. Together, these trends undermine missions’ efforts to protect civilians, operate safely, and implement long-term political settlements. This essay analyzes these trends and the dilemmas they present for in-country UN officials attempting to induce respect for international norms and implement their mandates. It describes nascent strategies taken by missions to maintain their impartiality, communicate effectively, and maintain the trust of those they are charged with protecting, and highlights early good practices for monitoring and analyzing this new operation environment, for reporting on and promoting human rights, and for operating safely. (shrink)

Several authors have investigated the question of whether canonical logic-based accounts of belief revision, and especially the theory of AGM revision operators, are compatible with the dynamics of Bayesian conditioning. Here we show that Leitgeb's stability rule for acceptance, which has been offered as a possible solution to the Lottery paradox, allows to bridge AGM revision and Bayesian update: using the stability rule, we prove that AGM revision operators emerge from Bayesian conditioning by an application of the principle of maximum (...) entropy. In situations of information loss, or whenever the agent relies on a qualitative description of her information state - such as a plausibility ranking over hypotheses, or a belief set - the dynamics of AGM belief revision are compatible with Bayesian conditioning; indeed, through the maximum entropy principle, conditioning naturally generated AGM revision operators. This mitigates an impossibility theorem of Lin and Kelly for tracking Bayesian conditioning with AGM revision, and suggests an approach to the compatibility problem that highlights the information loss incurred by acceptance rules in passing from probabilistic to qualitative representations of beliefs. (shrink)

Motivated by a recent proof of free choices in linking equations to the experiments they describe, I clarify some relations among purely mathematical entities featured in quantum mechanics (probabilities, density operators, partial traces, and operator-valued measures), thereby allowing applications of these entities to the modeling of a wider variety of physical situations. I relate conditional probabilities associated with projection-valued measures to conditional density operators identical, in some cases but not in others, to the usual reduced density operators. While a (...) fatal obstacle precludes associating conditional density operators with general non-projective measures, tensor products of general positive operator-valued measures (POVMs) are associated with conditional density operators. This association together with the free choice of probe particles allows a postulate of state reductions to be replaced by a theorem. An application shows an equivalence between one form of quantum key distribution and another with respect to certain eavesdropping attacks. (shrink)

Long viewed as an example of effective multilateralism, UN peace operations are facing mounting challenges. Transformations in the landscape of conflict are outpacing their ability to respond. Rising expectations of peacekeeping have led to disenchantment with what they can deliver, while dis- and misinformation tactics undermine the efforts of the UN to make and build peace. As UN peace operations risk becoming another casualty of intensifying international tensions, great power rivalry, and the erosion of the rules and norms that govern (...) international cooperation, we consider the future of UN peace operations. In the debate between a “pragmatic” and an “adaptive” approach to peacekeeping, we argue that a fundamental question is the ability of both alternatives to address three recurring issues that have shaped the effectiveness and legitimacy of peace operations: the mismatch between ambitious mandates and limited resources; the gap between the protection of civilians objective and its implementation in practice; and growing difficulties in honoring the principles of impartiality. We argue that policymakers and researchers should not lose sight of the fact that peacekeeping's legitimacy depends on its adherence to some version of host-state consent and some kind of restriction on when and how force is used. The expectation of civilian populations that the UN stands for protection also means that the UN must continue to safeguard some key norms associated with peacekeeping. (shrink)

The modal interpretation of quantum mechanics allows one to keep the standard classical definition of realism intact. That is, variables have a definite status for all time and a measurement only tells us which value it had. However, at present modal dynamics are only applicable to situations that are described in the orthodox theory by projective measures. In this paper we extend modal dynamics to include positive operator measures. That is, for example, rather than using a complete set of (...) orthogonal projectors, we can use an overcomplete set of nonorthogonal projectors. We derive the conditions under which Bell's stochastic modal dynamics for projective measures reduce to deterministic dynamics, showing that Brown and Hiley's generalization of Bohmian mechanics [quant-ph/0005026, ] cannot be thus derived. We then show how deterministic dynamics for positive operators can also be derived. As a simple case, we consider a Harmonic oscillator, and the overcomplete set of coherent state projectors. We show that the modal dynamics for this POM in the classical limit correspond to the classical dynamics, even for the nonclassical number state |n>. This is in contrast to the Bohmian dynamics, which for energy eigenstates, the dynamics are always non-classical. (shrink)

A theory is usually said to be time reversible if whenever a sequence of states S 1 , S 2 , S 3 is possible according to that theory, then the reverse sequence of time reversed states S 3 T , S 2 T , S 1 T is also possible according to that theory; i.e., one normally not only inverts the sequence of states, but also operates on the states with a time reversal operator T . David Albert (...) and Paul Horwich have suggested that one should not allow such time reversal operations T on states. I will argue that time reversal operations on fundamental states should be allowed. I will furthermore argue that the form that time reversal operations take is determined by the type of fundamental geometric quantities that occur in nature and that we have good reason to believe that the fundamental geometric quantities that occur in nature correspond to irreducible representations of the Lorentz transformations. Finally, I will argue that we have good reason to believe that space-time has a temporal orientation. (shrink)

I argue that ‘actually’ does not have a reading according to which it is synonymous with the actuality operator of modal logic, and propose an alternative account of ‘actually’. The cases that have been thought to show that ‘actually’ is synonymous with the actuality operator are modal and counterfactual sentences in which an embedded clause's evaluation is held fixed at the world of the context. In these cases, though, this embedded clause's evaluation is not due to the presence (...) of ‘actually’. As an alternative, I propose that ‘actually’ is a presupposition trigger along the lines of ‘even’ or ‘too’, and it signals that presupposed information states in the discourse are evolving in a non-standard way. (shrink)

We discuss a generalization of the standard notion of probability space and show that the emerging framework, to be called operational probability theory, can be considered as underlying quantal theories. The proposed framework makes special reference to the convex structure of states and to a family of observables which is wider than the familiar set of random variables: it appears as an alternative to the known algebraic approach to quantum probability.

A theory is usually said to be time reversible if whenever a sequence of states S 1, S 2, S 3 is possible according to that theory, then the reverse sequence of time reversed states S 3 T, S 2 T, S 1 T is also possible according to that theory; i.e., one normally not only inverts the sequence of states, but also operates on the states with a time reversal operator T. David Albert and Paul Horwich have suggested (...) that one should not allow such time reversal operations T on states. I will argue that time reversal operations on fundamental states should be allowed. I will furthermore argue that the form that time reversal operations take is determined by the type of fundamental geometric quantities that occur in nature and that we have good reason to believe that the fundamental geometric quantities that occur in nature correspond to irreducible representations of the Lorentz transformations. Finally, I will argue that we have good reason to believe that space-time has a temporal orientation. (shrink)

Two operations, e.g. measurements, successively applied to the state of a system are said to be non-commutative if the sequence of their application makes a difference for the final result. Non-commuting operations play a crucial role in quantum theory, where they are intimately related to concepts as central as those of complementarity and entanglement. However, their significance is not restricted to the small dimensions of the microworld. For reasons easy to understand, non-commuting operations must be expected to be the (...) rule rather than the exception for operations on mental systems. We demonstrate this with a few examples from our own work, and hope this may contribute to the increasing attention that this exciting new area in consciousness studies is currently attracting worldwide. (shrink)

So-called ‘reified temporal logics’ were introduced by researchers in Artificial Intelligence (AI) in the early 1980s, and gave rise to a long-running series of debates concerning the proper way to represent states, events, causation, action, and other notions identified as crucial to the knowledge representation needs of AI. These debates never resulted in a definitive resolution of the issues under discussion, and indeed continue to produce aftershocks to the present day; none the less, we are now sufficiently far removed in (...) time from their heyday for it to be a worthwhile exercise to stand back and review them as a connected piece of history. (shrink)