Results 141 to 150 of about 673,528 (247)
JCML - Java Card Modeling Language: Definição e Implementação [PDF]
Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where the main goal is to preserve the
Souza Neto, Plácido Antônio de
core
Chronic Loneliness Reduces Choice Likelihood of Products With Prosocial Attributes
ABSTRACT Chronic loneliness influences consumer preferences and behaviors in various consumption domains. Building on the evolutionary theory of loneliness (ETL), this article extends the marketing and psychology literature on the effects of chronic loneliness to prosocial consumption.
Nasrin Yazdanian +2 more
wiley +1 more source
ABSTRACT Aim To explore parents' experiences of psychosocial support in the neonatal intensive care unit (NICU). Design A qualitative descriptive study. Methods The study involved nine individual and three pair interviews; in total, 15 parents described their experiences of psychosocial support in the neonatal intensive care units.
Hanna Seppänen +5 more
wiley +1 more source
How Institutions Shape the Effects of Agricultural Cooperatives on Their Members
ABSTRACT Agricultural cooperatives represent a promising way of improving the quality of life of half a billion smallholders, who account for the vast majority of the world's food production. Yet, little is known about the institutional factors that explain the potential benefits of being a member of a cooperative.
Simon Cornée +2 more
wiley +1 more source
Virtual environment for local and remote control of a robot arm for support in engineering teaching
This paper presents the design and implementation of a virtual platform that allows simulation and local and remote command and control of the SCARA robot arm called UV-CERMA, which is installed at the Robotics Laboratory of the Escuela de Ingeniería ...
José T. Buitrago-Molina +2 more
doaj
Cerium‐ and sulfur‐doped titanium dioxide nanoparticles were synthesized adopting a green route using Syzygium cumini L. leaf extract leading to narrowing the band gap (2.0–2.5 eV). Optimization of photocatalysis was achieved by varying parameters including catalyst loading, pH, contact time, reusability study, and chemical stability of target organic ...
Fahim Ullah +6 more
wiley +1 more source
ABSTRACT Aim To explore how nursing students perceive and construct the notion of workplace attractiveness in healthcare during clinical placements. Design Qualitative explorative research design. Method Thirteen final‐year undergraduate nursing students from four Swedish universities participated in seven semi‐structured interview sessions between ...
Åsa Tjulin +7 more
wiley +1 more source
ABSTRACT Aim To evaluate the effectiveness of NamakBan, a smartphone application for monitoring sodium intake, on blood pressure, dietary sodium consumption, urinary sodium‐to‐potassium ratio and hospitalization in adults with primary hypertension. Design We conducted a parallel randomized clinical trial at the specialized hypertension clinic of Shahid
Mohsen Taatizadeh +6 more
wiley +1 more source
Spent coffee grounds were valorized as a sustainable template for the solvent‐free synthesis of Ce‐loaded TiO2 photocatalysts, promoting enhanced Ce–Ti interactions and tailored morphology. The resulting materials were successfully applied in photocatalytic hydrogen production via ethanol photoreforming, gas‐phase 2‐propanol oxidation, and aqueous 5 ...
Narimene Aoun +7 more
wiley +1 more source
Towards Development of Safe and Secure Java Card Applets
This thesis is concerned with different aspects of Java Card application development and use of formal methods in the Java Card world. Java Card is a technology that provides means to program smart (chip) cards with (a subset of) the Java language. The
Mostowski, Wojciech
core

