LEVI, GIORGIO: search on Z-Library

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

Don't use scam websites

1

Foundations of disjunctive logic programming: Jorge Lobo, Jack Minker and Arcot Rajasekar, (MIT Press, London, 1992), Price £60.75

Journal:

Science of Computer Programming

Year:

1995

Language:

english

File:

PDF, 155 KB

english, 1995

2

The relation between logic and functional languages: a survey

Marco Bellia, Giorgio Levi

Journal:

The Journal of Logic Programming

Year:

1986

Language:

english

File:

PDF, 1.54 MB

english, 1986

3

Measurement of the forces and moments acting on farm tractor pneumatic tyres

Gobbi, Massimiliano, Aiolfi, Mauro, Pennati, Mario, Previati, Giorgio, Levi, Francesco, Ribaldone, Massimo, Mastinu, Giampiero

Journal:

Vehicle System Dynamics

Year:

2005

Language:

english

File:

PDF, 1.11 MB

english, 2005

4

A prospective comparative study and analysis of predictors of SUNA and SUNCT

Lambru, Giorgio, Rantell, Khadija, Levy, Andrew, Matharu, Manjit S.

Journal:

Year:

2019

Language:

english

File:

PDF, 326 KB

english, 2019

5

Differential regulation of the zinc finger genes Krox-20 and Krox-24 (Egr-1) suggests antagonistic roles in Schwann cells

Piotr Topilko, Giovanni Levi, Giorgio Merlo, Stefano Mantero, Carole Desmarquet, Gianluigi Mancardi, Patrick Charnay

Journal:

Journal of Neuroscience Research

Year:

1997

Language:

english

File:

PDF, 927 KB

english, 1997

6

Generalized and/or graphs

Giorgio Levi, Franco Sirovich

Journal:

Artificial Intelligence

Year:

1976

Language:

english

File:

PDF, 974 KB

english, 1976

7

Structural descriptions of fingerprint images

Giorgio Levi, Franco Sirovich

Journal:

Information Sciences

Year:

1972

Language:

english

File:

PDF, 3.51 MB

english, 1972

8

Abstract interpretation based verification of logic programs

Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe

Journal:

Science of Computer Programming

Year:

2003

Language:

english

File:

PDF, 400 KB

english, 2003

9

Ferroportin gene silencing induces iron retention and enhances ferritin synthesis in human macrophages

Anna Gallí, Gaetano Bergamaschi, Helios Recalde, Giorgio Biasiotto, Paolo Santambrogio, Sabrina Boggi, Sonia Levi, Paolo Arosio, Mario Cazzola

Journal:

British Journal of Haematology

Year:

2004

Language:

english

File:

PDF, 307 KB

english, 2004

10

Partial evaluation of metaprograms in a “multiple worlds” logic language

Giorgio Levi, Giuseppe Sardu

Journal:

New Generation Computing

Year:

1988

Language:

english

File:

PDF, 1.08 MB

english, 1988

11

Roughening and preroughening in nonreconstructed fcc(110) surfaces: A Monte Carlo study

Mazzeo, Giorgio, Jug, Giancarlo, Levi, Andrea C., Tosatti, Erio

Journal:

Physical Review B

Year:

1994

Language:

english

File:

PDF, 1.17 MB

english, 1994

12

A general framework for semantics-based bottom-up abstract interpretation of logic programs

Barbuti, Roberto, Giacobazzi, Roberto, Levi, Giorgio

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1993

Language:

english

File:

PDF, 2.85 MB

english, 1993

13

[ACM Press the 19th ACM SIGPLAN-SIGACT symposium - Albuquerque, New Mexico, United States (1992.01.19-1992.01.22)] Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92 - Modelling Prolog control

Barbuti, Roberto, Codish, Michael, Giacobazzi, Roberto, Levi, Giorgio

Year:

1992

Language:

english

File:

PDF, 890 KB

english, 1992

14

[Lecture Notes in Computer Science] TAPSOFT '87 Volume 250 || Simulation results of a multiprocessor PROLOG architecture based on a distributed and/or graph

Ehrig, Hartmut, Kowalski, Robert, Levi, Giorgio, Montanari, Ugo

Year:

1987

Language:

english

File:

PDF, 913 KB

english, 1987

15

Human eosinophils and mast cells: Birds of a feather flock together

Robida, Piper A., Puzzovio, Pier Giorgio, Pahima, Hadas, Levi-Schaffer, Francesca, Bochner, Bruce S.

Journal:

Immunological Reviews

Year:

2018

Language:

english

File:

PDF, 475 KB

english, 2018

16

A recombinant flagellin fragment, which includes the epitopes flg22 and flgII-28, provides a useful tool to study flagellin-triggered immunity

Ciarroni, Serena, Clarke, Christopher R., Liu, Haijie, Eckshtain-Levi, Noam, Mazzaglia, Angelo, Balestra, Giorgio M., Vinatzer, Boris A.

Journal:

Journal of General Plant Pathology

Year:

2018

Language:

english

File:

PDF, 2.27 MB

english, 2018

17

Smart Infrastructure: A Vision for the Role of the Civil Engineering Profession in Smart Cities

Berglund, Emily Zechman, Monroe, Jacob G., Ahmed, Ishtiak, Noghabaei, Mojtaba, Do, Jinung, Pesantez, Jorge E., Khaksar Fasaee, Mohammad Ali, Bardaka, Eleni, Han, Kevin, Proestos, Giorgio T., Levis, Ja

Journal:

Journal of Infrastructure Systems

Year:

2020

File:

PDF, 672 KB

2020

18

Detection of a large CTG/CAG trinucleotide repeat expansion in a Danish schizophrenia kindred

Sirugo, Giorgio, Pakstis, Andrew J., Kidd, Kenneth K., Matthysse, Steven, Levy, Deborah L., Holzman, Philip S., Párnas, Josef, McInnis, Melvin, Breschel, Theresa, Ross, Christopher A.

Journal:

American Journal of Medical Genetics

Year:

1997

Language:

english

File:

PDF, 61 KB

english, 1997

19

Spatio-temporal dynamics of gene expression of the Edn1-Dlx5/6 pathway during development of the lower jaw

Maxence Vieux-Rochas, Stefano Mantero, Eglantine Heude, Ottavia Barbieri, Simonetta Astigiano, Gérard Couly, Hiroki Kurihara, Giovanni Levi, Giorgio R. Merlo

Journal:

Year:

2010

Language:

english

File:

PDF, 3.23 MB

english, 2010

20

Mouse model of split hand/foot malformation type I

Giorgio R. Merlo, Laura Paleari, Stefano Mantero, Francesca Genova, Annemiek Beverdam, Giulio L. Palmisano, Ottavia Barbieri, Giovanni Levi

Journal:

Year:

2002

Language:

english

File:

PDF, 1.70 MB

english, 2002

21

Jaw transformation with gain of symmetry after Dlx5/Dlx6 inactivation: Mirror of the past?

Annemiek Beverdam, Giorgio R. Merlo, Laura Paleari, Stefano Mantero, Francesca Genova, Ottavia Barbieri, Philippe Janvier, Giovanni Levi

Journal:

Year:

2002

Language:

english

File:

PDF, 1.01 MB

english, 2002

22

A procedure for determining the centromere in the classification of wheat metaphases by digital computer

Mario Aiello, Antonio Albano, Giorgio Levi

Journal:

Computers and Biomedical Research

Year:

1970

Language:

english

File:

PDF, 249 KB

english, 1970

23

A technique for graph embedding with constraints on node and arc correspondences

Giorgio Levi, Fabrizio Luccio

Journal:

Information Sciences

Year:

1973

Language:

english

File:

PDF, 1.07 MB

english, 1973

24

Kernel-LEAF: A logic plus functional language

Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi

Journal:

Journal of Computer and System Sciences

Year:

1991

Language:

english

File:

PDF, 2.89 MB

english, 1991

25

Finite failures and partial computations in concurrent logic languages

Moreno Falaschi, Giorgio Levi

Journal:

Theoretical Computer Science

Year:

1990

Language:

english

File:

PDF, 2.69 MB

english, 1990

26

Incremental constraint satisfaction for equational logic programming

María Alpuente, Moreno Falaschi, Giorgio Levi

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 2.28 MB

english, 1995

27

COMPASS: an instrument for measuring the polarization of the CMB on intermediate angular scales

Philip C Farese, Giorgio Dall’Oglio, Josh Gundersen, Brian Keating, Slade Klawikowski, Lloyd Knox, Alan Levy, Chris O’Dell, Alan Peel, Lucio Piccirillo, John Ruhl, Peter Timbie

Journal:

New Astronomy Reviews

Year:

2003

Language:

english

File:

PDF, 574 KB

english, 2003

28

The s-semantics approach: Theory and applications

Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli

Journal:

The Journal of Logic Programming

Year:

1994

Language:

english

File:

PDF, 3.66 MB

english, 1994

29

Generalized semantics and abstract interpretation for constraint logic programs

Roberto Giacobazzi, Saumya K Debray, Giorgio Levi

Journal:

The Journal of Logic Programming

Year:

1995

Language:

english

File:

PDF, 3.53 MB

english, 1995

30

Preface

Journal:

Science of Computer Programming

Year:

2001

Language:

english

File:

PDF, 25 KB

english, 2001

31

Foreword

Giorgio Levi, Mario Rodriguez-Artalejo

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 101 KB

english, 1996

32

Abstract diagnosis

Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello

Journal:

The Journal of Logic Programming

Year:

1999

Language:

english

File:

PDF, 3.83 MB

english, 1999

33

Abstract Interpretation based Verification of Logic Programs

Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

File:

PDF, 958 KB

1999

34

Logic programs as specifications in the inductive verification of logic programs

Marco Comini, Roberta Gori, Giorgio Levi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 149 KB

english, 2001

35

Assertion based Inductive Verification Methods for Logic Programs

Marco Comini, Roberta Gori, Giorgio Levi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

File:

PDF, 949 KB

2001

36

Abstract Interpretation Based Verification of Logic Programs

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

File:

PDF, 27 KB

2001

37

Über das gelbe Kupfer I-Oxyd

Giorgio Renato Levi

Journal:

Zeitschrift für anorganische und allgemeine Chemie

Year:

1936

Language:

german

File:

PDF, 99 KB

german, 1936

38

Contributions to the semantics of logic perpetual processes

Giorgio Levi, Catuscia Palamidessi

Journal:

Acta Informatica

Year:

1988

Language:

english

File:

PDF, 1.10 MB

english, 1988

39

Foreword

Hélène Kirchner, Giorgio Levi

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

1994

Language:

english

File:

PDF, 69 KB

english, 1994

40

Color-doppler velocimetry of uterine arteries in pregnant and nonpregnant patients during multiovulation induction for IVF

Paolo E. Levi-Setti, Giulia Rognoni, Maddalena Bozzo, Guglielmo Ragusa, Patrizia Sulpizio, Enrico Ferrazzi, Giorgio Pardi

Journal:

Journal of Assisted Reproduction and Genetics

Year:

1995

Language:

english

File:

PDF, 526 KB

english, 1995

41

Sopra una nuova lega gristallizzata di nichelio e ferro

Giorgio Levi Montefiore Ingegnere

Journal:

Il Nuovo Cimento Series 10

Year:

1915

Language:

italian

File:

PDF, 229 KB

italian, 1915

42

Editorial

Giorgio Levi, Ugo Montanari

Journal:

Theoretical Computer Science

Year:

1988

Language:

english

File:

PDF, 71 KB

english, 1988

43

Editorial

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 47 KB

english, 1991

44

Unfolding and fixpoint semantics of concurrent constraint logic programs

Maurizio Gabbrielli, Giorgio Levi

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 2.62 MB

english, 1992

45

On the verification of finite failure

Roberta Gori, Giorgio Levi

Journal:

Journal of Computer and System Sciences

Year:

2005

Language:

english

File:

PDF, 446 KB

english, 2005

46

Multinational banking in Europe – financial stability and regulatory implications: lessons from the financial crisis

Giorgio Barba Navaretti, Giacomo Calzolari, Alberto Franco Pozzolo, Micol Levi

Journal:

Economic Policy

Year:

2010

Language:

english

File:

PDF, 835 KB

english, 2010

47

The use of autologous platelet gel to treat difficult-to-heal wounds: a pilot study

Laura Mazzucco, Dante Medici, Massimo Serra, Renzo Panizza, Giorgio Rivara, Sara Orecchia, Roberta Libener, Elena Cattana, Alessandro Levis, Pier Giacomo Betta, Piero Borzini

Journal:

Transfusion (Wiley)

Year:

2004

Language:

english

File:

PDF, 101 KB

english, 2004

48

Stat3 is required for ALK-mediated lymphomagenesis and provides a possible therapeutic target

Chiarle, Roberto, Simmons, William J, Cai, Honjying, Dhall, Girish, Zamo, Alberto, Raz, Regina, Karras, James G, Levy, David E, Inghirami, Giorgio

Journal:

Nature Medicine

Year:

2005

Language:

english

File:

PDF, 855 KB

english, 2005

49

Anaplastic lymphoma kinase (ALK) activates Stat3 and protects hematopoietic cells from cell death

Zamo, Alberto, Chiarle, Roberto, Piva, Roberto, Howes, Jennifer, Fan, Yan, Chilosi, Marco, Levy, David E, Inghirami, Giorgio

Journal:

Year:

2002

Language:

english

File:

PDF, 326 KB

english, 2002

50

[Lecture Notes in Computer Science] TAPSOFT '87 Volume 250 || Generating efficient code from strictness annotations

Ehrig, Hartmut, Kowalski, Robert, Levi, Giorgio, Montanari, Ugo

Year:

1987

Language:

english

File:

PDF, 1.05 MB

english, 1987