Pages - PDFSEARCH.IO - Document Search Engine

Pages
Results: 36249

#	Item
1	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, Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Computational neuroscience Neural networks Artificial neural networks Neuroscience Cybernetics Nervous system Spiking neural network Neuron Artificial neuron Nervous system network models GalvesLcherbach model
2	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 Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Logic Mathematics Automated theorem proving Logic programming Mathematical logic Logical truth Propositional calculus Substitution Sequence LOOP Constructible universe Ground expression
3	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 # Add to Reading List Source URL: lobby.ncsbe.gov Language: English - Date: 2018-09-06 09:07:46 Geography of North Carolina Raleigh North Carolina Research Triangle Walter Raleigh United States Postal Service Filing North Carolina
4	MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000–000 SXXBETTER POLYNOMIALS FOR GNFS SHI BAI, CYRIL BOUVIER, ALEXANDER KRUPPA, AND PAUL ZIMMERMANN Add to Reading List Source URL: cosweb1.fau.edu Language: English - Date: 2018-10-24 18:51:52 Algebra Mathematics Polynomials Computer algebra Polynomial General number field sieve Resultant Irreducible polynomial Factorization Polynomial greatest common divisor Degree of a polynomial
5	FBTCAn Intermediate Language for the Simulation of Biological Systems 1 Roberto Barbuti,2 Giulio Caravagna,3 Andrea Maggiolo–Schettini4 and Paolo Milazzo5 Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Mathematics Theoretical computer science Mathematical logic Formal languages Order theory Logic in computer science Multiset Path ordering Term Structure Rewriting Model theory
6	The Calculus of Looping Sequences Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo–Schettini, Paolo Milazzo, and Giovanni Pardini Dipartimento di Informatica, Universit` a di Pisa Largo B. Pontecorvo 3, 56127 Pisa, I Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Biology Biochemistry Logic in computer science Molecular biology Epidermal growth factor Morphogens Protein domain Rewriting Natural computing RNA polymerase RNA
7	MeCBICTranslating Stochastic CLS into Maude Thomas Anung Basukia,b,1 Antonio Ceronea,2 Paolo Milazzob,3 a Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Theoretical computer science Stochastic processes Formal languages Logic in computer science Stochastic simulation Rewriting
8	MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000–000 SXXAN L(1/3) ALGORITHM FOR IDEAL CLASS GROUP AND REGULATOR COMPUTATION IN CERTAIN NUMBER FIELDS Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-09-02 16:26:26 Mathematics Abstract algebra Mathematical analysis Algebraic number theory Discriminant of an algebraic number field Riemann hypothesis Algebraic number field Table of stars with Bayer designations Computational complexity of mathematical operations
9	Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates Roberto Barbuti1 , Francesca Levi1 , Paolo Milazzo1 , and Guido Scatena2 1 2 Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Probabilistic CTL Temporal logic Markov chain
10	An extended abstract of this paper appears in Victor Shoup, editor, Advances in Cryptology – CRYPTO 2005, Volume 3621 of Lecture Notes in Computer Science, pages 205–222, Santa Barbara, California, August 14 – 18, Add to Reading List Source URL: www.neven.org Language: English - Date: 2012-04-18 06:07:55 Cryptography Public-key cryptography Identity-based cryptography ID-based encryption Advantage Paillier cryptosystem BonehFranklin scheme