Search results for "TPR"
showing 10 items of 911 documents
Extracting Formal Models from Normative Texts
2016
Normative texts are documents based on the deontic notions of obligation, permission, and prohibition. Our goal is model such texts using the C-O Diagram formalism, making them amenable to formal analysis, in particular verifying that a text satisfies properties concerning causality of actions and timing constraints. We present an experimental, semi-automatic aid to bridge the gap between a normative text and its formal representation. Our approach uses dependency trees combined with our own rules and heuristics for extracting the relevant components. The resulting tabular data can then be converted into a C-O Diagram.
GW170817: Implications for the Stochastic Gravitational-Wave Background from Compact Binary Coalescences
2018
The LIGO Scientific and Virgo Collaborations have announced the first detection of gravitational waves from the coalescence of two neutron stars. The merger rate of binary neutron stars estimated from this event suggests that distant, unresolvable binary neutron stars create a significant astrophysical stochastic gravitational-wave background. The binary neutron star background will add to the background from binary black holes, increasing the amplitude of the total astrophysical background relative to previous expectations. In the Advanced LIGO-Virgo frequency band most sensitive to stochastic backgrounds (near 25 Hz), we predict a total astrophysical background with amplitude $\Omega_{\rm…
Behind the Digital
2019
Fraschini gives a critical and interrogative view to digital design. He righly dwells much upon the tactile aspect of architecture. His reflections are grounded on Mario Carpo studies and very importantly he traces the idea of footprint as ground stone for architectural design.
Rapid evaluation of ammonium in different rain events minimizing needed volume by a cost-effective and sustainable PDMS supported solid sensor.
2020
Abstract The presence of ammonium ion in rainwater is due to atmospheric processes which involve its scavenging from gas phase and particulate matter. The fractionated samplings of rainwater can provide information about these processes and their potential sources. However, only a low sample volume may be available, which constrained the analysis in general and more particularly in situ mode. For minimizing this limitation, this work proposes a polydimethylsiloxane (PDMS)-salicylate sensor that produces a color change. The embedding of solid reagents into PDMS was optimized. Good analytical characteristics (analysis time of 10 min, sample volume of 500 μL, limit of detection 0.03 μgmL−1) we…
Activities using blackboard, pens and paper
1998
Dictogloss Language Listening comprehension Level Elementary upwards Age Any This is a well established dictation-based activity which helps to develop conscious listening skills in addition to an awareness of phrase and sentence structures. Procedure Choose a sentence suitable for the level of the class. This might be a sentence from a coursebook, but if so, make sure it is one which is not yet familiar to your students. An example sentence is given below. Tell the class that you will read this sentence to them once only. They should write down the key words as you read. You should not have to repeat the sentence, but with a large class you might like to read it once at the front of the ro…
Measurement of the inelastic proton-proton cross-section at √s = 7 TeV with the ATLAS detector
2011
The dependence of the rate of proton–proton interactions on the centre-of-mass collision energy, √s, is of fundamental importance for both hadron collider physics and particle astrophysics. The dependence cannot yet be calculated from first principles; therefore, experimental measurements are needed. Here we present the first measurement of the inelastic proton–proton interaction cross-section at a centre-of-mass energy, √s, of 7 TeV using the ATLAS detector at the Large Hadron Collider. Events are selected by requiring hits on scintillation counters mounted in the forward region of the detector. An inelastic cross-section of 60.3±2.1 mb is measured for ξ>5×10[superscript −6], where ξ is ca…
Une expérience professionnelle à l'étranger est-elle payante en début de carrière pour les diplômés de l'enseignement supérieur ? (Note de recherche)
2008
09030 - http://remi.revues.org/index4823.html
Regular Varieties of Automata and Coequations
2015
In this paper we use a duality result between equations and coequations for automata, proved by Ballester-Bolinches, Cosme-Ll´opez, and Rutten to characterize nonempty classes of deterministic automata that are closed under products, subautomata, homomorphic images, and sums. One characterization is as classes of automata defined by regular equations and the second one is as classes of automata satisfying sets of coequations called varieties of languages. We show how our results are related to Birkhoff’s theorem for regular varieties.
A note on Taskinen's counterexamples on the problem of topologies of Grothendieck
1989
By the work of Taskinen (see [4, 5]), we know that there is a Fréchet space E such that Lb(E, l2) is not a (DF)-space. Moreover there is a Fréchet–Montel space F such that is not (DF). In this second example, the duality theorem of Buchwalter (cf. [2, §45.3]) can be applied to obtain that and hence is a (gDF)-space (cf. [1, Ch. 12 or 3, Ch. 8]). The (gDF)-spaces were introduced by several authors to extend the (DF)-spaces of Grothendieck and to provide an adequate frame to consider strict topologies.
Varieties and Covarieties of Languages (Extended Abstract)
2013
AbstractBecause of the isomorphism (X×A)→X≅X→(A→X), the transition structure of a deterministic automaton with state set X and with inputs from an alphabet A can be viewed both as an algebra and as a coalgebra. This algebra-coalgebra duality goes back to Arbib and Manes, who formulated it as a duality between reachability and observability, and is ultimately based on Kalmanʼs duality in systems theory between controllability and observability. Recently, it was used to give a new proof of Brzozowskiʼs minimization algorithm for deterministic automata. Here we will use the algebra-coalgebra duality of automata as a common perspective for the study of both varieties and covarieties, which are …