Search results for "CALL"
showing 10 items of 2320 documents
Le «31 biblioteche più belle del mondo». Dalla Real Biblioteca del Monasterio de San Lorenzo de El Escorial di Madrid al trasferimento, nella nuova s…
2021
Gabriella De Marco propone un saggio sulla centralità dell'istituzione biblioteca nella società contemporanea. Il contributo, che prosegue alcuni precedenti progetti di ricerca avviati dall'autrice sin dai primi anni duemila, è centrato sullo spazio abitabile e sul potenziale identitario di un edificio. Punto di partenza del suo ragionamento è il presupposto che lo spazio misurabile è anche spazio mentale. Ciò attiva una serie di considerazioni legate al rapporto tra il tempo della storia e il tempo del fruitore. Un edificio, pertanto, e nello specifico una biblioteca sia pubblica o privata sia nazionale o di quartiere, si percepisce ed esiste anche nel tempo soggettivo di chi la fruisce.
Über den Allantoinstoffwechsel des Laubmooskallus und seine Beeinflussung durch Licht
1972
Summary 1. The amount of allantoin and allantoate was determined in moss callus grown under various light conditions. It can reach 26,5 % of the plant nitrogen content. The accumulation is influenced by light intensity and colour. 2. Red-light (660 nm) causes a greater allantoin level in the cells than blue light and white light illumination. Red-light favours the formation of young setae from the moss callus. We could detect a relation between the intensity of seta-development and the amount of allantoin. The accumulation is increasing with the growth of the setae. 3. Blue-light (440 nm) enhances the chlorophyll synthesis and promotes chloroplast develop ment. This effect is correlated wit…
Horizontal gene transfer of atrazine-degrading genes (atz) from Agrobacterium tumefaciens St96-4 pADP1::Tn5 to bacteria of maize-cultivated soil
2005
International audience; The plasmid pADP1::Tn5 derived from pADP1[Atr(+)] carrying a TnS transposon conferring kanamycin and streptomycin resistances was constructed and introduced in Agrobacterium tumefaciens St96-4. This genetically modified strain was inoculated (similar to 108 cfu g(-1)) in potted soils planted with maize and treated or not with atrazine (1.5 mg kg(-1)). Bulk and maize rhizosphere soils were sampled 39 days after planting to look for soil indigenous bacteria that had acquired pADP1::Tn5. Four transconjugants were isolated from four different soil samples. The estimated transfer frequency of pADP1::Tn5 was 10(-4) per donor. Maize rhizosphere and atrazine treatment had no…
Polymer dynamics in thin p-type conducting films investigated by ac-electrogravimetry. Kinetics aspects on anion exclusion, free solvent transfer, an…
2015
A new transfer model is proposed to explain ac-electrogravimetry response of p-doped films. This model takes into account the exclusion effect occurring as a result of the anion transfer. The insertion/expulsion of anions inside a film involves simultaneously the expulsion/insertion of free solvent molecules. The number of solvent molecules excluded depends on the volume of anion transferred. Solvent transfer stimulated by the conformational changes of films constitutes the remaining electrogravimetric response when the exclusion process cannot explain by itself this response. Consequently, the kinetics of this free solvent transfer can be directly related to the kinetics of conformational …
A Language and Platform Independent Co-Simulation Framework Based on the Functional Mock-Up Interface
2019
The main goal of the Functional Mock-up Interface (FMI) standard is to allow the sharing of simulation models across tools. To accomplish this, FMI relies on a combination of XML-files and compiled C-code packaged in a zip archive. This archive is called a Functional Mock-up Unit (FMU). In theory, an FMU can support multiple platforms, but not necessarily in practice. Furthermore, software libraries for interacting with FMUs may not be available in a particular language or platform. Another issue is related to the protection of intellectual property (IP). While an FMU is free to only provide the C-code in its binary form, other resources within the FMU may be unprotected. Distributing model…
Local Normal Forms for First-Order Logic with Applications to Games and Automata
1999
Building on work of Gaifman [Gai82] it is shown that every first-order formula is logically equivalent to a formula of the form ∃ x_1,...,x_l, \forall y, φ where φ is r-local around y, i.e. quantification in φ is restricted to elements of the universe of distance at most r from y. \par From this and related normal forms, variants of the Ehrenfeucht game for first-order and existential monadic second-order logic are developed that restrict the possible strategies for the spoiler, one of the two players. This makes proofs of the existence of a winning strategy for the duplicator, the other player, easier and can thus simplify inexpressibility proofs. \par As another application, automata mode…
Mathematical logic and quantum finite state automata
2009
AbstractThis paper is a review of the connection between formulas of logic and quantum finite-state automata in respect to the language recognition and acceptance probability of quantum finite-state automata. As is well known, logic has had a great impact on classical computation, it is promising to study the relation between quantum finite-state automata and mathematical logic. After a brief introduction to the connection between classical computation and logic, the required background of the logic and quantum finite-state automata is provided and the results of the connection between quantum finite-state automata and logic are presented.
Rapid construction of algebraic axioms from samples
1991
Abstract An axiom is called reliable if it is confirmed in several places in a given sample of algebra. A very effective algorithm for enumerating such axioms is described.
Encapsulation of xenon by bridged resorcinarene cages with high 129Xe NMR chemical shift and efficient exchange dynamics
2023
Functionalized cages encapsulating xenon atoms enable highly sensitive, background-free molecular imaging through a technique known as HyperCEST 129Xe MRI. Here, we introduce a class of potential biosensor cage structures based on two resorcinarene macrocycles bridged either by aliphatic carbon chains or piperazines. First-principles-based modeling predicts a high chemical shift (about 345 ppm) outside the typical experimental observation window for 129Xe encapsulated by the aliphatically bridged cage and two 129Xe resonances for the piperazine-bridged cages corresponding to single and double loading. Based on the computational predictions as well as 129Xe chemical exchange saturation trans…
Solutions for parametric double phase Robin problems
2021
We consider a parametric double phase problem with Robin boundary condition. We prove two existence theorems. In the first the reaction is ( p − 1 )-superlinear and the solutions produced are asymptotically big as λ → 0 + . In the second the conditions on the reaction are essentially local at zero and the solutions produced are asymptotically small as λ → 0 + .