Sciweavers

SIAMSC
2011
105views more  SIAMSC 2011»
13 years 7 months ago
Position-Dependent Smoothness-Increasing Accuracy-Conserving (SIAC) Filtering for Improving Discontinuous Galerkin Solutions
Position-dependent smoothness-increasing accuracy-conserving (SIAC) filtering is a promising technique not only in improving the order of the numerical solution obtained by a disc...
Paulien van Slingerland, Jennifer K. Ryan, C. Vuik
PRL
2011
13 years 7 months ago
A sparse version of the ridge logistic regression for large-scale text categorization
The ridge logistic regression has successfully been used in text categorization problems and it has been shown to reach the same performance as the Support Vector Machine but with...
Sujeevan Aseervatham, Anestis Antoniadis, É...
AMC
2010
84views more  AMC 2010»
13 years 7 months ago
Fluctuations in a SIS epidemic model with variable size population
In an epidemiological model, time spent in one compartment is often modeled by a delay in the model. In general the presence of delay in differential equations can change the stab...
Abderrhaman Iggidr, K. Niri, E. Ould Moulay Ely
IJUFKS
2010
77views more  IJUFKS 2010»
13 years 9 months ago
How to Handle Interval solutions for Cooperative Interval Games
Interval uncertainty affects our decision making activities on a daily basis making the data structure of intervals of real numbers more and more popular in theoretical models and...
Rodica Branzei, Stef Tijs, S. Z. Alparslan Gö...
ESWA
2010
105views more  ESWA 2010»
13 years 9 months ago
A numerical comparison between simulated annealing and evolutionary approaches to the cell formation problem
The Cell Formation Problem is a crucial component of a cell production design in a manufacturing system. This problem consists of a set of product parts to be manufactured in a gr...
Andres Pailla, Athila R. Trindade, Victor Parada, ...
EC
2010
158views ECommerce» more  EC 2010»
13 years 9 months ago
An Efficient Algorithm for Computing Hypervolume Contributions
The hypervolume indicator serves as a sorting criterion in many recent multi-objective evolutionary algorithms (MOEAs). Typical algorithms remove the solution with the smallest lo...
Karl Bringmann, Tobias Friedrich
ICPPW
2009
IEEE
13 years 9 months ago
Global Multiprocessor Real-Time Scheduling as a Constraint Satisfaction Problem
In this paper we address the problem of global real-time periodic scheduling on heterogeneous multiprocessor platforms. We give a solution based on a constraint satisfaction proble...
Liliana Cucu-Grosjean, Olivier Buffet
ICCAD
2009
IEEE
147views Hardware» more  ICCAD 2009»
13 years 9 months ago
SAT-based protein design
Computational protein design can be formulated as an optimization problem, where the objective is to identify the sequence of amino acids that minimizes the energy of a given prot...
Noah Ollikainen, Ellen Sentovich, Carlos Coelho, A...
FORTE
2009
13 years 10 months ago
Using First-Order Logic to Reason about Submodule Construction
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
Gregor von Bochmann
FLAIRS
2009
13 years 10 months ago
Advanced Measures for Empirical Testing
Empirical testing is a very popular evaluation method for the development of intelligent systems. Here, previously solved problems with correct solutions are given as cases to the...
Joachim Baumeister