<--- Back to Details
First PageDocument Content
HTML element / GUI widget / Table / Pages / Template / Software / Word processors / Microsoft Excel
Date: 2010-05-18 10:20:30
HTML element
GUI widget
Table
Pages
Template
Software
Word processors
Microsoft Excel

Add to Reading List

Source URL: sta.uwi.edu

Download Document from Source Website

File Size: 1,81 MB

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