Results 161 to 170 of about 677,760 (302)

Bounded saturation-based CTL model checking

, 2013
Formal verification is becoming a fundamental step of safety-critical and model-based software development. As part of the verification process, model checking is one of the current advanced techniques to analyze the behavior of a system. Symbolic model checking is an efficient approach to handling even complex models with huge state spaces. Saturation
Vörös, András, Darvas, Dániel, Bartha, Tamás   +2 more
openaire   +1 more source

Biodegradable and Recyclable Luminescent Mixed‐Matrix‐Membranes, Hydrogels, and Cryogels based on Nanoscale Metal‐Organic Frameworks and Biopolymers

Advanced Functional Materials, EarlyView.
The study presents biodegradable and recyclable mixed‐matrix membranes (MMMs), hydrogels, and cryogels using luminescent nanoscale metal‐organic frameworks (nMOFs) and biopolymers. These bio‐nMOF‐MMMs combine europium‐based nMOFs as probes for the status of the materials with the biopolymers agar and gelatine and present alternatives to conventional ...
Moritz Maxeiner, Julian Burkhart, Kateryna Borysova, Chiara Mazzariol, Klaus Müller‐Buschbaum   +4 more
wiley   +1 more source

Selective Benzene Capture by Metal‐Organic Frameworks

Advanced Functional Materials, EarlyView.
Metal‐organic frameworks (MOFs) hold significant potential for capturing benzene from air emissions and hydrocarbon mixtures in liquid phases. This capability stems from their precisely engineered structures, versatile chemistries, and diverse binding interactions.
Zongsu Han, Ankit Mondal, Jiatong Huo, Yihao Yang, Hong‐Cai Zhou   +4 more
wiley   +1 more source

Base saturation flow rate (BSFR) and its effect on performance of pretimed signalized intersection with non-lane based urban heterogeneous traffic. [PDF]

PLoS One
Sugiarto S, Saleh SM, Darma Y, Rusdi M, A'yuni Q, Fazila TS, Rahma R.   +6 more
europepmc   +1 more source

Laser‐Induced Graphene from Waste Almond Shells

Advanced Functional Materials, EarlyView.
Almond shells, an abundant agricultural by‐product, are repurposed to create a fully bioderived almond shell/chitosan composite (ASC) degradable in soil. ASC is converted into laser‐induced graphene (LIG) by laser scribing and proposed as a substrate for transient electronics.
Yulia Steksova, Anna Chiara Bressi, Marina Galliani, Attilio Marino, Gianni Ciofani, Eduardo Machado‐Charry, Hilda Gomez Bernal, Alessandra Francini, Luca Sebastiani, Francesco Greco   +9 more
wiley   +1 more source

pH-O₂ ratiometry: Correlative imaging of pH and oxygen saturation in dental biofilms. [PDF]

Biofilm
Lynge FK, Assar S, Del Rey YC, Koren K, Schlafer S, Kristensen MF.   +5 more
europepmc   +1 more source

Highly Sensitive Electrochemical Biosensor Based on Hairy Particles with Controllable High Enzyme Loading and Activity

Advanced Functional Materials, EarlyView.
For the first time, a highly sensitive electrochemical biosensor based on SiO2‐based hairy particles with a grafted PDMAEMA polymer brush containing a quantifiable and large amount of immobilized Laccase is reported. The fabricated biosensor exhibits a sensitivity of 0.14 A·m⁻¹, a limit of detection (LOD) of 0.1 µm, and a detection range of 0.3–750 µm,
Pavel Milkin, Anila Antony, Hongtao Cai, Antonia Debevc, Ceyda Topal, Anne Linhardt, Alla Synytska, Leonid Ionov   +7 more
wiley   +1 more source

Graph-theoretic analyses of saturation fraction of repulsive dopants in solid solutions. [PDF]

Sci Rep
Kubo A, Abe Y.
europepmc   +1 more source

Biomass Native Structure Into Functional Carbon‐Based Catalysts for Fenton‐Like Reactions

Advanced Functional Materials, EarlyView.
This study indicates that eight biomasses with 2D flaky and 1D acicular structures influence surface O types, morphology, defects, N doping, sp2 C, and Co nanoparticles loading in three series of carbon, N‐doped carbon, and cobalt/graphitic carbon. This work identifies how these structural factors impact catalytic pathways, enhancing selective electron
Wenjie Tian, Jingkai Lin, Zhihao Tian, Selusiwe Ncube, Huayang Zhang, Emiliano Cortés, Hongqi Sun, Shaobin Wang   +7 more
wiley   +1 more source

Real-time bowel perfusion monitoring with FUJIFILM ELUXEO® VISION endoscopic imaging system in colorectal surgery. [PDF]

Surg Endosc
Martucci J, Williams B, Swinford A, Gupta A, Peters A, Lim A, Broccard S, Cologne KG, Shin J, Lee SW.   +9 more
europepmc   +1 more source