Multi-Objective Model Checking of Markov Decision Processes

Get full text

Model Checking One-clock Priced Timed Automata

Get full text

Model Checking Synchronized Products of Infinite Transition Systems

Get full text

The Complexity of Model Checking Higher-Order Fixpoint Logic

Get full text

Model-Checking Problems as a Basis for Parameterized Intractability

Get full text

Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking

Get full text

Model of the intelligent system for prediction of road traffic accidents

Get full text

ConstraintHg: A Kernel for Systems Modeling and Simulation

Get full text

Implementation-Aware Latency and Energy Modeling for Tiling on the Edge

Get full text

FlightKooba: A Fast Interpretable FTP Model

Get full text

Yucatan Miniswine Model of Atrial Fibrillation: Clinical Relevance

Get full text

r.earthworks: a GRASS tool for terrain modeling

Get full text

Using transformer-based models for Vietnamese language detection

Get full text

Diffusion-Enhanced Identifiable Confounder Modeling for Debiased Recommendation

Get full text

Machine-Learning-Empowered Propagation Measurement and Modeling for an Amphitheater

Get full text

The Global Energy System Model (GENeSYS-MOD) v4.0 - A Flexible Energy System Modeling Framework for Julia and GAMS

Get full text

Modeling Soil Erosion Risk Areas Using the RUSLE Model Coupled With GIS and RS in Haro Bake Watershed, Yabello District, Southern Ethiopia

Get full text

No Model Fits All: Dynamic Ensemble Species Distribution Model Reveals Seasonal Patterns of Essential Habitat Use by Ocean Giants in the Southwest Pacific

Get full text

Integrating spatial and environmental stressors in a population model of Folsomia candida (Collembola, Isotomidae): a Formal Model within ALMaSS framework

Get full text

Modeling Factors Affecting Physicians' Acceptance of E‐Prescriptions Using Structural Equation Modeling‐Partial Least Squares Analysis: A Cross‐Sectional Study

Get full text