Nothing Special   »   [go: up one dir, main page]

CERN Accelerating science

CERN Document Server Намерени са 3 записа  Търсенето отне 0.57 секунди. 
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
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
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)

Виж също: автори с подобни имена
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
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
20 Rodríguez, Juan
1 Rodríguez, Juan José Víquez
1 Rodríguez, Juan Manuel Corchado
2 Rodríguez, Julián Blanco
16 Rodrıguez, J Caravaca
Интересувате ли се от уведомяване за нови резултати по тази заявка?
Set up a personal email alert or subscribe to the RSS feed.
Не намерихте, каквото търсите? Опитайте търсене в други сървъри:
Rodriguez, Juan в Amazon
Rodriguez, Juan в CERN EDMS
Rodriguez, Juan в CERN Intranet
Rodriguez, Juan в CiteSeer
Rodriguez, Juan в Google Books
Rodriguez, Juan в Google Scholar
Rodriguez, Juan в Google Web
Rodriguez, Juan в IEC
Rodriguez, Juan в IHS
Rodriguez, Juan в INSPIRE
Rodriguez, Juan в ISO
Rodriguez, Juan в KISS Books/Journals
Rodriguez, Juan в KISS Preprints
Rodriguez, Juan в NEBIS
Rodriguez, Juan в SLAC Library Catalog
Rodriguez, Juan в Scirus