Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
Mutation analysis vs. code coverage in automated assessment of students' testing skillsAaltonen, Kalle ; Ihantola, Petri ; Seppälä, OttoProceedings of the ACM international conference companion on object oriented programming systems languages and applications companion, 2010, p.153-160ACMTexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
IC Design Challenges for Ambient IntelligenceAarts, Emile ; Roovers, Raf2003 Design, Automation and Test in Europe Conference and Exhibition, 2003, Vol.1, p.10002-7IEEE Computer SocietyTexto completo disponível |
|
3 |
Material Type: Ata de Congresso
|
A neuro-fuzzy fan speed controller for dynamic thermal management of multi-core processorsAbad, Javad ; Salami, Bagher ; Noori, Hamid ; Soleimani, Ali ; Mehdipour, FarhadProceedings of the 11th ACM Conference on computing frontiers, 2014, p.1-2ACMTexto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
Design and implementation for temp-weight and humidity control of dryer based on fuzzy logicAbad, M. Z. D. ; Mashhadi, S. K. M.The 2nd International Conference on Control, Instrumentation and Automation, 2011, p.463-467IEEETexto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
Du temps nécessaire pour penser et accepter la malformation : aspects méthodologiques et cliniques : Le corps dans la pensée, la pensée dans le corpsABADIE, I ; SUDRES, J.-L ; RAJON, A.-MNeuropsychiatrie de l'enfance et de l'adolescence, 2004, Vol.52 (6), p.377-388 [Periódico revisado por pares]Paris: ElsevierTexto completo disponível |
|
6 |
Material Type: Ata de Congresso
|
Crowd Label Aggregation Under a Belief Function FrameworkAbassi, Lina ; Boukhris, ImenKnowledge Science, Engineering and Management, p.185-196 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
Quantitative automata model checking of autonomous stochastic hybrid systemsAbate, Alessandro ; Katoen, Joost-Pieter ; Mereacre, AlexandruProceedings of the 14th international conference on hybrid systems: computation and control, 2011, p.83-92ACMTexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
Algorithms and design for a second-order automatic differentiation moduleAbate, Jason ; Bischof, Christian ; Roh, Lucas ; Carle, AlanInternational Conference on Symbolic and Algebraic Computation: Proceedings of the 1997 international symposium on Symbolic and algebraic computation; 21-23 July 1997, 1997, p.149-155ACMTexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
Parameterized block-based non-gaussian statistical gate timing analysisAbbaspour, Soroush ; Fatemi, Hanif ; Pedram, MassoudProceedings of the 2006 Asia and South Pacific Design Automation Conference, 2006, p.947-952IEEE PressTexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
Agreement and consistency without knowing the number of processesAbboud, Mohssen ; Delporte-Gallet, Carole ; Fauconnier, HuguesProceedings of the 8th international conference on new technologies in distributed systems, 2008, p.1-8ACMTexto completo disponível |