Results 71 to 80 of about 7,103,185 (329)
Behavior Modeling on ARINC653 to Support the Temporal Verification of Conformed Application Design
IEEE Access, 2019 Numerous factors have an impact on the temporal correction of integrated modular avionics application. As early as in the design phase, verification should be conducted to guarantee the rigorous temporal requirements for safety consideration which are ...
Kui Zhang +4 more
doaj +1 more source
Cleanroom software development [PDF]
The 'cleanroom' software development process is a technical and organizational approach to developing software with certifiable reliability. Key ideas behind the process are well structured software specifications, randomized testing methods and the ...
Dyer, M., Mills, H. D.
core +1 more source
Peptide‐based ligand antagonists block a Vibrio cholerae adhesin
FEBS Letters, EarlyView.The structure of a peptide‐binding domain of the Vibrio cholerae adhesin FrhA was solved by X‐ray crystallography, revealing how the inhibitory peptide AGYTD binds tightly at its Ca2+‐coordinated pocket. Structure‐guided design incorporating D‐amino acids enhanced binding affinity, providing a foundation for developing anti‐adhesion therapeutics ...
Mingyu Wang +9 more
wiley +1 more source
Function‐driven design of a surrogate interleukin‐2 receptor ligand
FEBS Letters, EarlyView.Interleukin (IL)‐2 signaling can be achieved and precisely fine‐tuned through the affinity, distance, and orientation of the heterodimeric receptors with their ligands. We designed a biased IL‐2 surrogate ligand that selectively promotes effector T and natural killer cell activation and differentiation. Interleukin (IL) receptors play a pivotal role in
Ziwei Tang +9 more
wiley +1 more source
BioRel: towards large-scale biomedical relation extraction
BMC Bioinformatics, 2020 Background Although biomedical publications and literature are growing rapidly, there still lacks structured knowledge that can be easily processed by computer programs.
Rui Xing, Jie Luo, Tengwei Song
doaj +1 more source
Analysis of Environmental Factors for Mobile Software Development Focused on Korean Companies [PDF]
, 2021 Kwang Yoon Song +2 more
openalex +1 more source
Software development: Stratosphere modeling [PDF]
A more comprehensive model for stratospheric chemistry and transport theory was developed for the purpose of aiding predictions of changes in the stratospheric ozone content as a consequence of natural and anthropogenic processes.
Chen, H. C.
core +1 more source
β‐TrCP overexpression enhances cisplatin sensitivity by depleting BRCA1
Molecular Oncology, EarlyView.Low levels of β‐TrCP (Panel A) allow the accumulation of BRCA1 and CtIP, which facilitate the repair of cisplatin‐induced DNA damage via homologous recombination (HR) and promote tumor cell survival. In contrast, high β‐TrCP expression (Panel B) leads to BRCA1 and CtIP degradation, impairing HR repair, resulting in persistent DNA damage and apoptosis ...
Rocío Jiménez‐Guerrero +8 more
wiley +1 more source
Teaching Software Development to Non-Software Engineering Students [PDF]
This paper argues that although the object-oriented programming (OOP) paradigm is appropriate for students taking programming modules on Higher Education (HE) software engineering course, this paradigm is not as relevant for students from other courses ...
Colvin, John
core
Molecular Oncology, EarlyView.AZD9291 has shown promise in targeted cancer therapy but is limited by resistance. In this study, we employed metabolic labeling and LC–MS/MS to profile time‐resolved nascent protein perturbations, allowing dynamic tracking of drug‐responsive proteins. We demonstrated that increased NNMT expression is associated with drug resistance, highlighting NNMT ...
Zhanwu Hou +5 more
wiley +1 more source