Sfoglia per Titolo
Bots increase exposure to negative and inflammatory content in online social systems
2018-01-01 Stella, Massimo; Ferrara, Emilio; De Domenico, Manlio
Bottini di guerra indiretti. Le asportazioni di materie prime seconde e di rottami metallici verso il Reich dall'Italia occupata (1943-1945)
2020-01-01 Di Fabio, Laura
Bottom-flavored inclusive emissions in the variable-flavor number scheme: A high-energy analysis
2021-01-01 Celiberto, Francesco Giovanni; Fucilla, Michael; Ivanov, Dmitry Yu.; Mohammed, Mohammed M. A.; Papa, Alessandro
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
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Bots increase exposure to negative and inflammatory content in online social systems | 1-gen-2018 | Stella, Massimo; Ferrara, Emilio; De Domenico, Manlio | |
Bottini di guerra indiretti. Le asportazioni di materie prime seconde e di rottami metallici verso il Reich dall'Italia occupata (1943-1945) | 1-gen-2020 | Di Fabio, Laura | |
Bottom-flavored inclusive emissions in the variable-flavor number scheme: A high-energy analysis | 1-gen-2021 | Celiberto, Francesco Giovanni; Fucilla, Michael; Ivanov, Dmitry Yu.; Mohammed, Mohammed M. A.; Papa, Alessandro | |
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 |
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