scholarly journals THE USE OF NEURO-LINGUISTIC PROGRAMMING TECHNIQUES IN INVESTIGATIVE PRACTICE. CURRENT ISSUES. THEORY AND PRACTICE

Internauka ◽  
2021 ◽  
Vol 212 (36) ◽  
Author(s):  
Andrey Morozov
Keyword(s):  
Theory And Practice ◽  
Programming Techniques

Call for Papers Verification and Computational Logic Special Issue of Theory and Practice of Logic Programming

2001 ◽  
Vol 1 (5) ◽  
pp. 631-632
Author(s):  
Michael Leuschel ◽  
Andreas Podelski ◽  
C. R. Ramakrishnan ◽  
Ulrich Ultes-Nitsche
Keyword(s):  
Model Checking ◽  
Logic Programming ◽  
Program Analysis ◽  
Program Transformation ◽  
Logic Program ◽  
Theory And Practice ◽  
Special Issue ◽  
High Quality Research ◽  
Programming Techniques ◽  
Verification Techniques

Submission deadline: January 10, 2002The past decade has seen dramatic growth in the application of model checking techniques to the validation and verification of correctness properties of hardware, and more recently software systems. One of the methods is to model a hardware or software system as a finite, labelled transition system which is then exhaustively explored to decide whether a given temporal specification holds. Recently, there has been increasing interest in applying logic programming techniques to model checking in particular and verification in general. For example, table-based logic programming can be used as an efficient means of performing explicit model checking. Other research has successfully exploited set-based logic program analysis, constraint logic programming, and logic program transformation techniques.The aim of this special issue is to attract high-quality research papers on the interplay between verification techniques (e.g. model checking, reduction and abstraction) and logic programming techniques (e.g. constraints, abstract interpretation, program transformation).

Addressing the Content Vocabulary With Core: Theory and Practice for Nonliterate or Emerging Literate Students

2012 ◽  
Vol 21 (3) ◽  
pp. 74-81 ◽  
Author(s):  
Debbie Witkowski ◽  
Bruce Baker
Keyword(s):  
Communication Skills ◽  
High Performance ◽  
Theory And Practice ◽  
Written Communication ◽  
Academic Tasks ◽  
Meaningful Participation ◽  
Core Theory ◽  
Communication Needs ◽  
Core Vocabulary ◽  
Personal Success

Abstract In the early elementary grades, the primary emphasis is on developing skills crucial to future academic and personal success—specifically oral and written communication skills. These skills are vital to student success as well as to meaningful participation in the classroom and interaction with peers. Children with complex communication needs (CCN) may require the use of high-performance speech generating devices (SGDs). The challenges for these students are further complicated by the task of learning language at a time when they are expected to apply their linguistic skills to academic tasks. However, by focusing on core vocabulary as a primary vehicle for instruction, educators can equip students who use SGDs to develop language skills and be competitive in the classroom. In this article, we will define core vocabulary and provide theoretical and practical insights into integrating it into the classroom routine for developing oral and written communication skills.

The Measurement Invariance of the Short Dark Triad

2020 ◽  
Vol 41 (4) ◽  
pp. 207-218
Author(s):  
Mihaela Grigoraș ◽  
Andreea Butucescu ◽  
Amalia Miulescu ◽  
Cristian Opariuc-Dan ◽  
Dragoș Iliescu
Keyword(s):  
Structural Equation Modeling ◽  
Item Response ◽  
Structural Equation ◽  
Dark Triad ◽  
Theory And Practice ◽  
Equation Modeling ◽  
Scale Level ◽  
High Stake ◽  
Differential Functioning ◽  
Item Functioning

Abstract. Given the fact that most of the dark personality measures are developed based on data collected in low-stake settings, the present study addresses the appropriateness of their use in high-stake contexts. Specifically, we examined item- and scale-level differential functioning of the Short Dark Triad (SD3; Paulhus & Jones, 2011 ) measure across testing contexts. The Short Dark Triad was administered to applicant ( N = 457) and non-applicant ( N = 592) samples. Item- and scale-level invariances were tested using an Item Response Theory (IRT)-based approach and a Structural Equation Modeling (SEM) approach, respectively. Results show that more than half of the SD3 items were flagged for Differential Item Functioning (DIF), and Exploratory Structural Equation Modeling (ESEM) results supported configural, but not metric invariance. Implications for theory and practice are discussed.

Sign in / Sign up

Export Citation Format

Share Document