A presentation that presents a novel way to look at creativity covering paradigms, whole brain function, adult skill acquisition and the creative process.
A presentation that presents a novel way to look at creativity covering paradigms, whole brain function, adult skill acquisition and the creative process.
Towards a General Approach for Symbolic Model-Checker PrototypingEdmundo López Bóbeda
We propose a novel approach to prototype and create symbolic model-checkers. Our approach focuses on providing a high level abstraction above Decision Diagrams. It allows the model-checker creator to start from a high level formal semantics and to define an efficient Decision Diagram based model-checker.
Sites de distribution illégale, noms de domaine et intermédiaires de paiementCedric Manara
Intervention faite lors du colloque "Droit d'auteur et numérique : l'HADOPI et après ?", 14 février 2013, Paris (CEJEM)
Création de l'affiche figurant en page de garde : Caroline Laverdet
Unfolding the City - Urban Mobility VisualizationsTill Nagel
Slides for my talk at Architecture IO 2014 in London. Watch it at https://www.youtube.com/watch?v=jjA98jhz1KY
In recent years more and more data about the city is digitally collected. This data from sources such as mobile phones, sensors, and location-based services can be visualised to reflect urban activity. Usable and approachable geovisualisations allow casual users and experts alike to make sense of this data, to see the city in different perspectives, and to understand their environment.
In my talk, I explore the challenges in urban data visualisation, as well as showcase multiple projects that demonstrate current approaches to and new thinkings about urban mobility.
Motivating and Engaging Teams by Maria MatarelliMaria Matarelli
Discover ways to increase your effectiveness and reduce conflict by understanding the premises of Relationship Awareness Theory. In this session, we’ll discuss universal motivation, intention and behavior while exploring how motivation changes in conflict and the impact of conflict triggers. Learn how motivation and values influence behavior and gain insights into how you can improve relationships and manage conflict — personally, professionally, and socially.
www.formulaink.com
www.MariaMatarelli.com
A small presentation I developed that introduces lambda expressions and many of the common LINQ extension methods for a group of developers that were less familiar with these concepts.
KS School of Engineering and Management located at Kanakapura Road, Bangalore, offers BE, MTech and MBA Courses affiliated to VTU and Approved by AICTE.
Faculty Development Programme is a regular feature in KSSEM, wherein, faculty get trained in various techniques related to learning, teaching, team building and technical aspects.
Slides for a fantastic Train the Trainer Program by Dr. John Persico Jr. Dr. John Persico
If you want a great program for training the trainers in your organization, here it is. I also have the trainee workbooks in Word if you are interested. Send me an email and let me know if you would also to receive the trainee and facilitator workbooks for a small fee. persico.john@gmail.com or call me at 612-310-3803 for a custom made program for your organization.
Studying Simon Sinek: Start With the Golden CircleChiara Ojeda
Most of us communicate from the outside in, but author Simon Sinek believes true inspiration comes when we start with why. This brief introduction to The Golden Circle is a teaching tool used in class.
A breakeven analysis is used to determine how much sales volume your business needs to start making a profit.
The breakeven analysis is especially useful when you're developing a pricing strategy, either as part of a marketing plan or a business plan.
A plethora of programming languages have been and continue to be developed to keep pace with hardware advancements and the ever more demanding requirements of software development. <br> As these increasingly sophisticated languages need to be well understood by both programmers and implementors, precise specifications are increasingly required. Moreover, the safety and adequacy with respect to requirements of programs written in these languages needs to be tested, analyzed, and, if possible, proved. <br> This dissertation proposes a rigorous approach to define programming languages based on rewriting, which allows to easily design and test language extensions, and to specify and analyze safety and adequacy of program executions.
To this aim, this dissertation describes the K Framework, an executable semantic framework inspired from rewriting logic but specialized and optimized for programming languages.
The K Framework consists of three components: (1) a language definitional technique; (2) a specialized notation; and (3) a resource-sharing concurrent rewriting semantics. The language definitional technique is a rewriting technique built upon the lessons learned from capturing and studying existing operational semantics frameworks within rewriting logic, and upon attempts to combine their strengths while avoiding their limitations. The specialized notation makes the technical details of the technique transparent to the language designer, and enhances modularity, by allowing the designer to specify the minimal context needed for a semantic rule. Finally, the resource-sharing concurrent semantics relies on the particular form of the semantic rules to enhance concurrency, by allowing overlapping rule instances (e.g., two threads writing in different locations in the store, which overlap on the store entity) to apply concurrently as long as they only overlap on the parts they do not change.
The main contributions of the dissertation are:
(1) a uniform recasting of the major existing operational semantics techniques within rewriting logic;
(2) an overview description of the K Framework and how it can be used to define, extend and analyze programming languages;
(3) a semantics for K concurrent rewriting obtained through an embedding in graph rewriting; and
(4) a description of the K-Maude tool, a tool for defining programming languages using the K technique on top of the Maude rewriting language.
Benchmarking and reverse-engineering the Tera (now Cray) MTA-1. Cray now sells a <a href="http://www.cray.com/products/XMT.aspx">newer version</a>, and many GPUs have a similar architecture.
Towards a General Approach for Symbolic Model-Checker PrototypingEdmundo López Bóbeda
We propose a novel approach to prototype and create symbolic model-checkers. Our approach focuses on providing a high level abstraction above Decision Diagrams. It allows the model-checker creator to start from a high level formal semantics and to define an efficient Decision Diagram based model-checker.
Sites de distribution illégale, noms de domaine et intermédiaires de paiementCedric Manara
Intervention faite lors du colloque "Droit d'auteur et numérique : l'HADOPI et après ?", 14 février 2013, Paris (CEJEM)
Création de l'affiche figurant en page de garde : Caroline Laverdet
Unfolding the City - Urban Mobility VisualizationsTill Nagel
Slides for my talk at Architecture IO 2014 in London. Watch it at https://www.youtube.com/watch?v=jjA98jhz1KY
In recent years more and more data about the city is digitally collected. This data from sources such as mobile phones, sensors, and location-based services can be visualised to reflect urban activity. Usable and approachable geovisualisations allow casual users and experts alike to make sense of this data, to see the city in different perspectives, and to understand their environment.
In my talk, I explore the challenges in urban data visualisation, as well as showcase multiple projects that demonstrate current approaches to and new thinkings about urban mobility.
Motivating and Engaging Teams by Maria MatarelliMaria Matarelli
Discover ways to increase your effectiveness and reduce conflict by understanding the premises of Relationship Awareness Theory. In this session, we’ll discuss universal motivation, intention and behavior while exploring how motivation changes in conflict and the impact of conflict triggers. Learn how motivation and values influence behavior and gain insights into how you can improve relationships and manage conflict — personally, professionally, and socially.
www.formulaink.com
www.MariaMatarelli.com
A small presentation I developed that introduces lambda expressions and many of the common LINQ extension methods for a group of developers that were less familiar with these concepts.
KS School of Engineering and Management located at Kanakapura Road, Bangalore, offers BE, MTech and MBA Courses affiliated to VTU and Approved by AICTE.
Faculty Development Programme is a regular feature in KSSEM, wherein, faculty get trained in various techniques related to learning, teaching, team building and technical aspects.
Slides for a fantastic Train the Trainer Program by Dr. John Persico Jr. Dr. John Persico
If you want a great program for training the trainers in your organization, here it is. I also have the trainee workbooks in Word if you are interested. Send me an email and let me know if you would also to receive the trainee and facilitator workbooks for a small fee. persico.john@gmail.com or call me at 612-310-3803 for a custom made program for your organization.
Studying Simon Sinek: Start With the Golden CircleChiara Ojeda
Most of us communicate from the outside in, but author Simon Sinek believes true inspiration comes when we start with why. This brief introduction to The Golden Circle is a teaching tool used in class.
A breakeven analysis is used to determine how much sales volume your business needs to start making a profit.
The breakeven analysis is especially useful when you're developing a pricing strategy, either as part of a marketing plan or a business plan.
A plethora of programming languages have been and continue to be developed to keep pace with hardware advancements and the ever more demanding requirements of software development. <br> As these increasingly sophisticated languages need to be well understood by both programmers and implementors, precise specifications are increasingly required. Moreover, the safety and adequacy with respect to requirements of programs written in these languages needs to be tested, analyzed, and, if possible, proved. <br> This dissertation proposes a rigorous approach to define programming languages based on rewriting, which allows to easily design and test language extensions, and to specify and analyze safety and adequacy of program executions.
To this aim, this dissertation describes the K Framework, an executable semantic framework inspired from rewriting logic but specialized and optimized for programming languages.
The K Framework consists of three components: (1) a language definitional technique; (2) a specialized notation; and (3) a resource-sharing concurrent rewriting semantics. The language definitional technique is a rewriting technique built upon the lessons learned from capturing and studying existing operational semantics frameworks within rewriting logic, and upon attempts to combine their strengths while avoiding their limitations. The specialized notation makes the technical details of the technique transparent to the language designer, and enhances modularity, by allowing the designer to specify the minimal context needed for a semantic rule. Finally, the resource-sharing concurrent semantics relies on the particular form of the semantic rules to enhance concurrency, by allowing overlapping rule instances (e.g., two threads writing in different locations in the store, which overlap on the store entity) to apply concurrently as long as they only overlap on the parts they do not change.
The main contributions of the dissertation are:
(1) a uniform recasting of the major existing operational semantics techniques within rewriting logic;
(2) an overview description of the K Framework and how it can be used to define, extend and analyze programming languages;
(3) a semantics for K concurrent rewriting obtained through an embedding in graph rewriting; and
(4) a description of the K-Maude tool, a tool for defining programming languages using the K technique on top of the Maude rewriting language.
Benchmarking and reverse-engineering the Tera (now Cray) MTA-1. Cray now sells a <a href="http://www.cray.com/products/XMT.aspx">newer version</a>, and many GPUs have a similar architecture.
How Student Game Designers Design Learning into GamesCharlotteLarke
This investigation examined how to support students in creating learning designs for specific learning goals in analogue and digital games as a means of learning. The study also explored the learning trajectories that emerged in the digital games created by the student learning-game designers. The DBR study was developed through three iterations over two years, involving teachers and students in co-design processes. Together with the teachers, an overall learning design supported the learning process for students by inviting them to be their own learning designers as they designed digital learning games for specific learning goals in cross-disciplinary subject matters. The findings were that the students succeeded in developing and implementing specific learning goals in their games. The students also developed learning trajectories through the games by designing various learning and evaluation opportunities for the player/learner playing the game.
Games Learning Society Conference, Madison, Wisconsin. August 2016
The Smiley Model - Concept Model for designing engaging and motivating games for learning
1. The Smiley Model - Concept Model for designing engaging and motivating games for learning
Parameters in a motivating and engaging game for learning
Learning Design
Learning elements
.. .. ... . .. . ...
. .....
.. ...
....
....
. . ..
. .. .
.. .
Co n
c e p t u a li s ati o n
Game elements
Charlotte Lærke Weitze
Pianist (Royal Danish Conservatory of Music)
M.Sc. Digital Designer (IT University, Denmark)
Independent researcher
Rikke Ørngreen
Associate Professor, Ph.D.,
Aalborg University, Denmark
Parameters in a motivating and engaging game for learning
Motivational factors
Learning Design
Learning elements
.. .. ... . .. . ...
. .....
.. ...
....
....
. . ..
. .. .
.. .
Co n
c e p t u a li s ati o n
Game elements
Charlotte Lærke Weitze & Rikke Ørngreen
Motivational factors
2. The Smiley Model - Concept Model for designing engaging and motivating games for learning
• Introduction
• Method and theories
• Description of the Smiley-Model (analytical part)
• Description of design process and observations (exploratory part)
• Perspectives
Parameters in a motivating and engaging game for learning
Learning Design
Learning elements
.. .. ... . .. . ...
. .....
.. ...
....
....
. . ..
. .. .
.. .
Co n
c e p t u a li s ati o n
Game elements
Charlotte Lærke Weitze & Rikke Ørngreen
Motivational factors
3. The Smiley Model - Concept Model for designing engaging and motivating games for learning
• We would like to use engaging learning games in class
• How do we design them?
• How do we assure that they are both instructive and engaging?
Parameters in a motivating and engaging game for learning
Learning Design
Learning elements
.. .. ... . .. . ...
. .....
.. ...
....
....
. . ..
. .. .
.. .
Co n
c e p t u a li s ati o n
Game elements
Parameters in a motivating and engaging game for learning
Motivational factors
Learning Design
Learning elements
.. .. ... . .. . ...
. .....
.. ...
....
....
. . ..
. .. .
.. .
Co n
c e p t u a li s ati o n
Game elements
Charlotte Lærke Weitze & Rikke Ørngreen
Motivational factors
4. The Smiley Model - Concept Model for designing engaging and motivating games for learning
Method: casebased action research
• Case: how to design a music learning game, that teaches children to play
piano, using sheet music, and at the same time is fun and engaging
• Model developed through dual approach: Analytical and exploratory
Analytical: theoretical and empirical analyses:
• Designs for learning, learning theory, educational games, motivation,
and engagement in games
Exploratory: deepen the problem area
• Concept development/ prototypes, Userinvolvement
Parameters in a motivating and engaging game for learning
Learning Design
Learning elements
.. .. ... . .. . ...
. .....
.. ...
....
....
. . ..
. .. .
.. .
Co n
c e p t u a li s ati o n
Game elements
Charlotte Lærke Weitze & Rikke Ørngreen
Motivational factors
5. The Smiley Model - Concept Model for designing engaging and motivating games for learning
• Problem oriented and iterative
• Exploring new designs in the case
• Action research model and the iterative interaction design model
Actionresearch model in iterative design proces with the Interactiondesign model
Idetify Establishing
focus area requirements
Develop action Collect Designing
Evaluating
recommandations data alternatives
Final
Analyze and product
Prototyping
interpret data
Actionresearch model Interactiondesign model
(Mills, 2000, acc. Creswell, 2008, p.601) (Sharp, Rogers, Preece, 2011, p. 332)
• The Smiley-Model: Combination of a heuristic and an inspirational tool Parameters in a motivating and engaging game for learning
Learning Design
Learning elements
.. .. ... . .. . ...
. .....
.. ...
....
....
. . ..
. .. .
.. .
Co n
c e p t u a li s ati o n
Game elements
Charlotte Lærke Weitze & Rikke Ørngreen
Motivational factors
6. The Smiley Model - Concept Model for designing engaging and motivating games for learning
Learning Design Learning goals Content
Hiim & Hippe
Learning elements
Setting Learning process
Prerequisites Evaluation/ assessment
.. .. ... . .. . ...
. .....
.. ...
....
....
. . ..
. .. . n
Co
n c e p t u a li s ati o
Parameters in a motivating and engaging game for learning
Learning Design
Learning elements
.. .. ... . .. . ...
. .....
.. ...
....
....
. . ..
. .. .
.. .
Co n
c e p t u a li s ati o n
Game elements
Charlotte Lærke Weitze & Rikke Ørngreen
Motivational factors
7. The Smiley Model - Concept Model for designing engaging and motivating games for learning
Competence
Curiosity
relations
Social
Competence
Curiosity
relations
Motivational factors
Social
Motivational factors
Jerome Bruner
Parameters in a motivating and engaging game for learning
Learning Design
Learning elements
.. .. ... . .. . ...
. .....
.. ...
....
....
. . ..
. .. .
.. .
Co n
c e p t u a li s ati o n
Game elements
Charlotte Lærke Weitze & Rikke Ørngreen
Motivational factors
8. The Smiley Model - Concept Model for designing engaging and motivating games for learning
Learning Design Learning goals Content
Learning elements
Setting Learning process
Prerequisites Evaluation/ assessment
.. .. ... . .. . ...
Goal Feedback
. .....
.. ...
....
....
. . ..
. .. . n
Co
Action space n c e p t u a li s ati o Challenge
Game elements Rules Choice Frame for motivation
Competence
and engagement
through the gameelements
Curiosity
relations
Social
Motivational factors
Parameters in a motivating and engaging game for learning
Learning Design
Learning elements
.. .. ... . .. . ...
. .....
.. ...
....
....
. . ..
. .. .
.. .
Co n
c e p t u a li s ati o n
Game elements
Charlotte Lærke Weitze & Rikke Ørngreen
Motivational factors
9. The Smiley Model - Concept Model for designing engaging and motivating games for learning
Learning Design Learning goals Content
Setting Learning process
Learning elements
Prerequisites for learning Evaluation/ assessment
.. .. ... . .. . ...
Goal Feedback
. .....
.. ...
....
....
. . ..
. .. .
.. .
Co n
Action space c e p t u a li s ati o n Challenge
Game elements Rules Choice Frame for motivation
and engagement
through the gameelements
Social relations
Competence
Curiosity
Parameters in a motivating and engaging game for learning
Learning Design
Motivational factors
Learning elements
.. .. ... . .. . ...
. .....
.. ...
....
....
. . ..
. .. .
.. .
Co n
c e p t u a li s ati o n
Game elements
Charlotte Lærke Weitze & Rikke Ørngreen
Motivational factors
10. The Smiley Model - Concept Model for designing engaging and motivating games for learning
Exploratory part
Construction of prototypes from the teoretical model
Test of the prototypes with users
Empirical Findings - Three types of observations:
• Observation of new phenomena
• Conflicting observations
• Confirmatory observations
- Compared to the theoretical constructed prototypes
Parameters in a motivating and engaging game for learning
Learning Design
Learning elements
.. .. ... . .. . ...
. .....
.. ...
....
....
. . ..
. .. .
.. .
Co n
c e p t u a li s ati o n
Game elements
Charlotte Lærke Weitze & Rikke Ørngreen
Motivational factors
11. The Smiley Model - Concept Model for designing engaging and motivating games for learning
New observations: Ensemble playing and Community
• Cooperation and Competition
• The joy of playing together
• The possibility to play with other musicians
• Social environment
Charlotte Lærke Weitze & Rikke Ørngreen
12. The Smiley Model - Concept Model for designing engaging and motivating games for learning
Confirmation of initial assumptions: Flexibility
• Flexible and adaptable
• Suggest alternatives
• Store data on profile, progress,
difficulty level Parameters in a motivating and engaging game for learning
Learning Design
Learning elements
.. .. ... . .. . ...
. .....
.. ...
....
....
. . ..
. .. .
.. .
Co n
c e p t u a li s ati o n
Game elements
Charlotte Lærke Weitze & Rikke Ørngreen
Motivational factors
13. The Smiley Model - Concept Model for designing engaging and motivating games for learning
Learning Design Learning goals Content
Setting Learning process
Learning elements
Prerequisites for learning Evaluation/ assessment
.. .. ... . .. . ...
Goal Feedback
. .....
.. ...
....
....
. . ..
. .. .
.. .
Co n
Action space c e p t u a li s ati o n Challenge
Game elements Rules Choice Frame for motivation
and engagement
through the gameelements
Social relations
Competence
Curiosity
Parameters in a motivating and engaging game for learning
Learning Design
Motivational factors
Learning elements
.. .. ... . .. . ...
. .....
.. ...
....
....
. . ..
. .. .
.. .
Co n
c e p t u a li s ati o n
Game elements
Charlotte Lærke Weitze & Rikke Ørngreen
Motivational factors
14. The Smiley Model - Concept Model for designing engaging and motivating games for learning
Thank you
for your attention!
Contact: charlotte@weitze.dk
Parameters in a motivating and engaging game for learning
Learning Design
Learning elements
.. .. ... . .. . ...
. .....
.. ...
....
....
. . ..
. .. .
.. .
Co n
c e p t u a li s ati o n
Game elements
Charlotte Lærke Weitze & Rikke Ørngreen
Motivational factors