Bayesian optimization speeds up bioprocess development across scales.
problem Costly and complex bioprocess development across scales and biocatalyst selection.
method Multi-fidelity batch Bayesian optimization framework integrating Gaussian Processes and mixed-variable optimization.
result Reduction in experimental costs and increased yield in bioprocess optimization.
Paper develops a framework to discover bioprocessing regulatory mechanisms using symbolic and statistical learning.
problem Challenges in modeling complex intracellular regulation, stochastic system behavior, and limited experimental data.
method Symbolic and statistical learning framework based on stochastic differential equations and Bayesian learning.
result Improved sample efficiency and robust model selection compared to state-of-the-art approaches.
Adjoint SA speeds up bioprocess parameter learning.
problem Challenges in digital twin development for biomanufacturing.
method Adjoint sensitivity analysis on multi-scale enzymatic reaction networks.
result Resilient sensitivities reveal bioprocess regulatory mechanisms.
Bayesian optimization simplifies bioprocess engineering experiments.
problem Complex biological systems and experimental uncertainty.
method Adapts classical Bayesian optimization for bioprocess engineering.
result Provides accessible introduction to Bayesian optimization for practitioners.
RAPTOR-GEN accelerates digital twin development for biopharmaceuticals.
problem Lack of agility in rapid, on-demand production of biotherapeutics due to bioprocess complexity.
method Bayesian learning framework based on a multi-scale probabilistic knowledge graph (pKG) and stochastic differential equations (SDE).
result RAPTOR-GEN accelerates intelligent digital twin development from sparse and heterogeneous experimental data.
While biomanufacturing plays a significant role in supporting the economy and ensuring public health, it faces critical challenges, including complexity, high variability, lengthy lead time, and very limited process data, especially for personalized new cell and gene biotherapeutics. Driven by these challenges, we prop…
A Human-in-the-Loop Bayesian Optimization framework for constraint-aware bioprocess development.
problem Bioprocess development
method Pareto Front Guided Sampling (PFGS) with Bayesian Optimization (BO)
result Systematic identification of high-performing, feasibility-compliant, and perturbation-resilient operating conditions.
A new method uses ABC-SMC to infer hybrid models in bioprocesses with limited data.
problem Inference of hybrid models in bioprocesses with limited real data and high uncertainties.
method Approximate Bayesian Computation with Sequential Monte Carlo (ABC-SMC) and linear Gaussian dynamic Bayesian network (LG-DBN) for posterior distribution approximation.
result The method accelerates hybrid model inference and supports process monitoring and robust control.
Paper develops efficient Bayesian inference for enzymatic SRNs with LNA metamodel.
problem Bayesian inference for nonlinear SDE-based mechanistic models with partial observations and measurement errors.
method Interpretable Bayesian updating LNA metamodel and efficient posterior sampling.
result Proposed approach demonstrates promising performance in empirical studies.
A new RL method handles uncertainty and constraints in real-time optimization.
problem Real-time optimization under process uncertainty and constraints.
method Chance-constrained reinforcement learning to handle probabilistic state constraints.
result Satisfies process constraints with high probability in real-time.
Optimizes biomanufacturing processes with a new digital twin calibration method.
problem Lack of interpretability and sample efficiency in traditional DoE methods.
method Developed a computational approach to calibrate Bio-SoS digital twin model.
result Guides sample-efficient and interpretable DoEs by quantifying sub-model parameter estimation errors.
Framework for sensitivity analysis in biomanufacturing processes.
problem High complexity and uncertainty in biomanufacturing processes.
method Shapley value estimation for linear and nonlinear pKG models, using quasi-Monte Carlo and antithetic sampling.
result Improved efficiency and accuracy in sensitivity analysis for biomanufacturing processes.
Curves can bound only finitely many developable surfaces.
problem Bounding developable surfaces with nonvanishing mean curvature.
method Proof of finiteness for developable surfaces with prescribed boundary curves.
result Generic curves bound only finitely many developable surfaces.
The paper extends Cartan development to infinite dimensional Lie groups.
problem Generalizing Cartan development to infinite dimensional Lie groups.
method Generalization of Cartan development to infinite dimensional manifolds and Lie groups.
result The tangent mapping of a Cartan development is another Cartan development.
The paper studies singularities on parallels of tangent developable surfaces of frontal curves.
problem Understanding singularities on parallels of tangent developable surfaces.
method Generalization of tangent developable surfaces and parallel deformations for frontal curves in arbitrary dimensions.
result Classification of generic singularities on parallels of tangent developable surfaces for frontal curves in 3 or 4 dimensional Euclidean spaces.
Survey on new Ricci flow techniques.
problem None explicitly stated.
method None explicitly stated.
result None explicitly stated.
Survey of software developers' experience with Github Copilot tool.
problem Investigate developers' acceptance of AI-generated code.
method Survey with 18 questions distributed to 42 programmers.
result Mixed developer opinions, mostly positive but reluctance to use.
We provide a condition for spatial curves which rules out the development of a type I singularity. The condition is that after the last time for which an inflection point develops, if the torsion is ever everywhere non-negative, the curve cannot develop a type I singularity.
PrototypeML simplifies neural network design and development.
problem Error-prone code and time-consuming model design.
method Visual interface for neural networks, abstracting PyTorch.
result Reduces model design and development time, easier debugging.
Survey on DDVV-type inequalities, their history, and recent developments.
problem None explicitly stated; focuses on surveying existing work.
method None explicitly stated; focuses on surveying existing work.
result Survey of DDVV-type inequalities and their history and recent developments.
Study on insurance risk management and sustainable development.
problem Lack of attention to non-climate change aspects of sustainable development in insurance.
method Analysis of recent developments and legislative initiatives in insurance risk management.
result Strategies for small- and medium-sized enterprises to manage sustainable development risks.
This manuscript develops the theory of agglomerative clustering with Bregman divergences. Geometric smoothing techniques are developed to deal with degenerate clusters. To allow for cluster models based on exponential families with overcomplete representations, Bregman divergences are developed for nondifferentiable co…
We develop a method to describe laws of random surfaces using surface holonomy.
problem Describing laws of random surfaces with structure.
method Introduce surface holonomy and develop expected surface developments.
result Expected surface development provides a structured description of random surface laws.
This paper reviews the checkered history of predictive distributions in statistics and discusses two developments, one from recent literature and the other new. The first development is bringing predictive distributions into machine learning, whose early development was so deeply influenced by two remarkable groups at …
Study shows 'Belt and Road' node cities boost digital finance in China.
problem Impact of 'Belt and Road' node cities on digital inclusive finance.
method Descriptive analysis, literature review, theoretical model, differential differential method.
result Establishment of 'Belt and Road' node cities promotes digital inclusive finance in China, with Internet development as a mediating variable.
Establishes existence of maximal globally hyperbolic development for Einstein equations.
problem Initial value problem for generalised Einstein equations.
method Generalised Lorentz gauge, adapted from Ringström's approach.
result Existence and geometric uniqueness of maximal globally hyperbolic development.
We investigate the relationship among characteristic curves on developable surfaces. In case parameter curves coincide with these curves, we show that the base curve of a developable surface could be either a plane curve, a circular helix, a general helix or a slant helix.
Motivated by applications in architecture and design, we present a novel method for increasing the developability of a B-spline surface. We use the property that the Gauss image of a developable surface is 1-dimensional and can be locally well approximated by circles. This is cast into an algorithm for thinning the Gau…
This article presents a theoretical model for a dynamic system based on sustainable development. Due to the relatively absence of theoretical studies and practical issues in the area of sustainable development, Romania aspires to the principles of sustainable development. Based on the concept as a process in which econ…
Simplifying machine learning (ML) application development, including distributed computation, programming interface, resource management, model selection, etc, has attracted intensive interests recently. These research efforts have significantly improved the efficiency and the degree of automation of developing ML mode…
Recent developments in Seiberg-Witten theory and relations with Complex Geometry.
This paper presents a simple model to measure the relative economic growth of economic systems. The model considers S-Shaped patterns of economic growth that, represented with a linear model, measure how an economic system grows in comparison with another one. In particular, this model introduces an approach which indi…
Constructs stochastic processes on sub-Riemannian manifolds using Cartan connections.
problem Developing stochastic processes on sub-Riemannian manifolds.
method Introduces stochastic development using Cartan connections, derives generator, and provides conditions for existence.
result Derives a general expression for the generator of the stochastic process and provides conditions for the existence of a Cartan connection.
This article reports recent developments of the research on Hamilton's Ricci flow and its applications.
This chapter focuses on developing datasets for machine learning, addressing data preparation challenges.
problem Challenges in collecting and transforming data for practical machine learning applications.
method Detailed process of dataset development including data collection, transformation, quality evaluation, and distribution.
result Provides insights and practical tools for effective dataset development and management.
The paper develops a causal machine learning framework to optimize aid allocation.
problem Optimizing aid allocation to reduce new HIV infections in poor countries.
method The framework uses a balancing autoencoder, counterfactual generator, and inference model to predict heterogeneous treatment effects.
result The framework predicts a reduction of up to 3.3% in new HIV infections, saving 50,000 lives.
Defines metrics for Lorentzian spaces and explores maximal developments.
problem Defining metrics and maximal developments in Lorentzian spaces.
method Defining Lorentzian spaces and using functorial properties.
result Explicit non-spacetime example of maximal globally hyperbolic Lorentzian space.
In this paper, the Almeida-Molino obstruction to developability of transversely complete foliations is extended to Lie groupoids.
The paper analyzes the current state of the world economy and offers a short-term forecast of its development. Our analysis of log-periodic oscillations in the DJIA dynamics suggests that in the second half of 2017 the United States and other more developed countries could experience a new recession, due to the third p…
In this paper we do the first large scale analysis of writing style development among Danish high school students. More than 10K students with more than 100K essays are analyzed. Writing style itself is often studied in the natural language processing community, but usually with the goal of verifying authorship, assess…
Proposes guidelines for developing medical AI products.
problem Lack of clear pathways for regulating medical AI.
method Statistical risk perspective and deep understanding of machine learning methodologies.
result Enhanced development of medical AI products and regulations.
Framework for AI healthcare products from concept to market.
problem Failure of AI products to reach clinics despite promising potential.
method Decision-making framework for AI healthcare product development.
result Guides through a three-phase process to market launch of validated AI products.
Examines insurance market development and similarity post-2004 EU enlargement.
problem Comparing insurance markets of EU old and new members post-enlargement.
method Analyzes data from 2004 to present to compare insurance markets.
result Identifies similarities and differences in insurance markets post-2004 enlargement.
New complete panel dataset for LMICs helps analyze innovation and development.
problem Lack of complete data for empirical analyses in LMICs.
method Predictive Mean Matching multiple imputation technique.
result Created a large dataset of 47 variables for 82 LMICs from 2005-2019.
Composite development indicators used in policy making often subjectively aggregate a restricted set of indicators. We show, using dimensionality reduction techniques, including Principal Component Analysis (PCA) and for the first time information filtering and hierarchical clustering, that these composite indicators m…
The book explores essential stats and psychology for quantitative trading.
problem Developing a quantitative trading system.
method Logical progression through articles on statistics, quantitative trading, and psychology.
result Essential elements for quantitative trading systems.
To accelerate research on adversarial examples and robustness of machine learning classifiers, Google Brain organized a NIPS 2017 competition that encouraged researchers to develop new methods to generate adversarial examples as well as to develop new ways to defend against them. In this chapter, we describe the struct…
Develops arithmetic PDE geometry concepts like curvature and cohomology.
problem Creating a geometry framework for arithmetic PDEs.
method Introducing arithmetic analogues of Levi-Civita and Chern connections, then developing curvature and characteristic classes.
result Arithmetic analogues of curvature and characteristic classes have been developed.