The Council on Social Work Education (CSWE), the sole accrediting body for social work education at the baccalaureate and master's levels in the United States, articulates the competencies that social work student...
The Council on Social Work Education (CSWE), the sole accrediting body for social work education at the baccalaureate and master's levels in the United States, articulates the competencies that social work students should achieve through the Educational Policy and Standards (EPAS). Educational Policy 2.1.4, "to engage diversity and difference in practice (CSWE, 2008)," serves as the primary standard related to students' achievement of the ability to work with diverse populations in a competent manner. This standard is operationalized by only four very broad and relatively abstract practice behaviors. Although cultural competence models are the primary framework used for designing curriculum to help students achieve the engaging difference and diversity competency, critiques about the utility of cultural competence models abound. There is also a lack of literature that analyzes the relationship of cultural competence and engaging diversity and difference in practice concepts. The lack of clear conceptualization creates difficulty with identifying and evaluating specific outcomes and developing social work education programming that effectively addresses the outcomes desired. This dissertation presents an exploration of the construct, engaging diversity and difference in practice, through three articles describing two studies and a conceptual application of theory. The first article describes Critical Race theory and uses the theory as an approach for a logic model of a social justice course that has utility for teaching students to engage diversity and difference in practice. The second article explored social work faculty's experience of student's achievement of engaging diversity and difference in practice. This article reports findings from a qualitative study that yielded themes that describe the demonstration of engaging diversity and difference in practice. The third article describes findings from a concept mapping study that examined engaging diversity and di
We present VeriMAP, a tool for the verification of C programs based on the transformation of constraint logic programs, also called constrained Horn clauses. VeriMAP makes use of Constraint logicprogramming (CLP) as ...
详细信息
Modeling, Simulation and Verification Language (MSVL) is a useful formalism for specification and verification of concurrent systems. To make it more practical and easier to use, we extend MSVL with function calls in ...
详细信息
ISBN:
(纸本)9783319117379;9783319117362
Modeling, Simulation and Verification Language (MSVL) is a useful formalism for specification and verification of concurrent systems. To make it more practical and easier to use, we extend MSVL with function calls in this paper. To do so, an approach for function calls similar as in imperative programming languages is presented. Further, the semantics of expressions is redefined and the semantics of new added function call statements is formalized. Moreover, an example is given to illustrate how to use function calls in practice with MSVL.
We extend recent work on defining linear-time behaviour for state-based systems with branching, and propose modal and fixpoint logics for specifying linear-time temporal properties of states in such systems. We model ...
详细信息
ISBN:
(纸本)9783642548307;9783642548291
We extend recent work on defining linear-time behaviour for state-based systems with branching, and propose modal and fixpoint logics for specifying linear-time temporal properties of states in such systems. We model systems with branching as coalgebras whose type arises as the composition of a branching monad and a polynomial endofunctor on the category of sets, and employ a set of truth values induced canonically by the branching monad. This yields logics for reasoning about quantitative aspects of linear-time behaviour. Examples include reasoning about the probability of a linear-time behaviour being exhibited by a system with probabilistic branching, or about the minimal cost of a linear-time behaviour being exhibited by a system with weighted branching. In the case of non-deterministic branching, our logic supports reasoning about the possibility of exhibiting a given linear-time behaviour, and therefore resembles an existential version of the logic LTL.
We establish foundational results on the computational complexity of deciding entailment in Separation logic with general inductive predicates whose underlying base language allows for pure formulas, pointers and exis...
详细信息
ISBN:
(纸本)9783642548307;9783642548291
We establish foundational results on the computational complexity of deciding entailment in Separation logic with general inductive predicates whose underlying base language allows for pure formulas, pointers and existentially quantified variables. We show that entailment is in general undecidable, and ExPTIME-hard in a fragment recently shown to be decidable by Iosif et al. Moreover, entailment in the base language is Pi(P)(2)-complete, the upper bound even holds in the presence of list predicates. We additionally show that entailment in essentially any fragment of Separation logic allowing for general inductive predicates is intractable even when strong syntactic restrictions are imposed.
Contemporary enterprise web applications deal with a large stack of different kinds of concerns involving business rules, security policies, cross-cutting configuration, etc. At the same time, increasing demands on us...
详细信息
ISBN:
(纸本)9783319042978;9783319042985
Contemporary enterprise web applications deal with a large stack of different kinds of concerns involving business rules, security policies, cross-cutting configuration, etc. At the same time, increasing demands on user interface complexity make designers to consider the above concerns in the presentation. To locate a concern knowledge, we try to identify an appropriate system component with the concern definition. Unfortunately, this is not always possible, since there exist concerns cross-cutting multiple components. Thus to capture the entire knowledge we need to locate multiple components. In addition to it, often, we must restate the knowledge in the user interface because of technological incompatibility between the knowledge source and the user interface language. Such design suffers from tangled and hard to read code, due to the cross-cutting concerns and also from restated information and duplicated knowledge. This leads to a product that is hard to maintain, a small change becomes expensive, error-prone and tedious due to the necessity of manual changes in multiple locations. This paper introduces a novel approach based on independent, description of all orthogonal concerns in information systems and their dynamic automated weaving according to the current user's context. Such approach avoids information restatement, speeds up development and simplifies maintenance efforts due to application of automated programming and runtime weaving of all concerns, and thus distributes the knowledge through the entire system.
In this mobile world, embedded software and embedded systems or control systems are playing an important role to satisfy human needs. The needs of embedded software are considered to be virtually limitless, because of...
In this mobile world, embedded software and embedded systems or control systems are playing an important role to satisfy human needs. The needs of embedded software are considered to be virtually limitless, because of the introduction of new electronic devices into the market every day. The brain of a control system lies on the software that embedded into it for performing the required logic. This holds the key to use the same control system to perform an entirely different task by modifying the software in it. It is wiser to get a generic microcontroller board and burn our own code into it to execute another function. But writing our own code into a chipset which has a lot library functions will be a trivial task in practice. The objective of this thesis work is to solve the all-time pre-programming to control systems; by developing a Rapid Application Development RAD platform which needs to be programmed once into the system. And the same program can be altered to perform multiple functions by the microcontroller board. The concept used in this development is called the fuzzy logictheory. Fuzzy logic is a multi- valued logic which is versatile to deal with the linguistic forms and numerical models. Fuzzy logic systems are implemented to perform task with extreme precision. Fuzzy logic systems consider various states of truth and the intermittent states of truth values as well to increase the accuracy of a function. Fuzzy logic can be considered as the direct link between natural language and machine language. Fuzzy logic seems closer to the way our brains perform various tasks. The brain assemblage data and build numerous partial truths which it aggregate further into higher truth values. Finally, when certain threshold levels are exceeded, this can cause particular further results such as motor reaction. A similar form of logic is used in this thesis work to develop expert systems which can control an inverted pendulum. The embedded software is written in C++ la
The proceedings of the International Conference on logicprogramming (ICLP) have had several publishers, including MIT Press and Springer\'s Lecture Notes in Computer Science. Beginning in 2010, the proceedings ha...
详细信息
The proceedings of the International Conference on logicprogramming (ICLP) have had several publishers, including MIT Press and Springer\'s Lecture Notes in Computer Science. Beginning in 2010, the proceedings have been published in a dual format: with regular papers contained in a special issue of theory and practice of logic programming (TPLP), and technical communications as a Dagstuhl LIPics series publication. The reason for the change was that compared to researchers in other fields, computer scientists publish more in conferences or symposia and less in journals. The thinking went that since many ICLP papers are of journal quality - or nearly so - why not publish them in a journal straight away? And why not TPLP?
暂无评论