• Suche: Algorithmic Principles of Mathematical Programming

Treffer 141 - 160 von 564

141

Semantics and complexity of abduction from default theories
EITER, T ; GOTTLOB, G ; LEONE, N
Artificial intelligence. 90(1-2):177-223

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Fachzeitschrift
Zu den Favoriten
143

Algebraic processing of programming languages
RUS, T
AMiLP '95Theoretical computer science. 199(1-2):105-143

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Fachzeitschrift
Zu den Favoriten
145

Combination of constraint systems II: Rational amalgamation
SCHULZ, Klaus U ; KEPSER, Stephan
Theoretical computer science. 266(1-2):113-157

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Fachzeitschrift
Zu den Favoriten
146

Experimental and Theoretical Aspects of Corrosion Detection and Prevention.
CONNECTICUT UNIV STORRS DEPT OF MATHEMATICS ; Madych, W. R. ; Devereux, O. F. ; et al.
DTIC AND NTIS

E-Ressource
Zu den Favoriten
147

Designing a home-to-work bus service in a metropolitan area
PERUGIA, Alessandro ; MOCCIA, Luigi ; CORDEAU, Jean-François ; et al.
Transportation research. Part B : methodological. 45(10):1710-1726

Europe Europa Italie Italy Italia Transportation …
Fachzeitschrift
Zu den Favoriten
149

A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization
KEARFOTT, R. B
ACM transactions on mathematical software. 21(1):63-78

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Fachzeitschrift
Zu den Favoriten
150

Axioms for recursion in call-by-value
HASEGAWA, Masahito ; KAKUTANI, Yoshihiko
Special Issue on the Third ACM SIGPLAN Workshop on Continuations (CW'01)Higher-order and symbolic computation. 15(2-3):235-264

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
151

Beyond hypertree width : Decomposition methods without decompositions
CHEN, Hubie ; DALMAU, Victor
Principles and practice of constraint programming - CP 2005 (11th international conference, CP 2005, Sitges, Spain, October 1-5, 2005, proceedings)Lecture notes in computer science. :167-181

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
152

Duality between call-by-name recursion and call-by-value iteration
KAKUTANI, Yoshihiko
CSL 2002 : computer science logic (Edinburgh, 22-25 September 2002)Lecture notes in computer science. :506-521

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
153

An automated, unobtrusive, formative assessment of creativity in a computer science and music remixing learning environment.
Rahimi, Seyedahmad ; Smith, Jason Brent ; Truesdell, Erin J. K. ; et al.
Psychol Aesthet Creat Arts

Fachzeitschrift
Zu den Favoriten
154

Emission-Imaging Electron-Optical System Design
Il'In, V.P. ; Kateshov, V.A. ; Kulikov, Yu.V. ; et al.
In Advances In Electronics And Electron Physics 1990 78:155-278

Fachzeitschrift
Zu den Favoriten
155

Chapter 1 - Journey of computational intelligence in sustainable computing and optimization techniques: An introduction
Kuppuchamy, Sampath Kumar ; Srinivasan, S. ; Dhandapani, Ganesh ; et al.
In Computational Intelligence in Sustainable Computing and Optimization 2025:1-51

Buch
Zu den Favoriten
156

Hypergraph Lambek grammars
Pshenitsyn, Tikhon
In Journal of Logical and Algebraic Methods in Programming November 2022 129

Fachzeitschrift
Zu den Favoriten
157

Logical Approach to Programming
Nepeivoda, N.N.
In Studies in Logic and the Foundations of Mathematics 1982 104:109-122

Fachzeitschrift
Zu den Favoriten
158

Dieses Ergebnis kann Gästen nicht angezeigt werden.

159

A factored regression model for composite scores with item-level missing data.
Alacam, Egamaria ; Enders, Craig K. ; Du, Han ; et al.
Psychol Methods

Fachzeitschrift
Zu den Favoriten
160

GOOSE - A Generic Object-Oriented Search Environment.
Beek, Peter ; Müller, Henry ; Jähnichen, Stefan
Principles & Practice of Constraint Programming - CP 2005. 2005, p863-863. 1p.

Buch
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter