Search results for " Formal"
showing 10 items of 273 documents
Spatiality for formal topologies
2007
We define what it means for a formal topology to be spatial, and investigate properties related to spatiality both in general and in examples.
Tradizione e innovazione:un confronto per il progetto
2012
Decodificare e reinterpretare in chiave contemporanea i segni che la storia ci ha lasciato è fondamentale per la costruzione del nostro futuro. L’identità culturale di un determinato luogo va sempre ritrovata ed esaltata attraverso l’architettura, cercando sempre di lavorare sui rapporti che intercorrono tra forma, funzione e progetto. Il processo interpretativo è alla base di ogni ipotesi progettuale che desidera mantenere la definizione dell’oggettività culturale di un contesto storico, non tanto in termini estetici, quanto nei significati e negli attributi critici.
Quantum Entanglement and the Issue of Selective Influences in Psychology: An Overview
2012
Similar formalisms have been independently developed in psychology, to deal with the issue of selective influences (deciding which of several experimental manipulations selectively influences each of several, generally non-independent, response variables), and in quantum mechanics (QM), to deal with the EPR entanglement phenomena (deciding whether an EPR experiment allows for a "classical" account). The parallels between these problems are established by observing that any two noncommuting measurements in QM are mutually exclusive and can therefore be treated as analogs of different values of one and the same input. Both problems reduce to that of the existence of a jointly distributed syst…
Formations of finite monoids and formal languages: Eilenberg’s variety theorem revisited
2014
International audience; We present an extension of Eilenberg's variety theorem, a well-known result connecting algebra to formal languages. We prove that there is a bijective correspondence between formations of finite monoids and certain classes of languages, the formations of languages. Our result permits to treat classes of finite monoids which are not necessarily closed under taking submonoids, contrary to the original theory. We also prove a similar result for ordered monoids.; Nous présentons une extension du théorème des variétés d'Eilenberg, un résultat célèbre reliant l'algèbre à la théorie des langages formels. Nous montrons qu'il existe une correspondance bijective entre les form…
A characterization of regular circular languages generated by marked splicing systems
2009
AbstractSplicing systems are generative devices of formal languages, introduced by Head in 1987 to model biological phenomena on linear and circular DNA molecules. A splicing system is defined by giving an initial set I and a set R of rules. Some unanswered questions are related to the computational power of circular splicing systems. In particular, a still open question is to find a characterization of circular languages generated by finite circular splicing systems (i.e., circular splicing systems with both I and R finite sets). In this paper we introduce a special class of the latter systems named marked systems. We prove that a marked system S generates a regular circular language if an…
Quantum collision models: Open system dynamics from repeated interactions
2022
We present an extensive introduction to quantum collision models (CMs), also known as repeated interactions schemes: a class of microscopic system-bath models for investigating open quantum systems dynamics whose use is currently spreading in a number of research areas. Through dedicated sections and a pedagogical approach, we discuss the CMs definition and general properties, their use for the derivation of master equations, their connection with quantum trajectories, their application in non-equilibrium quantum thermodynamics, their non-Markovian generalizations, their emergence from conventional system-bath microscopic models and link to the input-output formalism. The state of the art o…
Collision models in quantum optics
2017
AbstractQuantum collision models (CMs) provide advantageous case studies for investigating major issues in open quantum systems theory, and especially quantum non-Markovianity. After reviewing their general definition and distinctive features, we illustrate the emergence of a CM in a familiar quantum optics scenario. This task is carried out by highlighting the close connection between the well-known input-output formalism and CMs. Within this quantum optics framework, usual assumptions in the CMs’ literature - such as considering a bath of noninteracting yet initially correlated ancillas - have a clear physical origin.
Single inclusive forward hadron production at next-to-leading order
2016
We discuss single inclusive hadron production from a high energy quark scattering off a strong target color field in the Color Glass Condensate formalism. Recent calculations of this process at the next-to-leading order accuracy have led to negative cross sections at large transverse momenta. We identify the origin of this problem as an oversubtraction of the rapidity divergence into the Balitsky-Kovchegov evolution equation for the target. We propose a new way to implement the kinematical restriction on the emitted gluons to overcome this difficulty.
On some aspects of Borel-Moore homology in motivic homotopy : weight and Quillen’s G-theory
2016
The theme of this thesis is different aspects of Borel-Moore theory in the world of motives. Classically, over the field of complex numbers, Borel-Moore homology, also called “homology with compact support”, has some properties quite different from singular homology. In this thesis we study some generalizations and applications of this theory in triangulated categories of motives.The thesis is composed of two parts. In the first part we define Borel-Moore motivic homology in the triangulated categories of mixed motives defined by Cisinski and Déglise and study its various functorial properties, especially a functoriality similar to the refined Gysin morphism defined by Fulton. These results…
Research in disaster settings: a systematic qualitative review of ethical guidelines
2016
Background Conducting research during or in the aftermath of disasters poses many specific practical and ethical challenges. This is particularly the case with research involving human subjects. The extraordinary circumstances of research conducted in disaster settings require appropriate regulations to ensure the protection of human participants. The goal of this study is to systematically and qualitatively review the existing ethical guidelines for disaster research by using the constant comparative method (CCM). Methods We performed a systematic qualitative review of disaster research ethics guidelines to collect and compare existing regulations. Guidelines were identified by a three-tie…