Results 91 to 100 of about 1,881,310 (251)

Engineered AuNPs/fMWCNT Nanocomposite Electrodes for High‐Sensitivity Methylglyoxal Sensing in Saliva and Sweat for Non‐Invasive Diabetes Monitoring

Advanced Healthcare Materials, EarlyView.
An AuNPs/fMWCNT nanocomposite‐modified screen‐printed carbon electrode was engineered via sequential electrodeposition and integrated into a 3D‐printed microfluidic platform for ultrasensitive methylglyoxal detection. The non‐invasive sensing platform enables rapid analysis in saliva and sweat, highlighting strong potential for wearable point‐of‐care ...
Ahadul Amin Soshi, Md Younus Ali, Dadbeh Pazuki, Matiar M.R. Howlader   +3 more
wiley   +1 more source

Formal Analysis of Language-Based Android Security Using Theorem Proving Approach

IEEE Access, 2019
Mobile devices are an indispensable part of modern-day lives to support portable computations and context-aware communication. Android applications within a mobile device share data to support application operations and better user experience, which also
Wilayat Khan, Muhammad Kamran, Aakash Ahmad, Farrukh Aslam Khan, Abdelouahid Derhab   +4 more
doaj   +1 more source

Mining the Archive of Formal Proofs [PDF]

, 2015
The Archive of Formal Proofs is a vast collection of computer-checked proofs developed using the proof assistant Isabelle. We perform an in-depth analysis of the archive, looking at various properties of the proof developments, including size, dependencies, and proof style. This gives some insights into the nature of formal proofs.
Jasmin Christian Blanchette, Max W. Haslbeck, Daniel Matichuk, Tobias Nipkow   +3 more
openaire   +3 more sources

Plasmonic Enhancement of Fluorescence and Protein Dynamics in Living Mammalian Cells

Advanced Materials, EarlyView.
This study demonstrates plasmonic enhancement of the function of fluorescent voltage sensing proteins (genetically encoded voltage indicators, (GEVIs), QuasAr6) in live mammalian cells. Coupling to plasmonic nanoparticles does not just increase fluorescence, but influences the protein photocycle, creating a hybrid sensor with its response speed to ...
Marco Locarno, Qiangrui Dong, Marco Post, Xin Meng, Cristiano Glessi, Nynke Marije Hettema, Nidas Brandsma, Sebbe Blokhuizen, Alejandro Castañeda Garcia, Srividya Ganapathy, Thieme Schmidt, Lars van Roemburg, Bing Xu, Chun‐Ting Cho, Liedewij Laan, Miao‐Ping Chien, Daan Brinks   +16 more
wiley   +1 more source

Formalizing a Proof that e is Transcendental

J. Formaliz. Reason., 2011
Journal of Formalized Reasoning; Vol 4, No 1 (2011); 71 ...
openaire   +2 more sources

Opportunities of Semiconducting Oxide Nanostructures as Advanced Luminescent Materials in Photonics

Advanced Materials, EarlyView.
The review discusses the challenges of wide and ultrawide bandgap semiconducting oxides as a suitable material platform for photonics. They offer great versatility in terms of tuning microstructure, native defects, doping, anisotropy, and micro‐ and nano‐structuring. The review focuses on their light emission, light‐confinement in optical cavities, and
Ana Cremades, Pedro Hidalgo, David Maestre, Ruth Martínez‐Casado, Emilio Nogales, Beatriz Rodríguez, G. Cristian Vásquez, Bianchi Méndez   +7 more
wiley   +1 more source

Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root

Моделирование и анализ информационных систем, 2019
For many years, automotive embedded systems have been validated only by testing. In the near future, Advanced Driver Assistance Systems (ADAS) will take a greater part in the car’s software design and development.
Vassil Todorov, Safouan Taha, Frederic Boulanger, Armando Hernandez   +3 more
doaj   +1 more source

Bubble Formation Control: Fabrication of Centimeter‐Sized Tissue‐Like Constructs by Catalase‐Coated Oxygen‐Releasing Hydrogel

Advanced Materials, EarlyView.
Oxygen‐releasing hydrogels are widely used to support cell survival in 3D cultures and to promote wound healing. However, incorporating catalase to convert H2O2 into O2 often generates additional oxygen bubbles, leading to material instability which rarely addressed.
Sukulya Bunuasunthon, Isabel F. Amaral, Ana P. Pêgo, Michiya Matsusaki   +3 more
wiley   +1 more source

Towards a Coq-verified Chain of Esterel Semantics [PDF]

Leibniz Transactions on Embedded Systems
This article focuses on formally specifying and verifying the chain of formal semantics of the Esterel synchronous programming language using the Coq proof assistant.
Rieg, Lionel, Berry, Gérard
doaj   +1 more source

Leaftronics: Bio‐Fractal Scaffolds From Leaf Venation for Low‐Waste Electronics

Advanced Materials, EarlyView.
“Leaftronics” transforms naturally evolved leaf venation into quasi‐fractal scaffolds for sustainable electronics. Polymer‐infiltrated leaf skeletons can be used to fabricate ultra‐smooth, reflow‐ and thin‐film‐compatible decomposable substrates, while making the same lignocellulose networks conducting results in flexible transparent electrodes.
Rakesh Rajendran Nair, Hrisheekesh Thachoth Chandran, Karl Leo, Hans Kleemann   +3 more
wiley   +1 more source