Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
![]() |
On the rationality of petri net languagesValk, R. ; Vidal, G.Theoretical Computer Science, 2005, p.319-328 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
2 |
Material Type: Capítulo de Livro
|
![]() |
Narrowing-driven partial evaluation of functional logic programsAlpuente, M. ; Falaschi, M. ; Vidal, G.Programming Languages and Systems — ESOP '96, 2005, p.45-61 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
3 |
Material Type: Capítulo de Livro
|
![]() |
Improving Functional Logic Programs by Difference-ListsHe, Jifeng ; Sato, MasahikoAdvances in Computing Science - ASIAN 2000, 2000, Vol.1961, p.237-254 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
4 |
Material Type: Capítulo de Livro
|
![]() |
Multiparameter Flow Cytometry Applications for Analyzing and Isolating Neural Cell Populations Derived from Human Pluripotent Stem CellsPruszak, JanNeural Surface Antigens, 2015United States: Elsevier Science & TechnologyTexto completo disponível |
5 |
Material Type: Capítulo de Livro
|
![]() |
Chapter 16 - Multiparameter Flow Cytometry Applications for Analyzing and Isolating Neural Cell Populations Derived from Human Pluripotent Stem CellsEmre, Nil ; Vidal, Jason G. ; Boyce, Christopher ; Wilensky, Lissette ; Corselli, Mirko ; Carson, Christian T.Neural Surface Antigens, 2015, p.187-198Elsevier IncTexto completo disponível |
6 |
Material Type: Capítulo de Livro
|
![]() |
Temporal Convolutional Networks: A Unified Approach to Action SegmentationLea, Colin ; Vidal, René ; Reiter, Austin ; Hager, Gregory D.Computer Vision – ECCV 2016 Workshops, p.47-54 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
7 |
Material Type: Capítulo de Livro
|
![]() |
IN-PLANE AND INTERLAMINAR SHEAR FATIGUE CHARACTERIZATION OF UNIDIRECTIONAL GFRP AND CFRP, INCLUDING MOISTURE EFFECTSFavre, J.P. ; Vidal, G.TEQC83, 1983, p.57-65Elsevier IncTexto completo disponível |
8 |
Material Type: Capítulo de Livro
|
![]() |
Detection of deadlocks in an infinite family of netsBeauquier, J. ; Choquet, A. ; Petit, A. ; Vidal-Naquet, G.STACS 91, 1991, p.334-347 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
9 |
Material Type: Capítulo de Livro
|
![]() |
Syntactical properties of unbounded nets of processorsBeauquier, J. ; Choquet, A. ; Petit, A. ; Vidal-Naquet, G.TAPSOFT '89, 1989, p.119-133 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
10 |
Material Type: Capítulo de Livro
|
![]() |
Hospital Clientele & Attendance for Selected Pathologies Assistance Publique — Hopitaux de Paris 1988Vidal-Trecan, G. ; Reboul-Marty, J. ; Laugier-Werth, Y. ; Grasset, E. ; Chevallier, J.Medical Informatics Europe ’90, p.588-591Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |