Results 241 to 250 of about 1,197,029 (323)

A Posterior Predictive Model Checking Method Assuming Posterior Normality for Item Response Theory. [PDF]

Appl Psychol Meas, 2019
Kuhfeld M.
europepmc   +1 more source

Simplifying LTL Model Checking Given Prior Knowledge

Alexandre Duret-Lutz, Denis Poitrenaud, Yann Thierry-Mieg   +2 more
openalex   +2 more sources

Logics and Translations for Inconsistency-tolerant Model Checking

, 2018
Norihiro Kamide, Kazuki Endo
openalex   +1 more source

Modulating Two‐Photon Absorption in a Pyrene‐Based MOF Series: An In‐Depth Investigation of Structure–Property Relationships

Advanced Functional Materials, EarlyView.
This study investigates H4TBAPy‐based metal–organic frameworks (MOFs) ‐ NU‐1000, NU‐901, SrTBAPy, and BaTBAPy ‐ for multiphoton absorption (MPA) performance. It observes topology‐dependent variations in the 2PA cross‐section, with BaTBAPy exhibiting the highest activity.
Simon N. Deger, Helmy Pacheco Hernandez, Yang Cui, Hongxing Hao, Vanessa Ramm, David C. Mayer, Khai‐Nghi Truong, Roland A. Fischer, Jürgen Hauer, Mariana Kozlowska, Alexander Pöthig   +10 more
wiley   +1 more source

Model checking optimal finite-horizon control for probabilistic gene regulatory networks. [PDF]

BMC Syst Biol, 2017
Wei O, Guo Z, Niu Y, Liao W.
europepmc   +1 more source

Metal‐Organic Framework Embedded Electrospun Fibrous Membranes‐Based Hybrid Nanogenerators with Hierarchical Modified Polyamide Films for Mechanical Energy Harvesting and IoT Applications

Advanced Functional Materials, EarlyView.
Hybrid nanogenerator (HNG) based on a zinc‐metal‐organic framework‐loaded fibrous film integrated with a hierarchically modified nylon film having micropatterns and micropores is fabricated via an electrospinning technique, and its electrical properties are optimized. The HNGs are incorporated into wearable garments and automobile systems for practical
Sontyana Adonijah Graham, Anand Kurakula, Venkata Siva Kavarthapu, Jun Kyu Lee, Punnarao Manchi, Mandar Vasant Paranjape, Jae Su Yu   +6 more
wiley   +1 more source

A partial order approach to branching time logic model checking

, 1994
Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek   +3 more
openalex   +1 more source

Double Helical Plasmonic Antennas

Advanced Functional Materials, EarlyView.
Plasmonic double helical antennas funnel circularly polarized light to the nanoscale, offering strong chiroptical interaction and directional light emission. Extending a single helix design tool, this study combines numerical modeling with experimental validation, revealing large, broadband dissymmetry factors in the visible range.
Aleksei Tsarapkin, Luka Zurak, Krzysztof Maćkosz, Lorenz Löffler, Victor Deinhart, Ivo Utke, Thorsten Feichtner, Katja Höflich   +7 more
wiley   +1 more source

Model checking to assess T-helper cell plasticity. [PDF]

Front Bioeng Biotechnol, 2014
Abou-Jaoudé W, Monteiro PT, Naldi A, Grandclaudon M, Soumelis V, Chaouiya C, Thieffry D.   +6 more
europepmc   +1 more source