SlideShare a Scribd company logo
1 of 75
Educational Technologies WS2006 Cognitive Tools Martin Homik [email_address] Deutsches Forschungszentrum für Künstliche Intelligenz
Approximate Plan of the Course  ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Outline ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Literature (look back “Media Principles) ,[object Object],[object Object],[object Object]
How do People Learn? ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Mental processes transform information into knowledge and skills in memory
How e-Lessons Affect Human Learning ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Knowledge from Long-term-memory New Information Active Processing Remaining Capacity
Media Principles (Summary) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Other means to reduce cognitive load ,[object Object],[object Object],[object Object],[object Object]
Learning Theories (look back) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Mapping Technologies to Learning Theories Objectivism Behaviorism Constructivism Cognitivism Motor Skills Cognitive Tools Programmed Instruction ITS Jonassen, 1981
What is a Cognitive Tool?
Definition ,[object Object],[object Object],[object Object],[object Object],[object Object]
Functions of Cognitive Tools ,[object Object],[object Object],[object Object]
Key Questions ,[object Object],[object Object],[object Object]
Discovery Learning ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Dilemma ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Discovery Environment Cognitive Tool 1 Cognitive Tool 2 ? ?
Discovery Described as Dual Search Spaces ,[object Object],[object Object],Hypothesis space Experiment space ,[object Object],[object Object]
Search Strategies in Dual Search Spaces ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Decomposition of Hypothesis Space ,[object Object],[object Object],[object Object],[object Object],Learner hypothesis space Target conceptual model Effective learner search space Universal hypothesis space Contains all hypotheses the learner possibly knows of and considers as good candidates  De Jong, Van Joolingen, 1998
Explaining Unsuccessful Discovery ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Hypothesis Generation Sketchpad (SMISLE) ,[object Object],[object Object],[object Object]
Monitoring Experiments ,[object Object],[object Object],[object Object]
Hooking Intelligent Support ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Hooking Intelligent Support: Feedback ,[object Object],[object Object],[object Object],[object Object]
SimQuest Learning Environment ,[object Object],[object Object],[object Object]
SimQuest Learning Architecture Simulation Context Instructional Measures Learner Interface Simulation Model
Simulations
SimNerv ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Driving Academy
Flight Simulator, Auckland, New Zealand
G eneric  L arge  A ircraft  S imulator  S ystem Project
Learning Diaries
Typical Situation
Identify/Close Learning Gaps ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Electronic Learning Diaries ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Example
Example
Cognitive Prompts ,[object Object],[object Object],[object Object]
Metacognitive Prompts ,[object Object],[object Object],[object Object]
Concept Mapping
Goals ,[object Object],[object Object],[object Object],[object Object],[object Object],By courtesy of Sigmar-Olaf Tergan,  IWM - KMRC
Types of spatial configurations (1) sequence cluster By courtesy of Sigmar-Olaf Tergan,  IWM - KMRC
Types of spatial configurations (2) hierarchy By courtesy of Sigmar-Olaf Tergan,  IWM - KMRC
Types of spatial configurations (3) Web-like organisations (see Wiegemann, Dansereau et al., 1992) By courtesy of Sigmar-Olaf Tergan,  IWM - KMRC
Types of spatial configurations (4) web-representation part part example example exercise By courtesy of Sigmar-Olaf Tergan,  IWM - KMRC
Representation focuses ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],By courtesy of Sigmar-Olaf Tergan,  IWM - KMRC
Spatial representations statements ,[object Object],[object Object],[object Object],By courtesy of Sigmar-Olaf Tergan,  IWM - KMRC
Spatial representations statements ,[object Object],[object Object],[object Object],By courtesy of Sigmar-Olaf Tergan,  IWM - KMRC
What are Mind Maps? ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Example: Mind Map with “Mind Manger”
Example Mind Map
Example Mind Map
What are Concept Maps? ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Example: Hierarchical Concept Map
Example: Concept Map
Functions ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Use for learning and instruction ,[object Object],[object Object],[object Object],[object Object],[object Object],By courtesy of Sigmar-Olaf Tergan,  IWM - KMRC
Use for Knowledge Management ,[object Object],[object Object],[object Object],[object Object],[object Object],By courtesy of Sigmar-Olaf Tergan,  IWM - KMRC
Mapping Tools (1) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],By courtesy of Sigmar-Olaf Tergan,  IWM - KMRC
iCMap ,[object Object],[object Object],[object Object],Demo
AM: Knowledge Representation ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],S 1 S 2 S 3 D 1 D 2 D 3 T 1 T 2 T 3 Exc 1 Exc 2 Exc 3 Exa 1 Exa 2 Exa 3
AM: Knowledge Representation: ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],S 1 S 2 S 3 D 1 D 2 D 3 T 1 T 2 T 3 Exc 1 Exc 2 Exc 3 Exa 1 Exa 2 Exa 3 for for for for for for for for for
AM: Knowledge Representation ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],S 1 S 2 S 3 D 1 D 2 D 3 T 1 T 2 T 3 Exc 1 Exc 2 Exc 3 Exa 1 Exa 2 Exa 3 for for Domain prerequisite Domain prerequisite Domain prerequisite
AM: Knowledge Representation ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],S 1 S 2 S 3 D 1 D 2 D 3 T 1 T 2 T 3 Exc 1 Exc 2 Exc 3 Exa 1 Exa 2 Exa 3 for against isA
Verification ,[object Object],[object Object],[object Object]
Deductive Relation: Transitivity ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],S 1 S 2 S 3 D 1 D 2 D 3 T 1 T 2 T 3 Exc 1 Exc 2 Exc 3 Exa 1 Exa 2 Exa 3 isA isA isA
Deductive Relation: Transitivity ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],S 1 S 2 S 3 D 1 D 2 D 3 T 1 T 2 T 3 Exc 1 Exc 2 Exc 3 Exa 1 Exa 2 Exa 3 Domain prerequisite Domain prerequisite Domain prerequisite
Deductive Relation: Equivalence ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],S 1 S 2 S 3 D 1 D 2 D 3 T 1 T 2 T 3 Exc 1 Exc 2 Exc 3 Exa 1 Exa 2 Exa 3 isA isA for for equivalence equivalence
Fault Tolerance ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],S 1 S 2 D 1 D 2 D 3 T 1 T 2 T 3 Exc 1 Exc 2 Exc 3 Exa 1 Exa 2 Exa 3 for isA isA for for for
iCMap Example
iCMap Feedback
Local Feedback
Take Home Message ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Literature ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Literature ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

More Related Content

What's hot (20)

Social interaction model
Social interaction modelSocial interaction model
Social interaction model
 
Synectics Model
Synectics ModelSynectics Model
Synectics Model
 
Student centered teaching strategies
Student centered  teaching strategiesStudent centered  teaching strategies
Student centered teaching strategies
 
Models of teaching
Models of teachingModels of teaching
Models of teaching
 
Constructivist learning theory
Constructivist learning theoryConstructivist learning theory
Constructivist learning theory
 
M learning
M  learning M  learning
M learning
 
ARCS model
ARCS modelARCS model
ARCS model
 
Constructivism
Constructivism Constructivism
Constructivism
 
Cooperative learning
Cooperative learningCooperative learning
Cooperative learning
 
Teaching strategies
Teaching strategiesTeaching strategies
Teaching strategies
 
Active learning and active learning strategies
Active learning and active learning strategiesActive learning and active learning strategies
Active learning and active learning strategies
 
Experiential Learning Presentation
Experiential Learning PresentationExperiential Learning Presentation
Experiential Learning Presentation
 
Educational Technology - Computer based instruction
Educational Technology - Computer based instructionEducational Technology - Computer based instruction
Educational Technology - Computer based instruction
 
Constructionism and Technology
Constructionism and TechnologyConstructionism and Technology
Constructionism and Technology
 
Semantic differential
Semantic differentialSemantic differential
Semantic differential
 
4. analytical & synthetic method
4. analytical & synthetic method4. analytical & synthetic method
4. analytical & synthetic method
 
Mastery learning
Mastery learningMastery learning
Mastery learning
 
Andragogy & pedagogy ppt @ bec doms bagalkot
Andragogy & pedagogy ppt @ bec doms bagalkotAndragogy & pedagogy ppt @ bec doms bagalkot
Andragogy & pedagogy ppt @ bec doms bagalkot
 
Cognitivism Theory
Cognitivism TheoryCognitivism Theory
Cognitivism Theory
 
Gagne learning theory
Gagne learning theoryGagne learning theory
Gagne learning theory
 

Viewers also liked

Wesam Al Rashid Portfolo
Wesam Al Rashid PortfoloWesam Al Rashid Portfolo
Wesam Al Rashid PortfoloWesam_alrashid
 
Introduction To Ethics & Ethical Principles
Introduction To Ethics & Ethical PrinciplesIntroduction To Ethics & Ethical Principles
Introduction To Ethics & Ethical PrinciplesDavid Stonehouse
 
Cognitive Science w e-learningu
Cognitive Science w e-learninguCognitive Science w e-learningu
Cognitive Science w e-learningukognitywista
 
Outcome Based Mapping Canvas
Outcome Based Mapping CanvasOutcome Based Mapping Canvas
Outcome Based Mapping CanvasBusiness901
 
Resume-format-for-freshers-2
Resume-format-for-freshers-2Resume-format-for-freshers-2
Resume-format-for-freshers-2Gokul sivaa
 
Modelo de david h
Modelo de david hModelo de david h
Modelo de david hJorge Perez
 
Controversial Issues Presentation WSUNER Conference 2013
Controversial Issues Presentation WSUNER Conference 2013Controversial Issues Presentation WSUNER Conference 2013
Controversial Issues Presentation WSUNER Conference 2013Arch Grieve
 
Expectation Mapping - User Experience Activity
Expectation Mapping - User Experience ActivityExpectation Mapping - User Experience Activity
Expectation Mapping - User Experience ActivityJonathan Steingiesser
 
Assessment of learning in the cognitive domain
Assessment of learning in the cognitive domainAssessment of learning in the cognitive domain
Assessment of learning in the cognitive domainJay-R Diacamos
 
Starbucks going global fast
Starbucks  going global fastStarbucks  going global fast
Starbucks going global fastRohit Dobaria
 
Future proofing your business
Future proofing your businessFuture proofing your business
Future proofing your businessStrategy Crowd
 
Hea game based learning
Hea game based learningHea game based learning
Hea game based learningKris Lines
 
Sommers Progams_Strategic Foresight & Innovation
Sommers Progams_Strategic Foresight & InnovationSommers Progams_Strategic Foresight & Innovation
Sommers Progams_Strategic Foresight & InnovationCecily Sommers
 
Wayne gray presentation
Wayne gray presentationWayne gray presentation
Wayne gray presentationdiannepatricia
 
Horizon scanning - Kolba cafe
Horizon scanning - Kolba cafeHorizon scanning - Kolba cafe
Horizon scanning - Kolba cafeGeorge Hodge
 
Trend Tracking with mymuv
Trend Tracking with mymuvTrend Tracking with mymuv
Trend Tracking with mymuvarunv
 

Viewers also liked (20)

Wesam Al Rashid Portfolo
Wesam Al Rashid PortfoloWesam Al Rashid Portfolo
Wesam Al Rashid Portfolo
 
Introduction To Ethics & Ethical Principles
Introduction To Ethics & Ethical PrinciplesIntroduction To Ethics & Ethical Principles
Introduction To Ethics & Ethical Principles
 
Cognitive Science w e-learningu
Cognitive Science w e-learninguCognitive Science w e-learningu
Cognitive Science w e-learningu
 
Outcome Based Mapping Canvas
Outcome Based Mapping CanvasOutcome Based Mapping Canvas
Outcome Based Mapping Canvas
 
Resume-format-for-freshers-2
Resume-format-for-freshers-2Resume-format-for-freshers-2
Resume-format-for-freshers-2
 
Las tic
Las ticLas tic
Las tic
 
Modelo de david h
Modelo de david hModelo de david h
Modelo de david h
 
Mindtools
MindtoolsMindtools
Mindtools
 
Controversial Issues Presentation WSUNER Conference 2013
Controversial Issues Presentation WSUNER Conference 2013Controversial Issues Presentation WSUNER Conference 2013
Controversial Issues Presentation WSUNER Conference 2013
 
Expectation Mapping - User Experience Activity
Expectation Mapping - User Experience ActivityExpectation Mapping - User Experience Activity
Expectation Mapping - User Experience Activity
 
Modelo de David H. Jonassen
Modelo de David H. JonassenModelo de David H. Jonassen
Modelo de David H. Jonassen
 
Assessment of learning in the cognitive domain
Assessment of learning in the cognitive domainAssessment of learning in the cognitive domain
Assessment of learning in the cognitive domain
 
Starbucks going global fast
Starbucks  going global fastStarbucks  going global fast
Starbucks going global fast
 
Future proofing your business
Future proofing your businessFuture proofing your business
Future proofing your business
 
Hea game based learning
Hea game based learningHea game based learning
Hea game based learning
 
Sommers Progams_Strategic Foresight & Innovation
Sommers Progams_Strategic Foresight & InnovationSommers Progams_Strategic Foresight & Innovation
Sommers Progams_Strategic Foresight & Innovation
 
Wayne gray presentation
Wayne gray presentationWayne gray presentation
Wayne gray presentation
 
Horizon scanning - Kolba cafe
Horizon scanning - Kolba cafeHorizon scanning - Kolba cafe
Horizon scanning - Kolba cafe
 
LTAG Horizon Scanning
LTAG Horizon ScanningLTAG Horizon Scanning
LTAG Horizon Scanning
 
Trend Tracking with mymuv
Trend Tracking with mymuvTrend Tracking with mymuv
Trend Tracking with mymuv
 

Similar to Cognitive Tools

Intelligent Tutorial Systems
Intelligent Tutorial SystemsIntelligent Tutorial Systems
Intelligent Tutorial SystemsMartin Homik
 
Learning Theories Group Project: Cognitive Theory
Learning Theories Group Project: Cognitive TheoryLearning Theories Group Project: Cognitive Theory
Learning Theories Group Project: Cognitive TheoryStephanie Conway
 
Learning Theories Group Project: Cognitive Theory
Learning Theories Group Project: Cognitive TheoryLearning Theories Group Project: Cognitive Theory
Learning Theories Group Project: Cognitive TheoryStephanie Conway
 
Ch 1 research introduciton
Ch 1 research introducitonCh 1 research introduciton
Ch 1 research introducitonTemtim assefa
 
Eme5054 learningartifactfws
Eme5054 learningartifactfwsEme5054 learningartifactfws
Eme5054 learningartifactfwsFlo Wolfe Sharp
 
Test Your Instructional Design IQ
Test Your Instructional Design IQTest Your Instructional Design IQ
Test Your Instructional Design IQRich James
 
Teaching and Learning with Simulation Environments - Profº Helder
Teaching and Learning with Simulation Environments - Profº HelderTeaching and Learning with Simulation Environments - Profº Helder
Teaching and Learning with Simulation Environments - Profº HelderEdson Felix Dos Santos
 
Cybernetical Mathematics Teaching Interventions,
Cybernetical Mathematics Teaching Interventions, Cybernetical Mathematics Teaching Interventions,
Cybernetical Mathematics Teaching Interventions, arammann
 
Theory into practice
Theory into practiceTheory into practice
Theory into practicejhtrespa
 
Laboratory Method Of Teaching
Laboratory Method Of TeachingLaboratory Method Of Teaching
Laboratory Method Of TeachingPrashant Mehta
 
Achieving Learning Outcomes, Incorporating Technology
Achieving Learning Outcomes, Incorporating TechnologyAchieving Learning Outcomes, Incorporating Technology
Achieving Learning Outcomes, Incorporating TechnologyAnn Kovalchick
 
 Instructional Design for the Active: Employing Interactive Technologies and...
	Instructional Design for the Active: Employing Interactive Technologies and...	Instructional Design for the Active: Employing Interactive Technologies and...
 Instructional Design for the Active: Employing Interactive Technologies and...Anthony Holderied
 
Cognitive apprenticeship
Cognitive apprenticeshipCognitive apprenticeship
Cognitive apprenticeshipkydr
 
Sandberg
SandbergSandberg
SandbergFNian
 
Representing practice: practice models, patterns, bundles ....
Representing practice: practice models, patterns, bundles ....Representing practice: practice models, patterns, bundles ....
Representing practice: practice models, patterns, bundles ....Colin Milligan
 
Group 5 Reflection 3
Group 5 Reflection 3Group 5 Reflection 3
Group 5 Reflection 3heasulli
 
Teaching of Computer Science in Schools
Teaching of Computer Science in SchoolsTeaching of Computer Science in Schools
Teaching of Computer Science in Schoolsmarpasha
 
Gobert, Dede, Martin, Rose "Panel: Learning Analytics and Learning Sciences"
Gobert, Dede, Martin, Rose "Panel: Learning Analytics and Learning Sciences"Gobert, Dede, Martin, Rose "Panel: Learning Analytics and Learning Sciences"
Gobert, Dede, Martin, Rose "Panel: Learning Analytics and Learning Sciences"CITE
 

Similar to Cognitive Tools (20)

Intelligent Tutorial Systems
Intelligent Tutorial SystemsIntelligent Tutorial Systems
Intelligent Tutorial Systems
 
Learning Theories Group Project: Cognitive Theory
Learning Theories Group Project: Cognitive TheoryLearning Theories Group Project: Cognitive Theory
Learning Theories Group Project: Cognitive Theory
 
Learning Theories Group Project: Cognitive Theory
Learning Theories Group Project: Cognitive TheoryLearning Theories Group Project: Cognitive Theory
Learning Theories Group Project: Cognitive Theory
 
Ch 1 research introduciton
Ch 1 research introducitonCh 1 research introduciton
Ch 1 research introduciton
 
Eme5054 learningartifactfws
Eme5054 learningartifactfwsEme5054 learningartifactfws
Eme5054 learningartifactfws
 
Test Your Instructional Design IQ
Test Your Instructional Design IQTest Your Instructional Design IQ
Test Your Instructional Design IQ
 
Teaching and Learning with Simulation Environments - Profº Helder
Teaching and Learning with Simulation Environments - Profº HelderTeaching and Learning with Simulation Environments - Profº Helder
Teaching and Learning with Simulation Environments - Profº Helder
 
Cybernetical Mathematics Teaching Interventions,
Cybernetical Mathematics Teaching Interventions, Cybernetical Mathematics Teaching Interventions,
Cybernetical Mathematics Teaching Interventions,
 
Theory into practice
Theory into practiceTheory into practice
Theory into practice
 
Laboratory Method Of Teaching
Laboratory Method Of TeachingLaboratory Method Of Teaching
Laboratory Method Of Teaching
 
Constructivism
ConstructivismConstructivism
Constructivism
 
Achieving Learning Outcomes, Incorporating Technology
Achieving Learning Outcomes, Incorporating TechnologyAchieving Learning Outcomes, Incorporating Technology
Achieving Learning Outcomes, Incorporating Technology
 
 Instructional Design for the Active: Employing Interactive Technologies and...
	Instructional Design for the Active: Employing Interactive Technologies and...	Instructional Design for the Active: Employing Interactive Technologies and...
 Instructional Design for the Active: Employing Interactive Technologies and...
 
Cognitive apprenticeship
Cognitive apprenticeshipCognitive apprenticeship
Cognitive apprenticeship
 
Cognitivism
Cognitivism Cognitivism
Cognitivism
 
Sandberg
SandbergSandberg
Sandberg
 
Representing practice: practice models, patterns, bundles ....
Representing practice: practice models, patterns, bundles ....Representing practice: practice models, patterns, bundles ....
Representing practice: practice models, patterns, bundles ....
 
Group 5 Reflection 3
Group 5 Reflection 3Group 5 Reflection 3
Group 5 Reflection 3
 
Teaching of Computer Science in Schools
Teaching of Computer Science in SchoolsTeaching of Computer Science in Schools
Teaching of Computer Science in Schools
 
Gobert, Dede, Martin, Rose "Panel: Learning Analytics and Learning Sciences"
Gobert, Dede, Martin, Rose "Panel: Learning Analytics and Learning Sciences"Gobert, Dede, Martin, Rose "Panel: Learning Analytics and Learning Sciences"
Gobert, Dede, Martin, Rose "Panel: Learning Analytics and Learning Sciences"
 

More from Martin Homik

Reflection In Web2.0 Style
Reflection In Web2.0 StyleReflection In Web2.0 Style
Reflection In Web2.0 StyleMartin Homik
 
Woop - Workflow Optimizer
Woop - Workflow OptimizerWoop - Workflow Optimizer
Woop - Workflow OptimizerMartin Homik
 
Woop - Workflow Optimizer
Woop - Workflow OptimizerWoop - Workflow Optimizer
Woop - Workflow OptimizerMartin Homik
 
ePortfolios in ActiveMath
ePortfolios in ActiveMathePortfolios in ActiveMath
ePortfolios in ActiveMathMartin Homik
 
e-portfolio: Der Stand in Deutschland
e-portfolio: Der Stand in Deutschlande-portfolio: Der Stand in Deutschland
e-portfolio: Der Stand in DeutschlandMartin Homik
 
Using blogs for learning logs
Using blogs for learning logsUsing blogs for learning logs
Using blogs for learning logsMartin Homik
 
Helping Students to Learn Matehmatics Beyond LMS
Helping Students to Learn Matehmatics Beyond LMSHelping Students to Learn Matehmatics Beyond LMS
Helping Students to Learn Matehmatics Beyond LMSMartin Homik
 
Interactive Concept Mapping in ActiveMath (iCMap)
Interactive Concept Mapping in ActiveMath (iCMap)Interactive Concept Mapping in ActiveMath (iCMap)
Interactive Concept Mapping in ActiveMath (iCMap)Martin Homik
 
Designing a Proof GUI for Non-Experts
Designing a Proof GUI for Non-ExpertsDesigning a Proof GUI for Non-Experts
Designing a Proof GUI for Non-ExpertsMartin Homik
 

More from Martin Homik (10)

Reflection In Web2.0 Style
Reflection In Web2.0 StyleReflection In Web2.0 Style
Reflection In Web2.0 Style
 
Woop - Workflow Optimizer
Woop - Workflow OptimizerWoop - Workflow Optimizer
Woop - Workflow Optimizer
 
Woop - Workflow Optimizer
Woop - Workflow OptimizerWoop - Workflow Optimizer
Woop - Workflow Optimizer
 
ePortfolios in ActiveMath
ePortfolios in ActiveMathePortfolios in ActiveMath
ePortfolios in ActiveMath
 
e-portfolio: Der Stand in Deutschland
e-portfolio: Der Stand in Deutschlande-portfolio: Der Stand in Deutschland
e-portfolio: Der Stand in Deutschland
 
Using blogs for learning logs
Using blogs for learning logsUsing blogs for learning logs
Using blogs for learning logs
 
Helping Students to Learn Matehmatics Beyond LMS
Helping Students to Learn Matehmatics Beyond LMSHelping Students to Learn Matehmatics Beyond LMS
Helping Students to Learn Matehmatics Beyond LMS
 
Interactive Concept Mapping in ActiveMath (iCMap)
Interactive Concept Mapping in ActiveMath (iCMap)Interactive Concept Mapping in ActiveMath (iCMap)
Interactive Concept Mapping in ActiveMath (iCMap)
 
Designing a Proof GUI for Non-Experts
Designing a Proof GUI for Non-ExpertsDesigning a Proof GUI for Non-Experts
Designing a Proof GUI for Non-Experts
 
Abis04
Abis04Abis04
Abis04
 

Recently uploaded

Decoding the Tweet _ Practical Criticism in the Age of Hashtag.pptx
Decoding the Tweet _ Practical Criticism in the Age of Hashtag.pptxDecoding the Tweet _ Practical Criticism in the Age of Hashtag.pptx
Decoding the Tweet _ Practical Criticism in the Age of Hashtag.pptxDhatriParmar
 
Narcotic and Non Narcotic Analgesic..pdf
Narcotic and Non Narcotic Analgesic..pdfNarcotic and Non Narcotic Analgesic..pdf
Narcotic and Non Narcotic Analgesic..pdfPrerana Jadhav
 
Student Profile Sample - We help schools to connect the data they have, with ...
Student Profile Sample - We help schools to connect the data they have, with ...Student Profile Sample - We help schools to connect the data they have, with ...
Student Profile Sample - We help schools to connect the data they have, with ...Seán Kennedy
 
ICS2208 Lecture6 Notes for SL spaces.pdf
ICS2208 Lecture6 Notes for SL spaces.pdfICS2208 Lecture6 Notes for SL spaces.pdf
ICS2208 Lecture6 Notes for SL spaces.pdfVanessa Camilleri
 
Expanded definition: technical and operational
Expanded definition: technical and operationalExpanded definition: technical and operational
Expanded definition: technical and operationalssuser3e220a
 
ClimART Action | eTwinning Project
ClimART Action    |    eTwinning ProjectClimART Action    |    eTwinning Project
ClimART Action | eTwinning Projectjordimapav
 
Unraveling Hypertext_ Analyzing Postmodern Elements in Literature.pptx
Unraveling Hypertext_ Analyzing  Postmodern Elements in  Literature.pptxUnraveling Hypertext_ Analyzing  Postmodern Elements in  Literature.pptx
Unraveling Hypertext_ Analyzing Postmodern Elements in Literature.pptxDhatriParmar
 
Grade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdf
Grade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdfGrade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdf
Grade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdfJemuel Francisco
 
MS4 level being good citizen -imperative- (1) (1).pdf
MS4 level   being good citizen -imperative- (1) (1).pdfMS4 level   being good citizen -imperative- (1) (1).pdf
MS4 level being good citizen -imperative- (1) (1).pdfMr Bounab Samir
 
How to Fix XML SyntaxError in Odoo the 17
How to Fix XML SyntaxError in Odoo the 17How to Fix XML SyntaxError in Odoo the 17
How to Fix XML SyntaxError in Odoo the 17Celine George
 
Blowin' in the Wind of Caste_ Bob Dylan's Song as a Catalyst for Social Justi...
Blowin' in the Wind of Caste_ Bob Dylan's Song as a Catalyst for Social Justi...Blowin' in the Wind of Caste_ Bob Dylan's Song as a Catalyst for Social Justi...
Blowin' in the Wind of Caste_ Bob Dylan's Song as a Catalyst for Social Justi...DhatriParmar
 
4.16.24 Poverty and Precarity--Desmond.pptx
4.16.24 Poverty and Precarity--Desmond.pptx4.16.24 Poverty and Precarity--Desmond.pptx
4.16.24 Poverty and Precarity--Desmond.pptxmary850239
 
Congestive Cardiac Failure..presentation
Congestive Cardiac Failure..presentationCongestive Cardiac Failure..presentation
Congestive Cardiac Failure..presentationdeepaannamalai16
 
31 ĐỀ THI THỬ VÀO LỚP 10 - TIẾNG ANH - FORM MỚI 2025 - 40 CÂU HỎI - BÙI VĂN V...
31 ĐỀ THI THỬ VÀO LỚP 10 - TIẾNG ANH - FORM MỚI 2025 - 40 CÂU HỎI - BÙI VĂN V...31 ĐỀ THI THỬ VÀO LỚP 10 - TIẾNG ANH - FORM MỚI 2025 - 40 CÂU HỎI - BÙI VĂN V...
31 ĐỀ THI THỬ VÀO LỚP 10 - TIẾNG ANH - FORM MỚI 2025 - 40 CÂU HỎI - BÙI VĂN V...Nguyen Thanh Tu Collection
 
week 1 cookery 8 fourth - quarter .pptx
week 1 cookery 8  fourth  -  quarter .pptxweek 1 cookery 8  fourth  -  quarter .pptx
week 1 cookery 8 fourth - quarter .pptxJonalynLegaspi2
 
Multi Domain Alias In the Odoo 17 ERP Module
Multi Domain Alias In the Odoo 17 ERP ModuleMulti Domain Alias In the Odoo 17 ERP Module
Multi Domain Alias In the Odoo 17 ERP ModuleCeline George
 
Textual Evidence in Reading and Writing of SHS
Textual Evidence in Reading and Writing of SHSTextual Evidence in Reading and Writing of SHS
Textual Evidence in Reading and Writing of SHSMae Pangan
 

Recently uploaded (20)

Mattingly "AI & Prompt Design: Large Language Models"
Mattingly "AI & Prompt Design: Large Language Models"Mattingly "AI & Prompt Design: Large Language Models"
Mattingly "AI & Prompt Design: Large Language Models"
 
Decoding the Tweet _ Practical Criticism in the Age of Hashtag.pptx
Decoding the Tweet _ Practical Criticism in the Age of Hashtag.pptxDecoding the Tweet _ Practical Criticism in the Age of Hashtag.pptx
Decoding the Tweet _ Practical Criticism in the Age of Hashtag.pptx
 
INCLUSIVE EDUCATION PRACTICES FOR TEACHERS AND TRAINERS.pptx
INCLUSIVE EDUCATION PRACTICES FOR TEACHERS AND TRAINERS.pptxINCLUSIVE EDUCATION PRACTICES FOR TEACHERS AND TRAINERS.pptx
INCLUSIVE EDUCATION PRACTICES FOR TEACHERS AND TRAINERS.pptx
 
Narcotic and Non Narcotic Analgesic..pdf
Narcotic and Non Narcotic Analgesic..pdfNarcotic and Non Narcotic Analgesic..pdf
Narcotic and Non Narcotic Analgesic..pdf
 
Student Profile Sample - We help schools to connect the data they have, with ...
Student Profile Sample - We help schools to connect the data they have, with ...Student Profile Sample - We help schools to connect the data they have, with ...
Student Profile Sample - We help schools to connect the data they have, with ...
 
ICS2208 Lecture6 Notes for SL spaces.pdf
ICS2208 Lecture6 Notes for SL spaces.pdfICS2208 Lecture6 Notes for SL spaces.pdf
ICS2208 Lecture6 Notes for SL spaces.pdf
 
Paradigm shift in nursing research by RS MEHTA
Paradigm shift in nursing research by RS MEHTAParadigm shift in nursing research by RS MEHTA
Paradigm shift in nursing research by RS MEHTA
 
Expanded definition: technical and operational
Expanded definition: technical and operationalExpanded definition: technical and operational
Expanded definition: technical and operational
 
ClimART Action | eTwinning Project
ClimART Action    |    eTwinning ProjectClimART Action    |    eTwinning Project
ClimART Action | eTwinning Project
 
Unraveling Hypertext_ Analyzing Postmodern Elements in Literature.pptx
Unraveling Hypertext_ Analyzing  Postmodern Elements in  Literature.pptxUnraveling Hypertext_ Analyzing  Postmodern Elements in  Literature.pptx
Unraveling Hypertext_ Analyzing Postmodern Elements in Literature.pptx
 
Grade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdf
Grade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdfGrade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdf
Grade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdf
 
MS4 level being good citizen -imperative- (1) (1).pdf
MS4 level   being good citizen -imperative- (1) (1).pdfMS4 level   being good citizen -imperative- (1) (1).pdf
MS4 level being good citizen -imperative- (1) (1).pdf
 
How to Fix XML SyntaxError in Odoo the 17
How to Fix XML SyntaxError in Odoo the 17How to Fix XML SyntaxError in Odoo the 17
How to Fix XML SyntaxError in Odoo the 17
 
Blowin' in the Wind of Caste_ Bob Dylan's Song as a Catalyst for Social Justi...
Blowin' in the Wind of Caste_ Bob Dylan's Song as a Catalyst for Social Justi...Blowin' in the Wind of Caste_ Bob Dylan's Song as a Catalyst for Social Justi...
Blowin' in the Wind of Caste_ Bob Dylan's Song as a Catalyst for Social Justi...
 
4.16.24 Poverty and Precarity--Desmond.pptx
4.16.24 Poverty and Precarity--Desmond.pptx4.16.24 Poverty and Precarity--Desmond.pptx
4.16.24 Poverty and Precarity--Desmond.pptx
 
Congestive Cardiac Failure..presentation
Congestive Cardiac Failure..presentationCongestive Cardiac Failure..presentation
Congestive Cardiac Failure..presentation
 
31 ĐỀ THI THỬ VÀO LỚP 10 - TIẾNG ANH - FORM MỚI 2025 - 40 CÂU HỎI - BÙI VĂN V...
31 ĐỀ THI THỬ VÀO LỚP 10 - TIẾNG ANH - FORM MỚI 2025 - 40 CÂU HỎI - BÙI VĂN V...31 ĐỀ THI THỬ VÀO LỚP 10 - TIẾNG ANH - FORM MỚI 2025 - 40 CÂU HỎI - BÙI VĂN V...
31 ĐỀ THI THỬ VÀO LỚP 10 - TIẾNG ANH - FORM MỚI 2025 - 40 CÂU HỎI - BÙI VĂN V...
 
week 1 cookery 8 fourth - quarter .pptx
week 1 cookery 8  fourth  -  quarter .pptxweek 1 cookery 8  fourth  -  quarter .pptx
week 1 cookery 8 fourth - quarter .pptx
 
Multi Domain Alias In the Odoo 17 ERP Module
Multi Domain Alias In the Odoo 17 ERP ModuleMulti Domain Alias In the Odoo 17 ERP Module
Multi Domain Alias In the Odoo 17 ERP Module
 
Textual Evidence in Reading and Writing of SHS
Textual Evidence in Reading and Writing of SHSTextual Evidence in Reading and Writing of SHS
Textual Evidence in Reading and Writing of SHS
 

Cognitive Tools