Parallelizations in Weihrauch Reducibility and Constructive Reverse Mathematics
Ontology highlight
ABSTRACT:
SUBMITTER: Anselmo M
PROVIDER: S-EPMC7309481 | biostudies-literature | 2020 Jun
REPOSITORIES: biostudies-literature
Similar Datasets
Project description:Hybrid games combine discrete, continuous, and adversarial dynamics. Differential game logic (
| S-EPMC7324283 | biostudies-literature
Project description:The ability of macromolecules to transduce stimulus information at one site into conformational changes at a distant site, termed "allostery," is vital for cellular signaling. Here, we propose a link between the sensitivity of allosteric macromolecules to their underlying biophysical parameters, the interrelationships between these parameters, and macromolecular adaptability. We demonstrate that the parameters of a canonical model of the mSlo large-conductance Ca2+-activated K+ (BK) ion channel are non-identifiable with respect to the equilibrium open probability-voltage relationship, a common functional assay. We construct a reduced model with emergent parameters that are identifiable and expressed as combinations of the original mechanistic parameters. These emergent parameters indicate which coordinated changes in mechanistic parameters can leave assay output unchanged. We predict that these coordinated changes are used by allosteric macromolecules to adapt, and we demonstrate how this prediction can be tested experimentally. We show that these predicted parameter compensations are used in the first reported allosteric phenomena: the Bohr effect, by which hemoglobin adapts to varying pH.
| S-EPMC5412534 | biostudies-literature
Project description:Memories of the past help us adaptively respond to similar situations in the future. Originally described by Schacter & Addis in 2007, the "constructive episodic simulation" hypothesis proposes that waking thought combines fragments of various past episodes into imagined simulations of events that may occur in the future. This same framework may be useful for understanding the function of dreaming. N = 48 college students were asked to identify waking life sources for a total of N = 469 dreams. Participants frequently traced dreams to at least one past or future episodic source (53.5% and 25.7% of dreams, respectively). Individual dreams were very often traced to multiple waking sources (43.9% of all dreams with content), with fragments of past memory incorporated into scenarios that anticipated future events. Waking-life dream sources are described in terms of their phenomenology and distribution across time and sleep stage, providing new evidence that dreams not only reflect the past, but also utilize memory in simulating potential futures.
| S-EPMC8939783 | biostudies-literature
Project description:Gene regulatory networks (GRNs) control biological processes like pluripotency, differentiation, and apoptosis. Omics methods can identify a large number of putative network components (on the order of hundreds or thousands) but it is possible that in many cases a small subset of genes control the state of GRNs. Here, we explore how the topology of the interactions between network components may indicate whether the effective state of a GRN can be represented by a small subset of genes. We use methods from information theory to model the regulatory interactions in GRNs as cascading and superposing information channels. We propose an information loss function that enables identification of the conditions by which a small set of genes can represent the state of all the other genes in the network. This information-theoretic analysis extends to a measure of free energy change due to communication within the network, which provides a new perspective on the reducibility of GRNs. Both the information loss and relative free energy depend on the density of interactions and edge communication error in a network. Therefore, this work indicates that a loss in mutual information between genes in a GRN is directly coupled to a thermodynamic cost, i.e., a reduction of relative free energy, of the system.
| S-EPMC7824329 | biostudies-literature
Project description:The author reviews research showing that repetitive thought (RT) can have constructive or unconstructive consequences. The main unconstructive consequences of RT are (a) depression, (b) anxiety, and (c) difficulties in physical health. The main constructive consequences of RT are (a) recovery from upsetting and traumatic events, (b) adaptive preparation and anticipatory planning, (c) recovery from depression, and (d) uptake of health-promoting behaviors. Several potential principles accounting for these distinct consequences of RT are identified within this review: (a) the valence of thought content, (b) the intrapersonal and situational context in which RT occurs, and (c) the level of construal (abstract vs. concrete processing) adopted during RT. Of the existing models of RT, it is proposed that an elaborated version of the control theory account provides the best theoretical framework to account for its distinct consequences.
| S-EPMC2672052 | biostudies-other
Project description:A novel and rapid therapeutic approach is the treatment of human breast cancer by enhancing the host's immune system. In initial findings, program death one (PD-1) and program cell death ligand one (PD-L1) showed positive results towards solid tumors, but tumor relapse and drug resistance are the major concerns. Breast cancer therapy has been transformed by the advent of immune checkpoint blockades (ICBs). Triple-negative breast cancers (TNBCs) have exhibited enduring responses to clinical usage of immune checkpoint inhibitors (ICBs) like atezolizumab and pembrolizumab. Nonetheless, a notable proportion of individuals with TNBC do not experience advantages from these treatments, and there is limited comprehension of the resistance mechanisms. Another approach to overcome resistance is cancer stem cells (CSCs), as these cells are crucial for the initiation and growth of tumors in the body. Various cancer vaccines are created using stem cells (dendritic, whole cell, bacterial) and focus primarily on targeting tumor-related antigens. The ultimate objective of cancer vaccines is to immunize the patients by active artificial immunity against cancer, though. In this review, we primarily focused on existing immunotherapeutic options, immune checkpoint blockers, the latest progress in understanding the molecular mechanisms underlying resistance to immune checkpoint inhibitors (ICBs), advanced strategies to overcome resistance to ICBs, cancer stem cell antigens and molecular markers, ongoing clinical trials for BCs and cancer vaccines for breast cancer.
| S-EPMC10729681 | biostudies-literature
Project description:Fe-MCM-41 materials were prepared by different methods. The Fe was both incorporated into the structure and formed crystallites attached to the silica. High Fe content MCM-41 (~16 wt%) with retention of mesoporosity and long-range order was achieved by a range of new synthetic methodologies: (i) by delaying the addition of Fe3+(aq) to the stirred synthesis gel by 2 h, (ii) by addition of Fe3+ precursor as a freshly-precipitated aqueous slurry, (iii) by exploiting a secondary synthesis with Si-MCM-41 as SiO2 source. For comparative purposes the MCM-41 was also prepared by incipient wetness impregnation (IWI). Although all these synthesis methods preserved mesoporosity and long-range order of the SiO2 matrix, the hydrothermally-fabricated Fe materials prepared via the secondary synthesis route has the most useful properties for exploitation as a catalyst, in terms of hydrothermal stability of the resulting support. Temperature-programmed reduction (TPR) studies revealed a three-peak reduction pattern for this material instead of the commonly observed two-peak reduction pattern. The three peaks showed variable intensity that related to the presence of two components: crystalline Fe2O3 and Fe embedded in the SiO2 matrix (on the basis of ESR studies). The role of secondary synthesis of Si-MCM-41 on the iron reducibility was also demonstrated in IWI of sec-Si-MCM-41.
| S-EPMC5513583 | biostudies-literature
Project description:The construction of well-controllable in vitro models of physiological and pathological vascular endothelium remains a fundamental challenge in tissue engineering and drug development. Here, we present an approach for forming a synthetic endothelial extracellular matrix (ECM) that closely resembles that of the native structure by locally depositing basement membrane materials onto type 1 collagen nanofibers only in a region adjacent to the endothelial cell (EC) monolayer. Culturing the EC monolayer on this synthetic endothelial ECM remarkably enhanced its physiological properties, reducing its vascular permeability, and promoting a stabilized, quiescent phenotype. We demonstrated that the EC monolayer on the synthetic endothelial ECM neither creates non-physiological barriers to cell-cell or cell-ECM interactions, nor hinders molecular diffusion of growth factors and other molecules. The synthetic endothelial ECM and vascular endothelium on it may help us enter in a new phase of research in which various models of the biological barrier behavior can be tested experimentally.
| S-EPMC4685304 | biostudies-literature
Project description:Sonochemistry in a thin fluid layer has advantages of no visible cavitation, no turbulence, negligible temperature changes (≲1 °C), low power transducers, and transmissibility (sound pressure amplification) of ≳106. Unlike sonochemistry in semi-infinite fluids, resonance and so constructive interference of sound pressure can be established in thin layers. Constructive interference enables substantial amplification of sound pressure at solid fluid interfaces. Fluid properties of sound velocity and attenuation, oscillator input frequency, and thin fluid layer thickness couple to established resonance in underdamped conditions. In thin layer sonochemistry (TLS), thin layers are established where ultrasonic wavelength and oscillator-interface separation are comparable, about a centimeter in water. Solution of a one dimensional wave equation identifies explicit relationships between the system parameters required to establish resonance and constructive interference in a thin layer.
| S-EPMC10320778 | biostudies-literature
Project description: Not available
| S-EPMC1128876 | biostudies-literature