Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
Weaving patterns of lines and line segments in spacePach, J. ; Pollack, R. ; Welzl, E. Asano, Tetsuo ; Ibaraki, Toshihide ; Imai, Hiroshi ; Nishizeki, TakaoAlgorithms, 2005, p.439-446 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
Chrono: An Open Source Multi-physics Dynamics EngineTasora, Alessandro ; Serban, Radu ; Mazhar, Hammad ; Pazouki, Arman ; Melanz, Daniel ; Fleischmann, Jonathan ; Taylor, Michael ; Sugiyama, Hiroyuki ; Negrut, Dan Šístek, Jakub ; Rozložník, Miroslav ; Čermák, Martin ; Kozubek, Tomáš ; Blaheta, RadimHigh Performance Computing in Science and Engineering, 2016, p.19-49 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
Evolutionary Multiobjective Optimization of Liquid Fossil Fuel Reserves Exploitation with Minimizing Natural Environment ContaminationSiwik, Leszek ; Los, Marcin ; Kisiel-Dorohinicki, Marek ; Byrski, Aleksander Zadeh, Lotfi A. ; Korytkowski, Marcin ; Scherer, Rafał ; Tadeusiewicz, Ryszard ; Zurada, Jacek M. ; Rutkowski, LeszekArtificial Intelligence and Soft Computing, p.384-394 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
A generic coordination model for Pervasive computing based on semantic Web languagesTAFAT, Amine ; COURANT, Michele ; HIRSBRUNNER, BeatLecture notes in computer science, 2004, p.265-275 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
Parallel ADI Preconditioners for All-Scale Atmospheric ModelsPiotrowski, Zbigniew P. ; Matejczyk, Bartlomiej ; Marcinkowski, Leszek ; Smolarkiewicz, Piotr K. Deelman, Ewa ; Wiatr, Kazimierz ; Kitowski, Jacek ; Karczewski, Konrad ; Wyrzykowski, Roman ; Dongarra, JackParallel Processing and Applied Mathematics, p.607-618 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
Do Real Numbers Really Move? Language, Thought, and Gesture: The Embodied Cognitive Foundations of MathematicsNUNEZ, Rafael Steels, Luc ; Iida, Fumiya ; Pfeifer, Rolf ; Kuniyoshi, YasuoEmbodied Artificial Intelligence, 2004, p.54-73 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
A Logical Framework with Dependently Typed RecordsCoquand, Thierry ; Pollack, Randy ; Takeyama, Makoto Hofmann, MartinLecture notes in computer science, 2003, Vol.2701, p.105-119 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
Numerical simulation of hydro- and magnetohydrodynamic processes in the Muon Collider targetSAMULYAK, RomanLecture notes in computer science, 2002 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
Dependently Typed Records for Representing Mathematical StructurePollack, Robert Harrison, John ; Aagaard, MarkLecture notes in computer science, 2000, p.462-479 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
A Comparison of Algorithm Design Paradigms in Active Contours for Muscle RecognitionCaro, A. ; Rodríguez, P. G. ; Durán, M. L. ; Ávila, M. M. ; Antequera, T. ; Gallardo, R. Perales, Francisco J. ; Draper, Bruce A.Articulated Motion and Deformable Objects, 2004, p.249-258 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |