Nutritional and industrial quality assessment of Spanish durum wheat commercial cultivars. [PDF]
Abstract BACKGROUND Durum wheat is the raw material used to produce pasta, and its price is determined by grain physical characteristics, gluten strength and semolina yellowness. Gluten strength is mainly determined by high‐ and low‐molecular‐weight glutenin subunits (HMW‐GS and LMW‐GS). Semolina yellowness is determined by loci that control carotenoid
Garcia-Calabres V +8 more
europepmc +2 more sources
A Multi-User, Single-Authentication Protocol for Smart Grid Architectures [PDF]
open access articleIn a smart grid system, the utility server collects data from various smart grid devices. These data play an important role in the energy distribution and balancing between the energy providers and energy consumers. However, these data
Al-Bayatti, Ali Hilal +2 more
core +2 more sources
REISCH: incorporating lightweight and reliable algorithms into healthcare applications of WSNs [PDF]
Healthcare institutions require advanced technology to collect patients' data accurately and continuously. The tradition technologies still suffer from two problems: performance and security efficiency.
Al-Zubaidie, Mishall +2 more
core +2 more sources
A Cloud-based RFID Authentication Protocol with Insecure Communication Channels [PDF]
© 2016 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new ...
Alshehri, Awatif +2 more
core +2 more sources
Modified rush venom immunotherapy in dogs with Hymenoptera hypersensitivity
Background – Hymenoptera envenomation occurs frequently in people and dogs and can trigger anaphylaxis. Venom immunotherapy (VIT) is the only preventative treatment for Hymenoptera hypersensitivity and is indicated for people with severe adverse reactions to insect stings. Rush VIT is an accelerated VIT induction schedule performed in people.
Alexandra Moore +4 more
wiley +1 more source
APTE: An Algorithm for Proving Trace Equivalence [PDF]
This paper presents APTE, a new tool for automatically proving the security of cryptographic protocols. It focuses on proving trace equivalence between processes, which is crucial for specifying privacy type properties such as anonymity and unlinkability.
B. Blanchet +5 more
core +1 more source
A Static Verification Framework for Secure Peer-to-Peer Applications [PDF]
In this paper we present a static verification framework to support the design and verification of secure peer-to-peer applications. The framework supports the specification, modeling, and analysis of security aspects together with the general ...
Zisman, A.
core +1 more source
A standard-driven communication protocol for disconnected clinics in rural areas [PDF]
The importance of the Electronic Health Record (EHR), which stores all healthcare-related data belonging to a patient, has been recognized in recent years by governments, institutions, and industry. Initiatives like Integrating the Healthcare Enterprise (
Masi, Massimiliano +2 more
core +1 more source
Formal Analysis of ISO/IEC 9798-2 Authentication Standard using AVISPA [PDF]
International audienceUse of formal methods is considered as a useful and efficient technique for the validation of security properties of the protocols.
Martin, Bruno, Ziauddin, Sheikh
core +3 more sources
Avispas exóticas en la Patagonia: la importancia de la ecología de invasiones en el manejo de plagas
Ecología Austral 24:154-161 (2014) El manejo integrado de plagas (MIP) se basa en el conocimiento de la ecología de las especies problema. Se ha sugerido que cuando las plagas son especies invasoras, la comprensión del proceso de invasión puede mejorar
José M. Villacide +2 more
doaj +1 more source

