CERN Accelerating science

Hovedsiden > Søkeresultater: Rodríguez, Juan
Søketips
Avansert søk
Add to Search +
Søk samlinger:
Sorter etter: Vis resultater: Visningsformat:
CERN Document Server 3 elementer funnet  Søket tok 0.56 sekunder. 
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
Detaljert visning - Lignende elementer
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
Detaljert visning - Lignende elementer
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)
Detaljert visning - Lignende elementer

Se også: lignende forfatternavn
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
Ønsker du å bli varslet om nye resultater fra denne spørringen?
Sett opp ditt eget e-postvarsel eller abonner på RSS.
Fant du ikke det du lette etter? Gjenta søket på andre tjenere:
Rodríguez, Juan i Amazon
Rodríguez, Juan i CERN EDMS
Rodríguez, Juan i CERN Intranet
Rodríguez, Juan i CiteSeer
Rodríguez, Juan i Google Books
Rodríguez, Juan i Google Scholar
Rodríguez, Juan i Google Web
Rodríguez, Juan i IEC		Rodríguez, Juan i IHS
Rodríguez, Juan i INSPIRE
Rodríguez, Juan i ISO
Rodríguez, Juan i KISS Books/Journals
Rodríguez, Juan i KISS Preprints
Rodríguez, Juan i NEBIS
Rodríguez, Juan i SLAC Library Catalog
Rodríguez, Juan i Scirus