Results 231 to 240 of about 3,157,454 (357)

Five autoantibodies identified from immune complexes as breast cancer biomarkers. [PDF]

Front Immunol
Zheng N, Li Y, Peng Z, Tang Y, Liang Z, Wang H, Dai H, Tan G.   +7 more
europepmc   +1 more source

Formal Verification of a Practical Lock-Free Queue Algorithm

, 2004
Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir   +3 more
openalex   +1 more source

Development of Aluminum Scandium Alloys for Hydrogen Storage Valves

Advanced Engineering Materials, EarlyView.
Different aluminum alloy series and various aluminum‐scandium alloys with differing Sc and Zr levels are evaluated for use in hydrogen storage valve production. The alloys undergo hardness testing, optical microscopy, and tensile strength analysis, with hardening behavior studied under varying conditions.
Francisco García‐Moreno, Tillmann Robert Neu, Markus Eberl, Paul Hans Kamm, Hans‐Wolfgang Seeliger   +4 more
wiley   +1 more source

Constructing formal models of cryptographic protocols from Alice&Bob style specifications via LLM. [PDF]

Sci Rep
Li Q, Han J, Yuan L, Li X, Wang X.
europepmc   +1 more source

VeriAgent: an Approach to Integrating UML and Formal Verification Tools

, 2004
Edjard Mota, E. M. Clarke, Alex Groce, W. Oliveira, Marileide Mota da Silva Falcão, Jorge Yoshio Kanda   +5 more
openalex   +1 more source

Multimaterial Approach to Improve the Mechanical Properties of a Novel Modified Auxetic Reentrant Honeycomb Structure

Advanced Engineering Materials, EarlyView.
A multimaterial approach is introduced to improve upon auxetic structures by combining two different polymers into the same reentrant honeycomb structure via additive manufacturing. The deformation behavior as well as the resulting Poisson's ratio are thereby improved significantly.
Alexander Engel, Oraib Al‐Ketan, Anne Jung   +2 more
wiley   +1 more source

Integrating large language models in biostatistical workflows for clinical and translational research. [PDF]

J Clin Transl Sci
Grambow SC, Desai M, Weinfurt KP, Lindsell CJ, Pencina MJ, Rende L, Pomann GM.   +6 more
europepmc   +1 more source

Classifying and Formally Verifying Integer Constant Folding

, 2004
Sabine Glesner, Jan Olaf Blech
openalex   +1 more source

Vacuum‐Formed Composites Based on a Polyolefin and a High Content of Biomass‐Waste Fillers

Advanced Engineering Materials, EarlyView.
It is shown here that by the use of a very ductile polymer matrix, it is possible to vacuum‐form products that contain up to 25% of hard biofillers with still ductile properties. The results are promising and opens up for the use of engineered biocomposites derived from industrial side‐stream biofillers in vacuum‐formed products. A strategy to increase
Susanna K. Källbom, Tuomo P. Kainulainen, Xin‐Feng Wei, Antonio J. Capezza, Daniel Helgesson, Richard T. Olsson, Mikael S. Hedenqvist   +6 more
wiley   +1 more source

Navigating recruitment and retention challenges in a social media health intervention in francophone West Africa. [PDF]

Health Promot Int
Wianecki N, Ofei L, Crespi CM, Wane D, Sangare R, Rideau A, Diaw M, Massey PM.   +7 more
europepmc   +1 more source