390 results on '"T. Kraemer"'
Search Results
2. Network Visualization and Assessment of Student Reasoning About Conditionals.
3. Tool-Aided Loop Invariant Development: Insights into Student Conceptions and Difficulties.
4. Automated Analysis of Student Verbalizations in Online Learning Environments.
5. Evaluation of Attitude Estimation Algorithm under Soft Error Effects.
6. Societal Factors that Impact Retention and Graduation of Underrepresented Computer Science Undergraduates.
7. Sidekicks and superheroes: a look into student reasoning about concurrency with threads versus actors.
8. Misconception-Based Peer Feedback: A Pedagogical Technique for Reducing Misconceptions.
9. Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions.
10. Tool-Aided Learning of Code Reasoning with Abstraction in the CS Curriculum.
11. A Multi-Level Study of Undergraduate Computer Science Reasoning about Concurrency.
12. Qualitative Observations of Student Reasoning: Coding in the Wild.
13. Fostering Program Comprehension in Novice Programmers - Learning Activities and Learning Trajectories.
14. What Are They Thinking?: Eliciting Student Reasoning About Troublesome Concepts in Introductory Computer Science.
15. An Activity-Based Undergraduate Software Engineering Course to Engage Students and Encourage Learning.
16. Basic Code Understanding Challenges for Elementary School Children.
17. Program Comprehension: Identifying Learning Trajectories for Novice Programmers.
18. Narratives and Evaluation: How to Write Competitive NSF CS Education Proposals.
19. Social effects of pair programming mitigate impact of bounded rationality.
20. Programming with Concurrency: Threads, Actors, and Coroutines.
21. A spirit of camaraderie: The impact of pair programming on retention.
22. How Can We Engage in Inclusive, Culturally Responsive Computer Science?
23. Engaging in Logical Code Reasoning with an Activity-Based Online Tool.
24. Web Service Composition Using Service Suggestions.
25. Debugging Concurrent Software: A Study Using Multithreaded Sequence Diagrams.
26. Ranking-Based Suggestion Algorithms for Semantic Web Service Composition.
27. The inference validity problem in legal discovery.
28. Web site evolution: Usability evaluation using Time Series Analysis of Selected Episode Graphs.
29. Adapting the Galaxy Bioinformatics Tool to Support Semantic Web Service Composition.
30. Using formal models to objectively judge quality of multi-threaded programs in empirical studies.
31. A study of student strategies for the corrective maintenance of concurrent software.
32. Refining Existing Theories of Program Comprehension During Maintenance for Concurrent Software.
33. Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments.
34. A study of the performance of steering tasks under spatial transformation of input.
35. Transparent and adaptive computation-block caching for agent-based simulation on a PDES core.
36. Design and Evaluation of a Diagrammatic Notation to Aid in the Understanding of Concurrency Concepts.
37. Designing your Next Empirical Study on Program Comprehension.
38. Empirical Evaluation of a UML Sequence Diagram with Adornments to Support Understanding of Thread Interactions.
39. A Comparison of Federated Databases with Web Services for the Integration of Bioinformatics Data.
40. VisIOn: an interactive visualization ontology.
41. SASSY: a design for a scalable agent-based simulation system using a distributed discrete event infrastructure.
42. VizEval: An Experimental System for the Study of Program Visualization Quality.
43. Special Session: ICER UP CS Ed Research Workshop Summary-Essence of Illustrative Projects.
44. Calculation, Visualization, and Manipulation of MASTs (Maximum Agreement Subtrees).
45. Controlling Over-Optimism in Time-Warp Via CPU-Based Flow Control.
46. Understanding the Essence of Successful Computing Education Projects through Analyzing NSF Proposals: (Abstract Only).
47. SKA: supporting algorithm and data structure discussion.
48. EuPathDB: The Eukaryotic Pathogen database.
49. Token Finding Using Mobile Agents.
50. Exploratory Visualization of Distributed Computations: A Case Study.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.