Results 131 to 140 of about 12,979 (182)

Runtime verification of embedded real-time systems. [PDF]

Form Methods Syst Des, 2014
Reinbacher T, Függer M, Brauer J.
europepmc   +1 more source

A Hybrid Fuzzy–Support Vector Machine Framework for Real‐Time Dust Detection and Thermal Mapping in Photovoltaic Panels

Energy Science &Engineering, Volume 14, Issue 4, Page 2040-2050, April 2026.
A hybrid Fuzzy–SVM framework for real‐time dust detection and thermal mapping in PV panels. ABSTRACT Dust accumulation significantly degrades the energy output of photovoltaic (PV) panels, particularly in arid and semi‐arid regions. While existing studies have separately explored image‐based dust detection, environmental modeling, and machine learning (
Debasish Sarker, S. M. Rezaul Karim, MD. Shouquat Hossain, Md. Moshaddek Hossain, Md. Monirul Kabir   +4 more
wiley   +1 more source

Linking discrete and continuous models of cell birth and migration. [PDF]

R Soc Open Sci
Martinson WD, Volkening A, Schmidtchen M, Venkataraman C, Carrillo JA.   +4 more
europepmc   +1 more source

Fast matching of transcription factor motifs using generalized position weight matrix models. [PDF]

J Comput Biol, 2013
Giaquinta E, Grabowski S, Ukkonen E.
europepmc   +1 more source

Futures of Everyday Life: A Qualitative Content Analysis of Future Personas in Scenarios

FUTURES &FORESIGHT SCIENCE, Volume 8, Issue 1, April 2026.
ABSTRACT Scenario reports, holding a long‐standing tradition in foresight and futures studies, act as an essential document for organizations to prepare for possible, plausible, and alternative futures. Focusing on descriptions and representations of everyday life, we examined 29 future persona narratives from six publications—covering a wide field ...
Gerhard Schönhofer, Pauli Komonen, Jan Oliver Schwarz, Laura Bechthold   +3 more
wiley   +1 more source

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives. [PDF]

Int J Softw Tools Technol Transf, 2018
Kwiatkowska M, Parker D, Wiltsche C.
europepmc   +1 more source

Calibrating Seed-Based Heuristics to Map Short Reads With Sesame. [PDF]

Front Genet, 2020
Filion GJ, Cortini R, Zorita E.
europepmc   +1 more source

Using Deep Learning Conditional Value‐at‐Risk Based Utility Function in Cryptocurrency Portfolio Optimisation

International Journal of Finance &Economics, Volume 31, Issue 2, Page 2845-2862, April 2026.
ABSTRACT One of the critical risks associated with cryptocurrency assets is the so‐called downside risk, or tail risk. Conditional Value‐at‐Risk (CVaR) is a measure of tail risks that is not normally considered in the construction of a cryptocurrency portfolio.
Xinran Huang, Linzhi Tan, Haozhe Su, Jeremy Eng‐Tuck Cheah   +3 more
wiley   +1 more source

Recent Advances in General Game Playing. [PDF]

ScientificWorldJournal, 2015
Świechowski M, Park H, Mańdziuk J, Kim KJ.   +3 more
europepmc   +1 more source

Hitchhiker's Guide to the Swampland: The Cosmologist's Handbook to the String‐Theoretical Swampland Programme

Fortschritte der Physik, Volume 74, Issue 4, April 2026.
Abstract String theory has strong implications for cosmology, implying the absence of a cosmological constant, ruling out single‐field slow‐roll inflation, and that black holes decay. The origins of these statements are elucidated within the string‐theoretical swampland programme.
Kay Lehnert
wiley   +1 more source