Paolo Zuliani: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Gravity for Detecting Caves: Airborne and Terrestrial Simulations Based on a Comprehensive Karstic Cave Benchmark

Braitenberg, Carla, Sampietro, Daniele, Pivetta, Tommaso, Zuliani, David, Barbagallo, Alfio, Fabris, Paolo, Rossi, Lorenzo, Fabbri, Julius, Mansi, Ahmed Hamdi

Journal:

Pure and Applied Geophysics

Year:

2016

Language:

english

File:

PDF, 4.40 MB

english, 2016

2

Le biguanidi nel trattamento dell'obesita'. Nota 1. Ricerca clinica controllata con placebo, anoressanti, fenformina e metformina

Luigi Cucurachi, Andrea Strata, Ugo Zuliani, Paolo Cucurachi, Alfonso Dell'Anna

Journal:

Acta Diabetologica

Year:

1968

File:

PDF, 1.51 MB

1968

3

[IEEE 2010 IEEE International Solid- State Circuits Conference - (ISSCC) - San Francisco, CA, USA (2010.02.7-2010.02.11)] 2010 IEEE International Solid-State Circuits Conference - (ISSCC) - A 90nm 4Mb embedded phase-change memory with 1.2V 12ns read access time and 1MB/s write throughput

De Sandre, Guid, Bettini, Luca, Pirola, Alessandro, Marmonier, Lionel, Pasotti, Marco, Borghi, Massimo, Mattavelli, Paolo, Zuliani, Paola, Scotti, Luca, Mastracchio, Gianfranco, Bedeschi, Ferdinando,

Year:

2010

Language:

english

File:

PDF, 17.19 MB

english, 2010

4

Anticholinergic Drug Use and Negative Outcomes Among the Frail Elderly Population Living in a Nursing Home

Landi, Francesco, Dell'Aquila, Giuseppina, Collamati, Agnese, Martone, Anna Maria, Zuliani, Giovanni, Gasperini, Beatrice, Eusebi, Paolo, Lattanzio, Fabrizia, Cherubini, Antonio

Journal:

Journal of the American Medical Directors Association

Year:

2014

Language:

english

File:

PDF, 246 KB

english, 2014

5

[IEEE First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Shanghai, China (2007.06.6-2007.06.8)] First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - A Formal Derivation of Grover's Quantum Search Algorithm

Year:

2007

Language:

english

File:

PDF, 249 KB

english, 2007

6

Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization

Misirli, Goksel, Cavaliere, Matteo, Waites, William, Pocock, Matthew, Madsen, Curtis, Gilfellon, Owen, Honorato-Zimmer, Ricardo, Zuliani, Paolo, Danos, Vincent, Wipat, Anil

Journal:

Year:

2016

Language:

english

File:

PDF, 1.07 MB

english, 2016

7

A Design Methodology to Support the Optimization of Steel Structures

Cicconi, Paolo, Germani, Michele, Bondi, Sergio, Zuliani, Alessandro, Cagnacci, Emanuele

Journal:

Year:

2016

File:

PDF, 466 KB

2016

8

A Bayesian approach to modelling the impact of hydrodynamic shear stress on biofilm deformation

Oyebamiji, Oluwole K., Wilkinson, Darren J., Jayathilake, Pahala Gedara, Rushton, Steve P., Bridgens, Ben, Li, Bowen, Zuliani, Paolo, Nerenberg, Robert

Journal:

Year:

2018

Language:

english

File:

PDF, 6.52 MB

english, 2018

9

[Computational Biology] Automated Reasoning for Systems Biology and Medicine Volume 30 || Models, Devices, Properties, and Verification of Artificial Pancreas Systems

Liò, Pietro, Zuliani, Paolo

Year:

2019

Language:

english

File:

PDF, 988 KB

english, 2019

10

Phase Change Memory for Automotive Grade Embedded NVM Applications

Cappelletti, Paolo, Annunziata, Roberto, Arnaud, Franck, Disegni, Fabio, Maurelli, Alfonso, Zuliani, Paola

Journal:

Journal of Physics D Applied Physics

Year:

2020

File:

PDF, 1.31 MB

2020

11

Fine Needle Biopsy Plus EUS-Guided Cholecystojejunostomy by LAMS With a Water-Filled Technique in a Patient With Roux-En-Y Reconstruction

Mangiavillano, Benedetto, Auriemma, Francesco, Mezzanzanica, Miriam, Bianchetti, Mario, Militello, Pietro, Chiari, Damiano, Veronesi, Paolo, Zuliani, Walter, Repici, Alessandro

Journal:

American Journal of Gastroenterology

Year:

2020

File:

PDF, 147 KB

2020

12

Quantum Programming With Mixed States

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 290 KB

english, 2007

13

Compiling quantum programs

Journal:

Acta Informatica

Year:

2005

Language:

english

File:

PDF, 4.92 MB

english, 2005

14

Reasoning about faulty quantum programs

Journal:

Acta Informatica

Year:

2009

Language:

english

File:

PDF, 292 KB

english, 2009

15

Genetic variation in the G72 (DAOA) gene affects temporal lobe and amygdala structure in subjects affected by bipolar disorder

Riccardo Zuliani, T William J Moorhead, Dominic Job, James McKirdy, Jessika E D Sussmann, Eve C Johnstone, Stephen M Lawrie, Paolo Brambilla, Jeremy Hall, Andrew M McIntosh

Journal:

Bipolar Disorders

Year:

2009

Language:

english

File:

PDF, 193 KB

english, 2009

16

An Empirical Exploration of the Distributions of the Chidamber and Kemerer Object-Oriented Metrics Suite

Giancarlo Succi, Witold Pedrycz, Snezana Djokic, Paolo Zuliani, Barbara Russo

Journal:

Empirical Software Engineering

Year:

2005

Language:

english

File:

PDF, 138 KB

english, 2005

17

Genetic variants in the ErbB4 gene are associated with white matter integrity

Riccardo Zuliani, T. William J. Moorhead, Mark E. Bastin, Eve C. Johnstone, Stephen M. Lawrie, Paolo Brambilla, Michael C. O'Donovan, Michael J. Owen, Jeremy Hall, Andrew M. McIntosh

Journal:

Psychiatry Research: Neuroimaging

Year:

2011

Language:

english

File:

PDF, 296 KB

english, 2011

18

Analysis and verification of the HMGB1 signaling pathway

Haijun Gong, Paolo Zuliani, Anvesh Komuravelli, James R Faeder, Edmund M Clarke

Journal:

BMC Bioinformatics

Year:

2010

Language:

english

File:

PDF, 763 KB

english, 2010

19

Autosomal recessive hypercholesterolaemia in Sardinia, Italy, and mutations in ARH: a clinical and molecular genetic analysis

Marcello Arca, Giovanni Zuliani, Kenneth Wilund, Filomena Campagna, Renato Fellin, Stefano Bertolini, Sebastiano Calandra, Giorgio Ricci, Nicola Glorioso, Mario Maioli, Paolo Pintus, Ciriaco Carru, Fa

Journal:

Year:

2002

Language:

english

File:

PDF, 124 KB

english, 2002

20

A New Locus for Autosomal Recessive Hypercholesterolemia Maps to Human Chromosome 15q25-q26

Milco Ciccarese, Adolfo Pacifico, Giancarlo Tonolo, Paolo Pintus, Andrej Nikoshkov, Giovanni Zuliani, Renato Fellin, Holger Luthman, Mario Maioli

Journal:

The American Journal of Human Genetics

Year:

2000

Language:

english

File:

PDF, 728 KB

english, 2000

21

Bayesian statistical model checking with application to Stateflow/Simulink verification

Zuliani, Paolo, Platzer, André, Clarke, Edmund M.

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 985 KB

english, 2013

22

Underrecognition and Undertreatment of Dementia in Italian Nursing Homes

Cherubini, Antonio, Ruggiero, Carmelinda, Dell'Aquila, Giuseppina, Eusebi, Paolo, Gasperini, Beatrice, Zengarini, Elisa, Cerenzia, Annarita, Zuliani, Giovanni, Guaita, Antonio, Lattanzio, Fabrizia

Journal:

Journal of the American Medical Directors Association

Year:

2012

Language:

english

File:

PDF, 165 KB

english, 2012

23

Pregnancy at forty and over: a case-control study

Vercellini, Paolo, Zuliani, Guglielmo, Rognoni, Maria Teresa, Trespidi, Laura, Oldani, Sabina, Cardinale, Anna

Journal:

European Journal of Obstetrics & Gynecology and Reproductive Biology

Year:

1993

Language:

english

File:

PDF, 368 KB

english, 1993

24

[ACM Press the 13th ACM international conference - Stockholm, Sweden (2010.04.12-2010.04.15)] Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - HSCC '10 - Bayesian statistical model checking with application to Simulink/Stateflow verification

Zuliani, Paolo, Platzer, André, Clarke, Edmund M.

Year:

2010

Language:

english

File:

PDF, 526 KB

english, 2010

25

[IEEE 2011 16th Asia and South Pacific Design Automation Conference ASP-DAC 2011 - Yokohama, Japan (2011.01.25-2011.01.28)] 16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011) - Analog circuit verification by statistical model checking

Wang, Ying-Chih, Komuravelli, Anvesh, Zuliani, Paolo, Clarke, Edmund M.

Year:

2011

Language:

english

File:

PDF, 146 KB

english, 2011

26

[IEEE 2012 Ninth International Conference on Quantitative Evaluation of Systems (QEST) - London, United Kingdom (2012.09.17-2012.09.20)] 2012 Ninth International Conference on Quantitative Evaluation of Systems - Statistical Model Checking for Markov Decision Processes

Henriques, David, Martins, Joao G., Zuliani, Paolo, Platzer, Andre, Clarke, Edmund M.

Year:

2012

Language:

english

File:

PDF, 622 KB

english, 2012

27

[IEEE 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011) - Orlando, FL, USA (2011.12.12-2011.12.15)] IEEE Conference on Decision and Control and European Control Conference - Formal analysis for logical models of pancreatic cancer

Gong, Haijun, Zuliani, Paolo, Wang, Qinsi, Clarke, Edmund M.

Year:

2011

Language:

english

File:

PDF, 216 KB

english, 2011

28

A low-cost method for estimating energy expenditure during soccer refereeing

Ardigò, Luca Paolo, Padulo, Johnny, Zuliani, Andrea, Capelli, Carlo

Journal:

Journal of Sports Sciences

Year:

2015

Language:

english

File:

PDF, 149 KB

english, 2015

29

Statistical model checking for biological applications

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2015

Language:

english

File:

PDF, 1.18 MB

english, 2015

30

[ACM Press the 2004 workshop - Newport Beach, California (2004.11.05-2004.11.05)] Proceedings of the 2004 workshop on Quantitative techniques for software agile process - QUTE-SWAP '04 - Deploying, updating, and managing tools for collecting software metrics

Sillitti, Alberto, Russo, Barbara, Zuliani, Paolo, Succi, Giancarlo

Year:

2004

Language:

english

File:

PDF, 343 KB

english, 2004

31

[ACM Press the 18th International Conference - Seattle, Washington (2015.04.14-2015.04.16)] Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 - ProbReach

Shmarov, Fedor, Zuliani, Paolo

Year:

2015

Language:

english

File:

PDF, 438 KB

english, 2015

32

AIP Conference Proceedings [AIP 2011 INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL MODELS FOR LIFE SCIENCES (CMLS-11) - Toyama City, (Japan) (11–13 October 2011)] - Model Checking of a Diabetes-Cancer Model

Gong, Haijun, Zuliani, Paolo, Clarke, Edmund M., Pham, Tuan D., Zhou, Xiaobo, Tanaka, Hiroshi, Oyama-Higa, Mayumi, Jiang, Xiaoyi, Sun, Changming, Kowalski, Jeanne, Jia, Xiuping

Year:

2011

Language:

english

File:

PDF, 369 KB

english, 2011

33

[ACM Press the 15th ACM international conference - Beijing, China (2012.04.17-2012.04.19)] Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12 - Rare-event verification for stochastic hybrid systems

Zuliani, Paolo, Baier, Christel, Clarke, Edmund M.

Year:

2012

Language:

english

File:

PDF, 468 KB

english, 2012

34

[ACM Press the 18th International Conference - Seattle, Washington (2015.04.14-2015.04.16)] Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 - Towards personalized prostate cancer therapy using delta-reachability analysis

Liu, Bing, Kong, Soonho, Gao, Sicun, Zuliani, Paolo, Clarke, Edmund M.

Year:

2015

Language:

english

File:

PDF, 442 KB

english, 2015

35

[ACM Press the International Conference - Wshington DC, USA (2013.09.22-2013.09.25)] Proceedings of the International Conference on Bioinformatics, Computational Biology and Biomedical Informatics - BCB'13 - Studies of biological networks with statistical model checking

Miskov-Zivanov, Natasa, Zuliani, Paolo, Clarke, Edmund M., Faeder, James R.

Year:

2007

Language:

english

File:

PDF, 188 KB

english, 2007

36

SHBG, Sex Hormones, and Inflammatory Markers in Older Women

Maggio, Marcello, Ceda, Gian Paolo, Lauretani, Fulvio, Bandinelli, Stefania, Corsi, Anna Maria, Giallauria, Francesco, Guralnik, Jack M., Zuliani, Giovanni, Cattabiani, Chiara, Parrino, Stefano, Ablon

Journal:

Journal of Clinical Endocrinology & Metabolism

Year:

2011

Language:

english

File:

PDF, 76 KB

english, 2011

37

Predictors of Functional Changes in Italian Nursing Home Residents: The U.L.I.S.S.E. Study

Fedecostante, Massimiliano, Dell'Aquila, Giuseppina, Eusebi, Paolo, Volpato, Stefano, Zuliani, Giovanni, Abete, Pasquale, Lattanzio, Fabrizia, Cherubini, Antonio

Journal:

Journal of the American Medical Directors Association

Year:

2015

Language:

english

File:

PDF, 291 KB

english, 2015

38

Long-term GNSS measurements from the northern Adria microplate reveal fault-induced fluid mobilization

Rossi, Giuliana, Zuliani, David, Fabris, Paolo

Journal:

Year:

2016

Language:

english

File:

PDF, 5.64 MB

english, 2016

39

Laparoscopic Versus Open Colorectal Surgery

Braga, Marco, Vignali, Andrea, Gianotti, Luca, Zuliani, Walter, Radaelli, Giovanni, Gruarin, Paola, Dellabona, Paolo, Di Carlo, Valerio

Journal:

Annals of Surgery

Year:

2002

Language:

english

File:

PDF, 994 KB

english, 2002

40

Model Checking a Synchronous Diabetes-Cancer Logical Network

Gong, Haijun, Zuliani, Paolo, M. Clarke, Edmund

Journal:

Current Bioinformatics

Year:

2013

Language:

english

File:

PDF, 786 KB

english, 2013

41

Selection criteria for pre-operative endoscopic retrograde cholangiography and endoscopic-laparoscopic treatment of biliary stones

Masci, Enzo, Fanti, Lorella, Mariani, Alberto, Guerini, Stefano, Zuliani, Walter, Baccari, Paolo, Giacomelli, Maurizio, Tittobello, Alberto

Journal:

European Journal of Gastroenterology & Hepatology

Year:

1999

File:

PDF, 299 KB

1999

42

Corrigendum to “Long-term GNSS measurements from the northern Adria microplate reveal fault-induced fluid mobilization”

Rossi, Giuliana, Zuliani, David, Fabris, Paolo

Journal:

Year:

2017

Language:

english

File:

PDF, 513 KB

english, 2017

43

Air pollution and ST-elevation myocardial infarction treated with primary percutaneous coronary angioplasty: A direct correlation

Zuin, Marco, Rigatelli, Gianluca, dell'Avvocata, Fabio, Picariello, Claudio, Conte, Luca, Marcantoni, Lina, Cardaioli, Paolo, Zuliani, Giovanni, Roncon, Loris

Journal:

International Journal of Cardiology

Year:

2017

Language:

english

File:

PDF, 502 KB

english, 2017

44

[IEEE 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Santa Cruz, CA, USA (2016.10.7-2016.10.8)] 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) - High-level modeling and verification of cellular signaling

Miskov-Zivanov, Natasa, Zuliani, Paolo, Wang, Qinsi, Clarke, Edmund M., Faeder, James R.

Year:

2016

Language:

english

File:

PDF, 1.32 MB

english, 2016

45

Management and Outcomes of Pancreatic Resections Performed in High-Volume Referral and Low-Volume Community Hospitals Lead by Surgeons Who Shared the Same Mentor: The Importance of Training

Capretti, Giovanni, Balzano, Gianpaolo, Gianotti, Luca, Stella, Marco, Ferrari, Giovanni, Baccari, Paolo, Zuliani, Walter, Braga, Marco, Zerbi, Alessandro

Journal:

Digestive Surgery

Year:

2017

Language:

english

File:

PDF, 105 KB

english, 2017

46

Starch quantification in woody tissues by reflectance spectroscopy and on-solid iodine complexation

Rustioni, Laura, Ciacciulli, Angelo, Zulini, Luca, Zuliani, Ester, Sivilotti, Paolo, Herrera, Jose Carlos

Journal:

Scientia Horticulturae

Year:

2017

Language:

english

File:

PDF, 366 KB

english, 2017

47

Overpressure and Fluid Diffusion Causing Non-hydrological Transient GNSS Displacements

Rossi, Giuliana, Fabris, Paolo, Zuliani, David

Journal:

Pure and Applied Geophysics

Year:

2017

Language:

english

File:

PDF, 6.11 MB

english, 2017

48

Cansiglio Karst Plateau: 10 Years of Geodetic–Hydrological Observations in Seismically Active Northeast Italy

Grillo, Barbara, Braitenberg, Carla, Nagy, Ildikó, Devoti, Roberto, Zuliani, David, Fabris, Paolo

Journal:

Pure and Applied Geophysics

Year:

2018

Language:

english

File:

PDF, 5.42 MB

english, 2018

49

Dysphagia in Nursing Home Residents: Management and Outcomes

Jukic Peladic, Nikolina, Orlandoni, Paolo, Dell'Aquila, Giuseppina, Carrieri, Barbara, Eusebi, Paolo, Landi, Francesco, Volpato, Stefano, Zuliani, Giovanni, Lattanzio, Fabrizia, Cherubini, Antonio

Journal:

Journal of the American Medical Directors Association

Year:

2018

Language:

english

File:

PDF, 256 KB

english, 2018

50

Multiorgan accelerated silicosis misdiagnosed as sarcoidosis in two workers exposed to quartz conglomerate dust

Guarnieri, Gabriella, Bizzotto, Rosana, Gottardo, Ottorino, Velo, Emanuela, Cassaro, Mauro, Vio, Stefania, Putzu, Maria Grazia, Rossi, Federica, Zuliani, Paolo, Liviero, Filippo, Mason, Paola, Maestre

Journal:

Occupational and Environmental Medicine

Year:

2018

Language:

english

File:

PDF, 348 KB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски