Research works

Ediacaran coupling of climate and biosphere dynamics

Climate change is demonstrably linked to radiations, extinctions, and turnovers in the biosphere throughout the Phanerozoic (538.8 Ma to present). Here, we suggest this connection existed as early as the late Ediacaran (ca. 579−538.8 Ma), the first interval in Earth’s history to...

dynoGP: Deep Gaussian Processes for Dynamic System Identification

ABSTRACT In this work, we present a novel approach to system identification for dynamical systems, based on a specific class of deep Gaussian processes (deepGPs). These models are constructed by interconnecting linear dynamic GPs (equivalent to stochastic linear time‐invariant dy...

Accurate quantification of spliced and unspliced transcripts for single-cell RNA sequencing with tidesurf

Abstract Motivation Single-cell RNA sequencing (scRNA-seq) allows for the detailed analysis of dynamic cellular processes. In particular, this has been enabled by the estimation of RNA velocity, the derivative of gene expression, from separate count matrices for different splice...

Mixed positive and negative feedback loops drive diverse single-cell gene expression dynamics

Abstract Genetic circuits with only a few components can generate complex gene regulatory dynamics. Here, we combine stochastic modelling and single-cell time-lapse microscopy to reveal the possible dynamics generated by a key gene circuit motif: the mixed positive/negative feedb...

Rare variant effect estimation and polygenic risk prediction

Abstract Due to their low frequency, estimating the effect of rare variants is challenging. Here, we propose RareEffect, a method that first estimates gene- or region-based heritability and then each variant effect size using an empirical Bayes approach. Our method uses a varianc...

Predictive Processing in Sport and Exercise Science: A Scoping Review and Theoretical Overview

Abstract Background This scoping review explored the application of predictive processing in sport and exercise science, examining how cognitive and computational models have been used to understand perceptual-motor skills, decision-making, and physical performance. The review pr...

Extensão Rural Agroecológica: experiências e limites

The article begins with a theoretical approach on the construction of a proposal of Rural Agroecological Extension (ERA), then links the theoretical aspects of the ERA and empirical data of a network ATER, analyzing nine projects of Technical Accompaniment and Rural Extension dev...

Las relaciones ecológicas: un aspecto central en el rediseño de agroecosistemas sustentables, a partir de la Agroecología

Agroecology emerges as a new paradigm of the agricultural sciences to generate knowledge for the evaluation, design and management of sustainable agroecosystems. One of the biggest challenges today is to reduce or eliminate the use of inputs (expensive and dangerous). This requir...

First-Class Constrained Types: Elaboration, Type Inference, Approximation, and a Characterization of Termination

We study a first-class treatment of constrained types, which were previously confined mostly to ML-style polymorphism. We define System FCCT, an extension of System F with polymorphic subtyping and constraint abstraction in types. A value of type c ⇒ τ can be used at type τ in an...

Blocking AGEs reduces airway epithelial viral susceptibility in diabetes-exacerbated COPD

Abstract Although diabetic complications are well-established in multiple organs, their impact on the respiratory system remains unclear. Clinical evidence indicates accelerated chronic obstructive pulmonary disease (COPD) progression in individuals with diabetes, yet the underly...

Pair distribution analysis of short- and medium-range order of metallic glasses: Direct imaging and diffraction-based approaches

Abstract Pair distribution function (PDF) analysis provides a quantitative framework for resolving short- and medium-range order in glasses. This article summarizes recent advances that extend PDF methods from bulk x-ray and neutron-diffraction methods to local electron microscop...

Clinicopathological analysis of distant metastasis in dermatofibrosarcoma protuberans: a report of 14 cases

BACKGROUND AND OBJECTIVES: Dermatofibrosarcoma protuberans (DFSP) is a rare sarcoma with a low metastatic rate; however, the prognosis worsens once distant metastasis occurs. We aimed to identify clinicopathological risk factors and molecular features associated with distant meta...

4000-year-old painted plaque from Southeast Indonesia reveals Austronesian Painting Tradition preceded Neolithic pottery

The Austronesian dispersal is the largest such event in human history, with descendants of people from Taiwan colonizing islands from Rapa Nui to Madagascar. The extent to which this dispersal was facilitated by an economic package or a particular ideology is uncertain. The “Aust...

The “migration industry” through the lens of the political economy of international migration in contemporary capitalism

Contemporary international migration is characterised by new infrastructures, institutions, agents and companies, with large multinational corporations playing a particularly prominent role. In partnership with leading imperialist powers, these corporations fulfil a strategic rol...

Evidence of a massive accretion event 1.8 billion years before the Gaia-Sausage-Enceladus merger

Abstract The merger history of the Galaxy has been traced back firmly to a redshift of 2 (10 billion years ago). While evidence for the existence of at least one more substantial merger before this time has been presented, its interpretation is yet to be fully established. Here w...

Randomized Quality Improvement Trials: An Overview and Proposed Framework for Ethical Oversight

Quality improvement (QI) is a routine part of health care delivery, but ineffective QI can have unintended consequences, waste resources, and paradoxically worsen health care quality. Randomized QI (RQI) trials use randomization to assign the QI intervention to some but not all p...

Another Type Inference Algorithm for First-Class Implicit Polymorphism

We propose yet another approach to type inference with first-class implicit polymorphism, based on the interleaving of an Algorithm M-style constraint-generating elaboration of terms and a solver for the generated constraints. The novelty of our approach is that types include exp...

A new standard for lyophilizer characterization, comparability and efficient technology transfers

This paper details the implementation of the ΔT and ΔP methodologies—recently introduced in the literature—for monitoring of mass flow during sublimation, demonstrating their application across multiple pharmaceutical companies. As a relatively new approach, this work is assessin...

Persistent Shelf‐to‐Basin Export of Bioavailable Dissolved Organic Carbon in the Arctic Ocean

Abstract Microbial carbon demand often exceeds local primary production in the oligotrophic central Arctic Ocean. Whether shelf‐derived dissolved organic carbon (DOC) provides a persistent carbon subsidy to reconcile this imbalance remains unclear. Here, we combine amino acid‐bas...

Correlation of MetalIon Coordination with MechanicalProperties and Ionic Conductivity in Homogeneous PEG-Based NetworkSolid Electrolytes

Abstract Understanding the relationship between metal ion coordination within polymer networks and macroscopic properties is a key factor in designing polymer electrolytes. In this study, homogeneous tetra/linear-PEG solid electrolytes were prepared by combining tetrafunctional a...