Search results for "dab"
showing 10 items of 1280 documents
Fair Planning and Affordability Housing in Urban Policy. The Case of Syracuse (Italy)
2016
Equalization can be implemented in the planning process by means of several tools. The Syracuse’s Master Plan has used “urban negotiation” to obtain land for facilities and public infrastructure in different urban areas basing on the rule of the transfer of a portion of land in return for the building permission for the remaining part of each property to be developed. The Master Plan also aimed at providing social housing because the economic crisis has amplified the gap between housing market prices and household income. This study proposes an equalization and compensation model to support the urban negotiation for providing the indexes of a fair and convenient development of several inter…
Projekts: Ražošanas uzņēmuma SIA “MANILINI” dibināšana
2022
Maģistra darba mērķis ir projekts: jauna tekstilizstrādājumu ražošanas uzņēmuma – sabiedrības ar ierobežotu atbildību (SIA) - dibināšana un tā darbības un finanšu plāna izstrāde un analīze turpmākajiem trīs ar pus gadiem. Lielu atkritumu daļu pasaulē veido apģērba un tekstila izstrādājumi, ko veicina gan patērētāju vēlme pēc jauniem produktiem, gan tekstila izstrādājumu sarežģīta otrreizējā pārstrāde, turklāt tikai pavisam neliela daļa no tekstila atkritumiem tiek pārstrādā pilnīgi jaunos apģērbos. Lai mazinātu negatīvo ietekmi uz vidi, alternatīva ir izmantot tādus dabīgus materiālus kā linu. Lina audums ir dabīgs un tas neatstāj atkritumus, jo laika gaitā sadalās. Lina materiālam ir daudz…
Finite automata on timed ω-trees
2003
AbstractIn the last decade Alur and Dill introduced a model of automata on timed ω-sequences which extends the traditional models of finite automata. In this paper, we present a theory of timed ω-trees which extends both the theory of timed ω-sequences and the theory of ω-trees. The main motivation is to introduce a new way of specifying real-time systems and provide tools for studying decidability problems in related fields. We focus on the decision problems and their applications in system verification and synthesis.
RECOGNIZABLE PICTURE LANGUAGES
1992
The purpose of this paper is to propose a new notion of recognizability for picture (two-dimensional) languages extending the characterization of one-dimensional recognizable languages in terms of local languages and alphabetic mappings. We first introduce the family of local picture languages (denoted by LOC) and, in particular, prove the undecidability of the emptiness problem. Then we define the new family of recognizable picture languages (denoted by REC). We study some combinatorial and language theoretic properties of REC such as ambiguity, closure properties or undecidability results. Finally we compare the family REC with the classical families of languages recognized by four-way a…
Decidability Frontier for Fragments of First-Order Logic with Transitivity
2018
Several decidable fragments of first-order logic have been identified in the past as a generalisation of the standard translation of modal logic. These include: the fluted fragment, the two-variable frag- ment, the guarded fragment and the unary negation fragment; some of them have been recently generalised or combined to yield even more expressive decidable logics (guarded negation fragment or uniform one- dimensional fragment). None of the fragments allows one to express tran- sitivity of a binary relation or related properties like being an equivalence, a linear or a partial order, that naturally appear in specifications or in verification. The question therefore arises what is the impac…
Recent Evolutions of Roundabouts: Methodological Issues and Practical Concerns.
2013
The aim of the research is to provide a choice criterion between innovative roundabouts (turbo-roundabouts and flower-roundabouts) and double-lane roundabouts by evaluating convenience in terms of performances, when traffic demand is known. For this purpose, comparisons of operational performances at innovative roundabouts with regard to those at traditional roundabouts were developed. We started from consistent assumptions regarding the arrival process of major streams and used capacity models founded on gap-acceptance theory. Having in mind a bunched exponential headways distribution, we proposed adaptations of the Hagring model for estimating entry capacity at intersections under examina…
Test con palmare e correzione EGNOS
2010
Nel lavoro si riporta la sintesi di una sperimentazione attuata realizzando una serie di test con palmari e considerando l’affidabilità della correzione egnos (prove riuscite, tempi d’inizializzazione, configurazioni satellitari, relazioni tra parametri statistici e tempi di fissaggio) e la precisione nelle tre componenti plano-altimetriche. l’accuratezza conseguita è compatibile con le modalità di rilievo di massima di opere di ingegneria civile e per cantieri stradali, o per operazioni di pre-inquadramento catastale.
Zvaigžņotā Debess: 2011, Pavasaris (211)
2011
Contents: “ZVAIGŽŅOTĀ DEBESS” FORTY YEARS AGO: A.Alksnis. XIV General Assembly of the International Astronomical Union (abridged) ; H.Strods. Jaunlaicene’s Watchmaker (abridged) ; I.Daube. At the Radioastrophysical Observatory of the Latvian Academy of Sciences (abridged). 50 YEARS SINCE GAGARIN’S SPACE FLIGHT: R.Misa. Dream about Cosmos ; A.Zalcmane. Konstantin Tsiolkovsky Astronautics Museum in Kaluga; E.Bērziņa. Outer Space in Pauls Stradins Museum of History of Medicine. NEWS: A.Alksnis. Different Faces of Whirpool Galaxy ; A.Alksnis. The Kleopatra’s Trio and other Minor Planets Groups. SPACE RESEARCH and EXPLORATION: V.Kalniņš. NASA Preparing Solar Probe Plus to Plunge into Sun's Atmos…
GUI Implementation of VCDtools, A Program to Analyze Computed Vibrational Circular Dichroism Spectra
2020
As computing power increases, vibrational circular dichroism (VCD) calculations on molecules of larger sizes and complexities become possible. At the same time, the spectra resulting from these computations become increasingly more cumbersome to analyze. Here, we describe the GUI implementation into the Amsterdam Density Functional (ADF) software package of VCDtools, a toolbox that provides a user-friendly means to analyze VCD spectra. Key features are the use of the generalized coupled oscillator analysis methods, as well as an easy visualization of the atomic electric and magnetic transition dipole moments which together provide detailed insight in the origin of the VCD intensity. Using s…
First experimental study of photon polarization in radiative B0s decays.
2017
The polarization of photons produced in radiative $B^{0}_{s}$ decays is studied for the first time. The data are recorded by the LHCb experiment in $pp$ collisions corresponding to an integrated luminosity of 3fb$^{-1}$ at center-of-mass energies of $7$ and $8$TeV. A time-dependent analysis of the $B^{0}_{s} \to \phi \gamma$ decay rate is conducted to determine the parameter ${\mathcal{A}}^\Delta$, which is related to the ratio of right- over left-handed photon polarization amplitudes in $b \to s \gamma$ transitions. A value of ${\mathcal{A}}^\Delta=-0.98^{\,+0.46\,+0.23}_{\,-0.52\,-0.20}$ is measured. This result is consistent with the Standard Model prediction within two standard deviatio…