CERN Accélérateur de science

Accueil > Résultats de la recherche: Rodríguez, Juan
Conseils de recherche
Recherche avancée
Add to Search +
Recherche collections:
Trier par: Afficher: Format de sortie:
CERN Document Server 3 notices trouvées  La recherche a duré 0.66 secondes. 
1.
Simplification of numeric variables for PLC model checking / Lopez-Miguel, Ignacio D (CERN) ; Adiego, Borja Fernández (CERN) ; Tournier, Jean-Charles (CERN) ; Viñuela, Enrique Blanco (CERN) ; Rodriguez-Aguilar, Juan A
Software model checking has recently started to be applied in the verification of programmable logic controller (PLC) programs. It works efficiently when the number of input variables is limited, their interaction is small and, thus, the number of states the program can reach is not large. [...]
2021 - 11 p. - Published in : 10.1145/3487212.3487334
In : 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'21), New York, NY, United States, 20 - 22 Nov 2021, pp.10-20
Notice détaillée - Notices similaires
2.
The On-Site Analysis of the Cherenkov Telescope Array / Bulgarelli, Andrea (IASF, Bologna) ; Fioretti, Valentina (Bologna Observ.) ; Zoli, Andrea (Bologna Observ.) ; Aboudan, Alessio (Bologna Observ. ; Padua U., CISAS) ; Rodríguez-Vázquez, Juan José ; De Cesare, Giovanni (Bologna Observ.) ; De Rosa, Adriano (Bologna Observ.) ; Maier, Gernot (DESY, Zeuthen) ; Lyard, Etienne (Geneva Observ.) ; Bastieri, Denis (INFN, Padua ; Padua U.) et al.
The Cherenkov Telescope Array (CTA) observatory will be one of the largest ground-based very high-energy gamma-ray observatories. [...]
arXiv:1509.01963. - 2015.
Preprint
Notice détaillée - Notices similaires
3.
Commissioning and performance of the Preshower off-detector readout electronics in the CMS experiment / Antchev, Georgy (Sofiya, Inst. Nucl. Res.) ; Barney, David (CERN) ; Bialas, Wojciech (CERN) ; Bonilla Osorio, Ruy Sebastian (Andes U., Bogota) ; Chen, Kai-Feng (Taiwan, Natl. Taiwan U.) ; Kuo, Chen-Cheng (Taiwan, Natl. Central U.) ; Lu, Rong-Shyang (Taiwan, Natl. Taiwan U.) ; Patras, Vaios (Ioannina U.) ; Reynaud, Serge (CERN) ; Rodriguez Estupinan, Juan Sebastian (Andes U., Bogota) et al.
The CMS Preshower is a fine grain detector that comprises 4288 silicon sensors, each containing 32 strips. The raw data are transferred from the detector to the counting room via 1208 optical fibres producing a total data flow of ~72GB/s. [...]
CMS-CR-2009-323.- Geneva : CERN, 2009 - 6 p. Fulltext: PDF;
In : Topical Workshop on Electronics for Particle Physics, Paris, France, 21 - 25 Sep 2009 (CERN-2009-006)
Notice détaillée - Notices similaires

Voir aussi: noms d'auteurs similaires
285 Rodriguez, J
8 Rodriguez, J -Alexis
11 Rodriguez, J A
1 Rodriguez, J A Pavon
11 Rodriguez, J Blanco
1 Rodriguez, J C
16 Rodriguez, J Caravaca
1 Rodriguez, J E
2 Rodriguez, J F
120 Rodriguez, J L
17 Rodriguez, J M
77 Rodriguez, J Molina
1 Rodriguez, J R
1 Rodriguez, J Rodriguez
1 Rodriguez, J V
20 Rodriguez, J de la Cruz
1 Rodriguez, J-Alexis
9 Rodriguez, J.
1 Rodriguez, J. A.
1 Rodriguez, J. L.
2 Rodriguez, J.A.
2 Rodriguez, J.L.
5 Rodriguez, J.M.
1 Rodriguez, JC
17 Rodriguez, Jaime de la Cruz
1 Rodriguez, Jairo A
1 Rodriguez, Jairo Alexis
2 Rodriguez, Javier
51 Rodriguez, Jerome
3 Rodriguez, Jill
1 Rodriguez, Jonatan Martin
8 Rodriguez, Jonathan
753 Rodriguez, Jorge Luis
22 Rodriguez, Jose
5 Rodriguez, Jose A
62 Rodriguez, Jose Alberto
1 Rodriguez, Jose Angel
1 Rodriguez, Jose E
1 Rodriguez, Jose F
7 Rodriguez, Jose M
15 Rodriguez, Joseph E
5 Rodriguez, José A
20 Rodriguez, Juan
2 Rodriguez, Juan R
2 Rodriguez, Julian Blanco
1 Rodriguez, Julie
51 Rodriguez, Jérome
51 Rodriguez, Jérôme
285 Rodríguez, J
1 Rodríguez, J Angel
1 Rodríguez, J B
11 Rodríguez, J Blanco
16 Rodríguez, J Caravaca
4 Rodríguez, J J
120 Rodríguez, J L
17 Rodríguez, J M
33 Rodríguez, J P
20 Rodríguez, J de la Cruz
9 Rodríguez, J.
2 Rodríguez, J. Caravaca
17 Rodríguez, Jaime de la Cruz
2 Rodríguez, Javier
1 Rodríguez, Jerónimo
1 Rodríguez, Jesús Adrian Cerda
1 Rodríguez, Jorge E
22 Rodríguez, José
62 Rodríguez, José Alberto
3 Rodríguez, José Alejandro Lara
1 Rodríguez, José Alejandro Rosabal
1 Rodríguez, José Carlos
2 Rodríguez, José L
7 Rodríguez, José M
1 Rodríguez, Juan José Víquez
1 Rodríguez, Juan Manuel Corchado
2 Rodríguez, Julián Blanco
16 Rodrıguez, J Caravaca
Vous désirez être averti des nouveaux résultats pour cette recherche?
Abonnez-vous à une alerte email personnalisée ou inscrivez-vous via le flux RSS.
Vous n'avez pas trouvé ce que vous avez cherché? Essayez votre requête sur d'autres serveurs:
Rodríguez, Juan dans Amazon
Rodríguez, Juan dans CERN EDMS
Rodríguez, Juan dans CERN Intranet
Rodríguez, Juan dans CiteSeer
Rodríguez, Juan dans Google Books
Rodríguez, Juan dans Google Scholar
Rodríguez, Juan dans Google Web
Rodríguez, Juan dans IEC		Rodríguez, Juan dans IHS
Rodríguez, Juan dans INSPIRE
Rodríguez, Juan dans ISO
Rodríguez, Juan dans KISS Books/Journals
Rodríguez, Juan dans KISS Preprints
Rodríguez, Juan dans NEBIS
Rodríguez, Juan dans SLAC Library Catalog
Rodríguez, Juan dans Scirus