Results 41 to 50 of about 10,724 (253)
MiniAgda: Integrating Sized and Dependent Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track structural descent and guardedness in the type system to make termination ...
Andreas Abel
doaj +1 more source
Artificial molecular machines and motors—Design and control of nanoscale motion
FEBS Letters, EarlyView.Molecules are constantly moving because of thermal fluctuations, but random motion alone cannot be exploited to perform directional tasks. Artificial molecular machines use chemical, electrical, or light energy to bias this motion. Molecular shuttles, rotary motors, and supramolecular pumps illustrate how nanoscale movement can be controlled and ...
Leonardo Andreoni, Alberto Credi
wiley +1 more source
Regular Banach space net and abstract-valued Orlicz space of range-varying type
Open Mathematics, 2019 This paper investigates the abstract-valued Orlicz space of range-varying type. We firstly give the notions and examples of partially continuous modular net and regular Banach space net of type (II), then deal with the definitions, constructions, and ...
Zhang Qinghua, Zhu Yueping
doaj +1 more source
INTEGRAL OF FUNCTION WITH VALUES IN COMPLETE MODULAR SPACE
Demonstratio Mathematica, 2002 The paper is devoted to constructing and examining integrals of functions with values in modular spaces, i.e., real vector spaces provided with a convex, symmetric nonnegative functional vanishing only at 0.
openaire +2 more sources
Smaller is better: nanobodies meet NMR
FEBS Letters, EarlyView.Nanobodies are single‐domain antigen‐binding fragments derived from camelid heavy chain antibodies. Their small size, high stability, and exceptional specificity make nanobodies uniquely useful probes for NMR studies of protein dynamics, transient conformational states, and protein–protein interactions.
Oleg Y. Dmitriev
wiley +1 more source
Membrane composition and thermodynamic identity as boundaries of life for synthetic cell research
FEBS Letters, EarlyView.What makes a cell a cell? The boundary of a living cell is not just a wall. Read as a Markov blanket, the membrane separates internal from external states, generating identity and non‐equilibrium order. Can this identity be rebuilt from scratch in a synthetic cell?
Caterina Presutti, Bert Poolman
wiley +1 more source
Conical spaces, modular invariance and c p,1 holography
Journal of High Energy Physics, 2021 We propose a non-unitary example of holography for the family of two-dimensional logarithmic conformal field theories with negative central charge c = c p,1 = −6p + 13 − 6p −1.
Joris Raeymaekers
doaj +1 more source
Estimations for the convex modular of the aliasing error of nonlinear sampling Kantorovich operators
Nonlinear AnalysisIn this paper, we establish quantitative estimates for the nonlinear sampling Kantorovich operators in the general setting of modular spaces Lρ. To achieve this, we consider a notion of modulus of smoothness based on the convex modular functional ρ ...
Danilo Costarelli +2 more
doaj +1 more source
Tumour–host interactions in Drosophila: mechanisms in the tumour micro‐ and macroenvironment
Molecular Oncology, EarlyView.This review examines how tumour–host crosstalk takes place at multiple levels of biological organisation, from local cell competition and immune crosstalk to organism‐wide metabolic and physiological collapse. Here, we integrate findings from Drosophila melanogaster studies that reveal conserved mechanisms through which tumours hijack host systems to ...
José Teles‐Reis, Tor Erik Rusten
wiley +1 more source
Molecular Oncology, EarlyView.Tumour heterogeneity and clonal evolution of metastatic salivary gland cancer were evaluated in two patients with adenoid carcinoma and one patient with myoepithelial carcinoma. Radiology‐guided autopsy enabled multi‐region sampling (total samples n = 149), followed by whole‐genome sequencing and phylogenetic reconstruction (17 tumour samples, 4–7 per ...
Gerben Lassche +10 more
wiley +1 more source