Treffer
1 - 3
Treffer von
3
für Suche '
("analysis" OR ("analytisch" OR "analyticer"))
'
Weiter zum Inhalt
Toggle navigation
Hilfe
de
en
de
miami
Publikationsserver der Universität Münster
Einfache Suche
Erweiterte Suche
Suchen
Behalte die Filtereinstellungen.
ulb_deweyTerm_facet:"Informatik, Informationswissenschaft, allgemeine Werke"
Scroll
Suche: ("analysis" OR ("analytisch" OR "analyticer"))
Andere Suchmöglichkeiten
:
"analysis" »
"analyse"
Treffer
1 - 3
Treffer von
3
für Suche '
("analysis" OR ("analytisch" OR "analyticer"))
'
, Suchdauer: 0,06s
Sortieren
Relevanz
Nach Datum, absteigend
Nach Datum, aufsteigend
Person/Institution
Titel
Nach miami-Publikationsdatum, absteigend
Nach miami-Publikationsdatum, aufsteigend
Alles auswählen
Auswahl:
1
Artikel
Count Data Time Series Modelling in Julia—The CountTimeSeries.jl Package and Applications
Stapper, Manuel
2021
Schlagwörter:
“
...count data time series
analysis
Julia programming language...
”
Volltext
2
Verschiedenartige Texte
Automated and Feature-Based Problem Characterization and Algorithm Selection Through Machine Learning
Kerschke, Pascal
2017
Schlagwörter:
“
...Algorithm Selection Black-Box Optimierung Exploratory Landscape
Analysis
Maschinelles Lernen...
”
Volltext
3
Dissertation/Habilitation
Security Through Safety - An Approach to Information Flow Control Based on Derivation of Safety Properties from a Characterisation of Insecure Behaviour
Nordhoff, Benedikt
2021
Schlagwörter:
“
...information flow program
analysis
formal methods information flow security abstract-interpretation...
”
Volltext
Alles auswählen
Auswahl:
Suchwerkzeuge:
RSS-Feed abonnieren
Suche einschränken
Suchfilter entfernen
Filter aufheben
Fachgebiete: Informatik, Informationswissenschaft, allgemeine Werke
OpenAccess
Open Access
3
Dokumenttypen
Artikel
1
Dissertation/Habilitation
1
Verschiedenartige Texte
1
Personen
Kerschke, Pascal
1
Müller-Olm, Markus
1
Nordhoff, Benedikt
1
Stapper, Manuel
1
FB/Einrichtung
FB 10: Mathematik und Informatik
1
Schlagwörter
Abstrakte Interpretation
1
Algorithm Selection
1
Black-Box Optimierung
1
Black-Box Optimization
1
Exploratory Landscape Analysis
1
Formale Methoden
1
Funnel Detection
1
Informationsfluss
1
Informationsflusssicherheit
1
Julia programming language
1
Machine Learning
1
Maschinelles Lernen
1
PDG
1
Programmanalyse
1
Single-Objective Optimization
1
Travelling Salesperson Problem
1
Verifikation
1
abstract-interpretation
1
count data
1
einkriterielle Optimierung
1
formal methods
1
information flow
1
information flow security
1
pdg
1
program analysis
1
program verification
1
time series analysis
1
Fachgebiete
Informatik, Informationswissenschaft, allgemeine Werke
Naturwissenschaften und Mathematik
1
Sozialwissenschaften
1
Erscheinungsjahr
2021
2
2017
1
Medientypen
Text
3
×
Wird geladen...
