نتایج جستجو برای: directed learning sdl

تعداد نتایج: 749523  

Journal: :J. Log. Comput. 2015
Dov M. Gabbay Christian Straßer

We introduce a reactive variant of SDL (standard deontic logic): SDLR1 (reactive standard deontic logic). Given a Kripkean view on the semantics of SDL in terms of directed graphs where arrows → represent the accessibility relation between worlds, reactive models add two elements: arrows → are labelled as “active” or “inactive”, and double arrows ։ connect arrows, e.g., (x1 → x2) ։ (x3 → x4). T...

Journal: :Applied sciences 2022

In this paper, we proposed a data-driven spatio-temporal deep learning (SDL) model, to simulate forward and reflected ultrasonic wave propagation in the 2D geometrical domain, by implementing convolutional long short-term memory (ConvLSTM) algorithm. The SDL model learns underlying physics from datasets. Two different models are trained, with following time-domain finite element (FE) simulation...

In this paper, the problems of control and stabilization of switched nonlinear cascade systems is investigated. The so called simultaneous domination limitation (SDL) is introduced in previous works to assure the existence of a common quadratic Lyapunov function (CQLF) for switched nonlinear cascade systems. According to this idea, if all subsystems of a switched system satisfy the SDL, a CQLF ...

2015
John M. Abowd Ian M. Schmutte

This paper formalizes the manner in which statistical disclosure limitation (SDL) hinders empirical research in economics. We also highlight a hitherto unappreciated advantage of SDL, formal privacy models, and synthetic data systems: they can serve as a defense against model overfitting and false-discovery bias. More specifically, a synthetic data validation system can – and we argue should – ...

Journal: :Genetics 2006
Martin Hasselmann Martin Beye

Recombination decreases the association of linked nucleotide sites and can influence levels of polymorphism in natural populations. When coupled with selection, recombination may relax potential conflict among linked genes, a concept that has played a central role in research on the evolution of recombination. The sex determination locus (SDL) of the honeybee is an informative example for explo...

Journal: :journal of medical education 0
zohrehsadat mirmoghtadaie ,md,phd1; shahram yazdani, md1; rita mojtahedzadeh, md, phd 2; leila afshar, md,phd 3 soleiman ahmady shahram yazdani rita mojtahedzadeh leila afshar

background and purpose: in education of medical science courses, there has been a growing orientation towards replacing traditional teaching in with e-learning education. since the modern system of education is based on self-directed learning, e-learning requires special powers to deal with new-emerging challenges and professionally encounter the learning environment. the purpose of the present...

ژورنال: رویش روانشناسی 2021

The aim of this study was to investigate the effect of self-regulatory strategies training on problem-solving styles and self-directed learning students. The research method was quasi-experimental with pre-test-post-test and control group. The statistical population of the study consisted of all third-grade male students in the second year of high school in Kermanshah in the second semester of ...

Journal: :IJCSA 2010
Marina Bagic Babac Marijan Kunstic

Web In this paper we have developed the ontology for Specification and Description Language (SDL), an object-oriented, formal language defined by ITUT as recommendation Z.100. The language is intended for the specification of realtime complex and concurrent applications that communicate using discrete signals. SDL formal model bridges the gap between ideas in our minds and the actual implementa...

2003
David Cypher

This paper describes the use of the specification and description language (SDL) as a prototyping tool for a developing low rate wireless personal area network protocol. A simplification of the guidelines for protocol formalization using SDL is used to create a behavioral model. This behavior model is then hand-tested for protocol behavior using software tools that permit simulation of the SDL ...

2000
Joachim Fischer Eckhardt Holz Martin von Löwis Andreas Prinz

A new version of SDL called SDL-2000 is currently reaching maturity, and is expected to pass the standardization bodies shortly. It will offer new features as object-oriented data types, simplify and unify concepts of previous language versions and provide an alignment with UML. Due to the significant changes to SDL it was necessary to define a new formal semantics for SDL. Abstract State Machi...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید