Results 81 to 90 of about 2,010,640 (293)
StaBL - State Based Language for Specification of Web Applications [PDF]
arXiv, 2019 Context and motivation: Usage of Formal Specification languages is scarce in web application development as compared to safety critical/hardware systems. Question/problem: An apt formal specification language should provide the following features: Firstly, it should have well-defined semantics, so that specifications written in it can not be inherently
arxiv
The power of microRNA regulation—insights into immunity and metabolism
FEBS Letters, EarlyView.MicroRNAs are emerging as crucial regulators at the intersection of metabolism and immunity. This review examines how miRNAs coordinate glucose and lipid metabolism while simultaneously modulating T‐cell development and immune responses. Moreover, it highlights how cutting‐edge artificial intelligence applications can identify miRNA biomarkers ...
Stefania Oliveto +2 more
wiley +1 more source
Bringing Runtime Verification Home -- A Case Study on the Hierarchical Monitoring of Smart Homes using Decentralized Specifications [PDF]
arXiv, 2018 We use runtime verification (RV) to check various specifications in a smart apartment. The specifications can be broken down into three types: behavioral correctness of the apartment sensors, detection of specific user activities (known as activities of daily living), and composition of specifications of the previous types.
arxiv
Non-Universality of the Specific Heat in Glass Forming Systems [PDF]
, 2008 We present new simulation results for the specific heat in a classical model of a binary mixture glass-former in two dimensions. We show that in addition to the formerly observed specific heat peak there is a second peak at lower temperatures which was not observable in earlier simulations.
arxiv +1 more source
Identification of novel small molecule inhibitors of ETS transcription factors
FEBS Letters, EarlyView.ETS transcription factors play an essential role in tumourigenesis and are indispensable for sprouting angiogenesis, a hallmark of cancer, which fuels tumour expansion and dissemination. Thus, targeting ETS transcription factor function could represent an effective, multifaceted strategy to block tumour growth. The evolutionarily conserved E‐Twenty‐Six
Shaima Abdalla +9 more
wiley +1 more source
Finding the Optimal Threshold of a Parametric ROC Curve Under a Continuous Diagnostic Measurement
Revstat Statistical Journal, 2018 The accuracy of a binary diagnostic test can easily be assessed by comparing the sensitivity and specificity with the status of respondents. When the result of a diagnostic test is continuous, the assessment of accuracy depends on a specified threshold.
Yi-Ting Hwang +3 more
doaj +1 more source
The Saccharomyces cerevisiae amino acid transporter Lyp1 has a broad substrate spectrum
FEBS Letters, EarlyView.In Saccharomyces cerevisiae, Yeast Amino acid Transporter family members mediate the import of amino acids, ranging from substrate specialists to generalists. Here, we show that the specialist transporter, Lyp1, has a broader substrate spectrum than previously described, with affinity constants spanning from micromolar to millimolar.
Foteini Karapanagioti +3 more
wiley +1 more source
Accuracy Measures for Binary Classification Based on a Quantitative Variable
Revstat Statistical Journal, 2019 The identification of the right methodology to perform binary classification based on an observed quantitative variable is usually a complex choice. Thus, the use of appropriate accuracy measures is crucial.
Rui Santos +3 more
doaj +1 more source
FEBS Letters, EarlyView.In lymphoid organs, antigen recognition and B cell receptor signaling rely on integrins and the cytoskeleton. Integrins act as mechanoreceptors, couple B cell receptor activation to cytoskeletal remodeling, and support immune synapse formation as well as antigen extraction.
Abhishek Pethe, Tanja Nicole Hartmann
wiley +1 more source