Sfoglia per Titolo
Bouncing ball orbits and symmetry breaking effects in a three-dimensional chaotic billiard
2008-01-01 B., Dietz; B., Moeßner; T., Papenbrock; U., Reif; Richter, Achim
Bound states in sharply bent waveguides: Analytical and experimental approach
2013-01-01 S., Bittner; B., Dietz; M., Miski Oglu; Richter, Achim; C., Ripp; E., Sadurni; W. P., Schleich
Boundaries, Continuity, and Contact
1995-01-01 Varzi, A. C.
Bounded cohomology classes of exact forms
2024-01-01 Battista, Ludovico; Francaviglia, Stefano; Moraschini, Marco; Sarti, Filippo; Savini, Alessio
Bounded Generalized Kelly Mechanism for Multi-Tenant Caching in Mobile Edge Clouds
2016-01-01 De Pellegrini, Francesco; Massaro, Antonio; Goratti, Leonardo; Azouzi, E. R.
Bounded Model Checking
2003-01-01 Armin, Biere; Cimatti, Alessandro; E. M., Clarke; Ofer, Strichman; Yunshan, Zhu
Bounded Model Checking for past LTL
2003-01-01 Benedetti, Marco; Cimatti, Alessandro
Bounded Model Checking for Timed Systems
2002-01-01 Audemard, Gilles; Cimatti, Alessandro; Kornilowicz, Artur; Sebastiani, Roberto
Bounded model checking of software using SMT solvers instead of SAT solvers
2009-01-01 Armando, Alessandro; J., Mantovani; L., Platania
Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers
2006-01-01 Armando, Alessandro; Mantovani, J.; Platania, L.
Bounded Model Property for Multi-Context Systems
2004-01-01 Roelofsen, Floris
Bounded Verification of Past LTL
2004-01-01 Cimatti, Alessandro; Roveri, Marco; D., Sheridan
Bounded-Resource Reasoning as (Strong or Classical) Planning
2009-01-01 Albore, Alexandre; Natasha, Alechina; Bertoli, Piergiorgio; Ghidini, Chiara; Brian, Logan
Bowling Alone and Trust Decline in Social Network Sites
2009-01-01 Massa, Paolo; M., Salvetti; D., Tomasoni
Bozen im Messenetz Europas (17.-19. Jahrhundert) / Bolzano nel sistema fieristico europeo (secc. XVII-XIX
2007-01-01 Andrea, Bonoldi; Markus, Denzel
BPMN 2.0 Choreography Language: Interface or Business Contract?
2017-01-01 Adamo, Greta; Borgo, Stefano; Di Francescomarino, Chiara; Ghidini, Chiara; Rospocher, Marco
BPMN Visual Rule Language for Business Process Aspectization
2011-01-01 Ghidini, Chiara; Di Francescomarino, Chiara; Rospocher, Marco; Tonella, Paolo; Serafini, Luciano
Braccia italiane al servizio del Reich. L’emigrazione dei fremdarbeiter italiani nella Germania nazista (1937-1943)
2017-01-01 Caramel, Niccolò
Brain Connectivity Analysis by Reduction to Pair Classification
2010-01-01 Olivetti, Emanuele; Veeramachaneni, Sriharsha; Greiner, Susanne; Avesani, Paolo
Brain decoding via graph kernels
2013-01-01 Vega Pons, Sandro; Avesani, Paolo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Bouncing ball orbits and symmetry breaking effects in a three-dimensional chaotic billiard | 1-gen-2008 | B., Dietz; B., Moeßner; T., Papenbrock; U., Reif; Richter, Achim | |
Bound states in sharply bent waveguides: Analytical and experimental approach | 1-gen-2013 | S., Bittner; B., Dietz; M., Miski Oglu; Richter, Achim; C., Ripp; E., Sadurni; W. P., Schleich | |
Boundaries, Continuity, and Contact | 1-gen-1995 | Varzi, A. C. | |
Bounded cohomology classes of exact forms | 1-gen-2024 | Battista, Ludovico; Francaviglia, Stefano; Moraschini, Marco; Sarti, Filippo; Savini, Alessio | |
Bounded Generalized Kelly Mechanism for Multi-Tenant Caching in Mobile Edge Clouds | 1-gen-2016 | De Pellegrini, Francesco; Massaro, Antonio; Goratti, Leonardo; Azouzi, E. R. | |
Bounded Model Checking | 1-gen-2003 | Armin, Biere; Cimatti, Alessandro; E. M., Clarke; Ofer, Strichman; Yunshan, Zhu | |
Bounded Model Checking for past LTL | 1-gen-2003 | Benedetti, Marco; Cimatti, Alessandro | |
Bounded Model Checking for Timed Systems | 1-gen-2002 | Audemard, Gilles; Cimatti, Alessandro; Kornilowicz, Artur; Sebastiani, Roberto | |
Bounded model checking of software using SMT solvers instead of SAT solvers | 1-gen-2009 | Armando, Alessandro; J., Mantovani; L., Platania | |
Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers | 1-gen-2006 | Armando, Alessandro; Mantovani, J.; Platania, L. | |
Bounded Model Property for Multi-Context Systems | 1-gen-2004 | Roelofsen, Floris | |
Bounded Verification of Past LTL | 1-gen-2004 | Cimatti, Alessandro; Roveri, Marco; D., Sheridan | |
Bounded-Resource Reasoning as (Strong or Classical) Planning | 1-gen-2009 | Albore, Alexandre; Natasha, Alechina; Bertoli, Piergiorgio; Ghidini, Chiara; Brian, Logan | |
Bowling Alone and Trust Decline in Social Network Sites | 1-gen-2009 | Massa, Paolo; M., Salvetti; D., Tomasoni | |
Bozen im Messenetz Europas (17.-19. Jahrhundert) / Bolzano nel sistema fieristico europeo (secc. XVII-XIX | 1-gen-2007 | Andrea, Bonoldi; Markus, Denzel | |
BPMN 2.0 Choreography Language: Interface or Business Contract? | 1-gen-2017 | Adamo, Greta; Borgo, Stefano; Di Francescomarino, Chiara; Ghidini, Chiara; Rospocher, Marco | |
BPMN Visual Rule Language for Business Process Aspectization | 1-gen-2011 | Ghidini, Chiara; Di Francescomarino, Chiara; Rospocher, Marco; Tonella, Paolo; Serafini, Luciano | |
Braccia italiane al servizio del Reich. L’emigrazione dei fremdarbeiter italiani nella Germania nazista (1937-1943) | 1-gen-2017 | Caramel, Niccolò | |
Brain Connectivity Analysis by Reduction to Pair Classification | 1-gen-2010 | Olivetti, Emanuele; Veeramachaneni, Sriharsha; Greiner, Susanne; Avesani, Paolo | |
Brain decoding via graph kernels | 1-gen-2013 | Vega Pons, Sandro; Avesani, Paolo |
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