Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Date Descending

Your Filters

Collection : Archive Ouverte Hal (Hyper Article En Ligne, Ccsd - Centre Pour La Communication Scientifique Directe) Filter by : Author Sort Order : Publication Date Descending

Item request has been placed!

Item request cannot be made.

Processing Request

Conference

MBSE to Support Engineering of Trustworthy AI-Based Critical Systems

Authors : Awadid, Afef; Robert, Boris; Langlois, Benoît ...

Subjects: Engineering Processes; Methodological Guidelines; Trustworthiness EnvironmentRome; Italy

Source: 12th International Conference on Model-Based Software and Systems Engineeringhttps://hal.science/hal-0440070212th International Conference on Model-Based Software and Systems Engineering,

Read More Add to Saved list

Conference

Alias : pointeurs espionnés en série

Authors : Le Gall, Tristan; Rochel, Jan; Faissole, Florian ...

Subjects: [SCCO.COMP]Cognitive science/Computer scienceSaint-Jacut-de-la-Mer; France

Source: 35es Journées Francophones des Langages Applicatifs (JFLA 2024)https://hal.science/hal-0440714035es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024,

Read More Add to Saved list

Conference

De l'avantage de nuancer les décisions binaires

Authors : Marché, Claude; Cousineau, Denis;

Subjects: Diagrammes de Décision Binaires; Interprétation Abstraite; Inférence d'invariants de boucleSaint-Jacut-de-la-Mer; France

Source: 35es Journées Francophones des Langages Applicatifs (JFLA 2024)https://inria.hal.science/hal-0434227335es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024,

Read More Add to Saved list

Conference

Correct tout seul, sûr à plusieurs

Authors : Allain, Clément; Scherer, Gabriel;

Subjects: [INFO]Computer Science [cs]Saint-Jacut-de-la-Mer; France

Source: 35es Journées Francophones des Langages Applicatifs (JFLA 2024)https://inria.hal.science/hal-0440641235es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024,

Read More Add to Saved list

Conference

Correct, Fast LR(1) Unparsing

Authors : Pottier, François;

Subjects: [SCCO.COMP]Cognitive science/Computer scienceSaint-Jacut-de-la-Mer; France

Source: 35es Journées Francophones des Langages Applicatifs (JFLA 2024)https://inria.hal.science/hal-0440711635es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024,

Read More Add to Saved list

Conference

Chamelon : un minimiseur pour et en OCaml

Authors : Valnet, Milla; Courant, Nathanaëlle; Bury, Guillaume ...

Subjects: [SCCO.COMP]Cognitive science/Computer scienceSaint-Jacut-de-la-Mer; France

Source: 35es Journées Francophones des Langages Applicatifs (JFLA 2024)https://inria.hal.science/hal-0440711935es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024,

Read More Add to Saved list

Conference

Variable importance in high-dimensional settings requires grouping

Authors : Chamma, Ahmad; Thirion, Bertrand; Engemann, Denis ...

Subjects: [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG]; [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]; [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]VancouverVancouver, Canada

Source: AAAI 2024 - The 38th Annual AAAI Conference on Artificial Intelligence ; https://hal.science/hal-04356917 ; AAAI 2024 - The 38th Annual AAAI Conference on Artificial Intelligence, Feb 2024, Vancouver,

Read More Add to Saved list

Conference

Maximizing the Success Probability of Policy Allocations in Online Systems

Authors : Betlei, Artem; Vladimirova, Mariia; Sebbar, Mehdi ...

Subjects: Information Retrieval (cs.IR); Computer Science and Game Theory (cs.GT); Machine Learning (cs.LG)VancouverVancouver, Canada

Source: AAAI2024 ; https://hal.science/hal-04413174 ; AAAI2024, Feb 2024, Vancouver, Canada. ⟨10.48550/arXiv.2312.16267⟩

Read More Add to Saved list

Conference

A Heuristic for Dynamic Output Predictive Control Design for Uncertain Nonlinear Systems

Authors : Alamir, Mazen;

Subjects: Machine Learning Nonlinear Systems Output Feedback Stochastic NMPC; Machine Learning; Nonlinear SystemsToronto ( CA )Toronto ( CA ), Canada

Source: American Control Conference ; https://hal.science/hal-04411186 ; American Control Conference, IEEE, Jul 2024, Toronto ( CA ), Canada

Read More Add to Saved list

Academic Journal

EUSO-SPB1 mission and science

Authors : Abdellaoui, G; Abe, S; Adams, J.H ...

Subjects: Cosmic rays (329); High-altitude balloons (738); Air fluorescence

Source: Astropart.Phys. ; https://hal.science/hal-04206436 ; Astropart.Phys., 2024, 154, pp.102891. ⟨10.1016/j.astropartphys.2023.102891⟩

Read More Add to Saved list