Erscheinungsjahr
Datenquelle
Fach
Synonyme wurden verwendet für: Informatik
Suche ohne Synonyme: keywords:(Informatik)
Verwendete Synonyme:
- computer science
- computerwissenschaft
- informatics
-
Preservation of Supermodularity in Parametric Optimization: Necessary and Sufficient Conditions on Constraint Structures
Freier ZugriffBASE | 2019|Schlagwörter: Computer science, Applied computer science -
On the Optimality of Affine Policies for Budgeted Uncertainty Sets
Freier ZugriffBASE | 2019|Schlagwörter: Computer science, Applied computer science -
Symmetry in SAT - a quest for pigeonhole
Freier ZugriffBASE | 2018|Schlagwörter: Computer science, Theoretical computer science -
On CDCL-based Proof Systems with the Ordered Decision Strategy
Freier ZugriffBASE | 2018|Schlagwörter: Computer science, Theoretical computer science -
Preliminary results on two-stage scenario problems
Freier ZugriffBASE | 2019|Schlagwörter: Computer science, Applied computer science -
Interpolation by Low Rank Spline Surfaces
Freier ZugriffBASE | 2016|Schlagwörter: Computer science, Applied computer science -
Formal Analysis of Deep Binarized Neural Networks
Freier ZugriffBASE | 2018|Schlagwörter: Computer science, Theoretical computer science -
Online Resource Allocation under Partially Predictable Demand
Freier ZugriffBASE | 2019|Schlagwörter: Computer science, Applied computer science -
Analyzing Policies in Dynamic Robust Optimization
Freier ZugriffBASE | 2019|Schlagwörter: Computer science, Applied computer science -
Multi-objective Maximization of Monotone Submodular Functions with Cardinality Constraint
Freier ZugriffBASE | 2019|Schlagwörter: Computer science, Applied computer science -
Effective Scenarios in Multistage Distributionally Robust Optimization
Freier ZugriffBASE | 2019|Schlagwörter: Computer science, Applied computer science -
Algorithms beyond Resolution using MaxSAT
Freier ZugriffBASE | 2018|Schlagwörter: Computer science, Theoretical computer science -
The Proof Complexity of SMT Solvers
Freier ZugriffBASE | 2018|Schlagwörter: Computer science, Theoretical computer science -
Proof Systems for Pseudo-Boolean Solving
Freier ZugriffBASE | 2018|Schlagwörter: Computer science, Theoretical computer science -
The Symmetry Rule for Quantified Boolean Formulas
Freier ZugriffBASE | 2018|Schlagwörter: Computer science, Theoretical computer science -
Seeking Practical CDCL Insights from Theoretical SAT Benchmarks
Freier ZugriffBASE | 2018|Schlagwörter: Computer science, Theoretical computer science -
Datenbankanfragen (Teil 3) - Mengenoperatoren
Explanatory VideoTIB AV-Portal | 2022|Schlagwörter: Studienbereich Informatik -
Conflict-Driven Synthesis
Freier ZugriffBASE | 2018|Schlagwörter: Computer science, Theoretical computer science -
Distributionally Robust Inverse Covariance Estimation: The Wasserstein Shrinkage Estimator
Freier ZugriffBASE | 2019|Schlagwörter: Computer science, Applied computer science -
Resource Allocation Problems in Cloud Computing
Freier ZugriffBASE | 2019|Schlagwörter: Computer science, Applied computer science
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.