• Suche: Algorithmic Principles of Mathematical Programming

Treffer 101 - 120 von 564

101

Type inference in intuitionistic linear logic
Baillot, Patrick ; Hofmann, Martin ; Laboratoire de l'Informatique du Parallélisme (LIP) ; et al.
12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2010). :219-230

Hagenberg, Austria Lambda calculus Linear logic Type inference Type systems F.4.1 [Mathematical Logi... …
Konferenz
Zu den Favoriten
102

Two applications of the divide&conquer principle in the molecular sciences
Brinkmann, G. ; Dress, A. W. M. ; Perrey, S. W. ; et al.
Mathematical Programming. October 1997 79(1-3):71-97

Fachzeitschrift
Zu den Favoriten
103

Dieses Ergebnis kann Gästen nicht angezeigt werden.

104

Dieses Ergebnis kann Gästen nicht angezeigt werden.

105

On complementary principles of object-oriented constraint programming.
Semenov, V. ; Dragalov, K. ; Ilyin, D. ; et al.
Programming & Computer Software. Sep2010, Vol. 36 Issue 5, p264-275. 12p.

CONSTRAINT programming OBJECT-oriented methods... DATA modeling PROGRAMMING languages INDUSTRIAL management SYSTEMS design …
Fachzeitschrift
Zu den Favoriten
106

Interactive Computation and Artificial Epistemologies
Parisi, Luciana ; Parisi, Luciana

Fachzeitschrift
Zu den Favoriten
107

A multiple-shooting differential dynamic programming algorithm. Part 1: Theory.
Pellegrini, Etienne ; Russell, Ryan P.
Acta Astronautica. May2020, Vol. 170, p686-700. 15p.

DYNAMIC programming TRAJECTORY optimization NONLINEAR programming MATHEMATICAL decoupling ALGORITHMS NONLINEAR equations
Fachzeitschrift
Zu den Favoriten
108

Two approximate algorithms for model counting.
Wang, Jinyan ; Yin, Minghao ; Wu, Jingli
Theoretical Computer Science. Jan2017 Part A, Vol. 657, p28-37. 10p.

MATHEMATICAL models ALGORITHMIC randomness MACHINE theory ALGORITHMS COMPUTER programming
Fachzeitschrift
Zu den Favoriten
109

EDITORIAL SPECIAL ISSUE: PART IV-III-II-I SERIES.
KARACA, YELİZ ; BALEANU, DUMITRU ; MOONIS, MAJAZ ; et al.
Fractals. 2023, Vol. 31 Issue 10, p1-58. 58p.

SYSTEMS theory MULTIDISCIPLINARY design... CHAOS theory ARTIFICIAL intelligence MATHEMATICAL analysis COMPUTER science …
Fachzeitschrift
Zu den Favoriten
110

Computer-Aided Heuristic Optimization of a Synchronization System Consisting of Hydraulic Power Cylinders under Conditions of External Alternating-Sign Force Effects.
Bushuev, A. Yu. ; Ivanov, M. Yu. ; Korotaev, D. V. ; et al.
AIP Conference Proceedings. 2020, Vol. 2318 Issue 1, p1-7. 7p. 5 Graphs.

Konferenz
Zu den Favoriten
111

Variational inequality approach to enforcing the non-negative constraint for advection–diffusion equations.
Chang, J. ; Nakshatrala, K.B.
Computer Methods in Applied Mechanics & Engineering. Jun2017, Vol. 320, p287-334. 48p.

VARIATIONAL inequalities... ADVECTION-diffusion equa... CONSTRAINTS (Physics) COMPUTER simulation QUADRATIC programming MAXIMUM principles (Math...
Fachzeitschrift
Zu den Favoriten
112

Efficient hybrid-symbolic methods for quantum mechanical calculations.
Scott, T.C. ; Zhang, Wenxing
Computer Physics Communications. Jun2015, Vol. 191, p221-234. 14p.

QUANTUM mechanics ALGEBRA software MATHEMATICAL functions CHEMISTRY education PHYSICAL & theoretical c... MOLECULAR structure
Zeitschrift
Zu den Favoriten
113

Factor-based target cost modelling for construction projects.
Alwisy, Aladdin ; Bouferguene, Ahmed ; Al-Hussein, Mohamed
Canadian Journal of Civil Engineering. 2018, Vol. 45 Issue 5, p393-406. 14p.

TARGET costing COST control CONSTRUCTION projects CONSTRUCTION cost estima... CONSTRUCTION project man...
Fachzeitschrift
Zu den Favoriten
114

Dieses Ergebnis kann Gästen nicht angezeigt werden.

115

A linear two-level programming problem
Wilfred Candler ; Robert Townsley
Computers & Operations Research. 9:59-76

0211 other engineering a... 0202 electrical engineer... 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
116

The complexity of late-binding in dynamic object-oriented languages.
Goos, Gerhard ; Hartmanis, Juris ; Leeuwen, Jan ; et al.
Principles of Declarative Programming. 1998, p213-229. 17p.

Buch
Zu den Favoriten
117

SOLVING ENGINEERING PROBLEMS BY DIGITAL COMPUTER.
FOREIGN TECHNOLOGY DIV WRIGHT-PATTERSON AFB OHIO ; Kagan,B. M. ; Ter-Mikaelyan,T. M. ; et al.
DTIC AND NTIS

E-Ressource
Zu den Favoriten
118

A class of gap functions for variational inequalities
Larsson, Torbjörn ; Patriksson, Michael
Mathematical Programming. March 1994 64(1-3):53-79

Fachzeitschrift
Zu den Favoriten
119

Dieses Ergebnis kann Gästen nicht angezeigt werden.

120

On validation and invalidation of biological models.
Anderson J ; Papachristodoulou A
Publisher: BioMed Central Country of Publication: England NLM ID: 100965194 Publication Model: Electronic Cited Medium: Internet ISSN: 1471-2105 (Electronic) Linking ISSN: 14712105 NLM ISO Abbreviation: BMC Bioinformatics Subsets: MEDLINE

Algorithms Computer Simulation Nonlinear Dynamics Reproducibility of Resul... Models, Biological
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter