323,176 research outputs found
Double exponential inseparability of Robinson subsystem Q+
No full textJournal of Symbolic Logic
Volume 76, Issue 1, March 2011, Pages 94-124
Double-exponential inseparability of robinson subsystem (Article)
Egidi, L. , Faglia, G.
Dipartimento di Informatica, Università del Piemonte Orientale A. Avogadro, Viale T. Michel.11, 15121 Alessandria, Italy
View references (20)
Abstract
In this work a double exponential time inseparability result is proven for a finitely axiomatizable first order theory Q+. The theory, subset of Presburger theory of addition S+, is the additive fragment of Robinson system Q. We prove that every set that separates Q+ from the logically false sentences of addition is not recognizable by any Turing machine working in double exponential time. The lower bound is given both in the non-deterministic and in the linear alternating time models. The result implies also that any theory of addition that is consistent with Q+-in particular any theory contained in S+-is at least double exponential time difficult. Our inseparability result is an improvement on the known lower bounds for arithmetic theories. Our proof uses a refinement and adaptation of the technique that Fischer and Rabin used to prove the difficulty of S +. Our version of the technique can be applied to any incomplete finitely axiomatizable system in which all of the necessary properties of addition are provable
Investigation on the O-3 sensitivity properties of WO3 thin films prepared by sol-gel, thermal evaporation and r.f. sputtering techniques
No full textWO3 thin films have been deposited on alumina substrates provided with platinum interdigital electrodes by sol-gel (SG), r.f. sputtering (RFS), and vacuum thermal evaporation (VTE) techniques and annealed at temperatures between 500 degrees C and 600 degrees C for 1 to 30 h in static air. The morphology, crystalline phase and chemical composition of the films have been characterised using SEM, glancing XRD and XPS techniques. The electrical response has been measured exposing the films to O-3 (10-180 ppb), NO2 (0.2-1 ppm), NOx (27 ppm NO and 1 ppm NO,) at different operating temperatures ranging between 200 and 400 degrees C and humid air at 50% R.R. SG prepared films have shown bigger responses (S = I-Air/I-gas) with respect to VTE and RFS for all the investigated gases and operating temperatures. RFS prepared has resulted to be less sensitive, but faster in the response and more stable in terms of signal reproducibility. The response to O-3 has been found to be at maximum at 400 degrees C. At this temperature the response to 80 ppb of ozone has been: S = 35 (SG), S = 18 (VTE) and S = 5 (RFS). The NO2 and NOx response reached the maximum at 200 degrees C and becomes negligible at 400 degrees C. Improvements on the O-3 gas sensitivity and selectivity can be achieved by fixing the operating temperature of the films at 400 degrees C. (C) 2000 Elsevier Science S.A. All rights reserved. RI Faglia, Guido/E-6991-2010; Sberveglieri, Giorgio/A-5030-2010; li , yongxiang/C-5059-2009; Comini, Elisabetta/C-6721-200
Faglia della Valle Subequana: indagini paleosismologiche e dati archeologici a supporto
No full textGli studi effettuati lungo la faglia della Valle Subequana mostrano che l’evento di fagliazione più recente individuato (probabilmente l’ultimo da ascriversi a questa faglia, anche se episodi di fagliazione più recenti non possono essere del tutto esclusi) è avvenuto successivamente al III-II secolo a.C. Inoltre, l’assenza nei cataloghi sismici di terremoti storici di elevata magnitudo attribuibili all’attivazione di questa struttura tettonica indica che l’evento più recente riconosciuto nelle pareti degli scavi geognostici deve essere avvenuto, appunto, tra III-II sec. a.C. (età dell’unità più recente dislocata dal piano della faglia) e XI-XIII secolo d.C., considerando che per gli ultimi 800-1000 anni i cataloghi sismici sono da ritenersi completi in riferimento ai forti terremoti.Le tracce archeologiche di distruzione improvvisa e l’abbandono del “tempio B” di Castel di Ieri, precedentemente alla costruzione del “tempio A” avvenuta nel II-I secolo a.C., sembrano del tutto compatibili con gli effetti dell’attivazione della faglia della Valle Subequana. Tale indicazione suggerirebbe di restringere ulteriormente l’ambito cronologico di occorrenza dell’evento sismico proprio al II-I secolo a.C. In attesa del reperimento di informazioni archeologiche utili ad arricchire il quadro archeosismologico areale, mediante correlazione cronologica di possibili tracce cosismiche in più siti archeologici, i dati attualmente disponibili fanno ritenere probabile che il tempo intercorso dall’ultima attivazione della faglia della Valle Subequana sia superiore ai duemila anni.Published482-4853.2. Tettonica attivaN/A or not JCRrestricte
Delayed closure of epiphyseal cartilages induced by the aromatase inhibitor anastrozole : would it help short children grow up?
No full textEstrogens locally generated from androgen precursors due to the action of aromatase play a main role in epiphyseal cartilage fusion. Treatment with an aromatase inhibitor (anastrozole, 1 mg/day for 3 yr) in a boy previously operated on for a hamartoma causing precocious puberty and presenting with advanced bone maturation and nearly fused epiphyseal cartilages, slowed cartilage fusion consenting a higher final stature than expected (164.4 cm vs 158.4 cm). It is suggested that treatment with aromatase inhibitors, alone or in combination with rh-GH, may also be useful in children with constitutional short stature in order to delay epiphyseal closure and improve the final height
Heparin treatment and resolution of left ventricular thrombosis
No full textAbstract
In a 70-year-old man admitted to our hospital because of repeated episodes of transient disorientation, an ECG showed a recent inferior myocardial infarction. A two-dimensional echocardiography detected hypo-akinesia in the apex region, where a hyperechogenic oval and pedunculated mass with a maximum diameter of 1.5 cm, attributable to an organized thrombus, was located. After 20 days of therapy with calcium-heparin at a dose of 12,500 IU every 8 h, a two-dimensional echocardiography showed the complete disappearance of the mass. This and other recent reports confirm the thrombolytic activity of the drug and the possibility of postponing the immediate surgical removal of intraventricular thrombi in favour of heparin treatment
Evoluzione della trazione dinamica sulla faglia durante i forti terremoti
No full textNel presente lavoro la dinamica dei processi sismogenetici è stata studiata attraverso un metodo innovativo basato su una soluzione dell’equazione dell’elastodinamica che esprime lo sforzo di taglio agente sul piano di faglia come funzione della velocità di dislocazione e della sua evoluzione temporale. Il dato di ingresso della procedura numerica è quindi l’evoluzione nel tempo della velocità di dislocazione in ciascun punto del piano di faglia. Questo metodo permette di vincolare l’evoluzione della trazione in funzione del tempo e della posizione sulla faglia e consente quindi la stima dei principali parametri dinamici per terremoti reali. Il vantaggio di tale modello è che non viene imposta una legge costitutiva a priori. La procedura numerica è stata applicata a forti terremoti reali, per i quali sono disponibili i modelli cinematici che descrivono la propagazione della rottura cosismica, allo scopo di studiare il comportamento meccanico delle strutture sismogenetiche ed i meccanismi responsabili del rilascio di energia. L’applicazione del metodo ha prodotto risultati originali ed interessanti: gli andamenti della trazione in ciascun punto del piano di faglia, sia in funzione del tempo sia in funzione della dislocazione, mostrano l’andamento atteso in base all’interpretazione teorica del processo di propagazione della rottura cosismica, ovvero un chiaro andamento di tipo ‘dynamic weakening’. I parametri dinamici risultano ben vincolati, sebbene dipendenti dalla risoluzione dei modelli cinematici, e mostrano una distribuzione eterogenea sul piano di faglia. Un parametro molto importante ottenuto dagli andamenti della trazione dinamica è il breakdown work che, come definito da Tinti et al. (2005), fornisce una stima dell’energia spesa per far propagare il fronte di rottura. I valori ottenuti per i diversi terremoti sono in accordo con quelli pubblicati recentemente in letteratura (Rice et al., 2005; Tinti et al., 2005) e dimostrano che il breakdown work costituisce un contributo commensurabile alle stime dell’energia irradiata.Università degli studi di Roma La Sapienza, Istituto Nazionale di Geofisica e VulcanologiaUnpublished4T. Fisica dei terremoti e scenari cosismiciope
Comparison of pravastatin and diet in the treatment of hypercholesterolemia [Confronto tra pravastatina e dieta nel trattamento delle ipecolesterolemie]
No full textAim of this study is to point out a correct therapy for the treatment of poligenic hypercholesterolemia resistant to dietetic treatment. There have been studied 40 patients which, after repeated haematochemical controls, resulted affected by dyslipidaemia with prevalent increase of the cholesterol levels. After 30 days of standard hypo-caloric dietetic treatment were enrolled 23 patients, 13 males and 10 females, who presented a plasmatic cholesterol level superior to 250 mg% and LDL superior to 160 mg%. All the patients continued the dietetic treatment; 10 patients began pravastatin therapy at a dose of 20 mg/die while to the rest of them was given placebo. The 30th, 60th, 120th day were controlled the following haematochemical parameters: lipidic frame haematology, hepatic and renal function, glycemia and CPK. After 4 months of treatment the average plasmatic levels of cholesterol resulted different in the two groups: mg% (p < 0.001) in the pravastatin group and 262 mg% (P = ns) in the control group. Then, the pravastatin therapy was suspended and all 23 patients continued for 30 days, dietetic treatment and placebo. After 6 months a new control of the lipidic frame was performed. Our results showed that the hypocholesterolic therapy must be continued for ever. In fact, the suspension of the treatment is followed by an immediate rebound of the dislipidaemia which plasmatic cholesterol levels even superior to the basic levels with probable negative repercussion on the cardiovascular syste
The association of amlodipine with isosorbide-5-mononitrate in the treatment of ischemic-hypertensive cardiopathy [Associazione di amlodipina con isosorbide-5-mononitrato nel trattamento della cardiopatia ischemico-ipertensiva]
No full textAbstract
Every form of therapy must always aim at obtaining maximum benefit with minimum use of drugs; also for the purpose of ensuring maximum patient compliance. With this end in mind, 21 patients with ischemic heart disease and arterial hypertension were divided into three groups of seven subjects each and submitted to different drug treatments with single daily doses: group 1 received isosorbide-5-mononitrate (60 mg), group 2 amlodipine (10 mg), and group 3 a combination of both drugs at the same dosage, for four weeks. Statistical analysis showed blood pressure values to have been significantly reduced in subjects receiving amlodipine both alone and in combination (p less than 0.05) while no significant variation was observed (p = n.s.) in those treated with isosorbide-5-mononitrate only. A significant reduction of diastolic blood pressure (p less than 0.05) occurred only in patients talking the combination. No significant changes of heart rate (p = n.s.) were observed in any of the groups. Tests at the cycling ergometer revealed increased in any of the groups. Tests at the cycling ergometer revealed increased maximal effort tolerance for all three groups but the increase was more marked in patients taking the combination (who from 130 +/- 10 Watt increased to 160 +/- 20 Watt). This was confirmed also by the reduced consumption of trinitrine capsules which diminished in groups 1 and 2 from an average of 5/week to 2/week but was completely abolished in group 3. Also ST depression was significantly reduced (p less than 0.05) only in this latter grou
FORTI EFFETTI DI AMPLIFICAZIONE DEL MOTO IN ZONA DI FAGLIA DURANTE LA SEQUENZA SISMICA DEL 2009 IN ABRUZZO
No full textNegli anni 1997-1998, durante la sequenza dell’Umbria-Marche, la stazione accelerometrica di Nocera Umbra superò ripetutamente, per terremoti di magnitudo > 5, il picco di accelerazione di 0.5 g. Tali valori furono i maggiori mai registrati in Italia, e apparvero subito inusuali per terremoti di faglia normale a magnitudo moderate. Una serie di studi del sito della stazione permise di attribuire l’ampiezza anomala a un forte effetto di amplificazione locale prodotto dalle variazioni verticali della velocità delle onde di taglio nella roccia danneggiata di una faglia sub-verticale in prossimità della stazione.
Anche durante i terremoti della sequenza Aquilana si sono trovate evidenze di effetti analoghi. La stazione a banda larga FAGN, in prossimità della faglia di San Demetrio, ha mostrato una accentuata variabilità dell’ampiezza delle sue registrazioni, con valori che superano fino ad un fattore 10 le ampiezze delle stazioni vicine. Mediante un’analisi su 350 terremoti si è trovato che le massime amplificazioni avvengono per terremoti localizzati a sud-ovest della stazione, in posizione favorevole alla propagazione nella zona di faglia dalla sorgente al ricevitore. Utilizzando metodi sia analitici che numerici è stato possibile attribuire gli effetti osservati alle eterogeneità di una zona di faglia larga 300-400 m e profonda 3 km, approssimativamente, con una riduzione di velocità di circa il 30% rispetto alla roccia non deformata.
Anche il forte impulso di spostamento di 40 cm picco-picco registrato durante la scossa principale a Castello d’Ocre da una stazione GPS (CADO) con campionamento a 10 Hz non trova giustificazione plausibile se non modellando un effetto di risonanza in prossimità dello strumento. In questo caso è possibile generare modelli che riproducano l’osservazione usando valori della larghezza della zona di faglia di qualche centinaio di metri con forti riduzioni della velocità delle onde di taglio rispetto ai blocchi rigidi adiacenti.
Queste osservazioni confermano la potenziale pericolosità del territorio in prossimità delle zone di faglia, nonostante non siano emerse durante il terremoto dell’Aquila chiare evidenze di anomalie del danno persistenti lungo le faglie. Recenti studi in California sembrano mettere in luce l’estrema variabilità delle onde intrappolate nelle zone di faglia, per cui l’effetto appare sporadicamente sia per quanto riguarda le stazioni di registrazione lungo la faglia che per quanto riguarda le zone-sorgenti nella faglia capaci di generare onde intrappolate.PublishedPrato3.1. Fisica dei terremotiope
- …
