SC^2: Satisfiability Checking Meets Symbolic Computation
2016-01-01 Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti Anna, M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport James, H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler Werner, M.; Sturm, Thomas
The xSAP Safety Analysis Platform
2016-01-01 Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni
Electronic confinement of silver nanoclusters in Er3+-activated silicate and phosphate glasses
2009-01-01 Minati, L.; Speranza, G.; Chiappini, A.; Chiasera, A.; Ferrari, M.; Berneschi, S.; Pelli, S.; Righini, G. C.
Symbolic execution with existential second-order constraints
2018-01-01 Mechtaev, Sergey; Griggio, Alberto; Cimatti, Alessandro; Roychoudhury, Abhik
Diversity: A poor man's solution to drone takeover
2017-01-01 Davanian, A.; Massacci, F.; Allodi, L.
Control of wastewater N2O emissions by balancing the microbial communities using a fuzzy-logic approach
2016-01-01 Boiocchi, R.; Gernaey, K. V.; Sin, G.
Informatica “unplugged”. Un percorso didattico tra matematica discreta e algebra computazionale.
2016-01-01 Gaio, Aaron
Storytelling con Scratch: “Godimondo e Fortunato”; dalla leggenda, al teatro, all’animazione al computer.
2017-01-01 Gaio, Aaron; Zugliani, Valeria
Patterns for licensing web services
2008-01-01 Gangadharan Ramakrishnan, Gangadharan; Weiss, M.; D'Andrea, V.
Wave power extraction with constrained power take-off: Single capture vs. double capture point absorbers
2014-01-01 Bozzetto, A; Tedeschi, E
A study of biomass in a hybrid stand-alone Micro-Grid for the rural village of Wawashang, Nicaragua
2014-01-01 Lotveit, M; Suul, J A; Tedeschi, E; Molinas, M
A modular simulation platform for testing hybrid DC/AC future grid solutions for remote areas
2013-01-01 Estala, E A; Molinas, M; Tedeschi, E
Effect of energy storage on a combined wind and wave energy farm
2012-01-01 Tedeschi, E; Robles, E; Santos, M; Duperray, O; Salcedo, F
Generalized Symmetrical Components for Periodic Non-Sinusoidal Three-Phase Signals
2006-01-01 P., Tenti; Willems, J. L.; Mattavelli, P.; Tedeschi, E.
Predictive Digital Control for Voltage Regulation Module Applications
2005-01-01 DELLA MONICA, E.; Stefanutti, W.; Mattavelli, P.; Tedeschi, E.; P., Tenti; Saggini, S.
Optimization of Hybrid Filters for Distributed Harmonic and Reactive Compensation
2005-01-01 P., Tenti; Tedeschi, E.; Mattavelli, P.
Distorting loads identification and compensation by distributed harmonic and reactive compensation systems
2006-01-01 Tenti, P.; Tedeschi, E.; Mattavelli, P.
Reduction of Quantization Effects in Digitally Controlled dc-dc Converters using Inductor Current Estimator
2006-01-01 E., DELLA MONICA; W., Stefanutti; Tedeschi, E; P., Mattavelli; S., Saggini
Reduction of quantization effects in digitally controlled dc-dc converters using inductor current estimation
2006-01-01 Stefanutti, W.; Della Monica, E.; Tedeschi, E.; Mattavelli, P.; Saggini, S.
Closed-loop model reference tuning of pid regulators for digitally controlled dc-dc converters based on duty-cycle perturbation
2007-01-01 Stefanutti, W; Saggini, S; Corradini, L; Tedeschi, E; Mattavelli, P; Trevisan, D
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
Scopri
Tipologia
- 04 Convegni (Proceedings)20444
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa43
- 2020 - 20273498
- 2010 - 20197208
- 2000 - 20096482
- 1990 - 19992663
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2224
- Institute of Electrical and Elect...1019
- Springer900
- ACM380
- IEEE Computer Society330
- Springer Verlag298
- SPIE187
- Association for Computing Machinery174
- Association for Computational Lin...171
- Springer Science and Business Med...171
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE...68
- POS PROCEEDINGS OF SCIENCE45
- IJCAI28
- LECTURE NOTES IN COMPUTER SCIENCE21
- INTERNATIONAL ARCHIVES OF THE PHO...13
- AIP CONFERENCE PROCEEDINGS12
- PROCEDIA STRUCTURAL INTEGRITY11
- PROCEEDINGS OF SPIE, THE INTERNAT...11
- MATEC WEB OF CONFERENCES10
- E3S WEB OF CONFERENCES9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE705
- CEUR WORKSHOP PROCEEDINGS261
- PROCEEDINGS OF SPIE, THE INTERNAT...187
- IEEE INTERNATIONAL GEOSCIENCE AND...136
- LECTURE NOTES IN COMPUTER SCIENCE113
- LECTURE NOTES IN ARTIFICIAL INTEL...90
- PROCEEDINGS OF THE IEEE CONFERENC...79
- DIGEST - IEEE ANTENNAS AND PROPAG...59
- IFAC-PAPERSONLINE58
- IEEE INTERNATIONAL GEOSCIENCE AND...54
Settore disciplinare
- Settore M-FIL/02 - Logica e Filos...56
- Settore ING-INF/05 - Sistemi di E...32
- Settore INF/01 - Informatica23
- Settore ING-INF/01 - Elettronica14
- Settore ING-INF/07 - Misure Elett...12
- Settore ING-INF/03 - Telecomunica...9
- Settore MAT/05 - Analisi Matematica8
- Settore ICAR/14 - Composizione Ar...7
- Settore ICAR/17 - Disegno5
- Settore L-ANT/08 - Archeologia Cr...5
Keyword
- Computer Networks and Communications149
- Computer Science Applications1707...144
- Electrical and Electronic Enginee...138
- Software108
- Computer Science (all)103
- Theoretical Computer Science85
- Control and Systems Engineering71
- 170761
- Artificial Intelligence53
- Modeling and Simulation49
Lingua
- eng15356
- ita3585
- und133
- fre96
- spa74
- ger63
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext14965
- reserved3347
- open1609
- partially open517
- mixed6
- embargoed2