Results 51 to 60 of about 482,181 (288)
Innovating Aircraft Repair Processes: The Role of Digitalization in Sustainability
Advanced Engineering Materials, EarlyView.This research explores how digitalization—by storing detailed non‐destructive testing data in structured DICONDE databases and creating a standard data model of the component—innovates aviation maintenance and repair processes. Coupled with a developed state‐based simulation model, it enables data‐driven, sustainable repair strategies that reduce waste,
Johanna Aigner +3 more
wiley +1 more source
Defeasible logic programming: language definition, operational semantics, and parallelism
Journal of Computer Science and Technology, 2001 This thesis defines Defeasible Logic Programming and provides a concrete specification of this new language through its operational semantics. Defeasible Logic Programming, or DeLP for short, has been defined based on the Logic Programming paradigm and ...
Alejandro Javier García
doaj
Logic Macroprogramming for Wireless Sensor Networks
International Journal of Distributed Sensor Networks, 2012 It is notoriously difficult and tedious to program wireless sensor networks (WSNs). To simplify WSN programming, we propose Sense2P, a logic macroprogramming system for abstracting, programming, and using WSNs as globally deductive databases.
Supasate Choochaisri +2 more
doaj +1 more source
Advanced Engineering Materials, EarlyView.The documentation of component manufacture has become an essential part of today's production processes, especially for the analysis and optimization of production or component design with regard to structural performance, economic efficiency, and sustainability.
Björn Denker +4 more
wiley +1 more source
Latest features of the ecosystem management decision support system, version 8.0
Frontiers in Environmental Science, 2023 The Ecosystem Management Decision Support (EMDS) system is a spatially enabled system for environmental analysis and strategic and tactical planning. EMDS combines various sophisticated analytical tools within a GIS environment.
K. M. Reynolds +5 more
doaj +1 more source
Mixed logical-linear programming
Discrete Applied Mathematics, 1999 Mixed logical/linear programming (MLLP) is an extension of mixed integer/linear programming (MILP). It can represent the discrete elements of a problem with logical propositions and provides a more natural modeling framework than MILP. It can also have computational advantages, partly because it eliminates integer variables when they serve no purpose ...
Hooker, J.N., Osorio, M.A.
openaire +2 more sources
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 +4 more
wiley +1 more source
From Logic to Functional Logic Programs
Theory and Practice of Logic Programming, 2022 AbstractLogic programming is a flexible programming paradigm due to the use of predicates without a fixed data flow. To extend logic languages with the compact notation of functional programming, there are various proposals to map evaluable functions into predicates in order to stay in the logic programming framework. Since amalgamated functional logic
openaire +2 more sources
Advanced Engineering Materials, EarlyView.High‐temperature interactions between low‐sulfur Al‐killed Mn–B steel and MgO–C refractories (0 and 50 wt% recyclates) are studied via finger immersion tests (1600 °C). Surface‐active elements influence infiltration. MgO/CaS layer forms, along with spinel and calcium silicate.
Matheus Roberto Bellé +5 more
wiley +1 more source
Towards Interactive Logic Programming [PDF]
, 2015 Linear logic programming uses provability as the basis for computation. In the operational semantics based on provability, executing the additive-conjunctive goal $G_1 \& G_2$ from a program $P$ simply terminates with a success if both $G_1$ and $G_2 ...
Kwon, Keehang, Park, Mi-Young
core