Results 111 to 120 of about 1,330,014 (301)
Advanced Biology, EarlyView.Using supramolecular monomers, various hydrogel culture systems were formulated to culture protoplasts; including 2D, 2.5D, and 3D hydrogels. Depending on the culture platform, bioactive functionalization led to protoplast enlargement (2D and 2.5D) or plasmolysis (3D). This work shows the potential to modularly engineer synthetic platforms for cellular
Maritza M. Rovers +3 more
wiley +1 more source
Advanced Biology, EarlyView.HMGB1 derived from the pyroptotic environment in Hirschsprung‐associated enterocolitis mediates the formation of macrophage extracellular traps through TLR4 ‐p38 MAPK/p65 NF‐kB signaling pathways. Macrophage extracellular traps induce increased ROS production and pyroptosis of colonic epithelial cells.
Rui Zhang +6 more
wiley +1 more source
2LS: Heap Analysis and Memory Safety (Competition Contribution) [PDF]
arXiv, 2019 2LS is a framework for analysis of sequential C programs that can verify and refute program assertions and termination. The 2LS framework is built upon the CPROVER infrastructure and implements template-based synthesis techniques, e.g. to find invariants and ranking functions, and incremental loop unwinding techniques to find counterexamples and k ...
arxiv
Advanced Engineering Materials, EarlyView.Additive manufacturing of magnesium alloys by laser is difficult because the melting point of the oxide layer is much higher than the evaporation temperature of the metal underneath. Making the oxide layer thinner can solve this problem. Alloying magnesium with strontium makes the oxide layer thinner, especially at 0.5 wt%.
Elmar Jonas Breitbach +8 more
wiley +1 more source
Multi-valued Action Languages in CLP(FD) [PDF]
arXiv, 2009 Action description languages, such as A and B, are expressive instruments introduced for formalizing planning domains and planning problem instances. The paper starts by proposing a methodology to encode an action language (with conditional effects and static causal laws), a slight variation of B, using Constraint Logic Programming over Finite Domains.
arxiv
Advanced Engineering Materials, EarlyView.A hybrid system for de‐icing made of gradient polymer coatings, deposited on aluminum coupled with an electromechanical system, is demonstrated as an effective and durable strategy for reducing drastically ice adhesion. The system is capable of detaching ice blocks over the coating in less than 1 s, regardless of the ice type and covered area ...
Gabriel Hernández Rodríguez +8 more
wiley +1 more source
Real-time adaptive optics control with a high level programming language [PDF]
arXivAdaptive optics systems are usually prototyped in a convenient but slow language like MATLAB or Python, and then re-written from scratch using high-performance C/C++ to perform real-time control. This duplication of effort adds costs and slows the experimentation process.
arxiv
A Different Perspective on the Solid Lubrication Performance of Black Phosphorous: Friend or Foe?
Advanced Engineering Materials, EarlyView.Researchers investigate black phosphorous (BP) as a standalone solid lubricant coating through ball‐on‐disc linear‐reciprocating sliding experiments in dry conditions. Testing on different metals shows BP doesn't universally reduce friction and wear. However, it achieves 33% friction reduction on rougher iron surfaces and 23% wear reduction on aluminum.
Matteo Vezzelli +5 more
wiley +1 more source
Mechanisms of De‐icing by Surface Rayleigh and Plate Lamb Acoustic Waves
Advanced Engineering Materials, EarlyView.Ice accretion impacts daily life, renewable energy generation, maintenance, and security in industries and aeronautics. Acoustic waves (AW) are a promising method for ice removal, although de‐icing mechanisms require further investigation to optimize energy efficiency.
Shilpi Pandey +15 more
wiley +1 more source
HardScope: Thwarting DOP with Hardware-assisted Run-time Scope Enforcement
, 2017 Widespread use of memory unsafe programming languages (e.g., C and C++) leaves many systems vulnerable to memory corruption attacks. A variety of defenses have been proposed to mitigate attacks that exploit memory errors to hijack the control flow of the
Asokan, N. +6 more
core