Titre (en)
Checkpoint
Istex
Racine
Checkpoint
Istex
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur l'Université de Trèves - Checkpoint (Istex)

Index « Titre (en) » - entrée « programs »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
programming < programs < progress  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 13.
Ident.Authors (with country if any)Title
000D03 (2000) Helmut Seidl [Allemagne] ; Bernhard Steffen [Allemagne]Constraint-Based Inter-Procedural Analysis of Parallel Programs
000E58 (1998) Stasys Jukna [Allemagne, Lituanie] ; Stanislav Žák [République tchèque]On branching programs with bounded uncertainty
000F46 (1997) S. Jukna [Allemagne] ; A. Razborov [Russie, Cuba] ; P. Savick [République tchèque, Swaziland] ; I. Wegener [Allemagne]On P versus NP∩co-NP for decision trees and read-once branching programs
001052 (1996) Carsten Damm [Allemagne] ; Markus Holzer [Allemagne]Inductive Counting for Width-Restricted Branching Programs
001058 (1996) David L. Feldman ; Catherine A. WiltEvaluating the Implementation of State-Level Global Climate Change Programs
001130 (1995) Christoph Meinel [Allemagne] ; S. Waack [Allemagne]Separating complexity classes related to bounded alternating ω-branching programs
001155 (1995) S. Ito [Japon] ; C. T. Kelley ; E. W. Sachs [Allemagne]Inexact primal-dual interior point iteration for linear programs in function spaces
001266 (1994) R. Horst [Allemagne] ; L. D. Muu [Viêt Nam] ; M. Nast [Allemagne]Branch-and-bound decomposition approach for solving quasiconvex-concave programs
001313 (1993) Christoph Meinel [Allemagne] ; Stephan Waack [Allemagne]Separating complexity classes related to bounded alternating Ω-branching programs
001336 (1993) Jordan Gergov ; Christoph Meinel [Allemagne]Frontiers of feasible and probabilistic feasible Boolean manipulation with branching programs
001485 (1991) R. Horst [Allemagne] ; T. Q. Phong [Viêt Nam] ; Ng. V. Thoai [Viêt Nam] ; J. De Vries [Allemagne]On solving a D.C. programming problem by a sequence of linear programs
001557 (1990) Reiner Horst [Allemagne] ; Thai Q. Phong [Viêt Nam] ; Nguyen V. ThoaiOn solving general reverse convex programming problems by a sequence of linear programs and line searches
001703 (1987) Alexander Von Eye ; Gunter Krampen [Allemagne]Basic Programs for Prediction Analysis of Cross Classification

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Rhénanie/explor/UnivTrevesV1/Data/Istex/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i -k "programs" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i  \
                -Sk "programs" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Rhénanie
   |area=    UnivTrevesV1
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Title.i
   |clé=    programs
}}
Wicri

This area was generated with Dilib version V0.6.31.
Data generation: Sat Jul 22 16:29:01 2017. Site generation: Wed Feb 28 14:55:37 2024