Affiner les résultats
Type de document
Institution
Langue
- Anglais (11)
Auteur
- Sharygina, Natasha (3)
- Bruttomesso, Roberto (2)
- Tonetta, Stefano (2)
- Tsitovich, Aliaksei (2)
- Alberti, Francesco (1)
- Barta, János (1)
- Benavoli, Alessio (1)
- Cadoni, Ezio (1)
- Corani, Giorgio (1)
- Farsi, Mehdi (1)
- Ghilardi, Silvio (1)
- Gärtner, K. (1)
- Hensher, David (1)
- Krause, Rolf (1)
- Kreienbuehl, Andreas (1)
- Kroening, Daniel (1)
- Masiero, Lorenzo (1)
- Meda, Alberto (1)
- Montemanni, Roberto (1)
- Naegel, Arne (1)
- Plizzari, Giovanni (1)
- Ranise, Silvio (1)
- Rollini, Simone (1)
- Ruprecht, Daniel (1)
- Sebastiani, Roberto (1)
- Singerman, Eli (1)
- Speck, Robert (1)
- Vardi, Moshe (1)
- Wintersteiger, Christoph (1)
- Wittum, Gabriel (1) Plus Moins
Domaine
- Médecine, Technologie, Sciences de l'ingénieur, Informatique
Mot clé
- AG : Assertion Graph (1)
- Array programs (1)
- BA : Büchi Automaton (1)
- Bayesian hypothesis tests (1)
- Bounded discrete steady state solutions (1)
- Cost efficiency (1)
- Craig interpolation (1)
- Cross-validation (1)
- Degenerate semiconductors (1)
- Dissipativity (1)
- Dynamic tests (1)
- Evaluation of classifiers (1)
- FG : Fair Graph (1)
- FRC (1)
- Fermi-Dirac statistics (1)
- Formal verification (1)
- Freight choice (1)
- GSTE (1)
- GSTE : Generalized STE (1)
- Gains and losses (1)
- General hospitals (1)
- Generalized Einstein relation (1)
- Generalized Scharfetter-Gummel scheme (1)
- High performance concrete (1)
- High strain-rate (1)
- Hypothesis test (1)
- Lazy abstraction (1)
- Load balancing (1)
- Loop invariants (1)
- Loop summarization (1) Plus Moins