المؤلفون: A. Sedova, Diego Carotti, Jérémie Messud, Gilles Lambaré, Olivier Hermant

المصدر: First Break. 39:45-53

مصطلحات موضوعية: Geophysics, Norm (mathematics), Applied mathematics, Inversion (meteorology), Rotation formalisms in three dimensions, Geology, Full waveform

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::bf2b4d48ae1edeace62ab385b945acc6
https://doi.org/10.3997/1365-2397.fb2021090

المؤلفون: Olivier Hermant, Oleg Khakimov, Carlos Barajas, Bastian Hutahayan, Mohamed Mahgoub, Guillaume Cambois

المصدر: Day 3 Wed, November 02, 2022.

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::48e859b0c53c06732f7e8b9cd27155f9
https://doi.org/10.2118/211703-ms

المؤلفون: Lisa Allali, Olivier Hermant

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cri.ensmp.fr/people/hermant/docs/2014/SemanticTranslation.pdf.

مصطلحات موضوعية: Deduction modulo, cut elimination, A-translation, pseudo- Heyting algebra, super-consistency

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.719.2909; http://www.cri.ensmp.fr/people/hermant/docs/2014/SemanticTranslation.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.719.2909
http://www.cri.ensmp.fr/people/hermant/docs/2014/SemanticTranslation.pdf

المؤلفون: David Delahaye, Damien Doligez, Frédéric Gilbert, Pierre Halmagr, Olivier Hermant

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cri.ensmp.fr/classement/doc/A-550.pdf.

مصطلحات موضوعية: Tableaux, Deduction Modulo, Rewriting, Automated The- orem Proving, Proof Checking, Zenon, Dedukti

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.641.6424; http://www.cri.ensmp.fr/classement/doc/A-550.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.641.6424
http://www.cri.ensmp.fr/classement/doc/A-550.pdf

المؤلفون: David Delahaye, Damien Doligez, Frédéric Gilbert, Pierre Halmagr, Olivier Hermant

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cri.ensmp.fr/classement/doc/A-551.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.641.2615; http://www.cri.ensmp.fr/classement/doc/A-551.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.641.2615
http://www.cri.ensmp.fr/classement/doc/A-551.pdf

المؤلفون: Olivier Hermant, James Lipton

المساهمون: Centre de Recherche en Informatique (CRI), MINES ParisTech - École nationale supérieure des mines de Paris, Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL), Université Paris sciences et lettres (PSL), Wesleyan University

المصدر: TEASE-LP: Workshop on Trends, Extensions, Applications and Semantics of Logic Programming
TEASE-LP: Workshop on Trends, Extensions, Applications and Semantics of Logic Programming, May 2020, Paris, France
HAL

مصطلحات موضوعية: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, [INFO]Computer Science [cs]

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3ba3cdae98b7185e2052f3349d1a0bde
https://hal.archives-ouvertes.fr/hal-02958328/document

المؤلفون: Thibaut Allemand, Gilles Lambaré, A. Sedova, Olivier Hermant, G. Royle

المصدر: First Break. 37:75-81

مصطلحات موضوعية: Regional geology, Hydrogeology, Engineering geology, Inversion (meteorology), Gemology, 010502 geochemistry & geophysics, 01 natural sciences, Geophysics, Economic geology, Igneous petrology, Geology, Seismology, 0105 earth and related environmental sciences, Environmental geology

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ad3f7ad94a6812d91dc6ebdec9728a1b
https://doi.org/10.3997/1365-2397.n0010

المؤلفون: Mathieu Boespflug, Quentin Carbonneaux, Olivier Hermant

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cri.ensmp.fr/people/hermant/docs/2012/PxTP.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.706.3363; http://www.cri.ensmp.fr/people/hermant/docs/2012/PxTP.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.706.3363
http://www.cri.ensmp.fr/people/hermant/docs/2012/PxTP.pdf

المؤلفون: Denis Cousineau, Olivier Hermant

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://hal.inria.fr/docs/00/74/32/84/PDF/SemanticProof.pdf.

مصطلحات موضوعية: reducibility candidates, pre-)Heyting algebras. Digital Object Identifier 10.4230/LIPIcs.RTA.2012.133 Category Regular Resear

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.397.5989; http://hal.inria.fr/docs/00/74/32/84/PDF/SemanticProof.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.397.5989
http://hal.inria.fr/docs/00/74/32/84/PDF/SemanticProof.pdf

المؤلفون: Truong Giang Le, Olivier Hermant, Matthieu Manceny, Renaud Pawlak

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://hal.inria.fr/docs/00/63/95/56/PDF/Dynamic_Adaptation_through_Event_Reconfiguration.pdf.

مصطلحات موضوعية: maintaining software systems is hard and resource-consuming because they are

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.400.2256; http://hal.inria.fr/docs/00/63/95/56/PDF/Dynamic_Adaptation_through_Event_Reconfiguration.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.400.2256
http://hal.inria.fr/docs/00/63/95/56/PDF/Dynamic_Adaptation_through_Event_Reconfiguration.pdf

المؤلفون: Gilles Dowek, Olivier Hermant

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cri.ensmp.fr/classement/doc/A-516.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.294.9798; http://www.cri.ensmp.fr/classement/doc/A-516.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.294.9798
http://www.cri.ensmp.fr/classement/doc/A-516.pdf

المؤلفون: Olivier Hermant

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://hal.inria.fr/docs/00/74/32/18/PDF/Resolution_CutFree-3.pdf.

مصطلحات موضوعية: classical sequent calculus, cut-free, cut rule, deduction modulo, ENAR, resolution, rewriting, skolemization, Skolem theorem

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.393.1493; http://hal.inria.fr/docs/00/74/32/18/PDF/Resolution_CutFree-3.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.393.1493
http://hal.inria.fr/docs/00/74/32/18/PDF/Resolution_CutFree-3.pdf

المؤلفون: Gilles Dowek, Olivier Hermant

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://hal.inria.fr/docs/00/74/32/56/PDF/cuts.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.393.1393; http://hal.inria.fr/docs/00/74/32/56/PDF/cuts.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.393.1393
http://hal.inria.fr/docs/00/74/32/56/PDF/cuts.pdf

المؤلفون: Richard Bonichon, Olivier Hermant

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.lix.polytechnique.fr/~hermant/SemanticTableauxModulo.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.486.4232; http://www.lix.polytechnique.fr/~hermant/SemanticTableauxModulo.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.486.4232
http://www.lix.polytechnique.fr/~hermant/SemanticTableauxModulo.pdf

المؤلفون: Olivier Hermant

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.lix.polytechnique.fr/Labo/Olivier.Hermant/SeqCal.pdf.

مصطلحات موضوعية: intuitionistic sequent calculus, Kripke Structure, semantic, deduction modulo, cut admissibility

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.2213; http://www.lix.polytechnique.fr/Labo/Olivier.Hermant/SeqCal.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.2213
http://www.lix.polytechnique.fr/Labo/Olivier.Hermant/SeqCal.pdf

المؤلفون: Hany Mohamed Hassan, Abdullah Al Maamari, Olivier Hermant, Jack Ng, Sulaim Al Maani

المصدر: Interpretation. 5:SR35-SR41

مصطلحات موضوعية: geography, geography.geographical_feature_category, 010504 meteorology & atmospheric sciences, Geophysical imaging, media_common.quotation_subject, Volume (computing), Drilling, Geology, Fault (geology), 010502 geochemistry & geophysics, 01 natural sciences, Image (mathematics), Data set, Geophysics, Critical success factor, Quality (business), Seismology, 0105 earth and related environmental sciences, Remote sensing, media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b09d7e2827018400823c5da54a175a39
https://doi.org/10.1190/int-2017-0040.1

المؤلفون: A. Aziz, M. Al Jahdhami, Olivier Hermant, S. Warzocha

المصدر: EAGE 2020 Annual Conference & Exhibition Online.

مصطلحات موضوعية: Horizon (geology), Shore, geography, geography.geographical_feature_category, Convergence (routing), Context (language use), Inversion (meteorology), Fault (power engineering), Residual, Model building, Seismology, Geology

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::28dbf0aa87899ec299e07897b5d65f56
https://doi.org/10.3997/2214-4609.202010734

المؤلفون: M. Reinier, D. Carotti, A. Sedova, Olivier Hermant, S. Masclet, J. Messud, G. Lambaré

المصدر: EAGE 2020 Annual Conference & Exhibition Online.

مصطلحات موضوعية: Geophysics, Inversion (discrete mathematics), Geology, Full waveform

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ca4c93989c30306ce2c73f714c9d3a15
https://doi.org/10.3997/2214-4609.202011288

المؤلفون: Frédéric Blanqui, Guillaume Genestier, Olivier Hermant

المساهمون: Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM), Laboratoire Spécification et Vérification [Cachan] (LSV), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS), Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Centre de Recherche en Informatique (CRI), MINES ParisTech - École nationale supérieure des mines de Paris, Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL), Marc Bezem, Niels van der Weide, Mines Paris - PSL (École nationale supérieure des mines de Paris)

المصدر: FSCD 2019-4th International Conference on Formal Structures for Computation and Deduction
FSCD 2019-4th International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany. ⟨10.4230/LIPIcs.FSCD.2019.9⟩
TYPES 2019-25th International Conference on Types for Proofs and Programs
TYPES 2019-25th International Conference on Types for Proofs and Programs, Jun 2019, Oslo, Norway. pp.30-31
HAL

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Dependent Types, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], ComputingMilieux_MISCELLANEOUS, Logic in Computer Science (cs.LO), Dependency Pairs, Termination, Higher-Order Rewriting

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::20e987b76c26da217afa272fd0eef820
https://hal.inria.fr/hal-01943941v4/document

المؤلفون: J. Messud, S. Al Abri, G. Royle, M. Al Jahdhami, Gilles Lambaré, Olivier Hermant, A. Sedova, M. Retailleau

المصدر: 81st EAGE Conference and Exhibition 2019 Workshop Programme.

مصطلحات موضوعية: Regional geology, Offset (computer science), Engineering geology, Broadband, Inversion (meteorology), Economic geology, Palaeogeography, Geology, Environmental geology, Remote sensing

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::88c03744912c8d2a3988fe4ea139f3aa
https://doi.org/10.3997/2214-4609.201901954