Source: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)https://ujm.hal.science/ujm-0422261013th ACM SIGPLAN International Conference on Certified Programs

Record details

Read More Add to Saved list

Conference

Deep model-free KKL observer: A switching approach

Authors :

Subjects: observerOxford

Source: Learning for Dynamics and Control ; https://hal.science/hal-04518181 ; Learning for Dynamics and Control, Jul 2024, Oxford, United Kingdom

Record details

Read More Add to Saved list

Conference

A living monograph for graph transformation

Authors :

Subjects: graph transformationUnited KingdomLeicester, United Kingdom

Source: 16th International Conference on Graph Transformation (ICGT 2023)https://hal.science/hal-0417732116th International Conference on Graph Transformation (ICGT 2023), Jul 2023, Leicester,

Record details

Read More Add to Saved list

Conference

Dimension-free convergence rates for gradient Langevin dynamics in RKHS

Authors :

Subjects: [STAT.ML]Statistics [stat]/Machine Learning [stat.ML]London

Source: COLT 2022 - 35th Annual Conference on Learning Theory ; https://hal.science/hal-03920387 ; COLT 2022 - 35th Annual Conference on Learning Theory, Jul 2022, London, United

Record details

Read More Add to Saved list

Conference

Forwarding-Lyapunov design for the stabilization of coupled ODEs and exponentially stable PDEs

Authors :

Subjects: [INFO.INFO-AU]Computer Science [cs]/Automatic Control EngineeringLondres

Source: European Control Conference 2022 ; https://hal.science/hal-03417238 ; European Control Conference 2022, Jul 2022, Londres, United Kingdom

Record details

Read More Add to Saved list

Conference

State-of-the-art of Variable Displacement Technologies for Radial Piston Hydraulic Machines

Authors :

Subjects: Digital and switched fluid power systemsBath

Source: Proceedings of the Bath/ASME Symposium on Fluid Power and Motion Control (FPMC) 2022 ; https://hal.science/hal-03807716 ; Proceedings of the Bath/ASME Symposium on Fluid Power and Motion Control

Record details

Read More Add to Saved list

Conference

VORTEX LATTICE METHOD FOR THE CALCULATION OF THE TIP LEAKAGE FLOW: EVALUATION ON A SINGLE BLADE

Authors :

Subjects: VLMVirtual

Source: Proceedings of ASME Turbo Expo 2020 ; https://hal.science/hal-03064945 ; Proceedings of ASME Turbo Expo 2020, Sep 2020, Virtual, Online, United Kingdom.

Record details

Read More Add to Saved list

Conference

A new integral boundary control for de Saint-Venant Partial Differential Equations

Authors :

Subjects: de Saint-Venant equationsCambridge

Source: MTNS 2020 ; https://hal.science/hal-02880656 ; MTNS 2020, Aug 2020, Cambridge, United Kingdom

Record details

Read More Add to Saved list

Conference

The True Concurrency of Herbrand’s Theorem

Authors :

Subjects: Herbrand's theoremBirmingham

Source: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018)https://hal.science/hal-0188696827th EACSL Annual Conference on Computer Science Logic (CSL 2018), Sep 2018, Birmingham,

Record details

Read More Add to Saved list

Conference

A Formal Proof of the Minor-Exclusion Property for Treewidth-Two Graphs

Authors :

Subjects: graph theoryOxford

Source: Interactive Theorem Proving ; https://hal.science/hal-01703922 ; Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. ⟨10.1007/978-3-319-94821-8_11⟩

Record details

Read More Add to Saved list