Results 111 to 120 of about 405,638 (322)
APPROXIMATE EXTENSIONS IN DEFAULT LOGIC [PDF]
Yihua Shi, Setsuo Arikawa
openalex +1 more source
A test system of 14 singly protonated bis‑pyridine salts, with varying H‑bonded and London dispersion interactions, was designed to systematically study non‑covalent interactions across the gas, solution, and solid phases. A good correlation between the 1H chemical shift and the N‐H–N angle from the crystal structures was established.
Adélaïde Savoy +3 more
wiley +1 more source
Recipe‐Free Synthesis of Optimal Operation Trajectories for Batch Processes Based on Process Models
Optimal operation strategies for complete batch cycles that start and end in a cold and empty state are obtained based on an explicit formulation of all constraints and optimization. Benefits and limitations of the approach are assessed. A case study on a batch distillation column demonstrates improvement over a traditional recipe‐based benchmark ...
Torben Talis +3 more
wiley +1 more source
Default reasoning in a terminological logic
Summary: Terminological logics (TLs) are knowledge representation formalisms of considerable applicative interest, as they are specifically oriented to the vast class of application domains that are describable by means of taxonomic organizations of complex objects.
Sebastiani F, Straccia U
openaire +2 more sources
Abstract Biodiesel production from waste cooking oil (WCO) has emerged owing to growing interest in sustainable energy sources. Geopolymers synthesized from industrial wastes, such as blast furnace slag (BFS), are promising catalysts because of their environmental benefits and catalytic properties.
Pascal Mwenge +3 more
wiley +1 more source
A New Research into Default Logic
AbstractIn previous papers some important properties of extensions of general default theories were given. In order to dedicate further research to default logic, a characterization of extensions is presented again and some new algorithms for reasoning tasks in default logic are presented in this paper.
openaire +2 more sources
Tandem mass spectrum to decision (MS2DECIDE) leverages decision theory and expert knowledge to aggregate the outputs of three widely used annotation tools (GNPS, Sirius, and ISDB‐LOTUS) and compute a recommendation for targeting natural products with regard to their potential novelty.
Yassine Mejri +7 more
wiley +1 more source
Drilling Rig Hoisting Platform Security Monitoring System Design and Application
Drilling rig hoisting platform security monitoring system has played a very important role in oil exploration. And drilling parameters and working condition of workers are particularly important, because these parameters indicate that whether the ...
Junjiang He, Min Luo
doaj +1 more source
Pharmacogenomics enables the personalization of drug therapy by linking genetic variations to differences in drug metabolism, efficacy, and risk of adverse reactions. Genetic polymorphisms within cytochrome P450 (CYP) genes significantly affect enzyme activity, influencing drug plasma levels, responses, and safety.
Alex J. Coulter +4 more
wiley +1 more source
Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in SystemP [PDF]
Veronica Biazzo +3 more
openalex +1 more source

