Results 111 to 120 of about 2,084,052 (380)

Illuminating New Frontiers: Exploring the Photosensitizing Potential of Passiflora Species in Combating Methicillin‐Resistant Staphylococcus aureus (MRSA) and Their Infection in Senescent Mice

open access: yesAdvanced Biology, EarlyView.
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

Applying Automated Model Extraction for Simulation and Verification of Real-Life SDL Specification With Spin

open access: yesIEEE Access, 2017
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

Robocasting of a Water‐Based Biopolymer/WO3 Nanopowder Paste as a Precursor to Tungsten Carbide Lattices

open access: yesAdvanced Engineering Materials, EarlyView.
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

open access: yes, 2010
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

open access: yesAdvanced Engineering Materials, EarlyView.
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

Enhancing Corrosion Resistance and Mechanical Strength of 3D‐Printed Iron Polylactic Acid for Marine Applications via Laser Surface Texturing

open access: yesAdvanced Engineering Materials, EarlyView.
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]

open access: yes
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

open access: yesAdvanced Engineering Materials, EarlyView.
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]

open access: yesMehran University Research Journal of Engineering and Technology, 2016
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  

Do we really need to write documentation for a system? CASE tool add-ons: generator+editor for a precise documentation

open access: yes, 2014
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  

Home - About - Disclaimer - Privacy