Results 81 to 90 of about 40,361 (263)
Proceedings of the 2018 World Wide Web Conference on World Wide Web - WWW '18, 2018 Text-based knowledge extraction methods for populating knowledge bases have focused on binary facts: relationships between two entities. However, in advanced domains such as health, it is often crucial to consider ternary and higher-arity relations. An example is to capture which drug is used for which disease at which dosage (e.g.
Ernst, P., Siu, A., Weikum, G.
openaire +2 more sources
Extensive Review of Materials for Next‐Generation Transparent Batteries and Their Design Strategies
Advanced Functional Materials, EarlyView.Review explores emerging materials and design strategies for transparent batteries, examining electrodes, electrolytes, separators, and device architectures optimized for high electrochemical performance, mechanical flexibility, and optical transparency.
Atul Kumar Mishra +5 more
wiley +1 more source
ДискурсIntroduction. The article continues a series of publications on R-linguistics and is dedicated to the ternary hypothesis and the problem of modeling the world associated with it.
O. M. Polyakov
doaj +1 more source
Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence [PDF]
Logical Methods in Computer Science, 2019 It is well known that the length of a beta-reduction sequence of a simply typed lambda-term of order k can be huge; it is as large as k-fold exponential in the size of the lambda-term in the worst case.
Kazuyuki Asada +3 more
doaj +1 more source
Advanced Functional Materials, EarlyView.PTFE nanoparticle–anchored rGO (rGO@PTFE) for scalable solvent‐free fabrication of ultra‐thick, high‐density cathodes, achieving high conductivity (9.55 S cm−1), lithium transference (0.73), and improved wettability, is developed. The resulting cathode delivers 15.2 mAh cm−2 areal and 563 mAh cm−3 volumetric capacities, with full cells exhibiting 637 ...
Juhee Yoon +7 more
wiley +1 more source
A categorical approach to abstract convex spaces and interval spaces
Open Mathematics, 2019 In this paper, we establish the axiomatic conditions of hull operators and introduce the category of interval spaces. We also investigate their relations with convex spaces from a categorical sense.
Wang Bing, Li Qing-Hua, Xiu Zhen-Yu
doaj +1 more source
Arity hierarchy for temporal logics
Theoretical Computer Science, 2008 The paper studies the expressive power of temporal logics over trees. The main result states that in contrast to Kamp's theorem (stating, inter alia, that the temporal logic with ``Until'' and ``Since'' is expressively complete for the monadic first-order logic over the linear order of natural numbers), for every \(n\) there is a modality of arity \(n\)
openaire +2 more sources
Geometrically‐Screened, Sterically‐Hindered Additive for Wide‐Temperature Aqueous Zinc‐Ion Batteries
Advanced Functional Materials, EarlyView.A molecular‑engineering strategy combining steric hindrance tuning with geometric optimization identifies cellobiose as an ideal additive for aqueous zinc‑ion batteries, enabling stable Zn deposition across a wide temperature range from −30 to 50 °C. Abstract Aqueous zinc‐ion batteries (AZIBs) are emerging as a highly promising alternative to lithium ...
Sida Zhang +13 more
wiley +1 more source
On Exact Algorithms for Permutation CSP
, 2012 In the Permutation Constraint Satisfaction Problem (Permutation CSP) we are given a set of variables $V$ and a set of constraints C, in which constraints are tuples of elements of V.
Goncalves, Daniel, Kim, Eun Jung
core +1 more source
On the variable hierarchy of first-order spectra
, 2015 The spectrum of a first-order logic sentence is the set of natural numbers that are cardinalities of its finite models. In this paper we study the hierarchy of first-order spectra based on the number of variables.
Kopczynski, Eryk, Tan, Tony
core +1 more source