Search Results - (((codee OR code) OR ((modules OR modules) OR modules)) OR model) journal :: FRELIP Discovery

Search alternatives:

codee »
- modee (Expand Search)
- comee (Expand Search)
code »
- mode (Expand Search)
- come (Expand Search)

A model of actors and grey failures

Published in Logical Methods in Computer Science (2023)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
A Spatial Logic for Simplicial Models

Published in Logical Methods in Computer Science (2023)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Geometric Model Checking of Continuous Space

Published in Logical Methods in Computer Science (2022)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Addressing Machines as models of lambda-calculus

Published in Logical Methods in Computer Science (2022)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Interface Modeling for Quality and Resource Management

Published in Logical Methods in Computer Science (2021)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
On the characterization of models of H*: The semantical aspect

Published in Logical Methods in Computer Science (2016)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
FO Model Checking of Interval Graphs

Published in Logical Methods in Computer Science (2015)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Modeling and Verification of Infinite Systems with Resources

Published in Logical Methods in Computer Science (2013)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Polylogarithmic Cuts in Models of V^0

Published in Logical Methods in Computer Science (2013)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
A Graph Model for Imperative Computation

Published in Logical Methods in Computer Science (2010)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Model Checking Probabilistic Pushdown Automata

Published in Logical Methods in Computer Science (2006)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Building Energy Simulation Model Application to Greenhouse Microclimate, Covering Material and Thermal Blanket Modelling: A Review

Published 2022

Call Number: Loading…
Located: Loading…

Full Text Available
Access Repository
Article Loading…

Standalone Record Save to List
Saved in:
Modelling of Stress Into Humidified Porous Layer Under Influence of Microwave Irradiation Part II the General Model Equations

Published in Modelling in Civil and Environmental Engineering (2025)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
The Formal Model article format: justifying modelling intent and a critical review of data foundations through publication

Published in Food and Ecological Systems Modelling Journal (2022)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Coupling the Glacio-hydrological Degree-day Model (GDM) with PCRaster for spatial dynamic modeling of Himalayan river basins

Published in Proceedings of the International Association of Hydrological Sciences (2024)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
The Formal Model article format: justifying modelling intent and a critical review of data foundations through publication

Published in Food and Ecological Systems Modelling Journal (2022)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Evaluation and selection of the quality of internal doors for buildings using building information modeling building information modeling (BIM)

Published in Journal of Civil Engineering and Construction Technology (2021)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Modeling Urban Traffic Heat Flux in the Community Earth System Model: Formulation and Validation for Two Test Sites

Published in Journal of Advances in Modeling Earth Systems (2026)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
No silver bullet in software analytics: Understanding the impact of model tuning metrics on the performance of software defects prediction models

Published in EMSE (2026)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Spectral Model eXplainer: a chemically-grounded explainability framework for spectral-based machine learning models

Published in ArXiv cs.LG Recent Papers (2026)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:

[1]
Prev
28
29
30
31
32
33
34
35
36
37
38
Next
[150]