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

CERN Accelerating science

მთავარი > ძიების შედეგები: Rodriguez, Juan
ძებნის მინიშნებანი
გაფართოებული ძებნა
Add to Search +
ძებნა კოლექციები:
დახარისხება: შედეგების ჩვენება: გამავალი ფორმატი:
CERN Document Server 3 ჩანაწერია ნაპოვნი  ძიებას დასჭირდა 1.28 წამი. 
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
გნებავთ შეტყობინების მიღება, ამ კითხვაზე ახალი პასუხების შემთხვევაში?
დააყენეთ პირადი ელფოსტის შეტყობინება ან ჩაეწერეთ RSS ფიდზე.
ვერ იპოვნეთ რასაც ეძებდით? სცადეთ თქვენი ძებნა სხვა სერვერებზე:
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