Results 41 to 50 of about 2,954 (225)
Corporate Social Responsibility and Environmental Management, EarlyView.ABSTRACT Employee sustainability teams—groups collaborating continuously and voluntarily on sustainability initiatives—can serve as a bottom‐up driver for organizational change. Despite their potential, however, their role and contributions are underexplored. To fill this gap, our multi‐case study examines 59 projects by 13 teams across three companies
Jennifer Adolph +3 more
wiley +1 more source
An Operational Semantics of the Java Card Firewall [PDF]
, 2001 This paper presents an operational semantics for a subset of Java Card bytecode, focussing on aspects of the Java Card firewall, method invocation, field access, variable access, shareable objects and contexts. The goal is to provide a precise description of the Java Card firewall using standard tools from operational semantics.
Marc Éluard +2 more
openaire +1 more source
Parasites & Vectors, 2015 Background Filarial antigen tests are key tools for mapping the distribution of bancroftian filariasis and for detecting areas with persistent infections following mass drug administration (MDA).
Thishan C. Yahathugoda +10 more
doaj +1 more source
Jurnal Teknologi dan Sistem Komputer, 2015 Previously, people who want to visit a tourist attraction should come to that place. If you can’t visit it normally, you can only read or heard from a source. Therefore made 3-dimensional visualization application.
Irham Fa'idh Faiztyan +2 more
doaj +1 more source
Management of educational assessment in high school: transcendental factors
Менеджмент та підприємництво: тренди розвитку, 2020 The purpose of this study is to examine the management of educational assessment taking into account several transcendental factors. Identification of transcendental factors arises from the context of the study based on the framework of public management
Moh. Zamili +3 more
doaj +1 more source
ENERGY &ENVIRONMENTAL MATERIALS, EarlyView.During coffee bean and cherry washing, contaminants are released into water, making this process a major source of water pollution. Chlorogenic acid can be efficiently detected using hybrid zeolite–porphyrin materials by measuring fluorescence quenching, achieving detection limits lower than current regulatory thresholds.
João Otávio Donizette Malafatti +10 more
wiley +1 more source
The synthesis of a Java card tokenisation algorithm [PDF]
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), 2005 We describe the development of a Java bytecode optimisation algorithm by the methodology of program extraction. We develop the algorithm as a collection of proofs and definitions in the Coq proof assistant, and then use Coq's extraction mechanism to automatically generate a program in OCaml.
openaire +1 more source
Health and Economic Impacts of an Early Labor Induction Policy for High‐BMI Mothers
Health Economics, EarlyView.ABSTRACT We expand the literature on marginal returns to birth interventions by studying a common intervention: early induction of labor for a growing share of pregnancies, high‐Body Mass Index (BMI) women. We exploit Danish guidelines which recommend routine induction at 7 days after the expected due date instead of 10–13 days after for mothers with a
Louis Freget, Maria Koch Gregersen
wiley +1 more source
Java Card for PayTv Application
CoRR, 2013 Smart cards are widely used along with PayTV receivers to store secret user keys and to perform security functions to prevent any unauthorized viewing of PayTV channels. Java Card technology enables programs written in the Java programming language to run on smart cards. Smart cards represent one of the smallest computing platforms in use today.
openaire +2 more sources
Efficient implementation of anonymous credentials on Java Card smart cards [PDF]
2009 First IEEE International Workshop on Information Forensics and Security (WIFS), 2009 The Direct Anonymous Attestation scheme allows to map procedures with an imperative requirement for anonymity, such as voting, to the electronic world while offering provable security. However, the scheme is complex and requires demanding computations to be performed on a tamper-proof device. Such devices, e.g.
Michaël Sterckx +3 more
openaire +1 more source