Search results for "CSA"
showing 10 items of 50 documents
Counting in the Two Variable Guarded Logic with Transitivity
2005
We show that the extension of the two-variable guarded fragment with transitive guards (GF+TG) by functionality statements is undecidable. This gives immediately undecidability of the extension of GF+TG by counting quantifiers. The result is optimal, since both the three-variable fragment of the guarded fragment with counting quantifiers and the two-variable guarded fragment with transitivity are undecidable. We also show that the extension of GF+TG with functionality, where functional predicate letters appear in guards only, is decidable and of the same complexity as GF+TG. This fragment captures many expressive modal and description logics.
X-ray nanotomography and electron backscatter diffraction demonstrate the crystalline, heterogeneous and impermeable nature of conodont white matter
2021
Conodont elements, microfossil remains of extinct primitive vertebrates, are commonly exploited as mineral archives of ocean chemistry, yielding fundamental insights into the palaeotemperature and chemical composition of past oceans. Geochemical assays have been traditionally focused on the so-called lamellar and white matter crown tissues; however, the porosity and crystallographic nature of the white matter and its inferred permeability are disputed, raising concerns over its suitability as a geochemical archive. Here, we constrain the characteristics of this tissue and address conflicting interpretations using ptychographic X-ray-computed tomography (PXCT), pore network analysis, synchro…
L'intervento nei centri storici: l'ANCSA e il caso Erice
2014
Il Convegno “Salvaguardia e risanamento dei centri storico-artistici”, svoltosi a Gubbio nel Settembre del 1960, offre l’occasione per fare un bilancio sulla situazione dei centri storici, sull’insufficienza normativa dei piani regolatori, sulla tecnica urbanistica e confrontare contemporaneamente le esperienze concrete di alcuni piani e il relativo approccio al tema dell’intervento nei centri storici. Il comitato promotore del Convegno di Gubbio, noto per avere prodotto la celebre Dichiarazione finale poi denominata “Carta di Gubbio”, si trasformerà l’anno successivo in Comitato permanente fondando a Gubbio l’Associazione nazionale centri storico-artistici (ANCSA). Appare significativo che…
Inductive types in homotopy type theory
2012
Homotopy type theory is an interpretation of Martin-L\"of's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for intensional systems of type theory as well as a computational approach to algebraic topology via type theory-based proof assistants such as Coq. The present work investigates inductive types in this setting. Modified rules for inductive types, including types of well-founded trees, or W-types, are presented, and the basic homotopical semantics of such types are determined. Proofs of all results have been formally verified by the Coq proof assistant, and the proof s…
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.
Efficient Switches with QoS Support for Clusters
2007
Current interconnect standards providing hardware support for quality of service (QoS) consider up to 16 virtual channels (VCs) for this purpose. However, most implementations do not offer so many VCs because they increase the complexity of the switch and the scheduling delays. We have shown that this number of VCs can be significantly reduced, because it is enough to use two VCs for QoS purposes at each switch port. In this paper, we cover the weaknesses of that proposal and, not only we reduce VCs, but we also improve performance due to the flexibility assigning buffer memory.
Komercsabiedrības reputācijas aizskārums.
2019
Katrai uzņēmējsabiedrībai pastāv savi mērķi, lai nodrošinātu sev veiksmīgu darbību un iekļaušanos sabiedrības vidē, bet, aizskarot to reputāciju, tiek apdraudēta mērķa sasniegšana, un vērtējums sabiedrības acīs var kristies, tas var novest pie potenciālu ienākumu krituma. Komercsabiedrībai nepiemīt cilvēktiesības, bet tas nenozīmē, ka tai nav tiesības uz tiesisko interešu aizsardzību kā fiziskām personām. Juridiskai personai tāpat kā fiziskai personai, pastāv savu tiesisko interešu aizsardzība. Autors darbā sniedz ieskatu reputācijas aizskāruma gadījumos, kur aizskartais ir komercsabiedrība, un jāsniedz ciešs kopskats ar tiesībām uz vārda brīvību. Autors sniedz secinājumus par to, ka reputā…
Preoperative evaluation of peripheral nerve injuries: What is the place for ultrasound?
2016
OBJECTIVE The purpose of this study was to evaluate the usefulness of ultrasound in the preoperative workup of peripheral nerve lesions and illustrate how nerve ultrasonography can be integrated in routine clinical and neurophysiological evaluation and in the management of focal peripheral nerve injuries. The diagnostic role and therapeutic implications of ultrasonography for different neuropathies are described. METHODS The authors analyzed the use of ultrasound in 119 entrapment, tumoral, posttraumatic, or postsurgical nerve injuries of limbs evaluated in 108 patients during 2013 and 2014. All patients were candidates for surgery, and in all cases the evaluation included clinical examina…
Analysis of the thermo-mechanical behaviour of the DEMO Water-Cooled Lithium Lead breeding blanket module under normal operation steady state conditi…
2015
Within the framework of DEMO R&D activities, a research cooperation has been launched between ENEA, the University of Palermo and CEA to investigate the thermo-mechanical behaviour of the outboard equatorial module of the DEMO1 Water-Cooled Lithium Lead (WCLL) blanket under normal operation steady state scenario. The research campaign has been carried out following a theoretical-computational approach based on the Finite Element Method (FEM) and adopting a qualified commercial FEM code. In particular, two different 3D FEM models (Model 1 and Model 2), reproducing respectively the central and the lateral poloidal-radial slices of the WCLL blanket module, have been set up. A particular attent…
Ion conduction in the KcsA potassium channel analyzed with a minimal kinetic model.
2004
We use a model by Nelson to study the current-voltage and conductance-concentration curves of bacterial potassium channel KcsA without assuming rapid ion translocation. Ion association to the channel filter is rate controlling at low concentrations, but dissociation and transport in the filter can limit conduction at high concentration for ions other than ${\mathrm{K}}^{+}$. The absolute values of the effective rate constants are tentative but the relative changes in these constants needed to qualitatively explain the experiments should be of significance.