MARCO PEDICINI
- Type
- Persona (Classe)
- Label
- MARCO PEDICINI (literal)
- MARCO PEDICINI (literal)
- Http://www.w3.org/2002/07/owl#sameAs
- MARCO PEDICINI (Unità di personale esterno)
- Subject
- Theoretical computer science (Categoria DBpedia)
- Theory of computation (Categoria DBpedia)
- Formal methods (Categoria DBpedia)
- Recursion theory (Categoria DBpedia)
- Logic in computer science (Categoria DBpedia)
- Gestore di
- Partecipa a commessa
- Partecipazione a Commessa "Metodi matematici e statistici per la genetica e la proteomica" (INT.P02.004) di DOTT. MARCO PEDICINI nell'anno 2008 (Partecipazione a commessa)
- Partecipazione a Commessa "Modellizzazione quantitativa di sistemi biologici complessi" (SV.P18.002) di DOTT. MARCO PEDICINI nell'anno 2007 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi matematici e statistici per la genetica e la proteomica" (INT.P02.004) di DOTT. MARCO PEDICINI nell'anno 2007 (Partecipazione a commessa)
- Partecipazione a Commessa "Modellizzazione quantitativa di sistemi biologici complessi" (SV.P18.002) di DOTT. MARCO PEDICINI nell'anno 2008 (Partecipazione a commessa)
- Persona in rapporto
- Rapporto con CNR di DOTT. MARCO PEDICINI (Rapporto con CNR)
- Autore CNR di
- Typing a Core Binary Field Arithmetic in a Light Logic (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Immunological network signatures of cancer progression and survival (Articolo in rivista) (Prodotto della ricerca)
- PELCR: Parallel environment for optimal lambda-calculus reduction (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- An approximation property of Pisot numbers (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- An object-oriented approach to idempotent analysis: integral equations as optimal control problems (Articolo in rivista) (Prodotto della ricerca)
- Supporting Function Calls within PELCR (Articolo in rivista) (Prodotto della ricerca)
- Elementary complexity and geometry of interaction (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- An agent based model for the light signal transduction in Neurospora Crassa (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- Computability with real numbers and light linear logic (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- Implementation of a regulatory gene network to simulate the TH1/2 differentiation in an agent-based model of hyper-sensitivity reactions (Articolo in rivista) (Prodotto della ricerca)
- An object oriented approach to idempotent analysis: Integral Equations as Optimal Control Problems (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Combining network modeling and gene expression microarray analysis to explore the dynamics of Th1 and Th2 cell regulation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Dynamic programming: an idempotent approach (Comunicazione a convegno) (Prodotto della ricerca)
- Cube attack in finite fields of higher order (Contributo in atti di convegno) (Prodotto della ricerca)
- Scheduling vs Communication in PELCR (Articolo in rivista) (Prodotto della ricerca)
- Greedy expansions and sets with deleted digits (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- PELCR: Parallel Environment for Optimal Lambda-Calculus Reduction (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- An application of von Neumann Algebras to computational complexity (Contributo in atti di convegno) (Prodotto della ricerca)
- Generalized golden ratios of ternary alphabets (Articolo in rivista) (Prodotto della ricerca)
- Coautore
- Luca Roversi (Persona)
- PATRICK BAILLOT (Unità di personale esterno)
- VILMOS KOMORNIK (Unità di personale esterno)
- ANTONIO COSENTINO (Unità di personale esterno)
- FILIPPO CASTIGLIONE (Persona)
- DANIELE SANTONI (Persona)
- PAOLA LORETI (Persona)
- DANIELE SANTONI (Unità di personale interno)
- EMANUELE CESENA (Persona)
- MARIO PIAZZA (Persona)
- ANNA CHIARA LAI (Persona)
- Nome
- MARCO (literal)
- Cognome
- PEDICINI (literal)
- Afferisce a
- Ha pubblicazioni con
- ANTONIO COSENTINO (Unità di personale esterno)
- PATRICK BAILLOT (Unità di personale esterno)
- VILMOS KOMORNIK (Unità di personale esterno)
- PAOLA LORETI (Persona)
- FILIPPO CASTIGLIONE (Persona)
- Http://www.cnr.it/ontology/persone.owl#argomentoDiRicercaSimile
- FRANCO BREZZI (Persona)
- PAOLO GENTILINI (Persona)
- MATTEO PRADELLA (Unità di personale interno)
Incoming links:
- Autore CNR
- Cube attack in finite fields of higher order (Contributo in atti di convegno) (Prodotto della ricerca)
- An application of von Neumann Algebras to computational complexity (Contributo in atti di convegno) (Prodotto della ricerca)
- Dynamic programming: an idempotent approach (Comunicazione a convegno) (Prodotto della ricerca)
- Elementary complexity and geometry of interaction (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Implementation of a regulatory gene network to simulate the TH1/2 differentiation in an agent-based model of hyper-sensitivity reactions (Articolo in rivista) (Prodotto della ricerca)
- PELCR: Parallel environment for optimal lambda-calculus reduction (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Generalized golden ratios of ternary alphabets (Articolo in rivista) (Prodotto della ricerca)
- Greedy expansions and sets with deleted digits (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Combining network modeling and gene expression microarray analysis to explore the dynamics of Th1 and Th2 cell regulation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- An approximation property of Pisot numbers (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- An object-oriented approach to idempotent analysis: integral equations as optimal control problems (Articolo in rivista) (Prodotto della ricerca)
- Supporting Function Calls within PELCR (Articolo in rivista) (Prodotto della ricerca)
- Typing a Core Binary Field Arithmetic in a Light Logic (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Computability with real numbers and light linear logic (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- An agent based model for the light signal transduction in Neurospora Crassa (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- An object oriented approach to idempotent analysis: Integral Equations as Optimal Control Problems (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- PELCR: Parallel Environment for Optimal Lambda-Calculus Reduction (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Immunological network signatures of cancer progression and survival (Articolo in rivista) (Prodotto della ricerca)
- Scheduling vs Communication in PELCR (Articolo in rivista) (Prodotto della ricerca)
- Partecipazione di
- Partecipazione a Commessa "Modellizzazione quantitativa di sistemi biologici complessi" (SV.P18.002) di DOTT. MARCO PEDICINI nell'anno 2007 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi matematici e statistici per la genetica e la proteomica" (INT.P02.004) di DOTT. MARCO PEDICINI nell'anno 2007 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi matematici e statistici per la genetica e la proteomica" (INT.P02.004) di DOTT. MARCO PEDICINI nell'anno 2008 (Partecipazione a commessa)
- Partecipazione a Commessa "Modellizzazione quantitativa di sistemi biologici complessi" (SV.P18.002) di DOTT. MARCO PEDICINI nell'anno 2008 (Partecipazione a commessa)
- Ha afferente
- Coautore
- FILIPPO CASTIGLIONE (Persona)
- DANIELE SANTONI (Unità di personale interno)
- EMANUELE CESENA (Persona)
- MARIO PIAZZA (Persona)
- PATRICK BAILLOT (Unità di personale esterno)
- VILMOS KOMORNIK (Unità di personale esterno)
- Luca Roversi (Persona)
- ANTONIO COSENTINO (Unità di personale esterno)
- DANIELE SANTONI (Persona)
- PAOLA LORETI (Persona)
- ANNA CHIARA LAI (Persona)
- Ha pubblicazioni con
- FILIPPO CASTIGLIONE (Persona)
- PATRICK BAILLOT (Unità di personale esterno)
- VILMOS KOMORNIK (Unità di personale esterno)
- ANTONIO COSENTINO (Unità di personale esterno)
- PAOLA LORETI (Persona)
- Http://www.cnr.it/ontology/persone.owl#argomentoDiRicercaSimile
- MATTEO PRADELLA (Unità di personale interno)
- FRANCO BREZZI (Persona)
- PAOLO GENTILINI (Persona)
- Gestore
- Rapporto con persona
- Rapporto con CNR di DOTT. MARCO PEDICINI (Rapporto con CNR)
- Http://www.w3.org/2004/02/skos/core#isSubjectOf
- Recursion theory (Categoria DBpedia)
- Theoretical computer science (Categoria DBpedia)
- Logic in computer science (Categoria DBpedia)
- Theory of computation (Categoria DBpedia)
- Formal methods (Categoria DBpedia)