مكتبة

Item request has been placed!

Item request cannot be made.

Processing Request

Conference

Temps, travail, espace : pourquoi choisir ? Un unisson autostabilisant et ses retombées

Authors : Devismes, Stéphane; Ilcinkas, David; Johnen, Colette ...

Subjects: Autostabilisation; unisson; synchroniseurSaint-Valéry-Sur-Somme; France

Source: ALGOTEL 2025 – 27èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-05010239 ; ALGOTEL 2025 – 27èmes Rencontres Francophones sur les

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Group Order Logic

Authors : Dahan, Anatole;

Subjects: Descriptive Complexity; Logic for P; Finite Model TheorySingapore

Source: LICS 2025 - Logic in Computer Science ; https://hal.science/hal-05083596 ; LICS 2025 - Logic in Computer Science, Jun 2025, Singapore, Singapore. ⟨10.48550/arXiv.2505.15359⟩

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

OpenArchaeo : A semantic web portal applied to archeological datasets ; OpenArchaeo : Un portail web sémantique appliqué aux données archéologiques

Authors : Hivert, Florian;

Subjects: Semantic web; Interoperability; Archaeological DataAthens; Greece

Source: CAA 2025, 52nd International Conference of Computer Applications and Quantitative Methods in Archaeology ; https://hal.science/hal-05075148 ; CAA 2025, 52nd International Conference of Computer

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Pareto-Optimality, Smoothness, and Stochasticity in Learning-Augmented One-Max-Search

Authors : Benomar, Ziyad; Croissant, Lorenzo; Perchet, Vianney ...

Subjects: [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]; [INFO.INFO-CE]Computer Science [cs]/Computational Engineering; FinanceVancouverVancouver, Canada

Source: ICML 2025 - 42nd International Conference on Machine Learning ; https://hal.science/hal-05080719 ; ICML 2025 - 42nd International Conference on Machine Learning, Jul 2025, Vancouver, Canada ;

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Group Order Logic

Authors : Dahan, Anatole;

Subjects: Descriptive Complexity; Logic for P; Finite Model TheorySingapore

Source: LICS 2025 - Logic in Computer Science ; https://hal.science/hal-05083596 ; LICS 2025 - Logic in Computer Science, Jun 2025, Singapore, Singapore. ⟨10.48550/arXiv.2505.15359⟩

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Pareto-Optimality, Smoothness, and Stochasticity in Learning-Augmented One-Max-Search

Authors : Benomar, Ziyad; Croissant, Lorenzo; Perchet, Vianney ...

Subjects: [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]; [INFO.INFO-CE]Computer Science [cs]/Computational Engineering; FinanceVancouverVancouver, Canada

Source: ICML 2025 - 42nd International Conference on Machine Learning ; https://hal.science/hal-05080719 ; ICML 2025 - 42nd International Conference on Machine Learning, Jul 2025, Vancouver, Canada ;

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Group Order Logic

Authors : Dahan, Anatole;

Subjects: Descriptive Complexity; Logic for P; Finite Model TheorySingapore

Source: LICS 2025 - Logic in Computer Science ; https://hal.science/hal-05083596 ; LICS 2025 - Logic in Computer Science, Jun 2025, Singapore, Singapore. ⟨10.48550/arXiv.2505.15359⟩

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Pareto-Optimality, Smoothness, and Stochasticity in Learning-Augmented One-Max-Search

Authors : Benomar, Ziyad; Croissant, Lorenzo; Perchet, Vianney ...

Subjects: [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]; [INFO.INFO-CE]Computer Science [cs]/Computational Engineering; FinanceVancouverVancouver, Canada

Source: ICML 2025 - 42nd International Conference on Machine Learning ; https://hal.science/hal-05080719 ; ICML 2025 - 42nd International Conference on Machine Learning, Jul 2025, Vancouver, Canada ;

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Sortus Interruptus : Trier des phoques en O(n log(n))

Authors : Caizergues, Emma; Durand, François; Mathieu, Fabien ...

Subjects: Tri par comparaison; Algorithmes interruptibles; Distance de SpearmanSaint Valery-sur-Somme; France

Source: ALGOTEL 2025 – 27èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-05003794 ; ALGOTEL 2025 – 27èmes Rencontres Francophones sur les

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Metric Dimension and Geodetic Set Parameterized by Vertex Cover

Authors : Foucaud, Florent; Galby, Esther; Khazaliya, Liana ...

Subjects: Parameterized Complexity; ETH-based Lower Bounds; KernelizationJena; Germany

Source: Leibniz International Proceedings in Informatics (LIPIcs) ; 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025) ; https://hal.science/hal-04963873 ; 42nd International

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

نتائج البحث

فلترة النتائج

Temps, travail, espace : pourquoi choisir ? Un unisson autostabilisant et ses retombées

Group Order Logic

OpenArchaeo : A semantic web portal applied to archeological datasets ; OpenArchaeo : Un portail web sémantique appliqué aux données archéologiques

Pareto-Optimality, Smoothness, and Stochasticity in Learning-Augmented One-Max-Search

Group Order Logic

Pareto-Optimality, Smoothness, and Stochasticity in Learning-Augmented One-Max-Search

Group Order Logic

Pareto-Optimality, Smoothness, and Stochasticity in Learning-Augmented One-Max-Search

Sortus Interruptus : Trier des phoques en O(n log(n))

Metric Dimension and Geodetic Set Parameterized by Vertex Cover

اتصل بنا

اتبع