Results 51 to 60 of about 7,729,210 (329)
Checking Computations of Formal Method Tools - A Secondary Toolchain for ProB
, 2014 We present the implementation of pyB, a predicate - and expression - checker for the B language. The tool is to be used for a secondary tool chain for data validation and data generation, with ProB being used in the primary tool chain.
Leuschel, Michael, Witulski, John
core +2 more sources
Advanced Functional Materials, EarlyView.This review systematically highlights the latest achievements in mixed‐valence states relevant to hydrogen and oxygen evolution reactions, providing essential insights into future directions and methods for large‐scale practical implementation. This critical review is expected to provide an overview of recent advancements in diverse valence‐state metal
Jitendra N. Tiwari +4 more
wiley +1 more source
Complex Question Decomposition for Semantic Parsing
Annual Meeting of the Association for Computational Linguistics, 2019 In this work, we focus on complex question semantic parsing and propose a novel Hierarchical Semantic Parsing (HSP) method, which utilizes the decompositionality of complex questions for semantic parsing.
Haoyu Zhang +3 more
semanticscholar +1 more source
Advanced Robotics Research, EarlyView.Permanent magnet putty (PMP) integrates high‐coercivity NdFeB particles with a dynamic polyborosiloxane–Ecoflex matrix, achieving rapid self‐healing (90% mechanical recovery in 10 s) and magnetic recovery within 20 min. With twice the sensitivity of commercial putties, PMP enables precise 5–30 N force detection and discrimination between pressing and ...
Ruotong Zhao +5 more
wiley +1 more source
Verbal predicate in the nominal predicate
Rasprave Instituta za Hrvatski Jezik i Jezikoslovlje, 2004 The paper considers the incorporation of the verbal predicate into the nominal predicate. It occurs in subordinate-complex predicate clauses. The nominal predicate is in the main and the verbal in the subordinate clause.
Mirko Peti
doaj
Relating metaphor syntax to metaphor features: An empirical approach
Cogent Arts & HumanitiesThe study investigates the relationship between syntactic structure and metaphor features – quality, aptness, familiarity, and comprehensibility – using metaphorical expressions collected from Serbian poetry.
Ivana Mitić +2 more
doaj +1 more source
Urdu Conjunct Predicates (N+V) Inventory from Urdu Universal Dependency Corpus
Corporum, 2021 This research study aims to develop a semantic inventory of Urdu nouns which may serve as a useful resource for developing natural language processing tools.
Farhat Abdullah +2 more
doaj
A logic programming framework for modeling temporal objects [PDF]
, 1996 Published ...
Kesim, FN, Sergot, M
core +1 more source
Liquid Crystalline Elastomers in Soft Robotics: Assessing Promise and Limitations
Advanced Robotics Research, EarlyView.Liquid crystalline elastomers (LCEs) are programmable soft materials that undergo large, anisotropic deformation in response to external stimuli. Their molecular alignment encodes directional actuation in a monolithic structure, making them long‐standing candidates for soft robotic systems.
Justin M. Speregen, Timothy J. White
wiley +1 more source
Revista de Lenguas para Fines Específicos, 2015 The corpus-based study presented here examines the use of make-complex predicates in nineteenth-century Astronomy. The texts analysed have been taken from the first published section of the Coruña Corpus, the Corpus of English Texts on Astronomy (CETA ...
Inés Lareo
doaj