skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Development of a PbWO 4 Detector for Single-Shot Positron Annihilation Lifetime Spectroscopy at the GBAR Experiment
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Development of a PbWO 4 Detector for Single-Shot Positron Annihilation Lifetime Spectroscopy at the GBAR Experiment

Kim, B.H. ; Choi, J.J. ; Chung, M. ; Cladé, P. ; Comini, P. ; Crivelli, P. ; Crépin, P-P ; Dalkarov, O. ; Debu, P. ; Dodd, L. ; Douillet, A. ; Froehlich, P. ; Guellati, S. ; Heinrich, J. ; Hervieux, P.A. ; Hilico, L. ; Husson, A. ; Indelicato, P. ; Janka, G. ; Jonsell, S. ; Karr, J.P. ; Kim, E.S. ; Kim, S.K. ; Ko, Y. ; Kosinski, T. ; Kuroda, N. ; Latacz, B. ; Lee, H. ; Lee, J. ; Leite, A.M.M. ; Lim, E. ; Liszkay, L. ; Louvradoux, T. ; Lunney, D. ; Lévêque, K. ; Manfredi, G. ; Mansoulié, B. ; Matusiak, M. ; Mornacchi, G. ; Nesvizhevsky, V.V. ; Nez, F. ; Niang, S. ; Nishi, R. ; Nourbaksh, S. ; Lotrus, P. ; Park, K.H. ; Paul, N. ; Pérez, P. ; Radics, B. ; Regenfus, C. ; Reynaud, S. ; Roussé, J.Y. ; Rubbia, A. ; Rzadkiewicz, J. ; Sacquin, Y. ; Schmidt-Kaler, F. ; Staszczak, M. ; Tuchming, B. ; Vallage, B. ; van der Werf, D.P. ; Voronin, A. ; Welker, A. ; Wolf, S. ; Won, D. ; Wronka, S. ; Yamazaki, Y. ; Yoo, K.H.

Acta physica Polonica, A, 2020, Vol.137 (2), p.122-125 [Periódico revisado por pares]

Texto completo disponível

2
Hybrid sol-gel technology for fast prototyping in astronomical interferometry
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Hybrid sol-gel technology for fast prototyping in astronomical interferometry

Ghasempour, A ; Leite, A. M. P ; Alexandre, D ; Reynaud, F ; Marques, P. V. S ; Garcia, P. J. V

Proceedings of SPIE, the International Society for Optical Engineering, 2010, Vol.7734, p.77343X-77343X-6

Bellingham, Wash: SPIE

Texto completo disponível

3
Hybrid silica sol-gel symmetric buried channel waveguide on silicon
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Hybrid silica sol-gel symmetric buried channel waveguide on silicon

Moreira, Paulo J ; Marques, Paulo V. S ; Leite, Antonio P

Proceedings of SPIE, 2004, Vol.5451, p.40-47

Bellingham WA: SPIE

Texto completo disponível

4
Semantics for Dynamic logic programming: A principle-based approach
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Semantics for Dynamic logic programming: A principle-based approach

ALFERES, José J ; BANTI, Federico ; BROGI, Antonio ; LEITE, Joao A

Lecture notes in computer science, 2004, p.8-20 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

5
Rapid prototyping of integrated sol-gel devices for astronomical interferometry
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Rapid prototyping of integrated sol-gel devices for astronomical interferometry

Ghasempour, A ; Alexandre, D ; Brites, C ; Moreira, P. J ; Reynaud, F ; Marques, P. V. S ; Leite, A. M. P ; Garcia, P. J. V

Proceedings of SPIE, the International Society for Optical Engineering, 2008, Vol.7013, p.701317-701317-8

Bellingham, Wash: SPIE

Texto completo disponível

6
SATMC: A SAT-Based Model Checker for Security Protocols
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

SATMC: A SAT-Based Model Checker for Security Protocols

Armando, Alessandro ; Compagna, Luca Alferes, Jóse Júlio ; Leite, João

Lecture notes in computer science, 2004, p.730-733 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

7
The DALI Logic Programming Agent-Oriented Language
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

The DALI Logic Programming Agent-Oriented Language

Costantini, Stefania ; Tocchio, Arianna Alferes, Jóse Júlio ; Leite, João

Lecture notes in computer science, 2004, p.685-688 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

8
Computing Environment-Aware Agent Behaviours with Logic Program Updates
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Computing Environment-Aware Agent Behaviours with Logic Program Updates

Alferes, José J. ; Brogi, Antonio ; Leite, João A. ; Pereira, Luís M. Pettorossi, Alberto

Lecture notes in computer science, 2002, p.216-232 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

9
Fabrication and test of an integrated optical sensor with high sensitivity and high dynamic range based on a Mach-Zehnder interferometric configuration
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Fabrication and test of an integrated optical sensor with high sensitivity and high dynamic range based on a Mach-Zehnder interferometric configuration

Alexandre, D ; Viegas, J ; Fernandes, L ; Moreira, P. J ; Leite, A.M.P ; Santos, J. L ; Marques, P.V.S

Proceedings of SPIE, the International Society for Optica Engineering, 2007, Vol.6585, p.65850L-65850L-12

Bellingham, Wash: SPIE

Texto completo disponível

10
Characterizations for Relativized Notions of Equivalence in Answer Set Programming
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Characterizations for Relativized Notions of Equivalence in Answer Set Programming

Woltran, Stefan Alferes, Jóse Júlio ; Leite, João

Lecture notes in computer science, 2004, p.161-173 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (152)

Data de Publicação 

De até
  1. Antes de1997  (6)
  2. 1997Até2001  (9)
  3. 2002Até2007  (79)
  4. 2008Até2013  (88)
  5. Após 2013  (7)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.