Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Report
|
![]() |
Computational Models of Human-Automated Vehicle Interaction (Dagstuhl Seminar 22102)Janssen, Christian P. ; Baumann, Martin ; Oulasvirta, Antti ; Iqbal, Shamsi Tamara ; Heinrich, LuisaSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2022Texto completo disponível |
2 |
Material Type: Report
|
![]() |
Lessons from RAND's Work on Planning Under Uncertainty for National SecurityDavis, Paul K2012Texto completo disponível |
3 |
Material Type: Report
|
![]() |
Design of Quantum Algorithms Using Physics ToolsFarhi, Edward ; Goldstone, Jeffrey ; Shor, Peter2014Texto completo disponível |
4 |
Material Type: Report
|
![]() |
IRRA at TREC 2012: Divergence From Independence (DFI)Dincer, Bekir T2012Texto completo disponível |
5 |
Material Type: Report
|
![]() |
Trace Conserving Purification for Linear Scaling [O(N)] Methods: A First Enhancement to CP2KMullin, Jonathan2014Texto completo disponível |
6 |
Material Type: Report
|
![]() |
Bridging the Gap Between Theory and Practice: Structure and Randomization in Large Scale Combinatorial SearchGomes, Carla P2012Texto completo disponível |
7 |
Material Type: Report
|
![]() |
TVAL+: a sound and generic combination of TVLA and value analysesFerrara, Pietro ; Fuchs, Raphael ; Juhasz, UriETH Zurich 2013Texto completo disponível |
8 |
Material Type: Report
|
![]() |
The DeMAND Coding Scheme: A Common Language for Representing and Analyzing Student DiscourseCampbell, Gwendolyn E ; Steinhauser, Natalie B ; Dzikovska, Myroslava O ; Moore, Johanna D ; Callaway, Charles B ; Farrow, Elaine2010Texto completo disponível |
9 |
Material Type: Report
|
![]() |
Interactive Visualization Systems and Data Integration Methods for Supporting Discovery in Collections of Scientific InformationPellegrino, Jr, Donald A2011Texto completo disponível |
10 |
Material Type: Report
|
![]() |
Proceedings of the Pacific Rim International Conference on Artificial Intelligence (11th) held in Daegu, Korea, August/September 2010. PRICAI 2010: Trends in Artificial IntelligenceKYUNGPOOK NATIONAL UNIV DAEGU (REPUBLIC OF KOREA)2010Texto completo disponível |