A primary criterion on which models of cognition are evaluated is their ability to fit empirical data. To understand the reason why a model yields a good or poor fit, it is necessary to determine the data‐fitting potential (i.e., flexibility) of the model. In the first part of this article, methods for comparing models and studying their flexibility are reviewed, with a focus on parameter space partitioning (PSP), a general‐purpose method for analyzing and comparing all classes of (...) cognitive models. PSP is then demonstrated in the second part of the article in which two connectionist models of speech perception (TRACE and ARTphone) are compared to learn how design differences affect model flexibility. (shrink)

The emergence of macroscopic variables can be effected through coarse graining. Despite practical and fundamental benefits conveyed by this partitioning of state space, the apparently subjective nature of the selection of coarse grains has been considered problematic. We provide objective selection methods, deriving from the existence of relatively slow dynamical time scales. Using a framework for nonequilibrium statistical mechanics developed by us, we show the emergence of both spatial variables and order parameters. Although significant objective criteria are introduced (...) in the coarse graining, we do not provide a unique prescription. Most significantly, the grains, and by implication entropy, are only defined modulo a characteristic time scale of observation. (shrink)

Emotion recognition systems have been of interest to researchers for a long time. Improvement of brain-computer interface systems currently makes EEG-based emotion recognition more attractive. These systems try to develop strategies that are capable of recognizing emotions automatically. There are many approaches due to different features extractions methods for analyzing the EEG signals. Still, Since the brain is supposed to be a nonlinear dynamic system, it seems a nonlinear dynamic analysis tool may yield more convenient results. A novel approach in (...) Symbolic Time Series Analysis for signal phase space partitioning and symbol sequence generating is introduced in this study. Symbolic sequences have been produced by means of spherical partitioning of phase space; then, they have been compared and classified based on the maximum value of a similarity index. Obtaining the automatic independent emotion recognition EEG-based system has always been discussed because of the subject-dependent content of emotion. Here we introduce a subject-independent protocol to solve the generalization problem. To prove our method’s effectiveness, we used the DEAP dataset, and we reached an accuracy of 98.44% for classifying happiness from sadness. It was 93.75% for three, 89.06% for four, and 85% for five emotional groups. According to these results, it is evident that our subject-independent method is more accurate rather than many other methods in different studies. In addition, a subject-independent method has been proposed in this study, which is not considered in most of the studies in this field. (shrink)

This paper proposes a new classification algorithm for the partitioning of a conceptual space. All the algorithms which have been used until now have mostly been based on the theory of Voronoi diagrams. This paper proposes an approach based on potential theory, with the criteria for measuring similarities between objects in the conceptual space being based on the Newtonian potential function. The notion of a fuzzy prototype, which generalizes the previous definition of a prototype, is introduced. Furthermore, (...) the necessary conditions that a natural concept must meet are discussed. Instead of convexity, as proposed by Gärdenfors, the notion of geodesically convex sets is used. Thus, if a concept corresponds to a set which is geodesically convex, it is a natural concept. This definition applies, for example, if the conceptual space is an Euclidean space. As a by-product of the construction of the algorithm, an extension of the conceptual space to d-dimensional Riemannian manifolds is obtained. (shrink)

In the present version of these lecture notes only a number of typos and a few glaring mistakes have been corrected. Thanks to Paul Dekker for his help in this respect. No attempt has been been made to update the original text or to incorporate new insights and approaches. For a more recent overview, see our ‘Questions’ in the Handbook of Logic and Language (edited by Johan van Benthem and Alice ter Meulen, Elsevier, 1997).

Coevolution between two antagonistic species has been widely studied theoretically for both ecologically- and genetically-driven Red Queen dynamics. A typical outcome of these systems is an oscillatory behavior causing an endless series of one species adaptation and others counter-adaptation. More recently, a mathematical model combining a three-species food chain system with an adaptive dynamics approach revealed genetically driven chaotic Red Queen coevolution. In the present article, we analyze this mathematical model mainly focusing on the impact of species rates of evolution (...) (mutation rates) in the dynamics. Firstly, we analytically proof the boundedness of the trajectories of the chaotic attractor. The complexity of the coupling between the dynamical variables is quantified using observability indices. By using symbolic dynamics theory, we quantify the complexity of genetically driven Red Queen chaos computing the topological entropy of existing one-dimensional iterated maps using Markov partitions. Co-dimensional two bifurcation diagrams are also built from the period ordering of the orbits of the maps. Then, we study the predictability of the Red Queen chaos, found in narrow regions of mutation rates. To extend the previous analyses, we also computed the likeliness of finding chaos in a given region of the parameter space varying other model parameters simultaneously. Such analyses allowed us to compute a mean predictability measure for the system in the explored region of the parameter space. We found that genetically driven Red Queen chaos, although being restricted to small regions of the analyzed parameter space, might be highly unpredictable. (shrink)

No attempt has been been made to update the original text or to incorporate new insights and approaches. For a more recent overview, see our ‘Questions’ in the Handbook of Logic and Language (edited by Johan van Benthem and Alice ter Meulen, Elsevier, 1997).

Generalizing model companions from model theory we define companions of pieces of canonical partitions of Polish G-spaces. This unifies several constructions from logic. The central problem of the paper is the existence of companions which form a G-orbit which is a Gδ-set. We describe companions of some typical G-spaces.

Climate has a strong influence on urban planning and also plays a fundamental role in soil composition affecting the character of plants and animals. The climate is a combination of different meteorological factors that characterized a specific region over a specific time. The movement of the Sun and Earth inclination toward it is the most important factors which determine the characteristics of the climate. The global movement of the air from equator toward poles and vice versa influences also drastically the (...) climate change. In this section are also included breezes. Also air relative humidity plays an important role shaping the climate. It plays a very important role in cloud formation. The built environment can influence the urban climate of the city through height, form, and applied building materials. Building form and shape, building materials, openings in the façade, and their orientation often are determined by climate parameters. Urban density, directions, and street network and their shape are related to the climate change, apart from topography. Density of urban structures produces important effects on the microclimatic conditions in external spaces. The bioclimatic behavior of each type of outdoor spaces depends on the relationship with its surrounding elements. The city of Tirana is included in Mediterranean climate characterized by hot dry summers and mild cold wet winters with high daily thermal excursions. All of the countries bordering the Mediterranean Sea benefit from the Mediterranean climate. Specifically spotted, Tirana is part of Mediterranean coastal zone (<22 °C in temperature) with an annual temperature of 15.3 °C. In the inner city can be found areas with high pollution, which normally contain a high percentage of business and industry, settlements, and traffic, so-called “sealed” areas. They constitute “hyperthermic areas” or “heat islands”. The term “heat island” describes built-up areas which are hotter than nearby rural areas. Heat islands can affect communities by increasing summertime peak energy demand, air-conditioning costs, air pollution, greenhouse gas emissions, heat-related illness and mortality, and water quality. The aim of the bioclimatic design is also the reduction of the heat-island phenomenon. The use of materials with different energy absorption capabilities and integration of green spaces into urban life is important. The vegetation effects on microclimate and in the built environment are present. Trees are necessary and indispensable to human life. They provide shelter for us, provide food, and their fibers cloth us. Implementation of the green belts in the city is one of the strategies in order to reduce heat-island effect. Vegetation also can provide a deep feeling of attachment to certain places and trees which are part of it. The use of trees avoids monotony and ensures diversification. They play a crucial role creating microclimates which influence the thermal comfort of people reducing heating or cooling loads. Vegetation also creates cooler microclimates around the building through evapotranspiration, reduces wind speed, regulates humidity, and reduces temperature. It is observed that tree species have a greater influence on humidity than on temperature. Trees can also absorb and reduce the reverberation time of the sound, behaving as sound buffers. The benefits of tree plantation in the inner city are enormous and they can’t be neglected. (shrink)

The purpose of this paper is to show that the mathematics of quantum mechanics is the mathematics of set partitions linearized to vector spaces, particularly in Hilbert spaces. That is, the math of QM is the Hilbert space version of the math to describe objective indefiniteness that at the set level is the math of partitions. The key analytical concepts are definiteness versus indefiniteness, distinctions versus indistinctions, and distinguishability versus indistinguishability. The key machinery to go from indefinite to more (...) definite states is the partition join operation at the set level that prefigures at the quantum level projective measurement as well as the formation of maximally-definite state descriptions by Dirac’s Complete Sets of Commuting Operators. This development is measured quantitatively by logical entropy at the set level and by quantum logical entropy at the quantum level. This follow-the-math approach supports the Literal Interpretation of QM—as advocated by Abner Shimony among others which sees a reality of objective indefiniteness that is quite different from the common sense and classical view of reality as being “definite all the way down”. (shrink)

We consider finite partitions of the closure F¯ of an ωα-uniform barrier F. For each partition, we get a homogeneous set having both the same combinatorial and topological structure as F¯, seen as a subspace of the Cantor space 2N.

Biologists studying short-lived organisms have become aware of the need to recognize an explicit temporal extend of a population over a considerable time. In this article we outline the concept and the realm of populations with explicit spatial and temporary boundaries. We call such populations “temporally bounded populations”. In the concept, time is of the same importance as space in terms of a dimension to which a population is restricted. Two parameters not available for populations that are only spatially (...) defined characterise temporally bounded populations: total population size, which is the total number of individuals present within the temporal borders, and total residence time, which is the sum of the residence times of all individuals. We briefly review methods to estimate these parameters. We illustrate the concept for the large blue butterfly (Maculinea nausithous) and outline insights into ecological and conservation-relevant processes that cannot be gained without the use of the concept. (shrink)

We continue [21] and study partition numbers of partial orderings which are related to /fin. In particular, we investigate Pf, be the suborder of /fin)ω containing only filtered elements, the Mathias partial order M, and , ω the lattice of partitions of ω, respectively. We show that Solomon's inequality holds for M and that it consistently fails for Pf. We show that the partition number of is C. We also show that consistently the distributivity number of ω is smaller than (...) the distributivity number of /fin. We also investigate partitions of a Polish space into closed sets. We show that such a partition either is countable or has size at least D, where D is the dominating number. We also show that the existence of a dominating family of size 1 does not imply that a Polish space can be partitioned into 1 many closed sets. (shrink)

This paper is to investigate the existence and uniqueness of solutions for an integral boundary value problem of new fractional differential equations with a sign-changed parameter in Banach spaces. The main used approach is a recent fixed point theorem of increasing Ψ − h, r -concave operators defined on ordered sets. In addition, we can present a monotone iterative scheme to approximate the unique solution. In the end, two simple examples are given to illustrate our main results.

Classical physics and quantum physics suggest two meta-physical types of reality: the classical notion of a objectively definite reality with properties "all the way down," and the quantum notion of an objectively indefinite type of reality. The problem of interpreting quantum mechanics (QM) is essentially the problem of making sense out of an objectively indefinite reality. These two types of reality can be respectively associated with the two mathematical concepts of subsets and quotient sets (or partitions) which are category-theoretically dual (...) to one another and which are developed in two mathematical logics, the usual Boolean logic of subsets and the more recent logic of partitions. Our sense-making strategy is "follow the math" by showing how the logic and mathematics of set partitions can be transported in a natural way to Hilbert spaces where it yields the mathematical machinery of QM--which shows that the mathematical framework of QM is a type of logical system over ℂ. And then we show how the machinery of QM can be transported the other way down to the set-like vector spaces over ℤ₂ showing how the classical logical finite probability calculus (in a "non-commutative" version) is a type of "quantum mechanics" over ℤ₂, i.e., over sets. In this way, we try to make sense out of objective indefiniteness and thus to interpret quantum mechanics. (shrink)

Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (nonempty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality--which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the idea arises of a dual (...) logic of partitions. That dual logic is described here. Partition logic is at the same mathematical level as subset logic since models for both are constructed from (partitions on or subsets of) arbitrary unstructured sets with no ordering relations, compatibility or accessibility relations, or topologies on the sets. Just as Boole developed logical finite probability theory as a quantitative treatment of subset logic, applying the analogous mathematical steps to partition logic yields a logical notion of entropy so that information theory can be refounded on partition logic. But the biggest application is that when partition logic and the accompanying logical information theory are "lifted" to complex vector spaces, then the mathematical framework of quantum mechanics is obtained. Partition logic models indefiniteness (i.e., numerical attributes on a set become more definite as the inverse-image partition becomes more refined) while subset logic models the definiteness of classical physics (an entity either definitely has a property or definitely does not). Hence partition logic provides the backstory so the old idea of "objective indefiniteness" in QM can be fleshed out to a full interpretation of quantum mechanics. (shrink)

This paper addresses automatic partitioning in complex reinforcement learning tasks with multiple agents, without a priori domain knowledge regarding task structures. Partitioning a state/input space into multiple regions helps to exploit the di erential characteristics of regions and di erential characteristics of agents, thus facilitating learning and reducing the complexity of agents especially when function approximators are used. We develop a method for optimizing the partitioning of the space through experience without the use of a (...) priori domain knowledge. The method is experimentally tested and compared to a number of other algorithms. As expected, we found that the multi-agent method with automatic partitioning outperformed single-agent learning. (shrink)

We investigate the following weak Ramsey property of a cardinal κ: If χ is coloring of nodes of the tree κ <ω by countably many colors, call a tree ${T \subseteq \kappa^{ < \omega}}$ χ-homogeneous if the number of colors on each level of T is finite. Write ${\kappa \rightsquigarrow (\lambda)^{ < \omega}_{\omega}}$ to denote that for any such coloring there is a χ-homogeneous λ-branching tree of height ω. We prove, e.g., that if ${\kappa < \mathfrak{p}}$ or ${\kappa > \mathfrak{d}}$ (...) is regular, then ${{\kappa \rightsquigarrow (\kappa)^{ < \omega}_{\omega}}}$ and that ${\mathfrak{b}}$ ${(\mathfrak{b})^{ < \omega}_{\omega}}$ and ${\mathfrak{d}}$ ${(\mathfrak{d})^{ < \omega}_{\omega}}$ . The arrow is applied to prove a generalization of a theorem of Hurewicz: A Čech-analytic space is σ-locally compact iff it does not contain a closed homeomorphic copy of irrationals. (shrink)

We consider colorings of the pairs of a family \ of topological type \, for \; and we find a homogeneous family \ for each coloring. As a consequence, we complete our study of the partition relation \^2_{l,m}}\) identifying \ as the smallest ordinal space \^2_{l,4}}\).

Classical physics and quantum physics suggest two meta-physical types of reality: the classical notion of a objectively definite reality with properties "all the way down," and the quantum notion of an objectively indefinite type of reality. The problem of interpreting quantum mechanics is essentially the problem of making sense out of an objectively indefinite reality. These two types of reality can be respectively associated with the two mathematical concepts of subsets and quotient sets which are category-theoretically dual to one another (...) and which are developed in two dual mathematical logics, the usual Boolean logic of subsets and the more recent logic of partitions. Our sense-making strategy is "follow the math" by showing how the mathematics of set partitions can be transported in a natural way to complex vector spaces where it yields the mathematical machinery of QM. And then we show how the machinery of QM can be transported the other way down to set-like vector spaces over ℤ₂ yielding a rather fulsome "toy" or pedagogical model of "quantum mechanics over sets." In this way, we try to make sense out of objective indefiniteness and thus to interpret quantum mechanics. (shrink)

Parametric cognitive models are increasingly popular tools for analyzing data obtained from psychological experiments. One of the main goals of such models is to formalize psychological theories using parameters that represent distinct psychological processes. We argue that systematic quantitative reviews of parameter estimates can make an important contribution to robust and cumulative cognitive modeling. Parameter reviews can benefit model development and model assessment by providing valuable information about the expected parameter space, and can facilitate the more (...) efficient design of experiments. Importantly, parameter reviews provide crucial—if not indispensable—information for the specification of informative prior distributions in Bayesian cognitive modeling. From the Bayesian perspective, prior distributions are an integral part of a model, reflecting cumulative theoretical knowledge about plausible values of the model's parameters (Lee,2018). In this paper we illustrate how systematic parameter reviews can be implemented to generate informed prior distributions for the Diffusion Decision Model (DDM; Ratcliff and McKoon,2008), the most widely used model of speeded decision making. We surveyed the published literature on empirical applications of the DDM, extracted the reported parameter estimates, and synthesized this information in the form of prior distributions. Our parameter review establishes a comprehensive reference resource for plausible DDM parameter values in various experimental paradigms that can guide future applications of the model. Based on the challenges we faced during the parameter review, we formulate a set of general and DDM-specific suggestions aiming to increase reproducibility and the information gained from the review process. (shrink)

We present a minimum message length (MML) framework for trajectory partitioning by point selection, and use it to automatically select the tolerance parameter ε for Douglas-Peucker partitioning, adapting to local trajectory complexity. By examining a range of ε for synthetic and real trajectories, it is easy to see that the best ε does vary by trajectory, and that the MML encoding makes sensible choices and is robust against Gaussian noise. We use it to explore the identification of (...) micro-activities within a longer trajectory. This MML metric is comparable to the TRACLUS metric – and shares the constraint of abstracting only by omission of points – but is a true lossless encoding. Such encoding has several theoretical advantages – particularly with very small segments (high frame rates) – but actual performance interacts strongly with the search algorithm. Both differ from unconstrained piecewise linear approximations, including other MML formulations. (shrink)

We study set algebras with an operator (SAO) that satisfy the axioms of S5 knowledge. A necessary and sufficient condition is given for such SAOs that the knowledge operator is defined by a partition of the state space. SAOs are constructed for which the condition fails to hold. We conclude that no logic singles out the partitional SAOs among all SAOs.

Achieving space domain awareness requires the identification, characterization, and tracking of space objects. Storing and leveraging associated space object data for purposes such as hostile threat assessment, object identification, and collision prediction and avoidance present further challenges. Space objects are characterized according to a variety of parameters including their identifiers, design specifications, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, processes, operational statuses, and associated persons, organizations, or nations. The Space Object Ontology (...) provides a consensus-based realist framework for formulating such characterizations in a computable fashion. Space object data are aligned with classes and relations in the Space Object Ontology and stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space domain awareness and the needs of spacecraft operators. This paper presents the core of the Space Object Ontology, discusses its advantages over other approaches to space object classification, and demonstrates its ability to combine diverse sets of data from multiple sources within an expandable framework. Finally, we show how the ontology provides benefits for enhancing and maintaining longterm space domain awareness. (shrink)

This paper focuses on one matter that poses a problem for both human judges and standard probability frameworks, namely the assumption of a unique (privileged) and complete partition of the state-space of possible events. This is tantamount to assuming that we know all possible outcomes or alternatives in advance of making a decision, but it is clear that there are many practical situations in prediction, diagnosis, and decision-making where such partitions are contestable and/or incomplete. The paper begins by surveying (...) the impact of partitions on the choice of priors in formal probabilistic updating frameworks, and on human subjective probability judgements. That material is followed by an overview of strategies for dealing with partition dependence, including considerations of how a rational agent's preferences may determine the choice of a partition. (shrink)

We study set algebras with an operator (SAO) that satisfy the axioms of S5 knowledge. A necessary and sufficient condition is given for such SAOs that the knowledge operator is defined by a partition of the state space. SAOs are constructed for which the condition fails to hold. We conclude that no logic singles out the partitional SAOs among all SAOs.

In American Sign Language (ASL) narratives, signers map conceptualized spaces onto actual spaces around them that can reflect physical, conceptual, and metaphorical relations among entities. Because verb tenses are not attested in ASL, a question arises: How does a signer distinguish utterances about past events from utterances within a present conversational context? In narratives, the story-teller’s past-event utterances move the story along; accompanying these will often be subjective comments on the story, evaluative statements, and the like, that are geared, in (...) the present, to the conversational partner. This usage-based study looks at how the ASL signer integrates past and present spaces in a narrative and specifically, integrates the viewpoints associated with each. Blending past and present spaces, while a conceptual notion, is in ASL played out in utterance structure and also in the fact that signed language articulation takes place in a three-dimensional space upon which both the signer and addressee have embodied, perspectivized views. Past and present conceptual spaces both occupy the physical space of articulation, and so the blends are at once conceptual and perceivable. (shrink)

Cognitive Science, Volume 46, Issue 8, August 2022.

We consider the procedure for small-sample estimation of reliability parameters. The main shortcomings of the classical methods and the Bayesian approach are analyzed. Models that find robust Bayesian estimates are proposed. The sensitivity of the Bayesian estimates to the choice of the prior distribution functions is investigated using models that find upper and lower bounds. The proposed models reduce to optimization problems in the space of distribution functions.

We argue that the robustness analysis of idealized models can have confirmational power. This responds to concerns recently raised in the literature, according to which the robustness analysis of models whose idealizations are not discharged is unable to confirm the causal mechanisms underlying these models, and the robustness analysis of models whose idealizations are discharged is unnecessary. In response, we make clear that, where idealizations sweep out, in a specific way, the space of possibilities— which is sometimes, though not (...) always, the case—they can be holistically discharged. In turn, this can be used to show that the robustness analysis of idealized models can have confirmational force after all. (shrink)

What if gravity satisfied the Klein-Gordon equation? Both particle physics from the 1920s-30s and the 1890s Neumann-Seeliger modification of Newtonian gravity with exponential decay suggest considering a "graviton mass term" for gravity, which is _algebraic_ in the potential. Unlike Nordström's "massless" theory, massive scalar gravity is strictly special relativistic in the sense of being invariant under the Poincaré group but not the 15-parameter Bateman-Cunningham conformal group. It therefore exhibits the whole of Minkowski space-time structure, albeit only indirectly concerning (...) volumes. Massive scalar gravity is plausible in terms of relativistic field theory, while violating most interesting versions of Einstein's principles of general covariance, general relativity, equivalence, and Mach. Geometry is a poor guide to understanding massive scalar gravity: matter sees a conformally flat metric due to universal coupling, but gravity also sees the rest of the flat metric in the mass term. What is the 'true' geometry, one might wonder, in line with Poincaré's modal conventionality argument? Infinitely many theories exhibit this bimetric 'geometry,' all with the total stress-energy's trace as source; thus geometry does not explain the field equations. The irrelevance of the Ehlers-Pirani-Schild construction to a critique of conventionalism becomes evident when multi-geometry theories are contemplated. Much as Seeliger envisaged, the smooth massless limit indicates underdetermination of theories by data between massless and massive scalar gravities---indeed an unconceived alternative. At least one version easily could have been developed before General Relativity; it then would have motivated thinking of Einstein's equations along the lines of Einstein's newly re-appreciated "physical strategy" and particle physics and would have suggested a rivalry from massive spin 2 variants of General Relativity. The Putnam-Grünbaum debate on conventionality is revisited with an emphasis on the broad modal scope of conventionalist views. Massive scalar gravity thus contributes to a historically plausible rational reconstruction of much of 20th-21st century space-time philosophy in the light of particle physics. An appendix reconsiders the Malament-Weatherall-Manchak conformal restriction of conventionality and constructs the 'universal force' influencing the causal structure. Subsequent works will discuss how massive gravity could have provided a template for a more Kant-friendly space-time theory that would have blocked Moritz Schlick's supposed refutation of synthetic _a priori_ knowledge, and how Einstein's false analogy between the Neumann-Seeliger-Einstein modification of Newtonian gravity and the cosmological constant \Lambda generated lasting confusion that obscured massive gravity as a conceptual possibility. (shrink)

Attempts to extend the classical Hausdorff difference hierarchy to the case of partitions of a space to k > 2 subsets lead to non‐equivalent notions. In a hope to identify the “right” extension we consider the extensions appeared in the literature so far: the limit‐, level‐, Boolean and Wadge hierarchies of k ‐partitions. The advantages and disadvantages of the four hierarchies are discussed. The main technical contribution of this paper is a complete characterization of the Wadge degrees of Δ02‐measurable (...) k ‐partitions of the Baire space. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim). (shrink)

Textbooks present classical particle and field physics as theories of physical systems situated in Newtonian absolute space. This absolute space has an influence on the evolution of physical processes, and can therefore be seen as a physical system itself; it is substantival. It turns out to be possible, however, to interpret the classical theories in another way. According to this rival interpretation, spatiotemporal position is a property of physical systems, and there is no substantival spacetime. The traditional objection (...) that such a relationist view could not cope with the existence of inertial effects and other manifestations of the causal efficacy of spacetime can be answered successfully. According to the new point of view, the spacetime manifold of classical physics is a purely representational device. It represents possible locations of physical objects or events; but these locations are physical properties inherent in the physical objects or events themselves and having no existence independently of them. In relativistic quantum field theory the physical meaning of the spacetime manifold becomes even less tangible. Not only does the manifold lose its status as a substantival container, but also its function as a representation of spacetime properties possessed by physical systems becomes problematic. 'Space and time' become ordering parameters in the web of properties of physical systems. They seem to regain their traditional meaning only in the non-relativistic limit in which the classical particle concept becomes approximately applicable. (shrink)

This chapter offers a brief contextualization of the key terms space, territory, and geography. It examines some of Foucault's most well‐known and overt engagements with geography including the heterotopia and spatial partitioning. The chapter explores how Foucault went beyond these concepts to more richly worked geographical analyses in three areas: health, discipline, and governmentality. One of Foucault's most well‐known discussions is the treatment he gives to the panopticon in Discipline and Punish, the architectural principle associated with the English (...) social reformer Jeremy Bentham in the late eighteenth century. Foucault's “spatial combat” is not the hidden key to his work, but rather an aspect that he turned to throughout his life as a tool of analysis in order to think through power/knowledge. (shrink)

We present some techniques in c.c.c. forcing, and apply them to prove consistency results concerning the isomorphism and embeddability relations on the family of ℵ 1 -dense sets of real numbers. In this direction we continue the work of Baumgartner [2] who proved the axiom BA stating that every two ℵ 1 -dense subsets of R are isomorphic, is consistent. We e.g. prove Con). Let K H , be the set of order types of ℵ 1 -dense homogeneous subsets of (...) R with the relation of embeddability. We prove that for every finite model L , : Con iff L is a distributive lattice. We prove that it is consistent that the Magidor-Malitz language is not countably compact. We deal with the consistency of certain topological partition theorems. E.g. We prove that MA is consistent with the axiom OCA which says: “If X is a second countable space of power ℵ 1 , and { U 0 ,\h.;, U n−1 } is a cover of D ▪ X x X -} x,x> ¦ x ϵ X } consisting of symmetric open sets, then X can be partitioned into { X i \brvbar; i ϵ ω } such that for every i ϵ ω there is l such that D ⊇ U l ”. We also prove that MA+OCA [xrArr] 2 ℵ 0 = ℵ 2. (shrink)

To effectively identify network rumors and block their spread, this paper uses fractal theory to analyze a network rumor spreading situation time series, reveal its inner regularity, extract features, and establish a network rumor recognition model. The model is based on an empirical mode decomposition correlation dimension and K-nearest neighbor approach. Firstly, a partition function is used to determine if the time series of the rumor spreading situation is a uniform fractal process. Secondly, the rumor spreading situation is subjected to (...) EMD to obtain a series of intrinsic mode functions, construct the IMF1–IMF6 components containing effective feature information as the principal components, and reconstruct the phase space of the principal components, respectively. Finally, the correlation dimensions of the principal components IMF1–IMF6 as obtained by the Grassberger-Procaccia algorithm are used as feature parameters and are imported into the KNN model for rumor recognition. The experimental results show that the correlation dimension of a spreading situation can better reflect the characteristic information; as combined with the KNN model for identifying rumors, the recognition rate reaches 87.5%. This result verifies the effectiveness of fractal theory in network rumors recognition, expands the thinking for the research of rumors recognition, and provides theoretical support for rumor governance. (shrink)

Dirac's equation is reviewed and found to be based on nonrelativistic ideas of probability. A 4-space formulation is proposed that is completely Lorentzinvariant, using probability distributions in space-time with the particle's proper time as a parameter for the evolution of the wave function. This leads to a new wave equation which implies that the proper mass of a particle is an observable, and is sharp only in stationary states. The model has a built-in arrow of time, which (...) is associated with a restriction to positive-energy solutions. The usual solution for a Coulomb field is retained, though it now implies a slightly different charge distribution. The conventional nonstationary solutions become invalid. The new formulation appears to offer a resolution of difficulties that have been associated with Dirac's equation. It also predicts the occurrence of virtual pairs at a level that may be experimentally testable, and suggests a mechanism for self-cancellation of the vacuum energy. (shrink)