Structured representation for requirements and specifications

This document was generated in support of NASA contract NAS1-18586, Design and Validation of Digital Flight Control Systems suitable for Fly-By-Wire Applications, Task Assignment 2. Task 2 is associated with a formal representation of requirements and specifications. In particular, this document contains results associated with the development of a Wide-Spectrum Requirements Specification Language (WSRSL) that can be used to express system requirements and specifications in both stylized and formal forms. Included with this development are prototype tools to support the specification language. In addition a preliminary requirements specification methodology based on the WSRSL has been developed. Lastly, the methodology has been applied to an Advanced Subsonic Civil Transport Flight Control System

Is machine learning prediction of Aβ positivity consistent? An assessment of multiple datasets

Poster abstrac

A theoretical study of the C- 4So_3/2 and 2Do_{3/2,5/2} bound states and C ground configuration: fine and hyperfine structures, isotope shifts and transition probabilities

This work is an ab initio study of the 2p3 4So_3/2, and 2Do_{3/2,5/2} states of C- and 2p2 3P_{0,1,2}, 1D_2, and 1S_0 states of neutral carbon. We use the multi-configuration Hartree-Fock approach, focusing on the accuracy of the wave function itself. We obtain all C- detachment thresholds, including correlation effects to about 0.5%. Isotope shifts and hyperfine structures are calculated. The achieved accuracy of the latter is of the order of 0.1 MHz. Intra-configuration transition probabilities are also estimated.Comment: 15 pages, 2 figures, 12 table

Online Demodulation and Trigger for Flux-ramp Modulated SQUID Signals

Due to the periodic characteristics of SQUIDs, a suitable linearization technique is required for SQUID-based readout. Flux-ramp modulation is a common linearization technique and is typically applied for the readout of a microwave SQUID multiplexer as well as since recently also for dc-SQUIDs. Flux-ramp modulation requires another stage in the signal processing chain to demodulate the SQUID output signal before further processing. For cryogenic microcalorimeters, the signal contains events that are given by a fast exponentially rising and slowly exponentially decaying pulses shape. The events shall be detected by a trigger engine and recorded by a storage logic. Since the data rate can be decreased significantly by demodulation and event detection, it is desirable to do both steps on the deployed fast FPGA logic during measurement before passing the data to a general-purpose processor. In this contribution, we show the implementation of efficient multi-channel flux-ramp demodulation computed at run-time on a SoC-FPGA. Furthermore, a concept and implementation for an online trigger and buffer mechanism with its theoretical trigger loss rates depending on buffer size is presented. Both FPGA modules can be operated with up to 500 MHz clock frequency and can efficiently process 32 channels. Correct functionality and data reduction capability of the modules are demonstrated in measurements utilizing magnetic microcalorimeter irradiated with an Iron-55 source for event generation and read out by a microwave SQUID multiplexer

A Critical Study on Acylating and Covalent Reversible Fragment Inhibitors of SARS-CoV-2 Main Protease Targeting the S1 Site with Pyridine

SARS coronavirus main proteases (3CL proteases) have been validated as pharmacological targets for the treatment of coronavirus infections. Current inhibitors of SARS main protease, including the clinically admitted drug nirmatrelvir are peptidomimetics with the downsides of this class of drugs including limited oral bioavailability, cellular permeability, and rapid metabolic degradation. Here, we investigate covalent fragment inhibitors of SARS Mpro as potential alternatives to peptidomimetic inhibitors in use today. Starting from inhibitors acylating the enzyme's active site, a set of reactive fragments was synthesized, and the inhibitory potency was correlated with the chemical stability of the inhibitors and the kinetic stability of the covalent enzyme-inhibitor complex. We found that all tested acylating carboxylates, several of them published prominently, were hydrolyzed in assay buffer and the inhibitory acyl-enzyme complexes were rapidly degraded leading to the irreversible inactivation of these drugs. Acylating carbonates were found to be more stable than acylating carboxylates, however, were inactive in infected cells. Finally, reversibly covalent fragments were investigated as chemically stable SARS CoV-2 inhibitors. Best was a pyridine-aldehyde fragment with an IC50 of 1.8 μM at a molecular weight of 211 g/mol, showing that pyridine fragments indeed are able to block the active site of SARS-CoV-2 main protease

Effects of erythropoietin in murine-induced pluripotent cell-derived panneural progenitor cells

Induced cell fate changes by reprogramming of somatic cells offers an efficient strategy to generate autologous pluripotent stem (iPS) cells from any adult cell type. The potential of iPS cells to differentiate into various cell types is well established, however the efficiency to produce functional neurons from iPS cells remains modest. Here, we generated panneural progenitor cells (pNPCs) from mouse iPS cells and investigated the effect of the neurotrophic growth factor erythropoietin (EPO) on their survival, proliferation and neurodifferentiation. Under neural differentiation conditions, iPS-derived pNPCs gave rise to microtubule-associated protein-2 positive neuronlike cells (34% to 43%) and platelet-derived growth factor receptor positive oligodendrocytelike cells (21% to 25%) while less than 1% of the cells expressed the astrocytic marker glial fibrillary acidic protein. Neuronlike cells generated action potentials and developed active presynaptic terminals. The pNPCs expressed EPO receptor (EPOR) mRNA and displayed functional EPOR signaling. In proliferating cultures, EPO (0.1–3 U/mL) slightly improved pNPC survival but reduced cell proliferation and neurosphere formation in a concentration-dependent manner. In differentiating cultures EPO facilitated neurodifferentiation as assessed by the increased number of β-III-tubulin positive neurons. Our results show that EPO inhibits iPS pNPC self-renewal and promotes neurogenesis

Crystal structures of glycoprotein D of equine alphaherpesviruses reveal potential binding sites to the entry receptor MHC-I

Cell entry of most alphaherpesviruses is mediated by the binding of glycoprotein D (gD) to different cell surface receptors. Equine herpesvirus type 1 (EHV-1) and EHV-4 gDs interact with equine major histocompatibility complex I (MHC-I) to initiate entry into equine cells. We have characterized the gD-MHC-I interaction by solving the crystal structures of EHV-1 and EHV-4 gDs (gD1, gD4), performing protein–protein docking simulations, surface plasmon resonance (SPR) analysis, and biological assays. The structures of gD1 and gD4 revealed the existence of a common V-set immunoglobulin-like (IgV-like) core comparable to those of other gD homologs. Molecular modeling yielded plausible binding hypotheses and identified key residues (F213 and D261) that are important for virus binding. Altering the key residues resulted in impaired virus growth in cells, which highlights the important role of these residues in the gD-MHC-I interaction. Taken together, our results add to our understanding of the initial herpesvirus-cell interactions and will contribute to the targeted design of antiviral drugs and vaccine development

Effects of Greenshell™ mussel intervention on biomarkers of cartilage metabolism, inflammatory markers and joint symptoms in overweight/obese postmenopausal women: A randomized, double-blind, and placebo-controlled trial

ObjectiveTo investigate the effect of whole greenshell mussel (GSM) powder on biomarkers of cartilage metabolism, inflammatory cytokines, and joint symptoms in postmenopausal women with overweight/obesity and joint discomfort.DesignFifty-five postmenopausal women with overweight/obesity were randomly assigned to receive 3 g/day whole GSM powder or placebo for 12 weeks. Cartilage turnover biomarkers urinary C-telopeptide of type II collagen (CTX-II) and serum cartilage oligomeric matrix protein (COMP) were measured at baseline, week 6 and 12. Plasma cytokines were measured at baseline and week 12. Joint pain and knee-related problems were assessed at baseline and week 12 using a 100 mm Visual Analogue Scale (VAS) and the Knee injury and Osteoarthritis Outcome Score (KOOS) questionnaire, respectively.ResultsForty-nine participants completed the study (GSM n = 25, placebo n = 24). After 12 weeks, urinary CTX-II showed no significant change over time or between the groups (interaction effect P = 0.1). However, in women with symptomatic knees, a significant difference was noted between the group (treatment effect P = 0.04), as it was lower in the GSM group compared to placebo group at week 6 (P = 0.04) and week 12 (P = 0.03). Serum COMP and plasma cytokines were not affected. GSM supplementation showed greater reduction in the VAS pain score than placebo (−13.2 ± 20.3 vs. −2.9 ± 15.9; P = 0.04). No significant change in KOOS domains between the two groups was observed.ConclusionOral supplementation of whole GSM powder at 3 g/day may slow down the degradation of type II collagen in postmenopausal women with symptomatic knees. GSM treatment conferred clinical benefit on overall joint pain. No significant effect was noted for inflammatory cytokines, suggesting that GSM may act within the joint microenvironment rather than at the systemic level.Clinical trial registration[www.australianclinicaltrials.gov.au/clinical-trialregistries], identifier [ACTRN12620000413921p]

cetuximab in combination with platinum based chemotherapy or radiotherapy in patients with recurrent and or metastatic sschn in clinical routine updated interim results of the prospective soccer study

n/

Virtual screening and evaluation of Ketol-Acid Reducto-Isomerase (KARI) as a putative drug target for Aspergillosis

Aspergillus is a leading causative agent for fungal morbidity and mortality in immuno-compromised patients. To identify a putative target to design or identify new antifungal drug, against Aspergillus is required. In our previous work, we have analyzed the various biochemical pathways, and we found Ketol Acid Reducto-Isomerase (KARI) an enzyme involves in the amino acid biosynthesis, could be a better target. This enzyme was found to be unique by comparing to host proteome through BLASTp analysis. A homology based model of KARI was generated by Swiss model server. The generated model had been validated by PROCHECK and WHAT IF programs. The Zinc library was generated within the limitation of the Lipinski rule of five, for docking study. Based on the dock-score six molecules have been studied for ADME/TOX analysis and subjected for pharmacophore model generation. The Zinc ID of the potential inhibitors is ZINC00720614, ZINC01068126, ZINC0923, ZINC02090678, ZINC00663057 and ZINC02284065 and found to be pharmacologically active agonist and antagonist of KARI. This study is an attempt to Insilco evaluation of the KARI as a drug target and the screened inhibitors could help in the development of the better drug against Aspergillus