Results 121 to 130 of about 494,717 (236)

Mapping SDL Specification Fundamentals to Core SDL Ontology

Journal of Communications Software and Systems, 2010
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  

Formal specification and verification [PDF]

, 2019
Beyond his seminal contributions to the theory and the design of concurrent and distributed algorithms, Leslie Lamport has throughout his career worked on methods and formalisms for rigorously establishing the correctness of algorithms.
openaire   +2 more sources

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

Enhanced Gamma Radiation Shielding Using Epoxy Quartz Fabric Composites Reinforced With CoCl2 Microparticles

Advanced Engineering Materials, EarlyView.
The growing demand for lightweight, nontoxic, and multifunctional gamma shielding materials has intensified efforts to find alternatives to conventional lead and aluminum‐based protectants. In this work, we develop epoxy quartz fabric composites reinforced with cobalt chloride (CoCl2) microparticles, fabricated via hand lay‐up with varying filler ...
Summan Urooge, Ahsan Irshad, Umar Jamil, Srosh Fazil, Khuram Liaqat, Kashif Shahzad, Fakhar Alam, Mehboob Alam   +7 more
wiley   +1 more source

Reduction of Oxide Inclusions During the High‐Frequency Welding of Steel via a Nonthermal Ar/H2 Plasma Jet

Advanced Engineering Materials, EarlyView.
High‐frequency (HF) welding of steel is limited by oxide inclusions that degrade weld quality. This study demonstrates, for the first time, the integration of a nonthermal Ar/H2 dielectric barrier discharge (DBD) plasma jet into HF welding. Local plasma treatment provides effective shielding and in‐situ oxide reduction, resulting in markedly fewer and ...
Viktor Udachin, Lienhard Wegewitz, René Gustus, Henning Wiche, Wolfgang Maus‐Friedrichs   +4 more
wiley   +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

A Topology Optimization Framework for the Inverse Design of Nonlinear Mechanical Metamaterials

Advanced Engineering Materials, EarlyView.
This work uses topology optimization to design unit cells for mechanical metamaterials with a prescribed nonlinear stress–strain response. The framework adds contact and postbuckling modeling to synthesize microstructures for three highly nonlinear responses, including pseudoductile behavior, monostable with snap‐through buckling, and bistable ...
Charlie Aveline, Matthew Santer, Robert Hewson   +2 more
wiley   +1 more source

Cryo‐EM of Rationally Designed Photosystem I Nanoassembly on Graphene Validates Orientation‐Driven Enhancement of Photocatalytic Performance

Advanced Functional Materials, EarlyView.
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, Margot Jacquet, Tomasz Góral, Marcin Strawski, Takayuki Fujiwara, Shin‐ya Miyagishima, Joanna Kargul   +6 more
wiley   +1 more source

Supraparticles Composed of Graphitic Carbon Nitride Nanoparticles and Silica‐Supported Horseradish Peroxidase as Customizable Hybrid Catalysts for Photo‐Biocatalytic Cascade Reactions in Continuous Flow

Advanced Functional Materials, EarlyView.
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, Egzon Cermjani, Doris Hanselmann, Johannes Prieschl, Angelika Schmitt, Michael S. Moritz, Christian Papp, Greta Nölke, Stefano Di Fiore, Christoph Deckers, Thomas H. Rehm, Susanne Wintzheimer   +11 more
wiley   +1 more source

Germanane Quantum Dots Promote Metabolic Reprogramming of Immune Cells Toward Regulatory T Cells and Suppress Inflammation In Vitro and In Vivo

Advanced Functional Materials, EarlyView.
Metabolic changes in immune cells direct the phenotype and function of the host immune system. Smart nanomaterials must target metabolic pathways to direct immune cell fate. This study reports the fabrication and first application of germanane quantum dots (GeHQDs) to modulate inflammation in vitro and in vivo.
Abhay Srivastava, Alireza Rafieerad, Weiang Yan, Keshav Narayan Alagarsamy, Qingdong Guan, Leena Regi Saleth, Michel Aliani, Sanjiv Dhingra   +7 more
wiley   +1 more source