Sfoglia per Titolo

opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 15.035 a 15.054 di 17.208
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
Mostrati risultati da 15.035 a 15.054 di 17.208
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