The Experts below are selected from a list of 19557 Experts worldwide ranked by ideXlab platform

Kenneth R Koedinger - One of the best experts on this subject based on the ideXlab platform.

  • Help Helps, But Only So Much: Research on Help Seeking with Intelligent Tutoring Systems
    International Journal of Artificial Intelligence in Education, 2016
    Co-Authors: Vincent Aleven, Ido Roll, Bruce M Mclaren, Kenneth R Koedinger
    Abstract:

    Help seeking is an important process in self-regulated learning (SRL). It may influence learning with intelligent tutoring systems (ITSs), because many ITSs provide help, often at the student’s request. The Help Tutor was a tutor agent that gave in-context, real-time feedback on students’ help-seeking behavior, as they were learning with an ITS. Key goals were to help students become better self-regulated learners and help them achieve better domain-level learning outcomes. In a classroom study, feedback on help seeking helped students to use on-demand help more deliberately, even after the feedback was no longer given, but not to achieve better learning outcomes. The work made a number of contributions, including the creation of a knowledge-engineered, rule-based, Executable Model of help seeking that can drive tutoring. We review these contributions from a contemporary perspective, with a theoretical analysis, a review of recent empirical literature on help seeking with ITSs, and methodological suggestions. Although we do not view on-demand, principle-based help during tutored problem solving as being as important as we once did, we still view it as helpful under certain circumstances, and recommend that it be included in ITSs. We view the goal of helping students become better self-regulated learners as one of the grand challenges in ITSs research today.

  • automated unobtrusive action by action assessment of self regulation during learning with an intelligent tutoring system
    Educational Psychologist, 2010
    Co-Authors: Vincent Aleven, Ido Roll, Bruce M Mclaren, Kenneth R Koedinger
    Abstract:

    Assessment of students’ self-regulated learning (SRL) requires a method for evaluating whether observed actions are appropriate acts of self-regulation in the specific learning context in which they occur. We review research that has resulted in an automated method for context-sensitive assessment of a specific SRL strategy, help seeking while working with an intelligent tutoring system. The method relies on a computer-Executable Model of the targeted SRL strategy. The method was validated by showing that it converges with other measures of help seeking. Automated feedback on help seeking driven by this method led to a lasting improvement in students’ help-seeking behavior, although not in domain-specific learning. The method is unobtrusive, is temporally fine-grained, and can be applied on a large scale and over extended periods. The approach could be applied to other SRL strategies besides help seeking.

William H Sanders - One of the best experts on this subject based on the ideXlab platform.

  • adversary driven state based system security evaluation
    International Workshop on Security, 2010
    Co-Authors: Elizabeth Lemay, Willard Unkenholz, Donald Parks, Carol Muehrcke, Ken Keefe, William H Sanders
    Abstract:

    To provide insight on system security and aid decision-makers, we propose the ADversary VIew Security Evaluation (ADVISE) method to quantitatively evaluate the strength of a system's security. Our approach is to create an Executable state-based security Model of a system. The security Model is initialized with information characterizing the system and the adversaries attacking the system. The Model then simulates the attack behavior of the adversaries to produce a quantitative assessment of system security strength. This paper describes the system and adversary characterization data that are collected as input for the Executable Model. This paper also describes the simulation algorithms for adversary attack behavior and the computation for the probability that an attack attempt is successful. A simple case study illustrates how to analyze system security using the ADVISE method. A tool is currently under development to facilitate automatic Model generation and simulation. The ADVISE method aggregates security-relevant information about a system and its adversaries to produce a quantitative security analysis useful for holistic system security decisions.

Wolfgang Marwan - One of the best experts on this subject based on the ideXlab platform.

  • jak stat signalling an Executable Model assembled from molecule centred modules demonstrating a module oriented database concept for systems and synthetic biology
    Molecular BioSystems, 2013
    Co-Authors: Mary Ann Blatke, Anna Dittrich, Christian Rohr, Monika Heiner, Fred Schaper, Wolfgang Marwan
    Abstract:

    Mathematical Models of molecular networks regulating biological processes in cells or organisms are most frequently designed as sets of ordinary differential equations. Various modularisation methods have been applied to reduce the complexity of Models, to analyse their structural properties, to separate biological processes, or to reuse Model parts. Taking the JAK/STAT signalling pathway with the extensive combinatorial cross-talk of its components as a case study, we make a natural approach to modularisation by creating one module for each biomolecule. Each module consists of a Petri net and associated metadata and is organised in a database publically accessible through a web interface (http://www.bioModelkit.org). The Petri net describes the reaction mechanism of a given biomolecule and its functional interactions with other components including relevant conformational states. The database is designed to support the curation, documentation, version control, and update of individual modules, and to assist the user in automatically composing complex Models from modules. Biomolecule centred modules, associated metadata, and database support together allow the automatic creation of Models by considering differential gene expression in given cell types or under certain physiological conditions or states of disease. Modularity also facilitates exploring the consequences of alternative molecular mechanisms by comparative simulation of automatically created Models even for users without mathematical skills. Models may be selectively executed as an ODE system, stochastic, or qualitative Models or hybrid and exported in the SBML format. The fully automated generation of Models of redesigned networks by metadata-guided modification of modules representing biomolecules with mutated function or specificity is proposed.

  • jak stat signalling an Executable Model assembled from molecule centred modules demonstrating a module oriented database concept for systems and synthetic biology
    arXiv: Molecular Networks, 2012
    Co-Authors: Mary Ann Blatke, Anna Dittrich, Christian Rohr, Monika Heiner, Fred Schaper, Wolfgang Marwan
    Abstract:

    We describe a molecule-oriented Modelling approach based on a collection of Petri net Models organized in the form of modules into a prototype database accessible through a web interface. The JAK/STAT signalling pathway with the extensive cross-talk of its components is selected as case study. Each Petri net module represents the reactions of an individual protein with its specific interaction partners. These Petri net modules are graphically displayed, can be executed individually, and allow the automatic composition into coherent Models containing an arbitrary number of molecular species chosen ad hoc by the user. Each module contains metadata for documentation purposes and can be extended to a wiki-like minireview. The database can manage multiple versions of each module. It supports the curation, documentation, version control, and update of individual modules and the subsequent automatic composition of complex Models, without requiring mathematical skills. Modules can be (semi-) automatically recombined according to user defined scenarios e.g. gene expression patterns in given cell types, under certain physiological conditions, or states of disease. Adding a localisation component to the module database would allow to simulate Models with spatial resolution in the form of coloured Petri nets. As synthetic biology application we propose the fully automated generation of synthetic or synthetically rewired network Models by composition of metadata-guided automatically modified modules representing altered protein binding sites. Petri nets composed from modules can be executed as ODE system, stochastic, hybrid, or merely qualitative Models and exported in SMBL format.

Christian Rohr - One of the best experts on this subject based on the ideXlab platform.

  • jak stat signalling an Executable Model assembled from molecule centred modules demonstrating a module oriented database concept for systems and synthetic biology
    Molecular BioSystems, 2013
    Co-Authors: Mary Ann Blatke, Anna Dittrich, Christian Rohr, Monika Heiner, Fred Schaper, Wolfgang Marwan
    Abstract:

    Mathematical Models of molecular networks regulating biological processes in cells or organisms are most frequently designed as sets of ordinary differential equations. Various modularisation methods have been applied to reduce the complexity of Models, to analyse their structural properties, to separate biological processes, or to reuse Model parts. Taking the JAK/STAT signalling pathway with the extensive combinatorial cross-talk of its components as a case study, we make a natural approach to modularisation by creating one module for each biomolecule. Each module consists of a Petri net and associated metadata and is organised in a database publically accessible through a web interface (http://www.bioModelkit.org). The Petri net describes the reaction mechanism of a given biomolecule and its functional interactions with other components including relevant conformational states. The database is designed to support the curation, documentation, version control, and update of individual modules, and to assist the user in automatically composing complex Models from modules. Biomolecule centred modules, associated metadata, and database support together allow the automatic creation of Models by considering differential gene expression in given cell types or under certain physiological conditions or states of disease. Modularity also facilitates exploring the consequences of alternative molecular mechanisms by comparative simulation of automatically created Models even for users without mathematical skills. Models may be selectively executed as an ODE system, stochastic, or qualitative Models or hybrid and exported in the SBML format. The fully automated generation of Models of redesigned networks by metadata-guided modification of modules representing biomolecules with mutated function or specificity is proposed.

  • jak stat signalling an Executable Model assembled from molecule centred modules demonstrating a module oriented database concept for systems and synthetic biology
    arXiv: Molecular Networks, 2012
    Co-Authors: Mary Ann Blatke, Anna Dittrich, Christian Rohr, Monika Heiner, Fred Schaper, Wolfgang Marwan
    Abstract:

    We describe a molecule-oriented Modelling approach based on a collection of Petri net Models organized in the form of modules into a prototype database accessible through a web interface. The JAK/STAT signalling pathway with the extensive cross-talk of its components is selected as case study. Each Petri net module represents the reactions of an individual protein with its specific interaction partners. These Petri net modules are graphically displayed, can be executed individually, and allow the automatic composition into coherent Models containing an arbitrary number of molecular species chosen ad hoc by the user. Each module contains metadata for documentation purposes and can be extended to a wiki-like minireview. The database can manage multiple versions of each module. It supports the curation, documentation, version control, and update of individual modules and the subsequent automatic composition of complex Models, without requiring mathematical skills. Modules can be (semi-) automatically recombined according to user defined scenarios e.g. gene expression patterns in given cell types, under certain physiological conditions, or states of disease. Adding a localisation component to the module database would allow to simulate Models with spatial resolution in the form of coloured Petri nets. As synthetic biology application we propose the fully automated generation of synthetic or synthetically rewired network Models by composition of metadata-guided automatically modified modules representing altered protein binding sites. Petri nets composed from modules can be executed as ODE system, stochastic, hybrid, or merely qualitative Models and exported in SMBL format.

Vincent Aleven - One of the best experts on this subject based on the ideXlab platform.

  • Help Helps, But Only So Much: Research on Help Seeking with Intelligent Tutoring Systems
    International Journal of Artificial Intelligence in Education, 2016
    Co-Authors: Vincent Aleven, Ido Roll, Bruce M Mclaren, Kenneth R Koedinger
    Abstract:

    Help seeking is an important process in self-regulated learning (SRL). It may influence learning with intelligent tutoring systems (ITSs), because many ITSs provide help, often at the student’s request. The Help Tutor was a tutor agent that gave in-context, real-time feedback on students’ help-seeking behavior, as they were learning with an ITS. Key goals were to help students become better self-regulated learners and help them achieve better domain-level learning outcomes. In a classroom study, feedback on help seeking helped students to use on-demand help more deliberately, even after the feedback was no longer given, but not to achieve better learning outcomes. The work made a number of contributions, including the creation of a knowledge-engineered, rule-based, Executable Model of help seeking that can drive tutoring. We review these contributions from a contemporary perspective, with a theoretical analysis, a review of recent empirical literature on help seeking with ITSs, and methodological suggestions. Although we do not view on-demand, principle-based help during tutored problem solving as being as important as we once did, we still view it as helpful under certain circumstances, and recommend that it be included in ITSs. We view the goal of helping students become better self-regulated learners as one of the grand challenges in ITSs research today.

  • automated unobtrusive action by action assessment of self regulation during learning with an intelligent tutoring system
    Educational Psychologist, 2010
    Co-Authors: Vincent Aleven, Ido Roll, Bruce M Mclaren, Kenneth R Koedinger
    Abstract:

    Assessment of students’ self-regulated learning (SRL) requires a method for evaluating whether observed actions are appropriate acts of self-regulation in the specific learning context in which they occur. We review research that has resulted in an automated method for context-sensitive assessment of a specific SRL strategy, help seeking while working with an intelligent tutoring system. The method relies on a computer-Executable Model of the targeted SRL strategy. The method was validated by showing that it converges with other measures of help seeking. Automated feedback on help seeking driven by this method led to a lasting improvement in students’ help-seeking behavior, although not in domain-specific learning. The method is unobtrusive, is temporally fine-grained, and can be applied on a large scale and over extended periods. The approach could be applied to other SRL strategies besides help seeking.