TCAD Simulation of Avalanche Breakdown Voltage in GM-APDs
2010-01-01 Serra, Nicola; Giacomini, Gabriele; Melchiorri, Mirko; Piazza, Alessandro; Piemonte, Claudio; Tarolli, Alessandro; Zorzi, Nicola
The MathSAT solver -- a progress report
2004-01-01 Bozzano, Marco; Cimatti, Alessandro; Gabriele, Colombini; Veselin, Kirov; Sebastiani, Roberto
Efficient Satisfiability Modulo Theories via Delayed Theory Combination
2005-01-01 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi, Junttila; Ranise, Silvio; Peter van, Rossum; Sebastiani, Roberto
FBK - REET Energy Vision and the Positive Energy Building
2010-01-01 Bozzoli, Alessandro; Crema, Luigi
Putting the pieces together: multimodal analysis of social attention in meetings
2010-01-01 R., Subramanian; J., Staiano; Kalimeri, Kyriaki; N., Sebe; Pianesi, Fabio
Employing social gaze and speaking activity for automatic determination of the Extraversion trait
2010-01-01 Lepri, Bruno; R., Subramanian; Kalimeri, Kyriaki; J., Staiano; Pianesi, Fabio; N., Sebe
RFID: Recognizing failures in dressing activity
2010-01-01 Kalimeri, Kyriaki; A., Matic; Cappelletti, Alessandro
Codesign of Dependable Systems: A Component-Based Modeling Language
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll
Formal Verification and Validation of AADL Model
2010-01-01 Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Xavier, Olive
Incremental Safety Assessment: Enabling the Comparison of Safety Analysis Results
2010-01-01 Oleg, Lisagor; Bozzano, Marco; Matthias, Bretschneider; Tim, Kelly
ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects.
2006-01-01 O., Akerlund; P., Bieber; E., Boede; Bozzano, Marco; M., Bretschneider; C., Castel; A., Cavallo; M., Cifaldi; J., Gauthier; A., Griffault; O., Lisagor; A., Luedtke; S., Metge; C., Papadopoulos; T., Peikenkamp; L., Sagaspe; C., Seguin; H., Trivedi; L., Valacca
Verifying Industrial Hybrid Systems with MathSAT
2005-01-01 Gilles, Audemard; Bozzano, Marco; Cimatti, Alessandro; Sebastiani, Roberto
Tuning of magnetic order in CePd2In.
2004-01-01 Chiao, M.; Shanker Saxena, Siddharth; Gavilano, J. L.; Rau, D; Ott, H. R.
Pressure dependent magnetization of DyCu2 single crystals
2002-01-01 M., Doerr; M., Rotter; M., Ellerby; A., Markosyan; Shanker Saxena, Siddharth; Y., Hosokoshi; K., Inoue; M., Loewenhaupt
Positive pressure dependence of the superconducting transition temperature in C6Yb.
2006-01-01 Smith, R. P.; Weller, T. E.; Kusmartseva, A. F.; Skipper, N. T.; Ellerby, M.; Shanker Saxena, Siddharth
Superconductivity at elevated temperatures in C6Yb and C6Ca.
2006-01-01 Ellerby, M.; Weller, T. E.; Shanker Saxena, Siddharth; Smith, R. P.; Skipper, N. T.
Inelastic neutron scattering study of CeNi2Ge2
1999-01-01 C. D., Frost; B. D., Rainfordb; F. V., Carterc; Shanker Saxena, Siddharth
Polarization change in ferroelectric thin film capacitors under external stress.
2009-01-01 H., Zhu; D. P., Chu; N. A., Fleck; S. E., Rowley; Shanker Saxena, Siddharth
Characterization of nanocrystalline gamma-Fe2O3 with synchrotron radiation techniques
1999-01-01 E., Pellegrin; M., Hagelstein; S., Doyle; H. O., Moser; J., Fuchs; J., Vollath; S., Schuppler; M. S., James; Shanker Saxena, Siddharth; L., Niesen; O., Rogojanu; G. A., Sawatzky; C., Ferrero; M., Borowski; O., Tjernberg; N. B., Brookes
Non-Fermi-liquid behaviour in magnetic d- and f-electron systems
1997-01-01 S. R., Julian; F. V., Cartera; F. M., Groschea; R. K. W., Haselwimmera; S. J., Listera; N. D., Mathura; G. J., Mcmullana; C., Pfleiderera; Shanker Saxena, Siddharth; I. R., Walkera; N. J. W., Wilsona; G. G., Lonzarich
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| TCAD Simulation of Avalanche Breakdown Voltage in GM-APDs | 1-gen-2010 | Serra, Nicola; Giacomini, Gabriele; Melchiorri, Mirko; Piazza, Alessandro; Piemonte, Claudio; Tarolli, Alessandro; Zorzi, Nicola | |
| The MathSAT solver -- a progress report | 1-gen-2004 | Bozzano, Marco; Cimatti, Alessandro; Gabriele, Colombini; Veselin, Kirov; Sebastiani, Roberto | |
| Efficient Satisfiability Modulo Theories via Delayed Theory Combination | 1-gen-2005 | Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi, Junttila; Ranise, Silvio; Peter van, Rossum; Sebastiani, Roberto | |
| FBK - REET Energy Vision and the Positive Energy Building | 1-gen-2010 | Bozzoli, Alessandro; Crema, Luigi | |
| Putting the pieces together: multimodal analysis of social attention in meetings | 1-gen-2010 | R., Subramanian; J., Staiano; Kalimeri, Kyriaki; N., Sebe; Pianesi, Fabio | |
| Employing social gaze and speaking activity for automatic determination of the Extraversion trait | 1-gen-2010 | Lepri, Bruno; R., Subramanian; Kalimeri, Kyriaki; J., Staiano; Pianesi, Fabio; N., Sebe | |
| RFID: Recognizing failures in dressing activity | 1-gen-2010 | Kalimeri, Kyriaki; A., Matic; Cappelletti, Alessandro | |
| Codesign of Dependable Systems: A Component-Based Modeling Language | 1-gen-2009 | Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll | |
| Formal Verification and Validation of AADL Model | 1-gen-2010 | Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Xavier, Olive | |
| Incremental Safety Assessment: Enabling the Comparison of Safety Analysis Results | 1-gen-2010 | Oleg, Lisagor; Bozzano, Marco; Matthias, Bretschneider; Tim, Kelly | |
| ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects. | 1-gen-2006 | O., Akerlund; P., Bieber; E., Boede; Bozzano, Marco; M., Bretschneider; C., Castel; A., Cavallo; M., Cifaldi; J., Gauthier; A., Griffault; O., Lisagor; A., Luedtke; S., Metge; C., Papadopoulos; T., Peikenkamp; L., Sagaspe; C., Seguin; H., Trivedi; L., Valacca | |
| Verifying Industrial Hybrid Systems with MathSAT | 1-gen-2005 | Gilles, Audemard; Bozzano, Marco; Cimatti, Alessandro; Sebastiani, Roberto | |
| Tuning of magnetic order in CePd2In. | 1-gen-2004 | Chiao, M.; Shanker Saxena, Siddharth; Gavilano, J. L.; Rau, D; Ott, H. R. | |
| Pressure dependent magnetization of DyCu2 single crystals | 1-gen-2002 | M., Doerr; M., Rotter; M., Ellerby; A., Markosyan; Shanker Saxena, Siddharth; Y., Hosokoshi; K., Inoue; M., Loewenhaupt | |
| Positive pressure dependence of the superconducting transition temperature in C6Yb. | 1-gen-2006 | Smith, R. P.; Weller, T. E.; Kusmartseva, A. F.; Skipper, N. T.; Ellerby, M.; Shanker Saxena, Siddharth | |
| Superconductivity at elevated temperatures in C6Yb and C6Ca. | 1-gen-2006 | Ellerby, M.; Weller, T. E.; Shanker Saxena, Siddharth; Smith, R. P.; Skipper, N. T. | |
| Inelastic neutron scattering study of CeNi2Ge2 | 1-gen-1999 | C. D., Frost; B. D., Rainfordb; F. V., Carterc; Shanker Saxena, Siddharth | |
| Polarization change in ferroelectric thin film capacitors under external stress. | 1-gen-2009 | H., Zhu; D. P., Chu; N. A., Fleck; S. E., Rowley; Shanker Saxena, Siddharth | |
| Characterization of nanocrystalline gamma-Fe2O3 with synchrotron radiation techniques | 1-gen-1999 | E., Pellegrin; M., Hagelstein; S., Doyle; H. O., Moser; J., Fuchs; J., Vollath; S., Schuppler; M. S., James; Shanker Saxena, Siddharth; L., Niesen; O., Rogojanu; G. A., Sawatzky; C., Ferrero; M., Borowski; O., Tjernberg; N. B., Brookes | |
| Non-Fermi-liquid behaviour in magnetic d- and f-electron systems | 1-gen-1997 | S. R., Julian; F. V., Cartera; F. M., Groschea; R. K. W., Haselwimmera; S. J., Listera; N. D., Mathura; G. J., Mcmullana; C., Pfleiderera; Shanker Saxena, Siddharth; I. R., Walkera; N. J. W., Wilsona; G. G., Lonzarich |
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
- 4 Contributo in Atti di Convegno ...7938
Data di pubblicazione
- In corso di stampa2
- 2020 - 20261562
- 2010 - 20193439
- 2000 - 20092320
- 1990 - 1999567
- 1980 - 198948
Editore
- IEEE620
- Springer357
- ACM148
- Association for Computational Lin...91
- CEUR-WS.org72
- IEEE Computer Society61
- SPIE60
- ACL38
- AAAI Press37
- ieee31
Rivista
- INTERNATIONAL ARCHIVES OF THE PHO...98
- LECTURE NOTES IN COMPUTER SCIENCE41
- POS PROCEEDINGS OF SCIENCE22
- JOURNAL OF PHYSICS. CONFERENCE SE...21
- PROCEEDINGS OF SPIE, THE INTERNAT...17
- PROCEEDINGS14
- CEUR WORKSHOP PROCEEDINGS13
- THE INTERNATIONAL ARCHIVES OF THE...12
- EPJ WEB OF CONFERENCES10
- LECTURE NOTES IN ARTIFICIAL INTEL...9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE229
- LECTURE NOTES IN ARTIFICIAL INTEL...48
- CEUR WORKSHOP PROCEEDINGS38
- PROCEEDINGS OF SPIE, THE INTERNAT...25
- LECTURE NOTES IN COMPUTER SCIENCE23
- LECTURE NOTES IN ELECTRICAL ENGIN...20
- LECTURE NOTES IN ELECTRICAL ENGIN...17
- LECTURE NOTES IN BUSINESS INFORMA...16
- IEEE ENGINEERING IN MEDICINE AND ...11
- ISPRS ANNALS OF THE PHOTOGRAMMETR...10
Keyword
- NLP41
- automatic speech recognition38
- Content Processing33
- MEMS31
- RF-MEMS31
- silicon radiation detectors28
- SiPM26
- RF MEMS25
- machine translation23
- Machine Translation22
Lingua
- eng6441
- ita159
- ger15
- spa6
- fre5
- enm4
- cze1
- lat1
- rum1
Accesso al fulltext
- no fulltext6824
- open482
- restricted464
- reserved165
- partially open2
- mixed1