The play's the thing

For very understandable reasons phenomenological approaches predominate in the field of sensory urbanism. This paper does not seek to add to that particular discourse. Rather it takes Rorty’s postmodernized Pragmatism as its starting point and develops a position on the role of multi-modal design representation in the design process as a means of admitting many voices and managing multidisciplinary collaboration. This paper will interrogate some of the concepts underpinning the Sensory Urbanism project to help define the scope of interest in multi-modal representations. It will then explore a range of techniques and approaches developed by artists and designers during the past fifty years or so and comment on how they might inform the question of multi-modal representation. In conclusion I will argue that we should develop a heterogeneous tool kit that adopts, adapts and re-invents existing methods because this will better serve our purposes during the exploratory phase(s) of any design project that deals with complexity

Existential witness extraction in classical realizability and via a negative translation

We show how to extract existential witnesses from classical proofs using Krivine's classical realizability---where classical proofs are interpreted as lambda-terms with the call/cc control operator. We first recall the basic framework of classical realizability (in classical second-order arithmetic) and show how to extend it with primitive numerals for faster computations. Then we show how to perform witness extraction in this framework, by discussing several techniques depending on the shape of the existential formula. In particular, we show that in the Sigma01-case, Krivine's witness extraction method reduces to Friedman's through a well-suited negative translation to intuitionistic second-order arithmetic. Finally we discuss the advantages of using call/cc rather than a negative translation, especially from the point of view of an implementation.Comment: 52 pages. Accepted in Logical Methods for Computer Science (LMCS), 201

Observation of the lowest energy gamma-ray in any superdeformed nucleus : 196Bi

New results on the superdeformed $^{196}$Bi nucleus a re reported. We have observed with the EUROBALL IV $\gamma$-ray spectrometer array a superdeformed trans ition of 124 keV which is the lowest observed energy $\gamma$-ray in any superdeformed nucleus. We have de velopped microscopic cranked Hartree-Fock-Bogoliubov calculations using the SLy4 effective force and a realistic surface p airing which strongly support the $K^\pi=2^-$($\pi$[651]1/2$\otimes \nu$[752]5/2) assignment of this su perdeformed band

Confluence of CHR Revisited:Invariants and Modulo Equivalence

Abstract simulation of one transition system by another is introduced as a means to simulate a potentially infinite class of similar transition sequences within a single transition sequence. This is useful for proving confluence under invariants of a given system, as it may reduce the number of proof cases to consider from infinity to a finite number. The classical confluence results for Constraint Handling Rules (CHR) can be explained in this way, using CHR as a simulation of itself. Using an abstract simulation based on a ground representation, we extend these results to include confluence under invariant and modulo equivalence, which have not been done in a satisfactory way before.Comment: Pre-proceedings paper presented at the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018), Frankfurt am Main, Germany, 4-6 September 2018 (arXiv:1808.03326

Управління виробничими запасами на підприємстві (на матеріалах ПрАТ «Детвілер Ущільнюючі Технології України»)

. The second-order matching problem is the problem of determining, for a finite set {#t i , s i # | i # I} of pairs of a second-order term t i and a first-order closed term s i , called a matching expression, whether or not there exists a substitution # such that t i # = s i for each i # I . It is well-known that the second-order matching problem is NP-complete. In this paper, we introduce the following restrictions of a matching expression: k-ary, k-fv , predicate, ground , and function-free. Then, we show that the second-order matching problem is NP-complete for a unary predicate, a unary ground, a ternary function-free predicate, a binary function-free ground, and an 1-fv predicate matching expressions, while it is solvable in polynomial time for a binary function-free predicate, a unary function-free, a k-fv function-free (k # 0), and a ground predicate matching expressions. 1 Introduction The unification problem is the problem of determining whether or not any two ter..

Clusters in Light Nuclei

A great deal of research work has been undertaken in the alpha-clustering study since the pioneering discovery, half a century ago, of 12C+12C molecular resonances. Our knowledge of the field of the physics of nuclear molecules has increased considerably and nuclear clustering remains one of the most fruitful domains of nuclear physics, facing some of the greatest challenges and opportunities in the years ahead. In this work, the occurence of "exotic" shapes in light N=Z alpha-like nuclei is investigated. Various approaches of superdeformed and hyperdeformed bands associated with quasimolecular resonant structures are presented. Results on clustering aspects are also discussed for light neutron-rich Oxygen isotopes.Comment: 12 pages, 5 figures. Invited Talk presented by C. Beck at the Zakopane Conference on Nuclear Physics "Extremes of the Nuclear Landscape" XLV in the series of Zakopane Schools of Physics - International Symposium - Zakopane, Poland, August 30 - September 5, 2010.To be publihed in Acta Physica Polonica B42 no 3, March 201

Search for Fingerprints of Tetrahedral Symmetry in 156Gd^{156}Gd

Theoretical predictions suggest the presence of tetrahedral symmetry as an explanation for the vanishing intra-band E2-transitions at the bottom of the odd-spin negative parity band in $^{156}Gd$. The present study reports on experiment performed to address this phenomenon. It allowed to determine the intra-band E2 transitions and branching ratios B(E2)/B(E1) of two of the negative-parity bands in $^{156}Gd$.Comment: presented by Q.T. Doan at XLII Zakopane School of Physics: Breaking Frontiers: Submicron Structures in Physics and Biology, May 2008. 5 pages, minor corrections. To be published in the proceeding

Understanding the regulation of aspartate metabolism using a model based on measured kinetic parameters

The aspartate-derived amino-acid pathway from plants is well suited for analysing the function of the allosteric network of interactions in branched pathways. For this purpose, a detailed kinetic model of the system in the plant model Arabidopsis was constructed on the basis of in vitro kinetic measurements. The data, assembled into a mathematical model, reproduce in vivo measurements and also provide non-intuitive predictions. A crucial result is the identification of allosteric interactions whose function is not to couple demand and supply but to maintain a high independence between fluxes in competing pathways. In addition, the model shows that enzyme isoforms are not functionally redundant, because they contribute unequally to the flux and its regulation. Another result is the identification of the threonine concentration as the most sensitive variable in the system, suggesting a regulatory role for threonine at a higher level of integration