Results 111 to 120 of about 526,453 (338)

Improving Surface Quality of Titanium Electrodeposition from a Deep Eutectic Solvent with Organic and Inorganic Additives

Advanced Engineering Materials, EarlyView.
Herein, the electroplating of titanium from an organic solvent, ethaline, is shown. Polymer additives are shown to smooth the roughness of the film, and small molecule additives are shown to produce a near‐mirror finish to the deposited metal. Titanium electroreduction is desired for a variety of medical, electronic, and bonding applications but has ...
Steven Livers, Christopher Chancellor, Katarzyna Grubel, Diana Horangic, Riah Burnett, Bailey Byrd, Christina Arendt, Lance Hubbard   +7 more
wiley   +1 more source

Matrix Tropism Influences Endometriotic Cell Attachment Patterns

Advanced Functional Materials, EarlyView.
The influence of substrate stiffness and multicellular coculture on endometriotic cell attachment to extracellular matrix‐laden microarrayed islands is reported. This model investigates early endometriotic cell attachment, aiming to capture “lesion initiation events”.
Hannah S. Theriault, Hannah R.C. Kimmel, Alison C. Nunes, Allison L. Paxhia, Sarah Hashim, Kathryn B.H. Clancy, Gregory H. Underhill, Brendan A.C. Harley   +7 more
wiley   +1 more source

Toward formal development of programs from algebraic specifications: Model-theoretic foundations [PDF]

, 1992
Donald Sannella, Andrzej Tarlecki
openalex   +1 more source

Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking

, 2011
The adoption of algebraic specification/formal method techniques by the networks' research community is happening slowly but steadily. We work towards a software environment that can translate a protocol's specification, from Abstract Syntax Notation One
Barlas, Konstantinos, Koletsos, George, Stefaneas, Petros   +2 more
core  

Copper‐based Materials for Photo and Electrocatalytic Process: Advancing Renewable Energy and Environmental Applications

Advanced Functional Materials, EarlyView.
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, Yanjie Wang, Thais A. Rodrigues, Paulo H. H. Nunes, Vagner R. de Mendonça, Paulo H. E. Falsetti, Leticia V. Savazi, Tao He, Alexandra V. Bardakova, Aida V. Rudakova, Jie Tian, Alexei V. Emeline, Osmando F. Lopes, Antonio Otavio T. Patrocínio, Jia Hong Pan, Caue Ribeiro, Detlef W. Bahnemann   +16 more
wiley   +1 more source

Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development [PDF]

, 1992
Hartmut Ehrig, B. Mahr, Ingo Claßen, Fernando Orejas   +3 more
openalex   +1 more source

Glepaglutide‐Loaded Foam for the Induction of Mucosal Healing in the Treatment of Inflammatory Bowel Disease

Advanced Healthcare Materials, Volume 14, Issue 7, March 14, 2025.
Glepaglutide (GL), a GLP‐2 analog with an extended half‐life (50 h), is currently undergoing clinical trials for patients with short bowel syndrome. GL requires subcutaneous injection, which poses challenges for potential patient compliance. To address this challenge, we loaded GL into a rectal foam formulation using CO2 as a permeation enhancer to ...
Wunan Zhang, William Van den Bossche, Hafsa Yagoubi, Espoir K Kambale, Khadija Wahni, Tanya Saxena, Léo Guilbaud, Tom G. Moreels, Joris Messens, Ana Beloqui   +9 more
wiley   +1 more source

Formal specification of reusable interface objects [PDF]

, 1995
Paulo S. C. Alencar, Donald Cowan, Carlos Lucena, L. C. M. Nova   +3 more
openalex   +2 more sources

On Formal Specification of Emergent Behaviours in Swarm Robotic Systems

International Journal of Advanced Robotic Systems, 2008
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, Jin Sa, Alan FT Winfield, Michael Fisher, Mari-Carmen Fernandez-Gago   +4 more
doaj  

Towards heterogeneous formal specifications [PDF]

, 1996
Gilles Bernot, Sophie Coudert, Pascale Le Gall   +2 more
openalex   +1 more source