Sfoglia per Autore
Head linear reduction and pure proof net extraction
1994-01-01 MASCARI G., F; Pedicini, Marco
Remarks on Elementary Linear Logic. Preliminary Report
1996-01-01 Pedicini, M.
Directed virtual reductions
1997-01-01 Danos, V; Pedicini, Marco; Regnier, L.
Elementary complexity and geometry of interaction
2000-01-01 Baillot, P; Pedicini, Marco
An approximation property of Pisot numbers
2000-01-01 Komornik, V; Loreti, P; Pedicini, Marco
A parallel implementation for optimal lambda-calculus reduction
2000-01-01 Pedicini, M.; Quaglia, F.
An idempotent analogue of resolvent kernels for a deterministic optimal control problem
2001-01-01 Loreti, P; Pedicini, Marco
Scheduling vs Communication in PELCR
2002-01-01 Pedicini, Marco; Quaglia, F.
An object-oriented approach to idempotent analysis: Integral equations as optimal control problems
2005-01-01 Loreti, P; Pedicini, Marco
Greedy expansions and sets with deleted digits
2005-01-01 Pedicini, Marco
An embedding of the BSS model of computation in light affine lambda-calculus
2006-01-01 Baillot, P; Pedicini, Marco
Supporting Function Calls within PELCR
2006-01-01 Cosentino, A; Pedicini, Marco; Quaglia, F.
Elementary Complexity into the Hyperfinite II1 Factor
2007-01-01 Pedicini, Marco; Piazza, M.
PELCR: Parallel Environment for Optimal Lambda-Calculus Reduction
2007-01-01 Pedicini, Marco; Quaglia, F.
Implementation of a regulatory gene network to simulate the TH1/2 differentiation in an agent-based model of hypersensitivity reactions
2008-01-01 Santoni, D; Pedicini, Marco; Castiglione, F.
Elementary computation and von Neumann Algebras
2009-01-01 Pedicini, Marco; Piazza, M.
Implementing agent's rules with gene regulatory networks in mesoscopic-level models of cellular interactions
2010-01-01 Castiglione, F; Santoni, D; Pedicini, Marco
An application of von Neumann Algebras to computational complexity
2010-01-01 Pedicini, Marco; Piazza, M.
Combining network modeling and gene expression microarray analysis to explore the dynamics of Th1 and Th2 cell regulation
2010-01-01 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
2011-01-01 Agnesse, A; Pedicini, Marco
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