Source: Proceedings of Nanoscale 2023 ; Nanoscale 2023 : 13th Seminar on Quantitative Microscopy (QM) and 9th Seminar on Nanoscale Calibration, Standards and Methods ;

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

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

Conference

U-TOE: Universal TinyML On-Board Evaluation Toolkit for Low-Power IoT

Authors : Huang, Zhaolan; Zandberg, Koen; Schleiser, Kaspar ...

Subjects: [INFO]Computer Science [cs]Berlin; Germany

Source: PEMWN 2023 - 12th IFIP/IEEE International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks ; https://hal.science/hal-04382496 ; PEMWN 2023 - 12th IFIP/IEEE

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

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

Conference

Universal Analytic Gröbner Bases and Tropical Geometry

Authors : Vaccon, Tristan; Verron, Thibaut;

Subjects: Algorithms; Gröbner bases; Tate algebraTromsø; Norway

Source: ISSAC '23: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation ; ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023 ;

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

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

Conference

Universal First-Order Quantification over Automata

Authors : Boigelot, Bernard; Fontaine, Pascal; Vergain, Baptiste ...

Subjects: Innite-word automata; rst-order logic; quantier eliminationFamagusta; Cyprus

Source: EMU 2023 - 27th International Conference on Implementation and Application of Automata ; https://inria.hal.science/hal-04317399 ; EMU 2023 - 27th International Conference on Implementation and

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

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

Conference

Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints

Authors : Bienvenu, Meghyn; Bourgaux, Camille;

Subjects: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]; [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]Rhodes; Greece

Source: Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) ; 20th International Conference on Principles of Knowledge Representation and

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

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

Book

Sophismatically Thinking about consequences from universal to singular propositions. A case study from the sophisma OMNIS HOMO DE NECESSITATE EST ANIMA

Authors : Brumberg-Chaumont, Julie;

Subjects: history of logic; fallacies; syllogism

Source: Sophismata : histoire d'une pratique philosophique ; https://hal.science/hal-04337300 ; A. de Libera, F. Goubier et L. Cesalli,. Sophismata : histoire d'une pratique philosophique, schwabe, In press

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

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

Conference

Generic and Universal Local Cryptocurrency: LCoin

Authors : Hayek, Frédéric, A; Lafourcade, Pascal; Tichit, Ariane ...

Subjects: Blockchain; Cryptocurrency; Local CurrencyParis; France

Source: BRAINS - Conference on Blockchain Research & Applications for Innovative Networks and Services ; https://hal.science/hal-04176704 ; BRAINS - Conference on Blockchain Research & Applications for

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

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

Conference

On universal singular exponents in equations with one catalytic parameter of order one

Authors : Schaeffer, Gilles;

Subjects: [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]; [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]Prague; Czech Republic

Source: European Conference on Combinatorics, Graph Theory and Applications ; https://polytechnique.hal.science/hal-04281429 ; European Conference on Combinatorics, Graph Theory and Applications, Aug 2023,

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

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

Conference

Compositionality of planar perfect matchings ; Compositionality of planar perfect matchings: A universal and complete fragment of ZW-calculus

Authors : Carette, Titouan; Moutot, Etienne; Perez, Thomas ...

Subjects: Perfect Matchings Counting; Quantum Computing; MatchgatesGermanyPaderborn, Germany

Source: 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023)https://hal.science/hal-0400228250th International Colloquium on Automata, Languages, and Programming

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

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

Conference

Towards autonomous robot navigation in human populated environments using an Universal SFM and parametrized MPC

Authors : Fiasché, Enrico; Martinet, Philippe; Malis, Ezio ...

Subjects: [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]Detroit (MI); United States

Source: IROS 2023 - IEEE/RSJ International Conference on Intelligent Robots and Systems ; https://inria.hal.science/hal-04210032 ; IROS 2023 - IEEE/RSJ International Conference on Intelligent Robots and

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

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

نتائج البحث

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

Calibrating Resistance Measurements in Conductive Probe Atomic Force Microscopy: development of the first universal standard sample

U-TOE: Universal TinyML On-Board Evaluation Toolkit for Low-Power IoT

Universal Analytic Gröbner Bases and Tropical Geometry

Universal First-Order Quantification over Automata

Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints

Sophismatically Thinking about consequences from universal to singular propositions. A case study from the sophisma OMNIS HOMO DE NECESSITATE EST ANIMA

Generic and Universal Local Cryptocurrency: LCoin

On universal singular exponents in equations with one catalytic parameter of order one

Compositionality of planar perfect matchings ; Compositionality of planar perfect matchings: A universal and complete fragment of ZW-calculus

Towards autonomous robot navigation in human populated environments using an Universal SFM and parametrized MPC

اتصل بنا

اتبع