Results 121 to 130 of about 295,936 (337)
Modular Assurance of Complex Systems Using Contract-Based Design Principles [PDF]
A growing number of safety-critical industries agree that building confidence in complex systems can be achieved through evidence and structured argumentation framed in assurance cases. Nevertheless, according to practical industry experience, assurance cases can easily become too rigorous and difficult to develop and maintain when applied to complex ...
arxiv
Static and Dynamic Quality Assurance by Aspect Oriented Techniques [PDF]
The overall goal of the described research project was to create applicable quality assurance patterns for Java software systems using the aspect-oriented programming language extension AspectJ 5. We tried to develop aspects to check static quality criteria as a variable mutator convention and architectural layering rules.
arxiv
This study reports the upregulation of ELMO1 and GPR141 in human Fuchs' endothelial corneal dystrophy (FECD) corneal endothelium and ultraviolet A‐induced FECD mice model. A genetic association of an intergenic single nucleotide polymorphism rs918980 present between both genes is observed with FECD in the Indian population.
Susmita Sharma+3 more
wiley +1 more source
Service Dependability with Continuously Revised Assurance Cases by Multiple Stakeholders: A Case Study [PDF]
Recently, assurance cases have received much attentions in the field of software-based computer systems and IT services. However, software very often changes and there are no strong regulations for software. These facts are main two challenges to be addressed in software assurance cases.
arxiv
We introduce an immunohistochemistry method to measure autophagy flux, highlighting the active degradation and recycling of cellular waste. This cost‐effective approach uses tissue samples to track key markers like LC3 and SQSTM1, revealing how cells maintain health or respond to diseases such as cancer. It bridges the gap between research and clinical
Shahla Shojaei+6 more
wiley +1 more source
A stability indicating RP HPLC method has been developed for the determination of gemcitabine hydrochloride. Chromatography was carried out on an ODS C18 column (250×4.6 mm; 5μ) using a mixture of methanol and phosphate buffer (40: 60 v/v ) as the mobile
Shaik Mastanamma+3 more
doaj +1 more source
We obtained potential bacterial laccase‐like multicopper oxidase (LMCO) sequences through metagenomic sequencing. All sequences exhibited significant differences from known LMCOs in databases. To select the most promising candidates, we performed structure prediction and molecular docking using alphafold2, metal3d and rosetta.
Ting Cui+5 more
wiley +1 more source
Stability indicating RP-HPLC method for estimation of cariprazine hydrochloride in human plasma
Objective: The objective of the study is to create and validate the easy, dependable, accurate, sensitive, and selective RP-HPLC method for estimating Cariprazine HCl in human plasma.
Mohini Shelke+4 more
doaj +1 more source
Aging weakens the blood–brain barrier (BBB), increasing susceptibility to CNS cancers and complicating treatment. This review examines BBB deterioration, its impact on drug delivery, and potential interventions like targeting neuroinflammation and advanced therapies.
Quang La, Aiman Baloch, David F. Lo
wiley +1 more source