Techniques for SAT-Based Boolean Reasoning on Multiple Faults Affecting Logic Cells and Interconnects in Digital ICs von Dall’Occo, Francesco, Dalpasso, Marcello, Favalli, Michele

Volltext

The Challenge of Classification Confidence Estimation in Dynamically-Adaptive Neural Networks von Dall’Occo, Francesco, Bueno-Crespo, Andrés, Abellán, José L., Bertozzi, Davide, Favalli, Michele

Volltext

Phase I Upgrade of the Readout System of the Vertex Detector at the LHCb Experiment von Fernandez Prieto, Antonio, Vazquez Regueiro, Pablo, Hennessy, Karol, Buytaert, Jan, van Beuzekom, Martin, Lemos Cid, Edgar, Eklund, Lars, de Bruyn, Kristof, Naik, Sneha, Schiller, Manuel, Murray, Donal, Leflat, Alexander, Boente Garcia, Oscar, Gallas Torreira, Abraham, Garcia Plana, Beatriz, Bowcock, Themis, Dettori, Francesco, Dreimanis, Karlis, Franco Lima, Vinicius, Hutchcroft, David, Rinnert, Kurt, Shears, Tara, Augusto, Oscar, Coco, Victor, Collins, Paula, Evans, Tim, Ferro-Luzzi, Massi, Funk, Wolfgang, Schindler, Heinrich, Akiba, Kazu, Dall'Occo, Elena, Sanchez Graz, Cristina, Hulsbergen, Wouter, Hynds, Daniel, Kostiuk, Igor, Merk, Marcel, Snoch, Aleksandra, Seman Bobulska, Dana, Borghi, Silvia, de Capua, Stefano, Dutta, Deepanwita, Gersabeck, Marco, Parkes, Chris, Svihra, Peter, Williams, Mark, Bogdanova, Galina, Volkov, Vladimir, Kopciewicz, Pawel, Majewski, Maciej, Oblakowska-Mucha, Agnieszka, Rachwal, Bartlomej, Szumlak, Tomasz, Meyer Garcia, Lucas, Marinho, Franciole, Helena Mendes, Larissa, Nasteva, Irina, Otalora, Juan, Rodrigues, Gabriel, Velthuis, Jaap, Jalocha, Pawel, John, Malcolm, Jurik, Nathan, Scantlebury-Smead, Luke, Back, John, Gershon, Tim, Latham, Tom, Morris, Andrew

Volltext

Vita della santa Madre Giovanna Francesca Fremiot di Chantal fondatrice dell'ordine della visitazione di Santa Maria von Carlo Antonio Saccarelli

Volltext bestellen