Search

Your search keyword '"Cerone, Antonio"' showing total 574 results

Search Constraints

Start Over You searched for: Author "Cerone, Antonio" Remove constraint Author: "Cerone, Antonio"
574 results on '"Cerone, Antonio"'

Search Results

1. An Exploration of Learning Processes as Process Maps in FLOSS Repositories

2. Using Maude to Model Motivation in Human Behaviour

5. Modelling and Analysing Cognition and Interaction

6. Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering -- A White Paper

7. A BRDL-Based Framework for Motivators and Emotions

8. Executive Function and Intelligent Goal-Directed Behavior: Perspectives from Psychology, Neurology, and Computer Science

9. In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL)

10. Origins and Development of Formal Methods

11. Formal Verification of Security Protocols

12. Formal Methods for Human-Computer Interaction

13. Specification and Verification of Normative Documents

14. Specification-Based Testing

15. Algebraic Specification in CASL

16. Logics for Software Engineering

17. The Process Algebra CSP

18. Formal Methods

19. A Demonstration of The Positive Manifold of Cognitive Test Inter-correlations, and how it Relates to General Intelligence, Modularity, and Lexical Knowledge

21. A Web-Based Tool for Collaborative Modelling and Analysis in Human-Computer Interaction and Cognitive Science

23. Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper —

25. A Survey of Learning Methods in Open Source Software

26. Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude

27. An Instrumented Mobile Language Learning Application for the Analysis of Usability and Learning

28. Handshape Classification in a Reverse Dictionary of Sign Languages for the Deaf

29. A Formal Model for the Simulation and Analysis of Early Biofilm Formation

30. A Formal Model for Emulating the Generation of Human Knowledge in Semantic Memory

31. Information Retrieval from Semantic Memory: BRDL-Based Knowledge Representation and Maude-Based Computer Emulation

38. Interdisciplinary Aspects of Cognition

39. Behaviour and Reasoning Description Language (BRDL)

40. Modelling the Dynamics of an Aedes albopictus Population

41. Modelling Cell Cycle using Different Levels of Representation

46. FormalMiner: A Formal Framework for Refinement Mining

47. Using Formal Methods to Validate Research Hypotheses: The Duolingo Case Study

48. Towards a Cognitive Architecture for the Formal Analysis of Human Behaviour and Learning

49. An Empirical Verification of a-priori Learning Models on Mailing Archives in the Context of Online Learning Activities of Participants in Free\Libre Open Source Software (FLOSS) Communities

Catalog

Books, media, physical & digital resources