Sciweavers

6549 search results - page 40 / 1310
» Parsimonious additive models
Sort
View
GPEM
2007
113views more  GPEM 2007»
13 years 8 months ago
An evolutionary approach to cancer chemotherapy scheduling
In this paper, we investigate the employment of evolutionary algorithms as a search mechanism in a decision support system for designing chemotherapy schedules. Chemotherapy invol...
Gabriela Ochoa, Minaya Villasana, Edmund K. Burke
AAECC
2003
Springer
116views Algorithms» more  AAECC 2003»
14 years 2 months ago
The Jacobi Model of an Elliptic Curve and Side-Channel Analysis
Abstract. A way for preventing SPA-like attacks on elliptic curve systems is to use the same formula for the doubling and the general addition of points on the curve. Various propo...
Olivier Billet, Marc Joye
AMC
2005
127views more  AMC 2005»
13 years 8 months ago
The identification of nondominated and efficient paths on a network
In this paper, we present an application of 0-1 linear programming problem in the indentification of the nondominated paths on a network. To find efficient paths, an adaptationof t...
Gholam Reza Jahanshahloo, F. Hosseinzadeh Lotfi, N...
POPL
2012
ACM
12 years 4 months ago
Analysis of recursively parallel programs
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
Ahmed Bouajjani, Michael Emmi
ICALP
2010
Springer
14 years 1 months ago
Model Checking Succinct and Parametric One-Counter Automata
We investigate the decidability and complexity of various model checking problems over one-counter automata. More specifically, we consider succinct one-counter automata, in which...
Stefan Göller, Christoph Haase, Joël Oua...