<--- Back to Details
First PageDocument Content
Science / International Union of Geodesy and Geophysics / International Council for Science / International Geosphere-Biosphere Programme / International Association of Geomagnetism and Aeronomy / PAGES / European Geosciences Union / Global change / Geophysics / Geology / Earth
Date: 2012-07-28 17:22:16
Science
International Union of Geodesy and Geophysics
International Council for Science
International Geosphere-Biosphere Programme
International Association of Geomagnetism and Aeronomy
PAGES
European Geosciences Union
Global change
Geophysics
Geology
Earth

Microsoft Word - IUGGej0905.doc

Add to Reading List

Source URL: iugg.org

Download Document from Source Website

File Size: 25,48 KB

Share Document on Facebook

Similar Documents

Computational neuroscience / Neural networks / Artificial neural networks / Neuroscience / Cybernetics / Nervous system / Spiking neural network / Neuron / Artificial neuron / Nervous system network models / GalvesLcherbach model

Compositional Semantics of Spiking Neural P Systems Roberto Barbutia , Andrea Maggiolo-Schettinia, Paolo Milazzoa,∗, Simone Tinib a Dipartimento di Informatica, Universit` a di Pisa, Largo B. Pontecorvo 3, 56127 Pisa,

DocID: 1xW1Z - View Document

Logic / Mathematics / Automated theorem proving / Logic programming / Mathematical logic / Logical truth / Propositional calculus / Substitution / Sequence / LOOP / Constructible universe / Ground expression

Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level Roberto Barbuti, Andrea Maggiolo–Schettini, and Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa

DocID: 1xVZ1 - View Document

Geography of North Carolina / Raleigh /  North Carolina / Research Triangle / Walter Raleigh / United States Postal Service / Filing / North Carolina

Form DI-RE (RevPlease do not staple; type, print in ink or file on-line; attach additional pages if necessary. For SOS office use only Indexed to PL File #

DocID: 1xVVf - View Document

Algebra / Mathematics / Polynomials / Computer algebra / Polynomial / General number field sieve / Resultant / Irreducible polynomial / Factorization / Polynomial greatest common divisor / Degree of a polynomial

MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000–000 SXXBETTER POLYNOMIALS FOR GNFS SHI BAI, CYRIL BOUVIER, ALEXANDER KRUPPA, AND PAUL ZIMMERMANN

DocID: 1xVRE - View Document

Mathematics / Theoretical computer science / Mathematical logic / Formal languages / Order theory / Logic in computer science / Multiset / Path ordering / Term / Structure / Rewriting / Model theory

FBTCAn Intermediate Language for the Simulation of Biological Systems 1 Roberto Barbuti,2 Giulio Caravagna,3 Andrea Maggiolo–Schettini4 and Paolo Milazzo5

DocID: 1xVQS - View Document