Sfoglia per Titolo
SVM based CDMA receiver with incremental active learning
2006-01-01 Ricci, Elisa; L., Rugini; R., Perfetti
SWAN: Base–Band Units Placement over Reconfigurable Wireless Front–Hauls
2016-01-01 Riggio, Roberto; Harutyunyan, Davit; Bradai, Abbas; Kuklinski, Slawomir; Ahmed, Toufik
Switching Models for Vision-Based On-Board Road Detection
2005-01-01 Lombardi, Paolo; Zanin, Michele; Messelodi, Stefano
Switching ultrastrong light–matter coupling on a subcycle scale
2011-01-01 R., Huber; A. A., Anappara; G., Günter; A., Sell; S., De Liberato; C., Ciuti; G., Biasiol; L., Sorba; Tredicucci, Alessandro; A., Leitenstorfer
Symbolic Backward Reachability with Effectively Propositional Logic-Applications to Security Policy Analysis
2013-01-01 Ranise, Silvio
Symbolic Compilation of PSL
2008-01-01 Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
Symbolic computation and satisfiability checking
2020-01-01 Davenport, J. H.; England, M.; Griggio, A.; Sturm, T.; Tinelli, C.
Symbolic Computation of Schedulability Regions using parametric timed automata
2008-01-01 Cimatti, Alessandro; Luigi, Palopoli; Ramadian, Yusi
Symbolic execution with existential second-order constraints
2018-01-01 Mechtaev, Sergey; Griggio, Alberto; Cimatti, Alessandro; Roychoudhury, Abhik
Symbolic Fault Tree Analysis for Reactive Systems
2007-01-01 Bozzano, Marco; Cimatti, Alessandro; Francesco, Tapparo
Symbolic Implementation of Alternating Automata
2006-01-01 R. Bloem; A. Cimatti; I. Pill; M. Roveri; S. Semprini
Symbolic Implementation of Alternating Automata
2007-01-01 Roderick, Bloem; Cimatti, Alessandro; Ingo, Pill; Roveri, Marco
Symbolic model checking for multi-agent systems
2001-01-01 Massimo, Benerecetti; Cimatti, Alessandro
Symbolic Model Checking for Timed Petri Nets
1997-01-01 Calzolari, F.; Morzenti, A.; Pezzé, M.
Symbolic Model-Checking of Linear Programs
2002-01-01 Armando, Alessandro; De Lucia, P.
Symbolic Search-Based Testing
2011-01-01 Arthur, Baars; Mark, Harman; Youssef, Hassoun; Kiran, Lakhotia; Phil, Mcminn; Tonella, Paolo; Tanja, Vos
Symbolic Synthesis of Observability Requirements for Diagnosability
2012-01-01 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Xavier, Olive
Symbolic Synthesis of Observability Requirements for Diagnosability
2011-01-01 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Xavier, Olive
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking
2005-01-01 Roberto Sebastiani; Stefano Tonetta; Moshe Vardi
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking
2011-01-01 Sebastiani, Roberto; Tonetta, Stefano; Moshe, Vardi
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| SVM based CDMA receiver with incremental active learning | 1-gen-2006 | Ricci, Elisa; L., Rugini; R., Perfetti | |
| SWAN: Base–Band Units Placement over Reconfigurable Wireless Front–Hauls | 1-gen-2016 | Riggio, Roberto; Harutyunyan, Davit; Bradai, Abbas; Kuklinski, Slawomir; Ahmed, Toufik | |
| Switching Models for Vision-Based On-Board Road Detection | 1-gen-2005 | Lombardi, Paolo; Zanin, Michele; Messelodi, Stefano | |
| Switching ultrastrong light–matter coupling on a subcycle scale | 1-gen-2011 | R., Huber; A. A., Anappara; G., Günter; A., Sell; S., De Liberato; C., Ciuti; G., Biasiol; L., Sorba; Tredicucci, Alessandro; A., Leitenstorfer | |
| Symbolic Backward Reachability with Effectively Propositional Logic-Applications to Security Policy Analysis | 1-gen-2013 | Ranise, Silvio | |
| Symbolic Compilation of PSL | 1-gen-2008 | Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano | |
| Symbolic computation and satisfiability checking | 1-gen-2020 | Davenport, J. H.; England, M.; Griggio, A.; Sturm, T.; Tinelli, C. | |
| Symbolic Computation of Schedulability Regions using parametric timed automata | 1-gen-2008 | Cimatti, Alessandro; Luigi, Palopoli; Ramadian, Yusi | |
| Symbolic execution with existential second-order constraints | 1-gen-2018 | Mechtaev, Sergey; Griggio, Alberto; Cimatti, Alessandro; Roychoudhury, Abhik | |
| Symbolic Fault Tree Analysis for Reactive Systems | 1-gen-2007 | Bozzano, Marco; Cimatti, Alessandro; Francesco, Tapparo | |
| Symbolic Implementation of Alternating Automata | 1-gen-2006 | R. Bloem; A. Cimatti; I. Pill; M. Roveri; S. Semprini | |
| Symbolic Implementation of Alternating Automata | 1-gen-2007 | Roderick, Bloem; Cimatti, Alessandro; Ingo, Pill; Roveri, Marco | |
| Symbolic model checking for multi-agent systems | 1-gen-2001 | Massimo, Benerecetti; Cimatti, Alessandro | |
| Symbolic Model Checking for Timed Petri Nets | 1-gen-1997 | Calzolari, F.; Morzenti, A.; Pezzé, M. | |
| Symbolic Model-Checking of Linear Programs | 1-gen-2002 | Armando, Alessandro; De Lucia, P. | |
| Symbolic Search-Based Testing | 1-gen-2011 | Arthur, Baars; Mark, Harman; Youssef, Hassoun; Kiran, Lakhotia; Phil, Mcminn; Tonella, Paolo; Tanja, Vos | |
| Symbolic Synthesis of Observability Requirements for Diagnosability | 1-gen-2012 | Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Xavier, Olive | |
| Symbolic Synthesis of Observability Requirements for Diagnosability | 1-gen-2011 | Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Xavier, Olive | |
| Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking | 1-gen-2005 | Roberto Sebastiani; Stefano Tonetta; Moshe Vardi | |
| Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking | 1-gen-2011 | Sebastiani, Roberto; Tonetta, Stefano; Moshe, Vardi |
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