Results 121 to 130 of about 823,326 (291)

Porosity Engineering of MXene Architectures: Toward High‐Performance Aqueous Electrochemical Energy Storage

Advanced Materials, EarlyView.
This review systematically summarizes recent advances in porosity engineering of MXenes, with a focused discussion on their structure‐governed energy storage properties. A critical analysis of structure–property relationships is presented across alkali‐ion batteries, multivalent‐ion batteries, and supercapacitors.
Shude Liu, Jieming Chen, Xue Peng, Huilin Zhang, Ling Kang, Ming Ma, Zhaoling Li, Yusuke Yamauchi, Bin Ding   +8 more
wiley   +1 more source

Grouping based calculus for propositional linear temporal logic

Lietuvos Matematikos Rinkinys
In this paper, the authors research the problem of loops in linear temporal logic PLTL. The task involves defining the standard rule application process for the derivation procedure (as used in [4] and [5]), determining and proving properties for the ...
Kostas Ragauskas, Adomas Birštunas
doaj   +1 more source

Tough, Ductile, and Strong Hard‐Soft Cementitious Composite Enabled by Multi‐Material Additive Manufacturing

Advanced Materials, EarlyView.
Drawing inspiration from the layered hard‐soft architecture found in sea sponges, this work establishes a new framework for architected cementitious composites (ACC) through multi‐material additive manufacturing (MMAM) process. The integration of mortar and elastomer phases into layered architectures enables synergistic toughening mechanisms, including
Aimane Najmeddine, Shashank Gupta, William Makinen, Zayvinn Lin, Krystal Delnoce, Reza Moini   +5 more
wiley   +1 more source

Ion‐Reconfigurable “N”‐Shaped Antiambipolar Behavior in Organic Electrochemical Transistors

Advanced Materials, EarlyView.
A unique N‐shaped negative differential transconductance (NDT) characteristics is demonstrated in single‐polymer organic electrochemical transistors through a sequential doping–redox–doping process driven by iodide ions. This redox‐driven mechanism enables low‐voltage, ion‐controlled reconfigurability and tunable current modulation, allowing seamless ...
Debdatta Panigrahi, Daniele Zucchelli, Zeinab Hamid, Christina Kousseff, Arup Sarkar, Aristea Pavlou, Zhitian Ling, Somayeh Kashani, Iain McCulloch, Paul W. M. Blom, Fabrizio Torricelli, Paschalis Gkoupidenis   +11 more
wiley   +1 more source

A Metric for Linear Temporal Logic

, 2018
We propose a measure and a metric on the sets of infinite traces generated by a set of atomic propositions. To compute these quantities, we first map properties to subsets of the real numbers and then take the Lebesgue measure of the resulting sets.
Iannopollo, Antonio, Lee, Edward A., Lohstroh, Marten, Romeo, Íñigo Íncer, Sangiovanni-Vincentelli, Alberto   +4 more
core  

Light‐Induced Entropy for Secure Vision

Advanced Materials, EarlyView.
This work realized a ternary true random number generator by exploiting stochastic traps emerging within multiple junction interfaces, and quantitatively validated the generation of high‐quality random numbers. Furthermore, it successfully demonstrated diverse applications, including AI‐resilient image security, thereby providing a valuable guide for ...
Juhyung Seo, Seungme Kang, Chaehyun Kim, Taehyun Park, Youngwoo Yoo, Yeong Kwon Kim, Wonjun Shin, Byung Chul Jang, Young‐Joon Kim, Hocheon Yoo   +9 more
wiley   +1 more source

Linear logic automata

Annals of Pure and Applied Logic, 1996
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Two‐Photon 3D Printing of Functional Microstructures Inside Living Cells

Advanced Materials, EarlyView.
This study demonstrates 3D printing inside living cells by using two‐photon photo‐lithography. A bio‐compatible photoresist is injected into cells and selectively polymerized with a femtosecond laser, creating custom‐shaped intracellular structures with submicron resolution.
Maruša Mur, Aljaž Kavčič, Uroš Jagodič, Rok Podlipec, Matjaž Humar   +4 more
wiley   +1 more source

Intrusion detection system episteme

Open Computer Science, 2012
Mihályi Daniel, Novitzká Valerie, Ľaľová Martina   +2 more
doaj   +1 more source

End-to-End Path Planning Under Linear Temporal Logic Specifications

IEEE Access
This paper presents a novel deep learning framework for robotic path planning that seamlessly integrates Linear Temporal Logic (LTL) with trajectory optimization to meet mission specifications efficiently. Our approach innovates on several fronts: First,
Chaeeun Yang, Sojeong Yoon, Kyunghoon Cho   +2 more
doaj   +1 more source