Showing 221 - 240 of 30,021

221

Unconditionally secure key assignment schemes
DE SANTIS, Alfredo ; FERRARA, Anna Lisa ; MASUCCI, Barbara
Coding and cryptographyDiscrete applied mathematics. 154(2):234-252

Control theory, operatio... Automatique, recherche o... Computer science Informatique Mathematics Mathématiques
Conference
Save to List
222

Uncertainty in thermal basin modeling : An interval finite element approach
PEREIRA, Sebastiao C ; MELLO, Ulisses T ; EBECKEN, Nelson F. F ; et al.
Reliable Engineering ComputingReliable computing. 12(6):451-470

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
223

Typical properties of winners and losers in discrete optimization
BEIER, Rene ; VÖCKING, Berthold
Thirty-Sixth Annual ACM Symposium on Theory of Computing (STOC 2004)SIAM journal on computing (Print). 35(4):855-881

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
224

Two proteins for the price of one : The design of maximally compressed coding sequences
BEI WANG ; PAPAMICHAIL, Dimitris ; MUELLER, Steffen ; et al.
DNA computing (11th international workshop on DNA computing, DNA11, London, ON, Canada, June 6-9, 2005)0DNA 11. :387-398

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
225

Two equivalent measures on weighted hypergraphs
ITO, Hiro ; NAGAMOCHI, Hiroshi
Discrete algorithms and optimization, in honor of professor Toshihide Ibaraki at his retirement from Kyoto UniversityDiscrete applied mathematics. 154(16):2330-2334

Control theory, operatio... Automatique, recherche o... Computer science Informatique Mathematics Mathématiques
Conference
Save to List
226

Tuples of disjoint NP-sets
BEYERSDORFF, Olaf
Computer science (theory and applications)0CSR 2006. :80-91

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
227

Trees, grids, and MSO decidability : From graphs to matroids
HLINENY, Petr ; SEESE, Detlef
Parameterized and exact computationTheoretical computer science. 351(3):372-393

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Conference
Save to List
228

Transposing partial components : An exercise on coalgebraic refinement
BARBOSA, Luis S ; OLIVEIRA, José N
Formal methods for components and objectsTheoretical computer science. 365(1-2):2-22

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
229

Transcendence of numbers with an expansion in a subclass of complexity 2N +1
KÄRKI, Tomi
Informatique théorique et applications (Imprimé). 40(3):459-471

Control theory, operatio... Automatique, recherche o... Computer science Informatique Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
230

Tracing denial of service origin : Ant colony approach
CHEN, Chia-Mei ; BING CHIANG JENG ; CHIA RU YANG ; et al.
Applications of evolutionary computing (EvoWorkshops 2006)Lecture notes in computer science. :286-295

Bioinformatics Bioinformatique Computer science Informatique Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
231

Towards practical biomolecular computers using microfluidic deoxyribozyme logic gate networks
FARFEL, Joseph ; STEFANOVIC, Darko
DNA computing (11th international workshop on DNA computing, DNA11, London, ON, Canada, June 6-9, 2005)0DNA 11. :38-54

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
232

Towards imperative modules : Reasoning about invariants and sharing of mutable state
NAUMANN, David A ; BARNETT, Mike
Formal methods for components and objectsTheoretical computer science. 365(1-2):143-168

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
233

Towards combining probabilistic and interval uncertainty in engineering calculations : Algorithms for computing statistics under interval uncertainty, and their computational complexity
KREINOVICH, Vladik ; GANG XIANG ; HAJAGOS, Janos G ; et al.
Reliable Engineering ComputingReliable computing. 12(6):471-501

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
234

Tighter approximation bounds for LPT scheduling in two special cases
KOVACS, Annamaria
Algorithms and complexity (6th Italian conference, CIAC 2006, Rome, Italy, May 29-31, 2006)0CIAC 2006. :187-198

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
235

Three concepts of decidability for general subsets of uncountable spaces
PARKER, Matthew W
Real numbers and computersTheoretical computer science. 351(1):2-13

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
236

The vehicle routing problem with flexible time windows and traveling times
HASHIMOTO, Hideki ; IBARAKI, Toshihide ; IMAHORI, Shinji ; et al.
Discrete algorithms and optimization, in honor of professor Toshihide Ibaraki at his retirement from Kyoto UniversityDiscrete applied mathematics. 154(16):2271-2290

Control theory, operatio... Automatique, recherche o... Computer science Informatique Mathematics Mathématiques
Conference
Save to List
237

The sandwich problem for cutsets : Clique cutset, k-star cutset
TEIXEIRA, Rafael B ; HERRERA DE FIGUEIREDO, Celina M
Traces of the Latin American conference on combinatorics, graphs and applications: a selection of papers from LACGA 2004Discrete applied mathematics. 154(13):1791-1798

Control theory, operatio... Automatique, recherche o... Computer science Informatique Mathematics Mathématiques
Conference
Save to List
238

The role of representations in dynamic knapsack problems
BRANKE, Jürgen ; ORBAYI, Merve ; UYAR, Sima
Applications of evolutionary computing (EvoWorkshops 2006)Lecture notes in computer science. :764-775

Bioinformatics Bioinformatique Computer science Informatique Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
239

The random multisection problem, travelling waves and the distribution of the height of m-ary search trees
CHAUVIN, Brigitte ; DRMOTA, Michael
Analysis of algorithmsAlgorithmica. 46(3-4):299-327

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
240

The numerical solution of the radial Schrödinger equation via a trigonometrically fitted family of seventh algebraic order Predictor-Corrector methods
PSIHOYIOS, G ; SIMOS, T. E
Special issue on the International conference of computational methods in sciences and engineering (ICCMSE 2004)Journal of mathematical chemistry. 40(3):269-293

Chemistry Chimie Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List

Filter