4.1 Contributo in Atti di convegno

4.1 Contributo in Atti di convegno: [4720] Home page tipologia

Sfoglia

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.941 a 1.960 di 4.720

Conformance Analysis of Execution Traces with Clinical Guidelines and Basic Medical Knowledge in Answer Set Programming

2013-01-01 Spiotta, Matteo; Bottrighi, Alessio; THESEIDER DUPRE', Daniele

Traffic analysis in WSN with swarm intelligence based routing protocol

2011-01-01 D., Bruneo; M., Scarpa; Bobbio, Andrea; Cerotti, Davide; M., Gribaudo

A New Quantitative Analytical Framework for Large-Scale Distributed Interacting Systems

2011-01-01 Bobbio, Andrea; D., Bruneo; Cerotti, Davide; M., Gribaudo

Multiformalism to Support Software Rejuvenation Modeling

2012-01-01 E., Barbierato; Bobbio, Andrea; Gribaudo, Marco; M., Iacono

Reliability Analysis of Multi-source Multi-sink Critical Interacting Systems

2011-01-01 Bobbio, Andrea; Terruggia, Roberta; E., Ciancamerla; M., Minichino

Markovian Agent models for wireless sensor networks deployed in environmental protection

2013-01-01 Bobbio, Andrea; Cerotti, Davide; Gribaudo, Marco

A new symbolic approach for network reliability analysis

2012-01-01 Beccuti, Marco; Bobbio, Andrea; Franceschinis, Giuliana Annamaria; Terruggia, Roberta

Temporal Network Reliability in Perturbed Scenarios: Application to a SCADA System

2012-01-01 Terruggia, Roberta; Bobbio, Andrea; A., Bonaventura; E., Ciancamerla; D., Lefevre; M., Minichino

Compressed Spaced Suffix Arrays

2014-01-01 Travis, Gagie; Manzini, Giovanni; Daniel, Valenzuela

Relative FM-Indexes

2014-01-01 Belazzougui, Djamal; Gagie, Travis; Gog, Simon; Manzini, Giovanni; Sirén, Jouni

La “metrica del progetto” come indicatore di previsione e di rappresentazione delle potenzialità e dello sviluppo dei sistemi territoriali

2013-01-01 Emanuel, Cesare; Cerutti, Stefania

Tra certezze e dilemmi: la ricerca sulla ventennale esperienza delle équipe adozioni in Piemonte

2008-01-01 Allegri, Elena

Partecipazione sociale e competenze: quale relazione?

2014-01-01 Allegri, Elena

Equipaggi senza orizzonti? Criticità ed aspetti positivi del lavoro di équipe nelle trasformazioni del welfare.

2011-01-01 Allegri, Elena

A Decidable Intersection Type System based on Relevance

1994-01-01 F., Damiani; Giannini, Paola

Type-Based Useless-Code Elimination for Functional Programs

2000-01-01 S., Berardi; M., Coppo; F., Damiani; Giannini, Paola

An effective translation of Fickle into Java

2001-01-01 D., Ancona; C., Anderson; F., Damiani; S., Drossopoulou; Giannini, Paola; E., Zucca

On Strictness and Totality

1997-01-01 M., Coppo; F., Damiani; Giannini, Paola

An Inference Algorithm for Strictness

1997-01-01 F., Damiani; Giannini, Paola

A calculus for ``environment-aware'' computation

2002-01-01 V., Bono; F., Damiani; Giannini, Paola

Titolo	Data di pubblicazione	Autore(i)
Conformance Analysis of Execution Traces with Clinical Guidelines and Basic Medical Knowledge in Answer Set Programming	*1-gen-2013*	Spiotta, Matteo; Bottrighi, Alessio; THESEIDER DUPRE', Daniele
Traffic analysis in WSN with swarm intelligence based routing protocol	*1-gen-2011*	D., Bruneo; M., Scarpa; Bobbio, Andrea; Cerotti, Davide; M., Gribaudo
A New Quantitative Analytical Framework for Large-Scale Distributed Interacting Systems	*1-gen-2011*	Bobbio, Andrea; D., Bruneo; Cerotti, Davide; M., Gribaudo
Multiformalism to Support Software Rejuvenation Modeling	*1-gen-2012*	E., Barbierato; Bobbio, Andrea; Gribaudo, Marco; M., Iacono
Reliability Analysis of Multi-source Multi-sink Critical Interacting Systems	*1-gen-2011*	Bobbio, Andrea; Terruggia, Roberta; E., Ciancamerla; M., Minichino
Markovian Agent models for wireless sensor networks deployed in environmental protection	*1-gen-2013*	Bobbio, Andrea; Cerotti, Davide; Gribaudo, Marco
A new symbolic approach for network reliability analysis	*1-gen-2012*	Beccuti, Marco; Bobbio, Andrea; Franceschinis, Giuliana Annamaria; Terruggia, Roberta
Temporal Network Reliability in Perturbed Scenarios: Application to a SCADA System	*1-gen-2012*	Terruggia, Roberta; Bobbio, Andrea; A., Bonaventura; E., Ciancamerla; D., Lefevre; M., Minichino
Compressed Spaced Suffix Arrays	*1-gen-2014*	Travis, Gagie; Manzini, Giovanni; Daniel, Valenzuela
Relative FM-Indexes	*1-gen-2014*	Belazzougui, Djamal; Gagie, Travis; Gog, Simon; Manzini, Giovanni; Sirén, Jouni
La “metrica del progetto” come indicatore di previsione e di rappresentazione delle potenzialità e dello sviluppo dei sistemi territoriali	*1-gen-2013*	Emanuel, Cesare; Cerutti, Stefania
Tra certezze e dilemmi: la ricerca sulla ventennale esperienza delle équipe adozioni in Piemonte	*1-gen-2008*	Allegri, Elena
Partecipazione sociale e competenze: quale relazione?	*1-gen-2014*	Allegri, Elena
Equipaggi senza orizzonti? Criticità ed aspetti positivi del lavoro di équipe nelle trasformazioni del welfare.	*1-gen-2011*	Allegri, Elena
A Decidable Intersection Type System based on Relevance	*1-gen-1994*	F., Damiani; Giannini, Paola
Type-Based Useless-Code Elimination for Functional Programs	*1-gen-2000*	S., Berardi; M., Coppo; F., Damiani; Giannini, Paola
An effective translation of Fickle into Java	*1-gen-2001*	D., Ancona; C., Anderson; F., Damiani; S., Drossopoulou; Giannini, Paola; E., Zucca
On Strictness and Totality	*1-gen-1997*	M., Coppo; F., Damiani; Giannini, Paola
An Inference Algorithm for Strictness	*1-gen-1997*	F., Damiani; Giannini, Paola
A calculus for ``environment-aware'' computation	*1-gen-2002*	V., Bono; F., Damiani; Giannini, Paola

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.941 a 1.960 di 4.720

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

Scopri

Accesso al fulltext

no fulltext3715
reserved514
open268
restricted214
partially open8
embargoed1