Galesi : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (90)
Les plus populaires
Liste
- Liste
- Tableau

1

On the Proof Complexity of Paris-Harrington and Off-Diagonal Ramsey Tautologies

Carlucci, Lorenzo, Galesi, Nicola, Lauria, Massimo

Journal:

ACM Transactions on Computational Logic

Année:

2016

Langue:

english

Fichier:

PDF, 322 KB

english, 2016

2

[IEEE 2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS) - Vienna, Austria (2018.7.2-2018.7.6)] 2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS) - Tight Bounds for Maximal Identifiability of Failure Nodes in Boolean Network Tomography

Galesi, Nicola, Ranjbar, Fariba

Année:

2018

Langue:

english

Fichier:

PDF, 272 KB

english, 2018

3

Monotone Proofs of the Pigeon Hole Principle

Albert Atserias, Nicola Galesi, Ricard Gavaldà

Journal:

Mathematical Logic Quarterly

Année:

2001

Langue:

english

Fichier:

PDF, 218 KB

english, 2001

4

When polyploidy and hybridization produce a fuzzy taxon: the complex origin of the insular neoendemic Neotinea commutata (Orchidaceae)

Pavarese, Giuseppe, Tranchida-Lombardo, Valentina, Galesi, Rosario, D'Emerico, Saverio, Casotti, Raffaella, Cristaudo, Antonia, Cozzolino, Salvatore

Journal:

Botanical Journal of the Linnean Society

Année:

2013

Langue:

english

Fichier:

PDF, 453 KB

english, 2013

5

[IEEE 2011 IEEE Annual Conference on Computational Complexity (CCC) - San Jose, CA, USA (2011.06.8-2011.06.11)] 2011 IEEE 26th Annual Conference on Computational Complexity - Paris-Harrington Tautologies

Carlucci, Lorenzo, Galesi, Nicola, Lauria, Massimo

Année:

2011

Langue:

english

Fichier:

PDF, 454 KB

english, 2011

6

Optimality of size-degree tradeoffs for polynomial calculus

Galesi, Nicola, Lauria, Massimo

Journal:

ACM Transactions on Computational Logic

Année:

2010

Langue:

english

Fichier:

PDF, 212 KB

english, 2010

7

Rituximab in adult minimal change disease and focal segmental glomerulosclerosis - What is known and what is still unknown?

Gauckler, Philipp, Shin, Jae Il, Alberici, Federico, Audard, Vincent, Bruchfeld, Annette, Busch, Martin, Cheung, Chee Kay, Crnogorac, Matija, Delbarba, Elisa, Eller, Kathrin, Faguer, Stanislas, Galesi

Journal:

Autoimmunity Reviews

Année:

2020

Fichier:

PDF, 4.15 MB

2020

8

Screening of subtelomeric rearrangements in autistic disorder: Identification of a partial trisomy of 13q34 in a patient bearing a 13q;21p translocation

Maria Antonietta Di Bella, Francesco Calì, Gregorio Seidita, Mario Mirisola, Angela Ragusa, Alda Ragalmuto, Ornella Galesi, Maurizio Elia, Donatella Greco, Marinella Zingale, Giovanna Gambino, Rosalba

Journal:

American Journal of Medical Genetics Part B: Neuropsychiatric Genetics

Année:

2006

Langue:

english

Fichier:

PDF, 201 KB

english, 2006

9

Mutational analysis of the ATRX gene by DGGE: A powerful diagnostic approach for the ATRX syndrome

Eugenia Borgione, Maurizio Sturnio, Angela Spalletta, Maria Angela Lo Giudice, Lucia Castiglia, Ornella Galesi, Angela Ragusa, Marco Fichera

Journal:

Année:

2003

Langue:

english

Fichier:

PDF, 146 KB

english, 2003

10

Thermofluid-dynamic analysis of ventilated facades

F. Patania, A. Gagliano, F. Nocera, A. Ferlito, A. Galesi

Journal:

Energy and Buildings

Année:

2010

Langue:

english

Fichier:

PDF, 540 KB

english, 2010

11

A lower bound for the pigeonhole principle in tree-like Resolution by asymmetric Prover–Delayer games

Olaf Beyersdorff, Nicola Galesi, Massimo Lauria

Journal:

Information Processing Letters

Année:

2010

Langue:

english

Fichier:

PDF, 132 KB

english, 2010

12

On the complexity of resolution with bounded conjunctions

Juan Luis Esteban, Nicola Galesi, Jochen Messner

Journal:

Theoretical Computer Science

Année:

2004

Langue:

english

Fichier:

PDF, 339 KB

english, 2004

13

Monotone simulations of non-monotone proofs

Albert Atserias, Nicola Galesi, Pavel Pudlák

Journal:

Journal of Computer and System Sciences

Année:

2002

Langue:

english

Fichier:

PDF, 173 KB

english, 2002

14

A predicative and decidable characterization of the polynomial classes of languages

S. Caporaso, M. Zito, N. Galesi

Journal:

Theoretical Computer Science

Année:

2001

Langue:

english

Fichier:

PDF, 149 KB

english, 2001

15

Space complexity of random formulae in resolution

Eli Ben-Sasson, Nicola Galesi

Journal:

Random Structures & Algorithms

Année:

2003

Langue:

english

Fichier:

PDF, 158 KB

english, 2003

16

Optimality of size-width tradeoffs for resolution

Maria Luisa Bonet, Nicola Galesi

Journal:

Computational Complexity

Année:

2001

Langue:

english

Fichier:

PDF, 212 KB

english, 2001

17

Degree complexity for a modified pigeonhole principle

Maria Luisa Bonet, Nicola Galesi

Journal:

Archive for Mathematical Logic

Année:

2003

Langue:

english

Fichier:

PDF, 164 KB

english, 2003

18

On the Automatizability of Polynomial Calculus

Nicola Galesi, Massimo Lauria

Journal:

Theory of Computing Systems

Année:

2010

Langue:

english

Fichier:

PDF, 462 KB

english, 2010

19

Kinetic response of aDrosophila melanogastercell line to different medium formulations and culture conditions

R. Bovo, A. L. L Galesi, S. A. C. Jorge, R. A. M. Piccoli, A. M. Moraes, C. A. Pereira, E. F. P. Augusto

Journal:

Année:

2008

Langue:

english

Fichier:

PDF, 489 KB

english, 2008

20

Growth of recombinantDrosophila melanogasterSchneider 2 cells producing rabies virus glycoprotein in bioreactor employing serum-free medium

Adriana L. L. Galesi, Marcelo A. Aguiar, Renato M. Astray, Elisabeth F. P. Augusto, Ângela M. Moraes

Journal:

Année:

2008

Langue:

english

Fichier:

PDF, 342 KB

english, 2008

21

1.5 Mb de novo 22q11.21 microduplication in a patient with cognitive deficits and dysmorphic facial features

A Alberti, C Romano, M Falco, F Calì, P Schinocca, O Galesi, A Spalletta, D Di Benedetto, M Fichera

Journal:

Clinical Genetics

Année:

2007

Langue:

english

Fichier:

PDF, 271 KB

english, 2007

22

Schizophrenia in a patient with subtelomeric duplication of chromosome 22q

P Failla, C Romano, A Alberti, A Vasta, S Buono, L Castiglia, D Luciano, D Di Benedetto, M Fichera, O Galesi

Journal:

Clinical Genetics

Année:

2007

Langue:

english

Fichier:

PDF, 157 KB

english, 2007

23

Three new patients with dup(17)(p11.2p11.2) without autism

D Greco, C Romano, S Reitano, C Barone, DD Benedetto, L Castiglia, M Fichera, O Galesi, M Zingale, S Buono, V Uliana, R Caselli, R Canitano, G Hayek, A Renieri

Journal:

Clinical Genetics

Année:

2008

Langue:

english

Fichier:

PDF, 189 KB

english, 2008

24

Bilateral periventricular nodular heterotopia and lissencephaly in an infant with unbalanced t(12;17)(q24.31; p13.3) translocation

Salvatore Grosso, Marco Fichera, Ornella Galesi, Daniela Luciano, Lucia Pucci, Francesca Giardini, Rosario Berardi, Paolo Balestri

Journal:

Developmental Medicine & Child Neurology

Année:

2008

Langue:

english

Fichier:

PDF, 701 KB

english, 2008

25

A t(4;9)(q34;p22) Translocation Associated with Partial Epilepsy, Mental Retardation, and Dysmorphism

Pasquale Striano, Maurizio Elia, Lucia Castiglia, Ornella Galesi, Sabina Pelligra, Salvatore Striano

Journal:

Année:

2005

Langue:

english

Fichier:

PDF, 111 KB

english, 2005

26

6q Terminal Deletion Syndrome Associated with a Distinctive EEG and Clinical Pattern: A Report of Five Cases

Maurizio Elia, Pasquale Striano, Marco Fichera, Roberto Gaggero, Lucia Castiglia, Ornella Galesi, Michela Malacarne, Mauro Pierluigi, Carmelo Amato, Sebastiano A. Musumeci, Corrado Romano, Silvia Majo

Journal:

Année:

2006

Langue:

english

Fichier:

PDF, 467 KB

english, 2006

27

Culture of transgenic Drosophila melanogaster Schneider 2 cells in serum-free media based on TC100 basal medium

Adriana L. L. Galesi, Carlos A. Pereira, Ângela M. Moraes

Journal:

Biotechnology Journal

Année:

2007

Langue:

english

Fichier:

PDF, 207 KB

english, 2007

28

Partial monosomy Xq(Xq23 → qter) and trisomy 4p(4p15.33 → pter) in a woman with intractable focal epilepsy, borderline intellectual functioning, and dysmorphic features

Arnaldo Bartocci, Pasquale Striano, Maria Margherita Mancardi, Marco Fichera, Lucia Castiglia, Ornella Galesi, Roberto Michelucci, Maurizio Elia

Journal:

Brain and Development

Année:

2008

Langue:

english

Fichier:

PDF, 1.26 MB

english, 2008

29

A very simple method for counting white cells in platelet units collected by apheresis

Piero Borzini, Marlwosa Fwa, Maria Dassi, Patrizia Proserpio, Amedeo Messina, Lorjwzo Gangi, Antonio Galesi, Trvana Villa, Gianalfredo Sciorelli

Journal:

Transfusion (Wiley)

Année:

1995

Langue:

english

Fichier:

PDF, 274 KB

english, 1995

30

Association between indicators of dementia and nutritional status in institutionalised older people

Lilian Fernanda Galesi, Vânia Aparecida Leandro-Merhi, Maria Rita Marques de Oliveira

Journal:

International Journal of Older People Nursing

Année:

2012

Langue:

english

Fichier:

PDF, 77 KB

english, 2012

31

Parameterized Bounded-Depth Frege Is not Optimal

Beyersdorff, Olaf, Galesi, Nicola, Lauria, Massimo, Razborov, Alexander A.

Journal:

ACM Transactions on Computation Theory

Année:

2012

Langue:

english

Fichier:

PDF, 142 KB

english, 2012

32

A de novo 8q22.2-24.3 duplication in a patient with mild phenotype

D. Concolino, M.A. Iembo, M.T. Moricca, M. Rapsomaniki, R. Marotta, O. Galesi, M. Fichera, C. Romano, P. Strisciuglio

Journal:

European Journal of Medical Genetics

Année:

2012

Langue:

english

Fichier:

PDF, 717 KB

english, 2012

33

Thermal performance of ventilated roofs during summer period

A. Gagliano, F. Patania, F. Nocera, A. Ferlito, A. Galesi

Journal:

Energy and Buildings

Année:

2012

Langue:

english

Fichier:

PDF, 1021 KB

english, 2012

34

Narrowing the Candidate Region for Congenital Diaphragmatic Hernia in Chromosome 15q26: Contradictory Results

L. Castiglia, M. Fichera, C. Romano, O. Galesi, L. Grillo, M. Sturnio, P. Failla

Journal:

The American Journal of Human Genetics

Année:

2005

Langue:

english

Fichier:

PDF, 194 KB

english, 2005

35

On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systems

Bonet, Maria Luisa, Esteban, Juan Luis, Galesi, Nicola, Johannsen, Jan

Journal:

SIAM Journal on Computing

Année:

2000

Langue:

english

Fichier:

PDF, 254 KB

english, 2000

36

The social representation of DOT-related tuberculosis by patients of Guarulhos at the metropolitan area of Sao Paulo, Brazil

V. Souza Pinto, V.M.N. Galesi, M.I.P.S. Braz

Journal:

International Journal of Infectious Diseases

Année:

2010

Langue:

english

Fichier:

PDF, 80 KB

english, 2010

37

Brief Report: Peculiar Evolution of Autistic Behaviors in Two Unrelated Children with Brachidactyly-Mental Retardation Syndrome

Luigi Mazzone, Lia Vassena, Liliana Ruta, Diego Mugno, Ornella Galesi, Marco Fichera

Journal:

Journal of Autism and Developmental Disorders

Année:

2012

Langue:

english

Fichier:

PDF, 246 KB

english, 2012

38

Definition of minimal duplicated region encompassing the XIAP and STAG2 genes in the Xq25 microduplication syndrome

Di Benedetto, Daniela, Musumeci, Sebastiano Antonino, Avola, Emanuela, Alberti, Antonino, Buono, Serafino, Scuderi, Carmela, Grillo, Lucia, Galesi, Ornella, Spalletta, Angela, Giudice, Mariangela Lo,

Journal:

American Journal of Medical Genetics Part A

Année:

2014

Langue:

english

Fichier:

PDF, 295 KB

english, 2014

39

A characterization of tree-like Resolution size

Beyersdorff, Olaf, Galesi, Nicola, Lauria, Massimo

Journal:

Information Processing Letters

Année:

2013

Langue:

english

Fichier:

PDF, 226 KB

english, 2013

40

[IEEE Comput. Soc Computational Complexity. Sixteenth Annual IEEE Conference - Chicago, IL, USA (18-21 June 2001)] Proceedings 16th Annual IEEE Conference on Computational Complexity - Monotone simulations of nonmonotone proofs

Atserias, A., Galesi, N., Pudlak, P.

Année:

2000

Langue:

english

Fichier:

PDF, 509 KB

english, 2000

41

[IEEE Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004. - Amherst, MA, USA (21-24 June 2004)] Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004. - The complexity of treelike systems over Λ-local formulae

Galesi, N., Thapen, N.

Année:

2004

Langue:

english

Fichier:

PDF, 619 KB

english, 2004

42

[IEEE Computer. Soc 44th Annual IEEE Symposium on Foundations of Computer Science - FOCS 2003 - Cambridge, MA, USA (11-14 Oct. 2003)] 44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings. - Rank bounds and integrality gaps for cutting planes procedures

Buresh-Oppenheim, J., Galesi, N., Hoory, S., Magen, A., Pitassi, T.

Année:

2003

Langue:

english

Fichier:

PDF, 415 KB

english, 2003

43

[IEEE Comput. Soc 40th Annual Symposium on Foundations of Computer Science - New York City, NY, USA (17-19 Oct. 1999)] 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039) - A study of proof search algorithms for resolution and polynomial calculus

Bonet, M.L., Galesi, N.

Année:

1999

Langue:

english

Fichier:

PDF, 174 KB

english, 1999

44

[IEEE Comput. Soc Computational Complexity. Sixteenth Annual IEEE Conference - Chicago, IL, USA (18-21 June 2001)] Proceedings 16th Annual IEEE Conference on Computational Complexity - Space complexity of random formulae in resolution

Ben-Sasson, E., Galesi, N.

Année:

2000

Langue:

english

Fichier:

PDF, 754 KB

english, 2000

45

[IEEE Comput. Soc 39th Annual Symposium on Foundations of Computer Science - Palo Alto, CA, USA (8-11 Nov. 1998)] Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280) - Exponential separations between restricted resolution and cutting planes proof systems

Bonet, M.L., Esteban, J.L., Galesi, N., Johannsen, J.

Année:

1998

Langue:

english

Fichier:

PDF, 177 KB

english, 1998

46

L'Erbario di F. Roccella di Piazza Armerina (Monti Ereisicilia)

Cristaudo, A., Galesi, R., Maugeri, G.

Journal:

Giornale botanico italiano

Année:

1996

Fichier:

PDF, 92 KB

1996

47

How microsatellite analysis can be exploited for subtelomeric chromosomal rearrangement analysis in mental retardation

BORGIONE, E., GIUDICE, M. L., GALESI, O., CASTIGLIA, L., FAILLA, P., ROMANO, C., RAGUSA, A., FICHERA, M.

Journal:

Journal of Medical Genetics

Année:

2001

Langue:

english

Fichier:

PDF, 106 KB

english, 2001

48

Performance assessment of a solar assisted desiccant cooling system

Gagliano, Antonio, Patania, Francesco, Nocera, Francesco, Galesi, Aldo

Journal:

Thermal Science

Année:

2014

Langue:

english

Fichier:

PDF, 344 KB

english, 2014

49

Molecular Mechanisms Generating and Stabilizing Terminal 22q13 Deletions in 44 Subjects with Phelan/McDermid Syndrome

Bonaglia, Maria Clara, Giorda, Roberto, Beri, Silvana, De Agostini, Cristina, Novara, Francesca, Fichera, Marco, Grillo, Lucia, Galesi, Ornella, Vetro, Annalisa, Ciccone, Roberto, Bonati, Maria Teresa

Journal:

Année:

2011

Fichier:

PDF, 510 KB

2011

50

Parameterized Complexity of DPLL Search Procedures

Beyersdorff, Olaf, Galesi, Nicola, Lauria, Massimo

Journal:

ACM Transactions on Computational Logic

Année:

2013

Langue:

english

Fichier:

PDF, 179 KB

english, 2013