English
Related papers

Related papers: An improved multi-parametric programming algorithm…

200 papers

Program behavior may depend on parameters, which are either configured before compilation time, or provided at run-time, e.g., by sensors or other input devices. Parametric program analysis explores how different parameter settings may…

Programming Languages · Computer Science 2014-06-23 Thomas M. Gawlitza , Martin D. Schwarz , Helmut Seidl

The aggregated unfitted finite element method (AgFEM) is a methodology recently introduced in order to address conditioning and stability problems associated with embedded, unfitted, or extended finite element methods. The method is based…

Numerical Analysis · Computer Science 2019-08-20 Francesc Verdugo , Alberto F. Martín , Santiago Badia

We propose a whole-body model of the metabolism in man as well as a generalized approach for modeling metabolic networks. Using this approach, we are able to write a large metabolic network in a systematic and compact way. We demonstrate…

Quantitative Methods · Quantitative Biology 2022-05-04 Peter Emil Carstensen , Jacob Bendsen , Asbjørn Thode Reenberg , Tobias K. S. Ritschel , John Bagterp Jørgensen

Influence maximization is the task of finding the smallest set of nodes whose activation in a social network can trigger an activation cascade that reaches the targeted network coverage, where threshold rules determine the outcome of…

Artificial Intelligence · Computer Science 2021-04-16 Manqing Ma , Gyorgy Korniss , Boleslaw K. Szymanski

This study performs parameter inference in a partial differential equations system of pulmonary circulation. We use a fluid dynamics network model that takes selected parameter values and mimics the behaviour of the pulmonary haemodynamics…

Molecular activity prediction is critical in drug design. Machine learning techniques such as kernel methods and random forests have been successful for this task. These models require fixed-size feature vectors as input while the molecules…

Machine Learning · Computer Science 2018-01-30 Trang Pham , Truyen Tran , Svetha Venkatesh

Untargeted metabolomic profiling through liquid chromatography-mass spectrometry (LC-MS) measures a vast array of metabolites within biospecimens, advancing drug development, disease diagnosis, and risk prediction. However, the low…

Quantitative Methods · Quantitative Biology 2024-05-27 Marie Breeur , George Stepaniants , Pekka Keski-Rahkonen , Philippe Rigollet , Vivian Viallon

The stoichiometry of metabolic networks usually gives rise to a family of conservation laws for the aggregate concentration of specific pools of metabolites, which not only constrain the dynamics of the network, but also provide key insight…

Molecular Networks · Quantitative Biology 2013-09-11 A. De Martino , D. De Martino , R. Mulet , A. Pagnani

Any organism is embedded in an environment that changes over time. The timescale for and statistics of environmental change, the precision with which the organism can detect its environment, and the costs and benefits of particular protein…

Quantitative Methods · Quantitative Biology 2023-07-19 David A. Sivak , Matt Thomson

This study employed an artificial intelligence-enhanced molecular simulation framework to enable efficient Path Integral Molecular Dynamics (PIMD) simulations. Owing to its modular architecture and high-throughput capabilities, the…

Chemical Physics · Physics 2025-04-01 Cheng Fan , Maodong Li , Sihao Yuan , Zhaoxin Xie , Dechin Chen , Yi Isaac Yang , Yi Qin Gao

Deep learning has proven to be a highly effective tool for a wide range of applications, significantly when leveraging the power of multi-loss functions to optimize performance on multiple criteria simultaneously. However, optimal selection…

Computer Vision and Pattern Recognition · Computer Science 2025-07-29 Amin Golnari , Mostafa Diba

Next-generation particle accelerators demand advanced beam-diagnostic capabilities to ensure high performance, operational reliability, and sustainable machine operation. Increasing beam intensities and stored energies make the precise…

Accelerator Physics · Physics 2026-03-10 Francis René Osswald , Mohammed Chahbaoui , Xinyi Liang

One central goal of systems biology is to infer biochemical regulations from large-scale OMICS data. Many aspects of cellular physiology and organism phenotypes could be understood as a result of the metabolic interaction network dynamics.…

Molecular Networks · Quantitative Biology 2025-01-03 Jiahang Li , Steffen Waldherr , Wolfram Weckwerth

Sparse matrix-matrix multiplication (SpGEMM) is a critical operation in numerous fields, including scientific computing, graph analytics, and deep learning. These applications exploit the sparsity of matrices to reduce storage and…

Machine Learning · Computer Science 2024-08-30 Sanjali Yadav , Bahar Asgari

Managing interference in a network of macrocells underlaid with femtocells presents an important, yet challenging problem. A majority of spatial (frequency/time) reuse based approaches partition the users based on coloring the interference…

Information Theory · Computer Science 2015-04-28 Kartik Ahuja , Yuanzhang Xiao , Mihaela van der Schaar

Machine learning tasks are generally formulated as optimization problems, where one searches for an optimal function within a certain functional space. In practice, parameterized functional spaces are considered, in order to be able to…

Artificial Intelligence · Computer Science 2024-12-13 Manon Verbockhaven , Sylvain Chevallier , Guillaume Charpiat , Théo Rudkiewicz

Isotopically non-stationary metabolic flux analysis (INST $^{13}$C-MFA) provides unique insights into cellular physiology but is typically limited by low throughput and high experimental costs. Here, we present a miniaturized and automated…

Quantitative Methods · Quantitative Biology 2026-05-26 Jochen Nießer , Anton Stratmann , Martin Beyß , Wolfgang Wiechert , Katharina Nöh , Stephan Noack

High-level applications, such as machine learning, are evolving from simple models based on multilayer perceptrons for simple image recognition to much deeper and more complex neural networks for self-driving vehicle control systems.The…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-10-12 Guixiang Ma , Yao Xiao , Theodore L. Willke , Nesreen K. Ahmed , Shahin Nazarian , Paul Bogdan

Deep multitask networks, in which one neural network produces multiple predictive outputs, can offer better speed and performance than their single-task counterparts but are challenging to train properly. We present a gradient normalization…

Computer Vision and Pattern Recognition · Computer Science 2018-07-16 Zhao Chen , Vijay Badrinarayanan , Chen-Yu Lee , Andrew Rabinovich

The metabolic fluxes in cells follow physical, biochemical, and economic principles. Some flux balance analysis (FBA) methods trade flux benefit against flux cost. However, if flux cost functions are linear and meant to describe underlying…

Molecular Networks · Quantitative Biology 2022-10-05 Wolfram Liebermeister
‹ Prev 1 8 9 10 Next ›