Nominal Cellular Automata

In Proceedings ICE 2016, arXiv:1608.0313

Algorithmic causets

n/

On abstraction: decoupling conceptual concreteness and categorical specificity

Conceptual concreteness and categorical specificity are two continuous variables that allow distinguishing, for example, justice (low concreteness) from banana (high concreteness) and furniture (low specificity) from rocking chair (high specificity). The relation between these two variables is unclear, with some scholars suggesting that they might be highly correlated. In this study, we operationalize both variables and conduct a series of analyses on a sample of > 13,000 nouns, to investigate the relationship between them. Concreteness is operationalized by means of concreteness ratings, and specificity is operationalized as the relative position of the words in the WordNet taxonomy, which proxies this variable in the hypernym semantic relation. Findings from our studies show only a moderate correlation between concreteness and specificity. Moreover, the intersection of the two variables generates four groups of words that seem to denote qualitatively different types of concepts, which are, respectively, highly specific and highly concrete (typical concrete concepts denoting individual nouns), highly specific and highly abstract (among them many words denoting human-born creation and concepts within the social reality domains), highly generic and highly concrete (among which many mass nouns, or uncountable nouns), and highly generic and highly abstract (typical abstract concepts which are likely to be loaded with affective information, as suggested by previous literature). These results suggest that future studies should consider concreteness and specificity as two distinct dimensions of the general phenomenon called abstraction

LOTOSphere:software development with LOTOS

LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, although application of preliminary versions of the language to communication services and protocols of the ISO/OSI family dates back to 1984. This history of the use of LOTOS made it apparent that more advantages than the pure production of standard reference documents were to be expected from the use of such formal description techniques. LOTOSphere: Software Development with LOTOS describes in depth a five year project that moved LOTOS out of the ISO tower into software engineering practice. LOTOS became a vehicle for efficient, yet formally based industrial software specification, design, verification, implementation and testing. LOTOSphere: Software Development with LOTOS is divided into six parts. The first introduces the reader to LOTOS and the project LOTOSphere. The five remaining each treat an important part of the software development life cycle using LOTOS. This is the first book to give a comprehensive treatment of the use of these formal description techniques in a software engineering environment. It will thus be a valuable reference for researchers and software developers and can also be used as a text for an advanced course on the subject

Mass and Isospin Breaking Effects in the Skyrme Model and In Holographic QCD

We discuss how the quark masses and their mass splitting affect the baryons in the Skyrme model as well as the Witten-Sakai-Sugimoto (WSS) model. In both cases, baryons are described by solitonic objects, i.e., Skyrmions and instantons, respectively. After the quantization of their zero modes, the nucleons become quantum states of a rotor. We show how the quark mass affects the moment of inertia and we provide a semianalytic approach valid in the small-mass limit. Additionally, we show how the two lightest quarks’ mass splitting affects the moments of inertia of the Skyrmion and induces an isospin breaking effect. This effect turns out not to be enough to split the degeneracy in the neutron-proton multiplet, but it splits some of the states in the Δ multiplet. Unlike the basic Skyrme model, the WSS model already includes vector mesons and another mechanism to transfer isospin breaking from quark masses to the solitons is known. We compute the splitting of the moment of inertia in the small-mass limit in the WSS model and combine the two effects on the spectrum of baryons, in particular the Δ’s