Source: 18th International Workshop on Algorithms in Bioinformatics (WABI 2018)18th International Workshop on Algorithms in Bioinformatics (WABI 2018).https://hal.science/hal-0251597418th

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

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

Conference

Treewidth-Two Graphs as a Free Algebra

Authors : Doczkal, Christian; Pous, Damien;

Subjects: Treewidth; Graph theory; RewritingLiverpool; United Kingdom

Source: Mathematical Foundations of Computer Science ; https://hal.science/hal-01780844 ; Mathematical Foundations of Computer Science, Aug 2018, Liverpool, United Kingdom. ⟨10.4230/LIPIcs.MFCS.2018.60⟩

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

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

Conference

K4-free Graphs as a Free Algebra

Authors : Cosme-Llópez, Enric; Pous, Damien;

Subjects: Universal Algebra; Graph theory; AxiomatisationAalborg; Denmark

Source: 42nd International Symposium on Mathematical Foundations of Computer Sciencehttps://hal.science/hal-0151575242nd International Symposium on Mathematical Foundations of Computer Science,

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

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

Conference

Companions, Codensity and Causality

Authors : Pous, Damien; Rot, Jurriaan;

Subjects: coinduction; universal coalgebra; distributive lawsUppsala; Sweden

Source: FoSSaCS ; https://hal.science/hal-01442222 ; FoSSaCS, Apr 2017, Uppsala, Sweden

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

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

Academic Journal

Logic-based argumentation with existential rules

Authors : Arioua, Abdallah; Croitoru, Madalina; Vesic, Srdjan ...

Subjects: Logic-based argumentation; Existential rules; Universal acceptance

Source: ISSN: 0888-613X ; International Journal of Approximate Reasoning ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01596666 ; International Journal of Approximate Reasoning, 2017, 90, pp.76-106.

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

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

Dissertation/ Thesis

Topological dynamics of groupoids for the study of randomizations ; Dynamique topologique de groupoïdes pour l’étude des aléatorisations

Authors : Muñoz Carvajal, Jorge;

Subjects: Randomizations; Universal Skolem sort; Representation of groupoid actions

Source: https://theses.hal.science/tel-04076890 ; Group Theory [math.GR]. Université Claude Bernard - Lyon I, 2022. English. ⟨NNT : 2022LYO10046⟩.

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

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

Conference

Effective field and universal mobility in high-k metal gate UTBB-FDSOI devices

Authors : Nier, Olivier; Rideau, Denis; Cros, Antoine ...

Subjects: coefficient η; silicon transistor mobility; FDSOI universal mobilityUdine; Italy

Source: 2014 ICMTS Proceedings27th International Conference on Microelectronic Test Structures (ICMTS)https://hal.science/hal-0110247427th International Conference on Microelectronic Test

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

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

Academic Journal

Energy Efficient Authentication Strategies for Network Coding

Authors : Apavatjrut, Anya; Znaidi, Wassim; Fraboulet, Antoine ...

Subjects: Xor Network Coding; Pollution Attack; Denial of Services

Source: ISSN: 1532-0626 ; EISSN: 1532-0634.

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

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

Dissertation/ Thesis

A variable precision hardware acceleration for scientific computing ; Une accélération matérielle à précision variable pour le calcul scientifique

Authors : Bocco, Andrea;

Subjects: Information technology; Floating point; Variable precision

Source: https://theses.hal.science/tel-03102749 ; Discrete Mathematics [cs.DM]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEI065⟩.

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

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

Academic Journal

Cross-linked polymer microparticles: characterization by size exclusion chromatography using universal calibration

Authors : Rouzeau, Sébastien; Méchin, Françoise; Pascault, Jean-Pierre ...

Subjects: cross-linked polymer microparticle; microgels; size exclusion chromatography

Source: ISSN: 1790-4439 ; Journal of Nanostructured Polymers and Nanocomposites ; https://hal.science/hal-02046263 ; Journal of Nanostructured Polymers and Nanocomposites, 2006, JNPN, 2, pp.53-60.

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

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