Results 121 to 130 of about 1,643,554 (351)

Work-Based Access Control Model for Cooperative Healthcare Environments: Formal Specification and Verification. [PDF]

J Healthc Inform Res, 2017
Abomhara M, Yang H, Køien GM, Lazreg MB.   +3 more
europepmc   +1 more source

Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications [PDF]

, 2021
Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri   +3 more
openalex   +1 more source

Quantifying Spatio‐Operational Heterogeneity in Electrochemical Devices via Operando Correlative Neutron and X‐Ray Tomography

Advanced Functional Materials, EarlyView.
Heterogeniety in electrochemical systems heavily influences device performance and durability. The study shows unique evidence of spatio‐operational heterogeneity in fuel cells via operando neutron and X‐ray tomography. Large variations in membrane thickness and hydration depend upon location and operating conditions, with implications on membrane ...
Pranay Shrestha, Jacob M. LaManna, Kieran F. Fahy, ChungHyuk Lee, Pascal J. Kim, Jason K. Lee, Elias Baltic, Daniel S. Hussey, David L. Jacobson, Aimy Bazylak   +9 more
wiley   +1 more source

Automatic Matching of Software Component Requirements using Semi-formal Specifications and a CBSE Ontology

, 2015
Andreas S. Andreou, Efi Papatheocharous
openalex   +1 more source

Formal specification and verification [PDF]

, 2019
Beyond his seminal contributions to the theory and the design of concurrent and distributed algorithms, Leslie Lamport has throughout his career worked on methods and formalisms for rigorously establishing the correctness of algorithms.
openaire   +2 more sources

Electro‐Active Polymer Actuated Microfiltration Membranes: Design, Performance, and Particle Dynamics

Advanced Functional Materials, EarlyView.
The concept of foulant particle manipulation and detachment from active microfiltration membranes via voltage‐driven vibrations is introduced. Actuator components are initially integrated onto the filtration membranes using an airbrush spray printing technique.
Irem Gurbuz, Hanieh Bazyar, Andres Hunt
wiley   +1 more source

Germanane Quantum Dots Promote Metabolic Reprogramming of Immune Cells Toward Regulatory T Cells and Suppress Inflammation In Vitro and In Vivo

Advanced Functional Materials, EarlyView.
Metabolic changes in immune cells direct the phenotype and function of the host immune system. Smart nanomaterials must target metabolic pathways to direct immune cell fate. This study reports the fabrication and first application of germanane quantum dots (GeHQDs) to modulate inflammation in vitro and in vivo.
Abhay Srivastava, Alireza Rafieerad, Weiang Yan, Keshav Narayan Alagarsamy, Qingdong Guan, Leena Regi Saleth, Michel Aliani, Sanjiv Dhingra   +7 more
wiley   +1 more source

High‐Resolution Characterization of Protein‐Conjugated, mRNA‐Loaded Lipid Nanoparticles by Analytical Ultracentrifugation

Advanced Functional Materials, EarlyView.
Lipid nanoparticles containing messenger RNA are characterized by sedimentation velocity analytical ultracentrifugation using UltraScan's new Custom Grid algorithm to provide multi‐dimensional distributions for partial specific volume (particle density), molar mass, sedimentation, diffusion, and hydrodynamic radius.
Sophia Bird, Connor Smith, Nahal Habibi, Samantha Rivera, Saeed Mortezazadeh, Reece Martin, Benjamin M. Geilich, Gilles Besin, Borries Demeler   +8 more
wiley   +1 more source

Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost.

, 2011
Marten Sijtema, Mariëlle Stoelinga, Axel Belinfante, Lawrence Marinelli   +3 more
openalex   +2 more sources

Spectrally Tuned Floating‐Gate Synapse Based on Blue‐ and Red‐Absorbing Organic Molecules for Wavelength‐Selective Neural Networks and Fashion Image Classifications

Advanced Functional Materials, EarlyView.
The characteristics of a vertical floating gate heterostructure transistor device that exhibits neuromorphic potentiation under visible light illumination are investigated. Due to spectrally‐tuned absorbance properties of each thin film layer and introduction of tunneling dielectric, the device enables wavelength‐selective tuning of synaptic plasticity
Seungme Kang, Jisoo Park, Jinwoong Hong, Jinmin Park, Jeongbo Lee, Hyeonjung Kim, Wonjun Shin, Eva Bestelink, Radu A. Sporea, Seyong Oh, Chung Whan Lee, Yun‐Hi Kim, Hocheon Yoo   +12 more
wiley   +1 more source