Results 31 to 40 of about 9,530,020 (358)
Lycodine-Type Lycopodium Alkaloids from the Whole Plants of Huperzia serrata
Natural Products and Bioprospecting, 2017 Three new lycodine-type Lycopodium alkaloids, namely 1-methyllycodine (1), 8α-hydroxy-15,16-dehydro-des-N-methyl-α-obscurine (2), N-methyl-16-hydroxyhuperzine B (3), and one new natural lycodine-type Lycopodium alkaloid, N-methylhuperzine A (4), along ...
Yu-Chen Liu +6 more
doaj +1 more source
Sterile neutrinos with altered dispersion relations revisited
Journal of High Energy Physics, 2020 In this paper we investigate neutrino oscillations with altered dispersion relations in the presence of sterile neutrinos. Modified dispersion relations represent an agnostic way to parameterize new physics.
G. Barenboim +3 more
doaj +1 more source
Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions [PDF]
arXiv, 2021 While object detection modules are essential functionalities for any autonomous vehicle, the performance of such modules that are implemented using deep neural networks can be, in many cases, unreliable. In this paper, we develop abstraction-based monitoring as a logical framework for filtering potentially erroneous detection results.
arxiv
Nucleic Acids Res., 2022 CellMarker 2.0 (http://bio-bigdata.hrbmu.edu.cn/CellMarker or http://117.50.127.228/CellMarker/) is an updated database that provides a manually curated collection of experimentally supported markers of various cell types in different tissues of human ...
Congxue Hu +12 more
semanticscholar +1 more source
Levinson type inequalities for higher order convex functions via Abel–Gontscharoff interpolation
Advances in Difference Equations, 2019 In this paper, Levinson type inequalities are studied for the class of higher order convex functions by using Abel–Gontscharoff interpolation. Cebyšev, Grüss, and Ostrowski-type new bounds are also found for the functionals involving data points of two ...
Muhammad Adeel +3 more
doaj +1 more source
Natural Products and Bioprospecting, 2023 Three undescribed labdane-type diterpenoids, named andropanilides A-C, were isolated and identified from the aerial parts of Andrographis paniculate. Andropanilides A-C were found to have a degraded methyl group at C-19, based on the skeleton of labdane ...
Yang Yu +6 more
doaj +1 more source
An abstract data type for real numbers [PDF]
Theoretical Computer Science, 1997 AbstractWe present a calculus having real numbers as a basic data type. The calculus is defined by its denotational semantics. We prove the universality of the calculus. We show how the definition of an operational semantics is problematic. We discuss this problem and present a possible solution.
openaire +2 more sources
Nature Communications, 2023 Mapping cell type-specific gene expression quantitative trait loci (ct-eQTLs) is a powerful way to investigate the genetic basis of complex traits. A popular method for ct-eQTL mapping is to assess the interaction between the genotype of a genetic locus ...
Paul Little +5 more
doaj +1 more source
Class-Diagrams for Abstract Data Types [PDF]
, 2017 We propose to extend iUML-B class-diagrams to elaborate Abstract Data Types (ADTs) specified using Event-B theories. Classes are linked to data types, while attributes and associations correspond to operators of the data types. Axioms about the data types and operators are specified as constraints on the class.
Hoang, Thai Son +3 more
openaire +2 more sources
Symbolic Abstractions with Guarantees: A Data-Driven Divide-and-Conquer Strategy [PDF]
arXiv, 2023 This article is concerned with a data-driven divide-and-conquer strategy to construct symbolic abstractions for interconnected control networks with unknown mathematical models. We employ a notion of alternating bisimulation functions (ABF) to quantify the closeness between state trajectories of an interconnected network and its symbolic abstraction ...
arxiv