Ali Assaf
YOU?
Author Swipe
View article: Dedukti: a Logical Framework based on the $\\lambda$$\\Pi$-Calculus Modulo\n Theory
Dedukti: a Logical Framework based on the $\\lambda$$\\Pi$-Calculus Modulo\n Theory Open
Dedukti is a Logical Framework based on the $\\lambda$$\\Pi$-Calculus Modulo\nTheory. We show that many theories can be expressed in Dedukti: constructive\nand classical predicate logic, Simple type theory, programming languages, Pure\ntyp…
View article: Dedukti: a Logical Framework based on the $λ$$Π$-Calculus Modulo Theory
Dedukti: a Logical Framework based on the $λ$$Π$-Calculus Modulo Theory Open
Dedukti is a Logical Framework based on the $λ$$Π$-Calculus Modulo Theory. We show that many theories can be expressed in Dedukti: constructive and classical predicate logic, Simple type theory, programming languages, Pure type systems, th…
View article: Raman Spectroscopy Application in Food Waste Analysis: A Step towards a Portable Food Quality-Warning System
Raman Spectroscopy Application in Food Waste Analysis: A Step towards a Portable Food Quality-Warning System Open
Food waste is one of the main problems contributing to climate change, as its piling up in landfills produces the greenhouse gas methane. Food waste occurs at every stage of food production; however, a major source of food waste occurs at …
View article: Development and Automation of a Bacterial Biosensor to the Targeting of the Pollutants Toxic Effects by Portable Raman Spectrometer
Development and Automation of a Bacterial Biosensor to the Targeting of the Pollutants Toxic Effects by Portable Raman Spectrometer Open
Water quality monitoring requires a rapid and sensitive method that can detect multiple hazardous pollutants at trace levels. This study aims to develop a new generation of biosensors using a low-cost fiber-optic Raman device. An automatic…
View article: A Preliminary Numerical Study to Compare the Physical Method and Machine Learning Methods Applied to GPR Data for Underground Utility Network Characterization
A Preliminary Numerical Study to Compare the Physical Method and Machine Learning Methods Applied to GPR Data for Underground Utility Network Characterization Open
In the field of geophysics and civil engineering applications, ground penetrating radar (GPR) technology has become one of the emerging non-destructive testing (NDT) methods thanks to its ability to perform tests without damaging structure…
View article: Screening of metallic pollution in complex environmental samples through a transcriptomic fingerprint method
Screening of metallic pollution in complex environmental samples through a transcriptomic fingerprint method Open
Characterizing waste ecotoxicity is laborious because of both the undefined nature of environmental samples and the diversity of contaminants that can be present. With regard to these limitations, traditional approaches do not provide info…
View article: Screening of metallic pollution in complex environmental samples through a transcriptomic fingerprint method
Screening of metallic pollution in complex environmental samples through a transcriptomic fingerprint method Open
Characterizing waste ecotoxicity is labourious because of both the undefined nature of environmental samples and the diversity of contaminants that can be present. With regard to these limitations, traditional approaches do not provide inf…
View article: Detection and Effects of Metal and Organometallic Compounds with Microbial Bioluminescence and Raman Spectroscopy
Detection and Effects of Metal and Organometallic Compounds with Microbial Bioluminescence and Raman Spectroscopy Open
Metals and organometallic compounds are well known for their toxic effects on the biosphere. Despite these toxic effects, organometallic compounds are omnipresent in the various environmental compartments (water, air, soil). In this contex…
View article: Encoding Proofs in Dedukti: the case of Coq proofs
Encoding Proofs in Dedukti: the case of Coq proofs Open
International audience
View article: Expressing theories in the λΠ-calculus modulo theory and in the Dedukti system
Expressing theories in the λΠ-calculus modulo theory and in the Dedukti system Open
International audience
View article: CCDC 833753: Experimental Crystal Structure Determination
CCDC 833753: Experimental Crystal Structure Determination Open
An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available …
View article: CCDC 848710: Experimental Crystal Structure Determination
CCDC 848710: Experimental Crystal Structure Determination Open
An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available …
View article: CCDC 848705: Experimental Crystal Structure Determination
CCDC 848705: Experimental Crystal Structure Determination Open
An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available …
View article: CCDC 848701: Experimental Crystal Structure Determination
CCDC 848701: Experimental Crystal Structure Determination Open
An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available …
View article: CCDC 848704: Experimental Crystal Structure Determination
CCDC 848704: Experimental Crystal Structure Determination Open
An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available …
View article: CCDC 848709: Experimental Crystal Structure Determination
CCDC 848709: Experimental Crystal Structure Determination Open
An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available …
View article: CCDC 830862: Experimental Crystal Structure Determination
CCDC 830862: Experimental Crystal Structure Determination Open
An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available …
View article: CCDC 848703: Experimental Crystal Structure Determination
CCDC 848703: Experimental Crystal Structure Determination Open
An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available …
View article: CCDC 848708: Experimental Crystal Structure Determination
CCDC 848708: Experimental Crystal Structure Determination Open
An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available …
View article: CCDC 848700: Experimental Crystal Structure Determination
CCDC 848700: Experimental Crystal Structure Determination Open
An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available …
View article: CCDC 848702: Experimental Crystal Structure Determination
CCDC 848702: Experimental Crystal Structure Determination Open
An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available …
View article: CCDC 848711: Experimental Crystal Structure Determination
CCDC 848711: Experimental Crystal Structure Determination Open
An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available …
View article: CCDC 848698: Experimental Crystal Structure Determination
CCDC 848698: Experimental Crystal Structure Determination Open
An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available …
View article: CCDC 848699: Experimental Crystal Structure Determination
CCDC 848699: Experimental Crystal Structure Determination Open
An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available …
View article: CCDC 848706: Experimental Crystal Structure Determination
CCDC 848706: Experimental Crystal Structure Determination Open
An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available …