Results 71 to 80 of about 165,947,533 (244)
Houses and/or Jobs: Ownership and the Labour Market in Belgian Districts [PDF]
In a number of papers A.J. Oswald (1996, 1997) argues that high rates of home ownership may imply inferior labour market outcomes. This paper tests the Oswald hypothesis in a panel of 42 Belgian districts since the 1970s.
Daan Isebaert +2 more
core
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
Automating natural deduction for temporal logic [PDF]
We present our recent work on the construction of natural deduction calculi for temporal logic. We analyse propositional linear-time temporal logic (PLTL) and Computation Tree Logic (CTL) and corresponding proof searching algorithms.
Bolotov, A., Grigoriev, O., Shangin, V.
core
Natural deduction calculus for computation tree logic [PDF]
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural deduction construction of the linear-time temporal logic.
Bolotov, A. +5 more
core +1 more source
CLRe: A Synergistic Dual‐Engine Framework for One‐Step Retrosynthesis Prediction
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
Ownership is central to the successful design of many offerings. This is made more evident with large contextual shifts in terms of immaterial ownership, ownership by multiple users, and time dependent ownership.
Aurisicchio, M +3 more
core +1 more source
Unveiling the Ultralow Thermal Conductivity of Hybrid Perovskites
In hybrid perovskites, thermal energy flows through lattice vibrations of the framework (48%–65%) and organic molecules (35%–52%). When the disorder introduced by organic molecules is excluded, the temperature dependence of the vibrational thermal conductivity results from the lattice framework transits from ∼T0 to ∼T−1, and the value doubles at room ...
Qinqin He +3 more
wiley +1 more source
Data‐Driven Discovery of Unconventional Antiferromagnets
A high‐throughput workflow that combines the physics‐informed pre‐screening, high‐throughput exchange calculations, Luttinger‐Tisza analysis and symmetry classification is established for accurate identification of unconventional antiferromagnets from the broad structural database.
Qirui Cui +3 more
wiley +1 more source
The dynamic disulfide bonds facilitated the development of high‐performance aerospace ablation‐resistant materials. At moderate temperature, the dissociation and recombination of disulfide bonds ensured excellent processability, mechanical properties, and recycling ability of phenolic resin; at high temperature, cleavage of disulfide bonds produced ...
Yu Li +9 more
wiley +1 more source

