Search Results - ((code OR model) OR made) :: FRELIP Discovery

Search alternatives:

code »
- mode (Expand Search)
- come (Expand Search)

Zero-Knowledge Model Checking

Published in ArXiv cs.LO 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:
Hyperbolic Concept Bottleneck Models

Published in ArXiv cs.CV 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:
Completions of Kleene's second model

Published in Logical Methods in Computer Science (2025)

Get full text

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

Standalone Record Save to List
Saved in:
Relational Graph Models at Work

Published in Logical Methods in Computer Science (2018)

Get full text

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

Standalone Record Save to List
Saved in:
Ordered Models of the Lambda Calculus

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:
Modelling Probabilistic Wireless Networks

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 Model of Cooperative Threads

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:
A Bayesian sensitivity analysis of the effect of different random effects distributions on growth curve models

Published 2020
Subjects: “…growth curve models…”

Call Number: Loading…
Located: Loading…

Full Text Available
Access Repository
Article Loading…

Standalone Record Save to List
Saved in:
Balancing Accuracy and Resources in FPGA Approximate HLS: Model-Free Versus Model-Based Approaches

Published in IEEE Access (2026)

Get full text

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

Standalone Record Save to List
Saved in:
Approximate Inverse Model Explanations as a Model-Agnostic Framework for Linking Musical Scores and Performance

Published in IEEE Access (2026)

Get full text

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

Standalone Record Save to List
Saved in:
Impact of the Internal Structure Density in the Process of Fabrication of Orthodontic Master Models by Fused Deposition Modeling

Published in Research Papers Faculty of Materials Science and Technology Slovak University of Technology (2022)

Get full text

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

Standalone Record Save to List
Saved in:
Correction to “Mathematical Modelling of COVID-19 Transmission in Kenya: A Model with Reinfection Transmission Mechanism”

Published in Computational and Mathematical Methods in Medicine (2025)

Get full text

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

Standalone Record Save to List
Saved in:
Boundary modeling in model-based calibration for automotive engines via the vertex representation of the convex hulls

Published in Pacific Journal of Mathematics for Industry (2017)

Get full text

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

Standalone Record Save to List
Saved in:
Modeling and Tracking Simulation of ROV for Bottom Inspection of a Ship using Component Drag Model

Published in Journal of Ocean Engineering and Technology (2016)

Get full text

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

Standalone Record Save to List
Saved in:
Modified elastic-plastic model: implementation algorithm and comparison of computational efficiency with the elastic-viscoplastic model

Published in Fracture and Structural Integrity (2025)

Get full text

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

Standalone Record Save to List
Saved in:
The Community Fire Behavior model for coupled fire–atmosphere modeling: implementation in the Unified Forecast System

Published in Geoscientific Model Development Discussions (2026)

Get full text

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

Standalone Record Save to List
Saved in:
Modeling Large Dust Aerosols in the Community Earth System Model Version 2 (CESM2)

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:
Assessing the performance of reanalysis and meso-scale model datasets for onshore wind power modelling in Germany

Published in Advances in Science and Research (ASR) (2026)

Get full text

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

Standalone Record Save to List
Saved in:
Cross-Model Consistency of Feature Importance in Electrospinning: Separating Robust from Model-Dependent Features

Published in ArXiv cs.DB 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:
A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus

Published in Logical Methods in Computer Science (2017)

Get full text

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

Standalone Record Save to List
Saved in:

[1]
Prev
17
18
19
20
21
22
23
24
25
26
27
Next
[254]