Results 91 to 100 of about 2,799,711 (314)
Data-oriented parsing with discontinuous constituents and function tags
Journal of Language Modelling, 2016 Statistical parsers are e ective but are typically limited to producing projective dependencies or constituents. On the other hand, linguisti- cally rich parsers recognize non-local relations and analyze both form and function phenomena but rely on ...
Andreas van Cranenburgh +2 more
doaj +1 more source
Advanced Functional Materials, EarlyView.A stretchable and superhydrophobic pF1V1 polymer layer is conformally coated on Zn metal via iCVD, forming a water‐repelling interphase that inhibits the hydrogen evolution reaction. This tailored interface maintains excellent electrolyte compatibility while suppressing dendrite growth, thereby enhancing the long‐term electrochemical stability of Zn ...
Jaeyeon Lee +12 more
wiley +1 more source
, 2018 Logic in the Talmud is a ‘thematic compilation’ by Avi Sion. It collects in one volume essays that he has written on this subject in Judaic Logic (1995) and A Fortiori Logic (2013), in which traces of logic in the Talmud (the Mishna and Gemara) are ...
Sion, Avi
core
Ferroelectricity in Single‐Crystalline BaTiO3 Nanodisks on Silicon
Advanced Functional Materials, EarlyView.Ferroelectricity is studied in 20 nm thick single crystalline BaTiO3 nanodisks when scaling their diameter from ≈ 400 down to 100 nm. For 100 nm diameter, the vertical polarization component adopts three distinct patterns, and the lateral one shows a rotational invariance in‐plane, suggesting a combination of center‐type and flux‐closure domains.
Ibukun Olaniyan +9 more
wiley +1 more source
On Generalized Records and Spatial Conjunction in Role Logic
, 2004 We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases.
Kuncak, Viktor, Rinard, Martin
core +4 more sources
Logic frameworks for logic programs [PDF]
, 1994 We show how logical frameworks can provide a basis for logic program synthesis. With them, we may use first-order logic as a foundation to formalize and derive rules that constitute program development calculi. Derived rules may be in turn applied to synthesize logic programs using higher-order resolution during proof that programs meet their ...
openaire +4 more sources
Frontiers in Psychology, 2016 Whether pitch in language and music is governed by domain-specific or domain-general cognitive mechanisms is contentiously debated. The aim of the present study was to investigate whether mechanisms governing pitch contour perception operate differently ...
Joey L. Weidema +2 more
doaj +1 more source
Advanced Functional Materials, EarlyView.This work demonstrates ultrafast, field‐free spin–orbit torque (SOT) switching using a PtTe2/WTe2/CoFeB multilayer, achieving sub‐nanosecond magnetization reversal with record‐low energy consumption. The PtTe2/WTe2 bilayer generates an intrinsic out‐of‐plane spin current, enabling deterministic switching without external fields.
Qu Yang +7 more
wiley +1 more source