Results 111 to 120 of about 2,084,052 (380)
This study investigates the photosensitizing potential of Passiflora cincinnata in Antimicrobial Photodynamic Therapy (aPDT) against skin infection caused by Methicillin‐resistant Staphylococcus aureus (MRSA) in a senescent murine model. The P. cincinnata exhibits antimicrobial activity, with reduced bacterial load, lower leukocyte infiltration, and ...
Caroline Vieira Gonçalves +14 more
wiley +1 more source
Formally defined Specification and Description Language (SDL) is used for the design and specification of complex safety-critical systems. Each change in the specification of the product should be immediately checked formally against the requirements ...
Bostjan Vlaovic +2 more
doaj +1 more source
This study demonstrates a novel, additive manufacturing approach to produce complex, porous tungsten carbide structures using water‐based direct ink writing/robocasting. Leveraging a modified commercial printer and heat treatment, the process yields lightweight, electrically conductive 3D architectures capable of supporting a mechanical load.
James Bentley Bevis +3 more
wiley +1 more source
Specifying Reusable Components
Reusable software components need expressive specifications. This paper outlines a rigorous foundation to model-based contracts, a method to equip classes with strong contracts that support accurate design, implementation, and formal verification of ...
B. Meyer +8 more
core +3 more sources
Beyond Order: Perspectives on Leveraging Machine Learning for Disordered Materials
This article explores how machine learning (ML) revolutionizes the study and design of disordered materials by uncovering hidden patterns, predicting properties, and optimizing multiscale structures. It highlights key advancements, including generative models, graph neural networks, and hybrid ML‐physics methods, addressing challenges like data ...
Hamidreza Yazdani Sarvestani +4 more
wiley +1 more source
Laser surface texturing significantly improves the corrosion resistance and mechanical strength of 3D‐printed iron polylactic acid (Ir‐PLA) for marine applications. Optimal laser parameters reduce corrosion by 80% and enhance tensile strength by 25% and ductility by 15%.
Mohammad Rezayat +6 more
wiley +1 more source
ARIES: Acquisition of Requirements and Incremental Evolution of Specifications [PDF]
This paper describes a requirements/specification environment specifically designed for large-scale software systems. This environment is called ARIES (Acquisition of Requirements and Incremental Evolution of Specifications). ARIES provides assistance to
Roberts, Nancy A.
core +1 more source
3D‐Printed Architected Material for the Generation of Foam‐Based Protective Equipment
This study investigates 3D‐printed architected structures as alternatives to traditional foams in protective gear. It focuses on customizing impact strength and damping through design and manufacturing integration. Testing shows these structures outperform conventional foams, offering enhanced customizability, lower weight, and tunable performance ...
Ali Zolfagharian +5 more
wiley +1 more source
Analysis of Formal Methods for Specification of E-Commerce Applications [PDF]
E-commerce based application characteristics portray elevated dynamics while incorporating decentralized nature. Extreme emphasis influencing structural design plus implementation, positions such applications highly appreciated.
Sadiq Ali Khan, Huma Jamshed
doaj
One of the common problems of system development projects is that the system documentation is often outdated and does not describe the latest version of the system.
Mou, Dongyue +2 more
core

