Results 161 to 170 of about 80,615 (252)
Correctness of Java Card Tokenisation
We present a formalisation of the bytecode optimisation of Sun's Java Card language from the class file to CAP file format as a set of constraints between the two formats and define and prove its correctness. Java Card bytecode is formalised as an abstract operational semantics, which can then be instantiated into the two formats.
openaire +1 more source
Abstract The current study investigated from a usage‐based perspective how phrasal frequency and collocational strength of verb–preposition collocations influence preposition placement in wh‐relative clauses. Native English speakers and Chinese learners of English as a second language of the intermediate and advanced English proficiencies completed a ...
Henan Duan (she/her) +2 more
wiley +1 more source
Social and Environmental Determinants of Childhood Stunting in Indonesia: National Cross-Sectional Study. [PDF]
Arief YS +5 more
europepmc +1 more source
Java card based security application module
The amount of data we have is getting higher along with the growing technology.Internet and other digital media make it possible to share data faster and easier, as amanner of this, it is needed to protect some data. There are wide variety of softwareon the market specialized on data protection, but it is proven by research that themost powerful ...
openaire +1 more source
ABSTRACT Due to the nutrition transition, adolescent diets globally appear to be shifting to increased consumption of fast foods and snacks high in sodium, added sugar, and saturated fat. In urban informal settlements in Kenya, limited evidence suggests adolescents consume 1–2 meals per day, have low dietary diversity, and consume foods from roadside ...
Emily R. Seiger +16 more
wiley +1 more source
School-based interventions of menstrual hygiene management in Indonesia: systematic literature review. [PDF]
Pratama AW, Dewi ER, Ambarwati K.
europepmc +1 more source
Application of an ontology for model cards to generate computable artifacts for linking machine learning information from biomedical research. [PDF]
Amith MT, Cui L, Roberts K, Tao C.
europepmc +1 more source
ABSTRACT Background Long‐term care (LTC) residents are prone to dehydration, which has many serious effects on health. A multicomponent intervention is required to mitigate dehydration in LTC; however, previous research has not explored the experiences of staff who deliver interventions.
Sophia Werden Abrams +11 more
wiley +1 more source
Verb patterning and acculturation in Nigerian English
Abstract Speech communities have the tendency to develop habits as to which words tend to co‐occur, in the form of coinages and collocational patterns, thus constituting an aspect conducive to the subtle emergence of language variation. As these co‐occurrence tendencies become lexicalised and confined to specific, rigid word combinations, new ...
Mary Ifeoluwa Abidoye, Hans‐Georg Wolf
wiley +1 more source
Digitization of hospital administration and public service reform: integration of technology and humanistic values. [PDF]
Utami EW +6 more
europepmc +1 more source

