• No results found

Well-formedness

Analyzing Well Formedness of Syllables in Japanese Sign Language

Analyzing Well Formedness of Syllables in Japanese Sign Language

... This paper tackles a problem of analyz- ing the well-formedness of syllables in Japanese Sign Language (JSL). We for- mulate the problem as a classification problem that classifies syllables into ...

5

Well formedness rules for UML use case diagram

Well formedness rules for UML use case diagram

... There arc several tlpes of commtrnication that may appear on a use case diagraal ThcI ar€ an association between an actor and a use case, a generalization between two actsrs aad a gencnl[r] ...

6

Syntactic Well Formedness Diagnosis and Error Based Coaching in Computer Assisted Language Learning using Machine Translation

Syntactic Well Formedness Diagnosis and Error Based Coaching in Computer Assisted Language Learning using Machine Translation

... The error tags will be added to the Learner Corpus, and the student will be asked to submit a new solution to the same problem until he/she can solve it; or • there is ambiguity in the s[r] ...

10

Practical  Dual-Receiver  Encryption---Soundness,  Complete  Non-Malleability,   and  Applications

Practical Dual-Receiver Encryption---Soundness, Complete Non-Malleability, and Applications

... the well-formedness of a ciphertext is ensured by the soundness property of a non-interactive zero-knowledge (NIZK) proof, allows dual encryption and decryption but only achieves IND-CCA1 ...

29

Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

... In this paper we present an automated verification technique for a subset of RoboChart state machines in Isabelle/HOL [5]. With it, state machines can be verified against properties formalised in a refinement statement, ...

19

Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

... In this paper we present a verification approach for state machines, based on a subset of RoboChart, that has been mechanised in the Isabelle/HOL [4] proof assistant. We mechanise the meta-model, including its data types ...

19

The Middle Construction in Minimalist Syntax: English and Slovenian

The Middle Construction in Minimalist Syntax: English and Slovenian

... (The structures in (36) are modelled after Schäfer 2007.) This fact can only be accounted for if the adverb is merged low in the structure as a vP adjunct, so before MiddleOp even enters the syntactic derivation. What ...

17

The Alignment Template Approach to Statistical Machine Translation

The Alignment Template Approach to Statistical Machine Translation

... In Section 4, we describe the various components of the statistical translation model. The backbone of the translation model is the alignment template feature func- tion, which requires that a translation of a new ...

33

The Production of Code Mixed Discourse

The Production of Code Mixed Discourse

... The starting point is a production model of code-switching accounting for empirical observations about switch-point distribution the equivalence constraint, well-formedness of monolingua[r] ...

14

Dreams and well being

Dreams and well being

... Despite previously mentioned assertions regarding the purpose of dreams and the utility of dreamwork as a therapeutic tool, published research on dreamwork in groups is very sparse, with few papers published to date. ...

219

Motions of a landing craft in a flooded well dock   effect of well dock design

Motions of a landing craft in a flooded well dock effect of well dock design

... and well verified SPH implementations, but such codes also provide access to features such as industry-validated automatic time-step and contact algorithms to help ensure a stable result, a wide range of advanced ...

8

Institutions & Well being

Institutions & Well being

... Six out of the ten papers in this special issue, contribute to the line of research that examines how economic freedom influences socio-economic and political outcomes. Bjørnskov’s paper (this issue), “Economic freedom ...

32

Inequality and Well Being

Inequality and Well Being

... In order to capture more fully the well-being of households, and of the social groups to which they belonged, two further dimensions were added. The first of these was the households’ living conditions. The ...

36

Introduction : “all is not well”

Introduction : “all is not well”

... 9. On these points, Maria Damon’s path-breaking work on Spicer’s asso- ciation of gay life with “acute alienation” (Dark End, 144) and how that positions him among his peers is extremely helpful, as are John Vincent’s ...

19

Empty wells: how well are we doing at spiritual well-being?

Empty wells: how well are we doing at spiritual well-being?

... Thus these respondents believe the transcendental dimension (which covers belief in God, the possibly unrecognised quest for God, the beginnings of belief—the inner conscience and other non physical phenomenon) to be a ...

21

Dreams and well being

Dreams and well being

... participant’s well-being, particularly in normalisation of participant’s own dreams, better insight and understanding of their own life, and increased awareness and acceptance of their own ...

11

MARITAL STATUS AND ITS IMPACT ON PSYCHOLOGICAL WELL BEING OF ELDERLY

MARITAL STATUS AND ITS IMPACT ON PSYCHOLOGICAL WELL BEING OF ELDERLY

... whom one can share their feelings, thoughts, grief, which are essential for everyone, within the family it is easy to exchange the thoughts, there are many people around them to take care for their needs, listen to them, ...

7

How well are families doing? A description of family well-being in South Africa

How well are families doing? A description of family well-being in South Africa

... South African families experience a number of unique circumstances that not only affect their family structure but also extend to the socioeconomic and relational dimen- sions of families. Underresourced environments may ...

10

Wellbeing, being well or well becoming: who or what is it for and how might we get there?

Wellbeing, being well or well becoming: who or what is it for and how might we get there?

... live well together while disagreeing and that they are furnished with resilience in accepting that others may disagree with ...live well, particularly in advancing the good life for themselves and ...

14

Respiration activity monitoring system for any individual well of a 48-well microtiter plate

Respiration activity monitoring system for any individual well of a 48-well microtiter plate

... Background: Small-scale micro-bioreactors have become the cultivation vessel of choice during the first steps of bioprocess development. They combine high cultivation throughput with enhanced cost efficiency per ...

14

Show all 10000 documents...

Related subjects