Results 11 to 20 of about 8,463,541 (194)
Separation algorithms for 0-1 knapsack polytopes [PDF]
, 2010 Valid inequalities for 0-1 knapsack polytopes often prove useful when tackling hard 0-1 Linear Programming problems. To generate such inequalities, one needs separation algorithms for them, i.e., routines for detecting when they are violated.
Letchford, Adam, Kaparis, Konstantinos
core +4 more sources
Exploiting Parallelism for Hard Problems in Abstract Argumentation [PDF]
, 2015 argumentation framework (AF) is a unifying framework able to encompass a variety of nonmonotonic reasoning approaches, logic programming and computational argumentation.
Vallati, Mauro +5 more
core +4 more sources
Exact enumeration of satisfiable 2-SAT formulae [PDF]
, 2023 We obtain exact expressions counting the satisfiable 2-SAT formulae and describe the structure of associated implication digraphs. Our approach is based on generating function manipulations.
Dovgal, Sergey +2 more
core +1 more source
Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Groebner Bases [PDF]
, 2010 We review our algebraic framework for linear boundary problems (concentrating on ordinary differential equations). Its starting point is an appropriate algebraization of the domain of functions, which we have named integro-differential algebras.
Regensburger, Georg +4 more
core +1 more source
An extension of set partitioning with application to scheduling problems [PDF]
, 1983 The well known problems of set covering, set partitioning and set packing are defined and their interrelationship is considered. A natural generalisation called the extended set partitioning model is presented and the three standard models are shown to ...
Mitra, G, Darby-Dowman, K
core +6 more sources
Exact BER of Rectangular-Constellation QAM Subjected to Asynchronous Co-Channel Interference and Nakagami-m Fading [PDF]
, 2006 The exact average bit error ratio (BER) of the rectangular quadrature amplitude modulation (QAM) constellation is studied in the context of asynchronous co-channel interference (CCI) and Nakagami-m fading.
Liu, X. +3 more
core +2 more sources
Inflations of geometric grid classes of permutations [PDF]
, 2015 All three authors were partially supported by EPSRC via the grant EP/J006440/1.Geometric grid classes and the substitution decomposition have both been shown to be fundamental in the understanding of the structure of permutation classes.
Ruskuc, Nik, Albert, M.D., Vatter, V.
core +1 more source
Effects of distraction on visual enumeration in children and adults [PDF]
, 2011 Speeded enumeration of visual stimuli typically produces a bilinear function, with a shallow subitizing rate (
Derrick G. Watson +5 more
core +1 more source
Organoids in pediatric cancer research
FEBS Letters, EarlyView.Organoid technology has revolutionized cancer research, yet its application in pediatric oncology remains limited. Recent advances have enabled the development of pediatric tumor organoids, offering new insights into disease biology, treatment response, and interactions with the tumor microenvironment.
Carla Ríos Arceo, Jarno Drost
wiley +1 more source
Modelling stem cell differentiation related processes—A practical overview for biologists
FEBS Letters, EarlyView.Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar +4 more
wiley +1 more source