Results 11 to 20 of about 81,110 (304)
Towards efficient MUS extraction [PDF]
Minimally Unsatisfiable Subformulas (MUS) find a wide range of practical applications, including product configuration, knowledge-based validation, and hardware and software design and verification. MUSes also find application in recent Maximum Satisfiability algorithms and in CNF formula redundancy removal. Besides direct applications in Propositional
Anton Belov +2 more
openaire +2 more sources
Our current knowledge of the chemical composition of ocean dissolved organic matter (DOM) is limited, mainly because of its extreme molecular diversity, low concentration of individual compounds and the elevated ionic strength of ocean waters.
E. Jerusalén-Lleó +7 more
doaj +1 more source
Efficient extraction of grammatical relations [PDF]
We present a novel approach for applying the Inside-Outside Algorithm to a packed parse forest produced by a unification-based parser. The approach allows a node in the forest to be assigned multiple inside and outside probabilities, enabling a set of 'weighted GRs' to be computed directly from the forest.
Rebecca Watson +2 more
openaire +2 more sources
Chemical extraction methods for activated sludge extracellular polymeric substances (EPS): A review [PDF]
Waste activated sludge (WAS) is formed by a diverse microorganisms, organic and inorganic compounds merged and mixed together in an extracellular polymeric substances (EPS) network.
Yap Branda Jian Tong +2 more
doaj +1 more source
We prepared acetic acid derivatives using three different frameworks, calix[4]arene, alkenyltrimethylol, and trihydroxytriphenylmethane, which differ in the number and size of their coordination sites.
Keisuke Ohto +6 more
doaj +1 more source
Development of an efficient glucosinolate extraction method [PDF]
Glucosinolates, anionic sulfur rich secondary metabolites, have been extensively studied because of their occurrence in the agriculturally important brassicaceae and their impact on human and animal health. There is also increasing interest in the biofumigant properties of toxic glucosinolate hydrolysis products as a method to control agricultural ...
Doheny-Adams, Timothy +4 more
openaire +4 more sources
This study examines the potential of a miniaturized solvent extraction plant (MSXP) to improve the efficiency and reproducibility of laboratory and pilot-scale metallurgical studies that typically require extended testing periods.
Juan Román, Aguirre Solano +1 more
core +1 more source
Evaluation of Regenerability of Ionic Liquid-Impregnated Activated Carbon Adsorbed with PFAS via Chemical and Sonochemical Extraction [PDF]
This study evaluates the extraction efficiency of per- and polyfluoroalkyl substances (PFAS) from ionic liquid (IL)-impregnated activated carbon (AC) that has adsorbed PFAS, compares chemical and sonochemical extraction methods, and assesses adsorbent ...
Aleum Lee, Yongju Choi
doaj +1 more source
Extraction of thiacloprid from honey using aqueous biphasic systems based on potassium phosphate and ionic liquids [PDF]
Thiacloprid, a widely used neonicotinoid pesticide, poses a significant health risk when present in honey. Conventional extraction techniques are often complex and time-consuming, highlighting the need for more efficient methods.
Marić Aleksandar Z. +5 more
doaj +1 more source

