Erscheinungsjahr
Datenquelle
Fach
Format
Lizenz
Sprache
-
An Automatic Proving Approach to Parameterized Verification
British Library Online Contents | 2018|Verlag: Association for Computing Machinery -
Inflow and Retention in OSS Communities with Commercial Involvement: A Case Study of Three Hybrid Projects
British Library Online Contents | 2016|Verlag: ASSOCIATION FOR COMPUTING MACHINERY -
Reconciliation With Nonbinary Gene Trees Revisited
British Library Online Contents | 2017|Verlag: Association for Computing Machinery -
A Resolution Calculus for the Branching-Time Temporal Logic CTL
British Library Online Contents | 2014|Verlag: Association for Computing Machinery -
Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes
British Library Online Contents | 2016|Verlag: ASSOCIATION FOR COMPUTING MACHINERY -
The Role of KL Divergence in Anomaly Detection
British Library Conference Proceedings | 2011|Verlag: Association for Computing Machinery -
Structure-based ASCII Art
British Library Conference Proceedings | 2010|Verlag: Association for Computing Machinery -
Facial Expression Analysis under Partial Occlusion: A Survey
British Library Online Contents | 2018|Verlag: ACM ASSOCIATION FOR COMPUTING MACHINERY -
Utilizing Green Energy Prediction to Schedule Mixed Batch and Service Jobs in Data Centers
British Library Conference Proceedings | 2011|Verlag: Association for Computing Machinery -
Boosting Recommendation in Unexplored Categories by User Price Preference
British Library Online Contents | 2017|Verlag: ACM ASSOCIATION FOR COMPUTING MACHINERY -
The implementation of an SVP many-core processor and the evaluation of its Memory Architecture
British Library Conference Proceedings | 2009|Verlag: Association for Computing Machinery -
Hybrid Cache Architecture with Disparate Memory Technologies
British Library Conference Proceedings | 2009|Verlag: Association for Computing Machinery -
A Topical PageRank Based Algorithm for Recommender Systems
British Library Conference Proceedings | 2008|Verlag: Association for Computing Machinery -
Exploring Traversal Strategy for Web Forum Crawling
British Library Conference Proceedings | 2008|Verlag: Association for Computing Machinery -
Learning to Reduce the Semantic Gap in Web Image Retrieval and Annotation
British Library Conference Proceedings | 2008|Verlag: Association for Computing Machinery -
Almost-Tight Hardness of Directed Congestion Minimization
British Library Online Contents | 2008|Verlag: Association for Computing Machinery -
On Estimation Problems for the G/G/[unknown] Queue
British Library Online Contents | 2011|Verlag: ACM ASSOCIATION FOR COMPUTING MACHINERY -
The Role of KL Divergence in Anomaly Detection
British Library Online Contents | 2011|Verlag: ACM ASSOCIATION FOR COMPUTING MACHINERY -
Utilizing Green Energy Prediction to Schedule Mixed Batch and Service Jobs in Data Centers
British Library Online Contents | 2011|Verlag: ACM ASSOCIATION FOR COMPUTING MACHINERY -
SNIAFL: Towards a Static Noninteractive Approach to Feature Location
British Library Online Contents | 2006|Verlag: ASSOCIATION FOR COMPUTING MACHINERY
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.