Source: Symposium on Energy Geotechnics ; https://hal.science/hal-04355043 ; Symposium on Energy Geotechnics, Oct 2023, Delft, Netherlands. ⟨10.59490/seg.2023.562⟩

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

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

Conference

Proceedings of the 5th International Workshop 'What can FCA do for Artificial Intelligence?', FCA4AI 2016(co-located with ECAI 2016, The Hague, Netherlands, August 30th 2016)

Authors : Kuznetsov, Sergei, O.; Napoli, Amedeo; Rudolph, Sebastian ...

Subjects: Formal Concept Analysis; Artificial Intelligence; Knowledge DiscoveryThe Hague; Netherlands

Source: FCA4AI at ECAI 2016 ; https://inria.hal.science/hal-01425672 ; Sergei O. Kuznetsov; Amedeo Napoli; Sebastian Rudolph. FCA4AI at ECAI 2016, Aug 2016, The Hague,

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

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

Dissertation/ Thesis

Work-life balance and subjective well-being ; Equilibre entre vie professionnelle et privée et bien-être subjectif

Authors : Dillenseger, Laetitia;

Subjects: Life satisfaction; Parental leave schemes; Informal care

Source: https://theses.hal.science/tel-03648219 ; Economics and Finance. Université de Strasbourg, 2021. English. ⟨NNT : 2021STRAB016⟩.

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

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

Conference

How being in control of the urban sprawl? Tools, evaluation and perspective: Contribution of the French study-case.

Authors : Ginet, Pierre;

Subjects: Urban sprawl; urban planning; geopoliticsOulu; Finland

Source: Processes of metropolisation in north-western Europe. ; https://hal.science/hal-00280997 ; Processes of metropolisation in north-western Europe., Apr 2007, Oulu, Finland

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

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

Conference

Machine-Checked Proofs of Accountability: How to sElect who is to Blame

Authors : Dragan, Constantin Catalin; Dupressoir, François; Gjøsteen, Kristian ...

Subjects: [INFO]Computer Science [cs]The Hague; The Netherlands; Netherlands

Source: Computer Security - ESORICS 2023 - 28th European Symposium on Research in Computer Security, Proceedings ; ESORICS 2023 ; https://hal.science/hal-04216243 ; ESORICS 2023, Sep 2023, The Hague, The

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

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

Conference

An ontology for legal reasoning on data sharing and processing between law enforcement agencies

Authors : Bouché-Pillon, Jérémy; Aussenac-Gilles, Nathalie; Chevalier, Yannick ...

Subjects: Knowledge representation; ontology; legal knowledgeEnschede; Netherlands

Source: Proceedings of the 3rd international workshop KM4LAW – Knowledge Management and Process Mining for Law, July 15--19, 2024, Enschede, Netherlands ; 3rd international

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

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

Conference

A privacy attack on the Swiss Post e-voting system

Authors : Cortier, Véronique; Debant, Alexandre; Gaudry, Pierrick ...

Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]Amsterdam (NETHERLANDS); Netherlands

Source: RWC 2022 - Real World Crypto Symposium ; https://inria.hal.science/hal-03446801 ; RWC 2022 - Real World Crypto Symposium, IACR, Apr 2022, Amsterdam (NETHERLANDS),

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

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

Conference

MATTER LOSS QUANTIFICATION AND CHEMICAL ANALYSIS FOR THE DIAGNOSIS OF POWDERING: THE CASE STUDY OF THE CHAPEL OF MAUREPAS, CHAMBORD, FRANCE

Authors : Balawi, Malek; Beck, Kévin; Janvier, Romain ...

Subjects: Powdering; sodium chloride; 3D surveyDelft; Netherlands

Source: Fifth International Conference on SALT WEATHERING OF BUILDINGS AND STONE SCULPTURES (SWBSS 2021) ; https://hal.science/hal-03553027 ; Fifth International Conference on SALT WEATHERING OF BUILDINGS AND

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

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

Conference

ANALYSIS OF SPALLING IN TUFFEAU: CASE STUDY OF THE CASTLES OF CHAMBORD AND CHAUMONT-SUR-LOIRE IN FRANCE

Authors : Janvier-Badosa, Sarah; Beck, Kévin; Balawi, Malek ...

Subjects: Spalling; gypsum; limestoneDelft; Netherlands

Source: Fifth International Conference on SALT WEATHERING OF BUILDINGS AND STONE SCULPTURES (SWBSS 2021) ; https://hal.science/hal-03553016 ; Fifth International Conference on SALT WEATHERING OF BUILDINGS AND

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

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

Conference

Leaf-First Zipper Semantics

Authors : Lenglet, Sergueï; Schmitt, Alan;

Subjects: Process calculi; Abstract machines; Scope extrusionGroningen; Netherlands

Source: FORTE 2024, LNCS ; FORTE 2024 - 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems ; https://inria.hal.science/hal-04571340 ; FORTE 2024 - 44th

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

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

نتائج البحث

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

Coupled Thermo-Hydraulic Modelling of Heat Storage in an Embankment

Proceedings of the 5th International Workshop 'What can FCA do for Artificial Intelligence?', FCA4AI 2016(co-located with ECAI 2016, The Hague, Netherlands, August 30th 2016)

Work-life balance and subjective well-being ; Equilibre entre vie professionnelle et privée et bien-être subjectif

How being in control of the urban sprawl? Tools, evaluation and perspective: Contribution of the French study-case.

Machine-Checked Proofs of Accountability: How to sElect who is to Blame

An ontology for legal reasoning on data sharing and processing between law enforcement agencies

A privacy attack on the Swiss Post e-voting system

MATTER LOSS QUANTIFICATION AND CHEMICAL ANALYSIS FOR THE DIAGNOSIS OF POWDERING: THE CASE STUDY OF THE CHAPEL OF MAUREPAS, CHAMBORD, FRANCE

ANALYSIS OF SPALLING IN TUFFEAU: CASE STUDY OF THE CASTLES OF CHAMBORD AND CHAUMONT-SUR-LOIRE IN FRANCE

Leaf-First Zipper Semantics

اتصل بنا

اتبع