Results 61 to 70 of about 165,947,536 (248)
07401 Abstracts Collection – Deduction and Decision Procedures [PDF]
, 2007 From 01.10. to 05.10.2007, the Dagstuhl Seminar 07401 ``Deduction and Decision Procedures'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.
Giesl, Jürgen +3 more
core +1 more source
Advanced Science, EarlyView.Using grilled lamb skewers as a model system, this work builds a multiscale coupling framework from oral processing to retronasal aroma perception, reveals dual‐kinetic release patterns and Electroencephalogram‐characterized central encoding features, and proposes an interpretable physics‐guided deep learning model validated by multiphysics simulation,
Che Shen +12 more
wiley +1 more source
Offline Specialisation in Prolog Using a Hand-Written Compiler Generator [PDF]
, 2004 The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evaluation of both functional and imperative languages.
Vanhoof, Wim; id_orcid +5 more
core +1 more source
Selective Catalytic Production of Urea: Unravelling the Pairwise Competition on p‐d Alloy Catalysts
Advanced Science, EarlyView.Unraveling the complicated competition in urea electrosynthesis, this work investigates asymmetric p‐d alloys. We establish two stage‐specific descriptors, Anchoring Affinity and Coupling Propensity, to elegantly quantify thermodynamic bottlenecks.
Qingchao Fang +6 more
wiley +1 more source
, 2002 In earlier work it has been shown that finite state CTL model checking of reactive systems can be achieved by a relatively simple interpreter written in tabled logic programming.
Massart, Thierry, Leuschel, Michael
core +1 more source
Advanced Science, EarlyView.This study maps out the hierarchical ordering in 1:2 B‐site complex perovskite ceramics using a comprehensive multiscale characterization route. It turns out that intradomain strain, oxygen vacancies, and Mg disorder within the ordered domains act as strong phonon scatterers.
Qingqiao Fu +6 more
wiley +1 more source
Content and boundaries of the primary real estate market as an object of statistical research
Статистика и экономика, 2019 The primary real estate market is one of the youngest segments of the market economy in modern Russia. If the genesis of the modern secondary market was observed in the pre-reform period: barter relations in terms of urban housing, the purchase and sale ...
Dmitry V. Dianov, Pavel A. Smelov
doaj +1 more source
CLRe: A Synergistic Dual‐Engine Framework for One‐Step Retrosynthesis Prediction
Advanced Science, EarlyView.CLRe uses a contrastive difficulty score to order pretrained seq2seq fine‐tuning for retrosynthesis. Reaction embeddings define the ranking score, and a cumulative easy‐to‐hard schedule expands from the easiest subset to the full training set while earlier examples remain active.
Tianhao Su +5 more
wiley +1 more source
Future Business JournalPromoting the sustainable development of intelligent manufacturing enterprises is crucial for driving the green and efficient transformation of the manufacturing sector while safeguarding the ecological environment.
Mingli Chen, Han Xu, Fa Tian, Li Ji
doaj +1 more source
Divergent Jurisprudential Paradigms of Productive Zakat
Mazahibuna: Jurnal Perbandingan MazhabThis study examines productive zakat not merely as a managerial instrument for economic empowerment, but as a manifestation of contemporary Islamic legal ijtihād (independent legal reasoning) shaped by divergent jurisprudential paradigms. Situated within
Ending Solehudin +3 more
doaj +1 more source