Results 111 to 120 of about 1,643,554 (351)
Predicting extreme defects in additive manufacturing remains a key challenge limiting its structural reliability. This study proposes a statistical framework that integrates Extreme Value Theory with advanced process indicators to explore defect–process relationships and improve the estimation of critical defect sizes. The approach provides a basis for
Muhammad Muteeb Butt +8 more
wiley +1 more source
On Formal Specification of Emergent Behaviours in Swarm Robotic Systems
It is a characteristic of swarm robotics that specifying overall emergent swarm behaviours in terms of the low-level behaviours of individual robots is very difficult.
Clare Dixon +4 more
doaj
Compiler generation using formal specification of procedure-oriented and machine languages [PDF]
Philip Gilbert, William G. McLellan
openalex +1 more source
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
Cu‐based catalysts as a cornerstone in advancing sustainable energy technologies are fully reviewed in this manuscript, highlighting their potential in photo‐ and electrocatalysis. It includes metallic copper, copper oxides, copper sulfides, copper halide perovskites, copper‐based metal–organic frameworks (MOFs), and covalent organic frameworks (COFs),
Jéssica C. de Almeida +16 more
wiley +1 more source
The first cryo‐EM visualization and quantification of oriented Photosystem I (PSI) on single‐layer graphene is reported. Domain‐specific covalent anchoring of PSI, with the reducing side of the biophotocatalyst toward graphene, promotes three‐fold higher anodic photocurrent generation compared to a randomly physisorbed counterpart. This approach allows
Miriam Izzo +6 more
wiley +1 more source
Formal Specification of Design Patterns - A Balanced Approach. [PDF]
Toufik Taibi, David Chek Ling Ngo
openalex +1 more source
Herein presented supraparticles combine the nanoparticulate photocatalyst graphitic carbon nitride with the enzyme horseradish peroxidase, which is immobilized on silica nanoparticles. In an optimized compatibility range, both catalysts operate effectively within the hybrid supraparticles and catalyze a cascade reaction consisting of the photocatalytic
Bettina Herbig +11 more
wiley +1 more source
MAMAWEL is introduced as the first calibration‐free potentiometric sensor for at‐home mastitis diagnosis. By measuring the sodium‐to‐potassium ratio in breast milk, the device reliably differentiates between healthy and mastitis‐affected samples with less than 10% error.
Ali Soleimani +9 more
wiley +1 more source
Mapping SDL Specification Fundamentals to Core SDL Ontology
This paper gives a contribution in the efforts of Semantic web ontology development. We have developed the core ontology for Specification and Description Language (SDL),an object-oriented, formal language defined by the International Telecommunications ...
Marina Bagić Babac, Marijan Kunštić
doaj

