Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 45
Titolo Data di pubblicazione Autore(i) File
Head linear reduction and pure proof net extraction 1-gen-1994 MASCARI G., F; Pedicini, Marco
Remarks on Elementary Linear Logic. Preliminary Report 1-gen-1996 Pedicini, M.
Directed virtual reductions 1-gen-1997 Danos, V; Pedicini, Marco; Regnier, L.
Elementary complexity and geometry of interaction 1-gen-2000 Baillot, P; Pedicini, Marco
An approximation property of Pisot numbers 1-gen-2000 Komornik, V; Loreti, P; Pedicini, Marco
A parallel implementation for optimal lambda-calculus reduction 1-gen-2000 Pedicini, M.; Quaglia, F.
An idempotent analogue of resolvent kernels for a deterministic optimal control problem 1-gen-2001 Loreti, P; Pedicini, Marco
Scheduling vs Communication in PELCR 1-gen-2002 Pedicini, Marco; Quaglia, F.
An object-oriented approach to idempotent analysis: Integral equations as optimal control problems 1-gen-2005 Loreti, P; Pedicini, Marco
Greedy expansions and sets with deleted digits 1-gen-2005 Pedicini, Marco
An embedding of the BSS model of computation in light affine lambda-calculus 1-gen-2006 Baillot, P; Pedicini, Marco
Supporting Function Calls within PELCR 1-gen-2006 Cosentino, A; Pedicini, Marco; Quaglia, F.
Elementary Complexity into the Hyperfinite II1 Factor 1-gen-2007 Pedicini, Marco; Piazza, M.
PELCR: Parallel Environment for Optimal Lambda-Calculus Reduction 1-gen-2007 Pedicini, Marco; Quaglia, F.
Implementation of a regulatory gene network to simulate the TH1/2 differentiation in an agent-based model of hypersensitivity reactions 1-gen-2008 Santoni, D; Pedicini, Marco; Castiglione, F.
Elementary computation and von Neumann Algebras 1-gen-2009 Pedicini, Marco; Piazza, M.
Implementing agent's rules with gene regulatory networks in mesoscopic-level models of cellular interactions 1-gen-2010 Castiglione, F; Santoni, D; Pedicini, Marco
An application of von Neumann Algebras to computational complexity 1-gen-2010 Pedicini, Marco; Piazza, M.
Combining network modeling and gene expression microarray analysis to explore the dynamics of Th1 and Th2 cell regulation 1-gen-2010 Pedicini, Marco; Barrenäs, F; Clancy, T; Castiglione, F; Hovig, E; Kanduri, K; Santoni, D; Benson, M.
Cube attack in finite fields of higher order 1-gen-2011 Agnesse, A; Pedicini, Marco
Mostrati risultati da 1 a 20 di 45
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile