Results 41 to 50 of about 3,012,120 (253)

Diagnostic Limitations in Soil Health Frameworks for Tropical Perennial Systems: A Critical Review and Implications for Regenerative Agriculture in Southeast Asia

Agronomy
Tropical perennial systems in Southeast Asia, including oil palm, rubber, and cocoa, are established on highly weathered soils under monsoonal climates that differ fundamentally from temperate systems for which most soil health frameworks were developed.
Li Sim Ho, Geok Yuan Annie Tan, Julia Ibrahim, Chee-Keng Teh   +3 more
doaj   +1 more source

NFDI MatWerk Ontology (MWO): A BFO‐Compliant Ontology for Research Data Management in Materials Science and Engineering

Advanced Engineering Materials, EarlyView.
This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi, Ebrahim Norouzi, Kostiantyn Hubaiev, Jörg Waitelonis, Harald Sack   +4 more
wiley   +1 more source

Grover Adaptive Search-Based Hybrid Benders Decomposition for Mixed-Integer Linear Programs

IEEE Transactions on Quantum Engineering
Mixed-integer linear programs are widely used to model optimization problems involving both discrete and continuous variables, but remain computationally challenging due to the combinatorial complexity.
Xiaodong Zheng, Ding Lin, Haoyong Chen
doaj   +1 more source

Constraint satisfaction using constraint logic programming [PDF]

Artificial Intelligence, 1992
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Pascal Van Hentenryck, Helmut Simonis, Mehmet Dincbas   +2 more
openaire   +2 more sources

Abstract verification and debugging of constraint logic programs [PDF]

, 2002
The technique of Abstract Interpretation [13] has allowed the development of sophisticated program analyses which are provably correct and practical. The semantic approximations produced by such analyses have been traditionally applied to optimization ...
Pedro López-garcía, Francisco Bueno, Hermenegildo, Manuel V., Bueno Carrillo, Francisco, Germán Puebla, López García, Pedro, Manuel Hermenegildo, Puebla Sánchez, Alvaro Germán   +7 more
core   +1 more source

Field Report from Collaborative Research Center 1625: Heterogeneous Research Data Management Using Ontology Representations

Advanced Engineering Materials, EarlyView.
A unified research data management framework for heterogeneous materials data is presented. The system integrates multimodal datasets using ontologies and knowledge graphs, enabling interoperability and FAIR (findable, accessible, interoperable, reusable) data principles. By linking data across scales and workflows, it supports reproducible, Artifitial
Doaa Mohamed, Samuel García Vázquez, Behnam Mardani, Victor Dudarev, Alfred Ludwig, Maribel Acosta, Markus Stricker   +6 more
wiley   +1 more source

FinanceFuzz: fuzzing smart contracts with financial properties

Blockchain: Research and Applications
Smart contracts are Turing-complete programs that run on blockchain technology, are capable of managing on-chain assets according to predefined logic, and become immutable once deployed on the blockchain.
Jiazhen Gan, Jianzhong Su, Kaixin Lin, Zibin Zheng   +3 more
doaj   +1 more source

A Knowledge‐Based Approach for Understanding and Managing Additive Manufacturing Data

Advanced Engineering Materials, EarlyView.
Additive manufacturing processes generate a large amount of data. Effectively managing, understanding, and retrieving information from this data remains a major challenge. Therefore, we propose an ontology‐based approach to integrate heterogeneous data, enable semantic queries, and support decision‐making.
Mina Abd Nikooie Pour, Prithwish Tarafder, Anton Wiberg, Huanyu Li, Johan Moverare, Patrick Lambrix   +5 more
wiley   +1 more source

Is an Apple an Orange? A Large Language Model Benchmark for Candidate Term Extraction and Subclass Decisions Against Upper Ontologies in Engineering and Materials Science

Advanced Engineering Materials, EarlyView.
Building machine‐readable vocabularies for materials science is slow, expert‐driven work. This study benchmarks 13 large language models on two of its first steps: finding candidate terms in engineering articles and deciding where they belong in a class hierarchy.
Thomas Bjarsch, Maximilian Holland, Klaus Drechsler, Johannes Schilp   +3 more
wiley   +1 more source

Model-Based Test Cases Generation for Range-Sensitive Dataflow Coverage

Кібернетика та комп'ютерні технології
Coverage criteria play a central role in software testing by providing objective measures of test suite adequacy and serving as a foundation for systematic test generation.
Oleksandr Kolchyn, Daria Rudenko
doaj   +1 more source