Results 31 to 40 of about 9,097,881 (326)
Modular nonblocking verification using conflict equivalence [PDF]
This paper proposes a modular approach to verifying whether a large discrete event system is nonconflicting. The new approach avoids computing the synchronous product of a large set of finite-state machines.
Flordal, Hugo, Malik, Robi
core +2 more sources
Eco-design is included within the framework of the standard for “Environmental management systems—Guidelines for incorporating Eco-design” (ISO 14006:2011).
Alberto Navajas +2 more
semanticscholar +1 more source
Protein pyrophosphorylation by inositol pyrophosphates — detection, function, and regulation
Protein pyrophosphorylation is an unusual signaling mechanism that was discovered two decades ago. It can be driven by inositol pyrophosphate messengers and influences various cellular processes. Herein, we summarize the research progress and challenges of this field, covering pathways found to be regulated by this posttranslational modification as ...
Sarah Lampe +3 more
wiley +1 more source
The Ile181Asn variant of human UDP‐xylose synthase (hUXS1), associated with a short‐stature genetic syndrome, has previously been reported as inactive. Our findings demonstrate that Ile181Asn‐hUXS1 retains catalytic activity similar to the wild‐type but exhibits reduced stability, a looser oligomeric state, and an increased tendency to precipitate ...
Tuo Li +2 more
wiley +1 more source
A numerical study on capillary-evaporation behavior of porous wick in electronic cigarettes
A mathematical model based on heat and mass transfer processes in the porous wick of electronic cigarettes was established to describe the atomization of e-liquids according to max liquid temperature, vaporization rate and thermal efficiency in a single ...
Yihan Gao +9 more
doaj +1 more source
In this paper, the series of co-fibrous composite materials combining natural fiber derived from drought-tolerant plants (pineapple, hemp, sisal, and agave) and recycled-polyethylene terephthalate (r-PET) were successfully prepared using a mixing-hot ...
Kuntawit Witthayolankowit +5 more
doaj +1 more source
Intein‐based modular chimeric antigen receptor platform for specific CD19/CD20 co‐targeting
CARtein is a modular CAR platform that uses split inteins to splice antigen‐recognition modules onto a universal signaling backbone, enabling precise, scarless assembly without re‐engineering signaling domains. Deployed here against CD19 and CD20 in B‐cell malignancies, the design supports flexible multi‐antigen targeting to boost T‐cell activation and
Pablo Gonzalez‐Garcia +9 more
wiley +1 more source
The Ganoderma mushrooms are known for their abundance of various bioactive substances, such as triterpenoids and phenolic compounds. The accumulation of these substances in mushrooms can be enhanced by light exposure.
Waraporn Apiwatanapiwat +7 more
doaj +1 more source
Natural Language Processing in Knowledge-Based Support for Operator Assistance
Manufacturing industry faces increasing complexity in the performance of assembly tasks due to escalating demand for complex products with a greater number of variations.
Fatemeh Besharati Moghaddam +3 more
doaj +1 more source
Design Within Complex Environments: Collaborative Engineering in the Aerospace Industry [PDF]
The design and the industrialization of an aircraft, a major component, or an aerostructure is a complex process. An aircraft like the Airbus A400M is composed of about 700,000 parts (excluding standard parts).
Aragón, Gustavo (Coordinador) +11 more
core +1 more source

