Search Results - Information Technology And Control :: FRELIP Discovery

Learning with Linear Function Approximations in Mean-Field Control

Published in Journal of Machine Learning Research (2026)

Get full text

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

Standalone Record Save to List
Saved in:
Normalisation Control in Deep Inference via Atomic Flows

Published in Logical Methods in Computer Science (2008)

Get full text

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

Standalone Record Save to List
Saved in:
Lambda-RBAC: Programming with Role-Based Access Control

Published in Logical Methods in Computer Science (2008)

Get full text

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

Standalone Record Save to List
Saved in:
Precise Localization and Trajectory Control of Magnetically Actuated Micro-Robots

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:
Automated Design and Selection of Metaheuristics for PID Control in Power Electronics

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:
VolumeScaler: A Kubernetes Controller for Automated PVC Scaling

Published in Journal of Open Source Software (2026)

Get full text

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

Standalone Record Save to List
Saved in:
Actor-Critic learning for mean-field control in continuous time

Published in Journal of Machine Learning Research (2026)

Get full text

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

Standalone Record Save to List
Saved in:
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation

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:
Boosted Control Functions: Distribution Generalization and Invariance in Confounded Models

Published in Journal of Machine Learning Research (2026)

Get full text

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

Standalone Record Save to List
Saved in:
Taint Analysis for Graph APIs Focusing on Broken Access Control

Published in Logical Methods in Computer Science (2026)

Get full text

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

Standalone Record Save to List
Saved in:
WindGym: A Reinforcement Learning Environment for Wind Farm Control

Published in Journal of Open Source Software (2026)

Get full text

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

Standalone Record Save to List
Saved in:
On Model Identification and Out-of-Sample Prediction of PCR with Applications to Synthetic Controls

Published in Journal of Machine Learning Research (2026)

Get full text

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

Standalone Record Save to List
Saved in:
A Spectrum-Controlled Wideband Impedance Measurement Method for Power Grid

Published in IEEE Access (2025)

Get full text

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

Standalone Record Save to List
Saved in:
Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model

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:
Complete Call-by-Value Calculi of Control Operators II: Strong Termination

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:
Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory

Published in Logical Methods in Computer Science (2020)

Get full text

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

Standalone Record Save to List
Saved in:
CFA2: a Context-Free Approach to Control-Flow Analysis

Published in Logical Methods in Computer Science (2011)

Get full text

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

Standalone Record Save to List
Saved in:
Classical and Sliding Mode Controllers Applied to the Reaction Wheel Inverted Pendulum

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:
Understanding Nigeria's security through import control under the military, 1972-1999

Published 2020
Subjects: “…TECHNOLOGY::Information technology::Automatic control…”

Call Number: Loading…
Located: Loading…

Full Text Available
Access Repository
Article Loading…

Standalone Record Save to List
Saved in:
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services

Published in Logical Methods in Computer Science (2020)

Get full text

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

Standalone Record Save to List
Saved in: