10 Hits in 5.6 sec

Design, Analysis and Reasoning about Tools: Abstracts from the Third Workshop

Flemming Nielson
1993 DAIMI Report Series  
Amtoft, "Minimal thunkification," in 3rd International Workshop on Static Analysis (WSA '93), September 1993, Padova, Italy, no. 724 in Lecture Notes in Computer Science, pp. 218-229, Springer-Verlag,  ...  [DART-3]. [Amtoft2] T.  ... 
doi:10.7146/dpb.v22i457.6930 fatcat:qqr3ybpuqrc3fmwjlsamx3kuwu

Geodynamic and seismotectonic model of a long-lived transverse structure: The Schio-Vicenza Fault System (NE Italy)

Dario Zampieri, Paola Vannoli, Pierfrancesco Burrato
2021 Solid Earth  
We make a thorough review of geological and seismological data on the long-lived Schio-Vicenza Fault System (SVFS) in northern Italy and present for it a geodynamic and seismotectonic interpretation.  ...  Further possible evidence of the activity and of the seismogenic potential of the SVFS comes from the historical seismicity registered near Padova and Vicenza (Figs. 3 and 4a; Table 3 ).  ...  This article is part of the special issue "Tools, data and models for 3-D seismotectonics: Italy as a key natural laboratory".  ... 
doi:10.5194/se-12-1967-2021 fatcat:pb2lfapd5rbupa7qbrkw74c5qy

The VVV Templates Project Towards an automated classification of VVV light-curves

R. Angeloni, R. Contreras Ramos, M. Catelan, I. Dékány, F. Gran, J. Alonso-García, M. Hempel, C. Navarrete, H. Andrews, A. Aparicio, J. C. Beamín, C. Berger (+41 others)
2014 Astronomy and Astrophysics  
Figure 3 shows, as an example, Z, J, K-band light-curves of an RRab star found in the WSA.  ...  Fig. 3 . 3 Z, J, K phase-folded light-curves of object 858993759856 in the WSA. It is an RRab Lyrae star with a period of 0.51961138 days (from Ferreira Lopes et al. 2014).  ... 
doi:10.1051/0004-6361/201423904 fatcat:g43vf2lqvbaqhje6w3bs37ya7a

Cardiac pacing and implantable cardioverter-defibrillator surveys : long-term Australian and international experience

Harry George Mond
States 307 23 5,567 767 10 1,042 (3 0) Germany 82 ~76 , 046 927 ~25 ,3 49 (25) France 62 ~48 ,487 782 ~16 , 162 (25) Italy 60 44,65 3 744 17,974 (29) Sweden 9 6,320 702  ...  Padova, Piccin Medical books, 1982, 1-l3. 18. Rickards AF. The European registration card. Stimulation 1988; 6:7-10.  ... 
doi:10.4225/03/58b4f632e0c63 fatcat:ueofh5hrxfdpndnzde6bzegqoi

EBEC Short Reports Volume 13

2004 Biochimica et Biophysica Acta - Bioenergetics  
., Italy. Acknowledgements: Work supported by PRIN ''Bioenergetica: Aspetti Genetici, Biochimici e Fisiopatologici'' from MIUR of Italy. We thank Dr.  ...  membrane-bound thiol-disulfide oxidoreductase ResA functions on the outside of the cytoplasmic membrane where it reduces the heme-binding site in apocytochrome c to allow covalent attachment of the heme-group (3)  ...  Maniero** Department of Pharmacology, University of Padova, largo Meneghetti 2 and aDepartment of Chemistry, University of Padova, via Marzolo 1, I-35131 Padova, Italy; E-mail:  ... 
doi:10.1016/j.bbabio.2004.06.002 fatcat:kwzzktmrzbfnlk54eebael35rm

Forty-First Annual Meeting March 2-6, 1997 Ernest N. Morial Convention Center New Orleans, Louisiana. Tuesday Symposia and Posters, Part III

1997 Biophysical Journal  
to reach its internal binding site on the mKvl.3 channel.  ...  WIN produces both tonic and use-dependent block (at +10 mV) exceeding 90o/. at 3 piM.  ...  , Italy (Spon. by A.  ... 
doi:10.1016/s0006-3495(97)78738-1 fatcat:ymgf2q7yyzgmxkz4zyc5dpscq4

Beweisrechtliche Aspekte des Verbraucherschutzes bei allgemeinen oder für den Einzelfall vorformulierten Vertragsbedingungen im italienischen und deutschen Recht

Cora Steinringer
is a comparison, with reference to the Directive 93/13/EC, between the national Italian and German laws implementing said Directive; Part 4 considers aspects of giving evidence in a court claim in Italy  ...  particular to burden of proof, reversal of the burden of proof and granting relief to produce evidence; Part 2 deals with the the EC-Directive 93/13 (concerning unfair terms in consumer contracts); Part 3  ...  civile e previdenza 1993, 435, 436 419 Grabitz/Hilf/Pfeiffer, Teil A 5, Art. 3, Rn. 8; Pardolesi, Studi in memoria di G.  ... 
doi:10.5283/epub.10141 fatcat:ovew42ja45edrbhvhxdf6yrn3e


Rhombomeres 3 and 5 are depleted in NCCs production and, although these two hindbrain segments produce some NCCs, the majority of them from these rhombomeres die by apoptosis (Graham et al., 1993) .  ...  Table 3 . 3 2. Abnormalities (%) of larvae exposed to increasing Eth concentrations (mM) and to the mixture Eth + FLUCO fixed. Table 3 . 3 3.  ... 
doi:10.13130/battistoni-maria_phd2017-04-21 fatcat:nvrrv5kr2bdglaibqwhethnxra

Editura Universităţii Ştefan cel Mare din Suceava Cover design & graphic layout: Adrian Liviu SCUTARIU

Adrian Scutariu, Elena Hlaciuc, Carmen Chaşovschi, Mariana Lupan, Florin Hurjui, Simona Buta, Angela Albu, " Ştefan, Christian Baumgartner
2012 unpublished
from Italy.  ...  The EU Council adopted in 1993, the fifth environmental program, named "Towards sustainability", including provisions for the period 1993-2000 and also new directives thereafter. U.E.  ...  The USV Annals The USV Annals Accommodated tourists -AT-Accommodation capacity -AC -1990 1050185 390163 6841 1991 1046696 372710 6478 1992 629000 308469 6511 1993 628308 240719 6300 1994  ... 

REDAKCJA WYDAWNICZA El¿bieta Pietraszkiewicz PROJEKT OK£ADKI Spis treœci

Stanis³aw Pikulski, Bronis³aw Sitek, Jaime Bonet, Gaetano Dammacco, Jaros³aw Dobkowski, Maria Logiacco, Piotr Majer, Agnieszka Malarewicz-Jakubów, Sebastiano Tafaro, Jaime Bonet, Janina Ciechanowicz-Mclean, Wojciech Cieœlak (+20 others)
Vettori, Padova 2005, p. 1. 36 P. Grossi, Prima lezione di diritto, Roma -Bari 2006, p. 66.  ...  Bobbio, La consuetudine come fatto normativo, Padova 1942, p. 6 ss.; idem, Teoria dell'ordinamento giuridico, Torino 1960, p. 14 ss.  ...