Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science: Dagstuhl 2014, June 15 - 18, 2014
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin
Pro Business
2014
|
| Ausgabe: | 1. Auflage |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | XIII, 238 Seiten |
| ISBN: | 9783863867195 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV046345725 | ||
| 003 | DE-604 | ||
| 005 | 20230321 | ||
| 007 | t | ||
| 008 | 200121s2014 gw |||| 10||| eng d | ||
| 015 | |a 14,N26 |2 dnb | ||
| 015 | |a 14,A29 |2 dnb | ||
| 016 | 7 | |a 1052355617 |2 DE-101 | |
| 020 | |a 9783863867195 |c pbk. |9 978-3-86386-719-5 | ||
| 024 | 3 | |a 9783863867195 | |
| 028 | 5 | 2 | |a Best.-Nr.: 14236 |
| 035 | |a (OCoLC)881823528 | ||
| 035 | |a (DE-599)DNB1052355617 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-11 | ||
| 082 | 0 | |a 004 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 111 | 2 | |a Joint Workshop of the German Research Training Groups in Computer Science |n 8. |d 2014 |c Wadern-Dagstuhl |j Verfasser |0 (DE-588)1053155700 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science |b Dagstuhl 2014, June 15 - 18, 2014 |c A. Jentzsch, T. pape, S. Pasewaldt (editors), DFG, Deutsche Forschungsgemeinschaft |
| 250 | |a 1. Auflage | ||
| 264 | 1 | |a Berlin |b Pro Business |c 2014 | |
| 300 | |a XIII, 238 Seiten | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2014 |z Dagstuhl |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Jentzsch, Anja |4 edt | |
| 700 | 1 | |a Pape, Tobias |4 edt | |
| 700 | 1 | |a Pasewaldt, Sebastian |4 edt | |
| 710 | 2 | |a Deutsche Forschungsgemeinschaft |e Sonstige |0 (DE-588)2007744-0 |4 oth | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4693732&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031722315&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-031722315 | |
Datensatz im Suchindex
| _version_ | 1810006611644645376 |
|---|---|
| adam_text |
CONTENTS
GRK 1194: SELF-ORGANIZING SENSOR-ACTUATOR-NETWORKS 1
A PLATFORM-BASED MODELING APPROACH SUPPORTING C2X SYSTEM DESIGN . 3
HARALD BUCHER
OPTIMIZATION-BASED CONTROL FOR NETWORKED CONTROL SYSTEMS 4
MAXIM DOLGOV
DISTRIBUTED ALGORITHMS FOR SCHEDULING IN WIRELESS NETWORKS 5
FABIAN FACHS
PRECISE AND SCALABLE LOCALIZATION IN AD-HOC NETWORKS USING INERTIAL DATA
FUSION 6
TOBIAS GADEKE
ESTIMATION AND SCHEDULING IN SENSOR-NETWORKS INVOLVING PERIODIC DATA 7
IGOR GILITSCHENSKI
SHARED RECONFIGURABLE SENSOR-ACTUATOR NETWORKS 8
CHIH-MING HSIEH
OUTLIER MINING IN SENSOR-NETWORKS 9
FABIAN KELLER
CORRELATION ANALYSIS FOR DATA ANALYTICS 10
HOANG VU NGUYEN
SHAPE RECONSTRUCTION OF FLEXIBLE OBJECTS VIA THE EVALUATION OF TENSOR
FIELDS 11
HENDRIKJE PAUER
GRAPH EMBEDDINGS FOR ROUTING IN WIRELESS NETWORKS 12
ROMAN PRUTKIN
DECENTRALIZED ESTIMATION IN SENSOR NETWORKS 13
MARC REINHARDT
ENERGY EFFICIENCY IN MULTI-APPLICATION WIRELESS SENSOR NETWORKS 14
FARZAD SARNIE
GRK 1247: CROSS-MODAL INTERACTION IN NATURAL AND ARTIFICIAL
COGNITIVE SYSTEMS 15
VERBALLY ASSISTED HAPTIC GRAPH COMPREHENSION 17
OZGE ALACAM
MODELING MULTI-SENSORY INTEGRATION FOR ORIENTATION AND ACTION SELECTION
IN
THE SUPERIOR COLLICULUS 18
JOHANNES BAUER
EFFICIENT GRAMMAR INDUCTION FOR WIDE-COVERAGE SEMANTIC PARSING . 19
SEBASTIAN BESCHKE
DISCOVERING THE NEURAL BASIS FOR SETTING LEARNING RATES DURING
VALUE-BASED
DECISION-MAKING 20
SAMSON CHIEN
III
HTTP://D-NB.INFO/1052355617
CONTENTS
NEURAL SOUND SOURCE LOCALISATION FOR SPEECH PROCESSING BASED ON THE
INFERIOR COLLICULUS 21
JORGE DAVILA- CHACON
MULTIMODAL INTEGRATION IN GRASPING 22
CHRISTIAN FLOFL- LOWENKAMP
MULTIMODAL BASED OBJECTS CATEGORIZATION AND RECOGNITION 23
HAOJUN GUAN
HAPTIC PERCEPTION IN IN-HAND MANIPULATION SYSTEM 24
JUNHU HE
EVENT RECOGNITION DURING EXPLORATION OF LINE-BASED GRAPHICS IN VIRTUAL
HAPTIC ENVIRONMENTS 25
MATTHIAS KERZEL
USING CROSS-MODAL CONTEXT FOR DIAGNOSING LANGUAGE LEARNER ERRORS . . 26
CHRISTINE KOHN
SPATIAL NUMBER REPRESENTATION DEPENDS ON BOTH SEMANTIC AND VISUAL
PROPERTIES OF NUMBERS 27
KARL K. KOPISKE
AN AFFORDANCE-BASED CONCEPTION OF SOCIAL SPACE FOR SOCIALLY-AWARE ROBOT
PLACEMENT 28
FELIX LINDNER
EVALUATING COMPUTATIONAL MODELS OF SENSORIMOTOR CONTINGENCIES 29
STEFAN SKORUPPA
NEUROFEEDBACK TRAINING ON INTERHEMISPHERIC PARIETAL GAMMA COHERENCE . 30
MIRCEA STOICA
ONGOING OSCILLATORY BRAIN ACTIVITY IN PAIN PERCEPTION 31
PHILIPP TAESLER
HAPTIC-SONIFIED VIRTUALS ENVIRONMENT FOR SPATIAL KNOWLEDGE ACQUISITION
OF
BLIND AND VISUALLY-IMPAIRED PEOPLE 32
JUNLEI YU
NEURAL REPRESENTATION OF SOCIAL INFLUENCE ON HUMAN DECISION-MAKING . 33
LEI ZHANG
OWN ACTIONS AND MULTISENSORY INTEGRATION 34
BJORN ZIERUL
GRK 1298: ALGORITHMIC SYNTHESIS OF REACTIVE AND
DISCRETE-CONTINUOUS SYSTEMS (ALGOSYN) 35
VERIFICATION OF CODE FOR PROGRAMMABLE LOGIC CONTROLLERS 37
SEBASTIAN BIALLAS
GENERATION AND REFINEMENT OF PLC FUNCTION BLOCKS 38
FLORIAN GOBE
APPROXIMATION ALGORITHMS FOR COMBINATORIAL AUCTIONS 39
OLIVER GOBEL
INVARIANT GENERATION FOR PROBABILISTIC PROGRAMS 40
FRIEDRICH GRETZ
MODEL SYNTHESIS THROUGH TRANSFORMATIONS 41
KATRIN HOLLDOBLER
IV
CONTENTS
USING CYLINDRICAL ALGEBRAIC DECOMPOSITION IN SATISFIABILITY MODULO
THEORIES 42
GEREON KRONER
COUNTING LOGICS AND GAMES WITH COUNTERS 43
SIMON LESSENICH
CAPACITY OF A RAILWAY NETWORK 44
CHRISTIAN MEIRICH
USING STATIC ANALYSIS TO SUPPORT PROGRAMMING ON DEVICES WITH TOUCH
BASED INPUT 45
MATHIAS OBSTER
SPECIFICATION AND VERIFICATION OF DISTRIBUTED SYSTEMS 46
DENT RACO
AUTOMATIC PRESENTATIONS OF INFINITE STRUCTURES 47
FREDERIC REINHARDT
ANALYSIS AND SYNTHESIS OF INTERACTIVE COMPONENT AND CONNECTOR
SYSTEMS 48
JAN OLIVER RINGERT
MECHANISM DESIGN FOR COMBINATORIAL AUCTIONS 49
ANDREAS TONNIS
GRK 1324: MODEL-BASED DEVELOPMENT OF TECHNOLOGIES FOR
SELF-ORGANIZING DECENTRALIZED INFORMATION SYSTEMS IN
DISASTER MANAGEMENT - METRIK 51
ROBOTIC SELF-EXPLORATION AND ACQUISITION OF SENSORIMOTOR PRIMITIVES . .
53
OSWALD BERTHOLD
MANAGEMENT OF COMPLEX DATA 54
DR. PANAGIOTIS BOUROS
EVENT PATTERN MATCHING 55
BRUNO CADONNA
INFORMATION EXTRACTION FOR DISASTER MANAGEMENT 56
LARS DOHLING
EFFICIENT PROCESSING OF GEODATA IN THE CONTEXT OF OTHER ATTRIBUTES .
57
FABIAN FIER
TOWARDS ADAPTIVE WIRELESS MULTI-HOP NETWORKS OPTIMIZING NETWORK
LIFETIME 58
MICHAEL FREY
AUTOMATED PATTERN LEARNING FOR EVENT PATTERN MATCHING 59
LARS GEORGE
UNCERTAINTY IN LAND-USE CHANGE MODELING 60
CARSTEN KRIIGER
MODEL-BASED TEST DESIGN FOR SOFTWARE PRODUCT LINES 61
HARMUT LACKNER
SPATIAL ACTIVE WORLD MODELING FOR AUTONOMOUS MOBILE ROBOTS 62
HEINRICH MELLMANN
A COMPUTATIONAL APPROACH FOR ANALYZING RECURRENCES IN LONG TIME SERIES
63
TOBIAS RAWALD
V
CONTENTS
LOCALIZATION IN WIRELESS SENSOR NETWORKS 64
VLADICA SARK
AUTOMATIC OPTIMIZATION FOR DATA-PARALLEL STREAMING SYSTEMS 65
MATTHIAS J. SAX
COUPLED EVOLUTION IN MODEL-BASED DOMAIN-SPECIFIC LANGUAGE
DEVELOPMENT 66
MARTIN SCHMIDT
GRK 1362: COOPERATIVE, ADAPTIVE AND RESPONSIVE MONITORING
IN MIXED MODE ENVIRONMENTS 67
A PROTOCOL FRAMEWORK FOR HIGHLY RELIABLE ULTRA-LOW LATENCY
COMMUNICATION 69
MARTINA BRACHMANN
ACTIVE INTRUSION DETECTION IN SELF-ORGANIZED WIRELESS MULTIHOP
NETWORKS 70
RODRIGO DANIEL DO CARMO
PEER-TO-PEER PROTOCOL SECURITY IN CRITICAL AND MOBILE ENVIRONMENTS . .
71
DANIEL GERMANUS
A MODEL-BASED OPTICAL NAVIGATION SYSTEM 72
THORSTEN GRABER
A HOLISTIC FRAMEWORK FOR REALISTIC, REPRODUCIBLE, REAL-WORLD SENSOR
NETWORK EXPERIMENTATION 73
ILIYA GUROV
COORDINATION OF MULTI-ROBOT SYSTEMS 74
LUKAS KLODT
DESIGN AND SETUP OF MECHANICAL AND ELECTRONICAL CONTROL FOR ELASTICALLY
ACTUATED ROBOTS 75
STEFAN KUROWSKI
FLIGHT CONTROL FOR TILT-ROTOR UAV 76
JAVIER LOPEZ
EFFICIENT SPATIOTEMPORAL SAMPLING IN WIRELESS SENSOR NETWORKS BASED ON
COMPRESSED SENSING 77
MOHAMMADREZA MAHMUDIMANESH
OBJECT AND SCENE RELATIONS IN 3D SCENE UNDERSTANDING 78
STEPHAN RICHTER
ACTIVITY RECOGNITION WITH INSTRUMENTED ARTIFACTS: THE WAVELET
APPROACH 79
PHILIPP M. SCHOLL
WORLD MODELING AND MOVEMENT PLANNING FOR MOBILE ROBOTS 80
ALEXANDER STUMPF
SECURITY QUANTIFICATION IN MIXED MODE SYSTEMS 81
TSVETOSLAVA VATEVA- GUROVA
GRK 1424: MUSAMA - MULTIMODAL SMART APPLIANCE
ENSEMBLES FOR MOBILE APPLICATIONS 83
VI
CONTENTS
SCENARIO-BASED CREATION OF BEHAVIOURAL MODELS AND THEIR EVALUATION IN
SMART ENVIRONMENTS 85
GREGOR BUCHHOLZ
INFORMATION PRESENTATION IN MULTI-PRESENTER SCENARIOS 86
CHRISTIAN EICHNER
ENHANCEMENT OF MOBILITY AND MULTI-HOMING IN HETEROGENEOUS NETWORK
ENVIRONMENTS 87
ALEXANDER GLADISCH
EFFICIENT DEVICE ORIENTED PLUG AND PLAY MIDDLEWARE ARCHITECTURE . 88
BJOEM KONIECZEK
PREDICTIVE USER MODELS IN SMART ENVIRONMENT 89
REDWAN ABDO A. MOHAMMED
SITUATION-AWARE CONTROL OF SMART MEETING ROOMS 90
DANIEL MOOS
ENHANCING MULTI-DISPLAY ENVIRONMENTS USING PRIVATE MOBILE DEVICES 91
ROBIN NICOLAY
EFFICIENT PROBABILISTIC SEMANTICS FOR SYMBOLIC BEHAVIOURAL MODELS . 93
MARTIN NYOLT
PROGRAMMING ABSTRACTIONS FOR UBIQUITOUS APPLICATIONS 94
MATTHIAS PRELLURITZ
DYNAMIC OPTIMIZATION OF COMMUNICATION RESOURCES AND COMMUNICATION
STRATEGIES IN WIRELESS MESH NETWORKS 95
MICHAEL RETHFELDT
SEC-HOME: A SECURITY-ENHANCED FRAMEWORK FOR SMART HOME
ENVIRONMENTS 96
RENE ROMANN
USING BCI TECHNIQUES FOR INTENTION RECOGNITION IN SMART ENVIRONMENT . .
97
SUDHIR SASANE
TELEPRESENCE IN HIGH RESOLUTION MULTI DISPLAY ENVIRONMENTS 98
CHRISTIAN SCHEEL
DATA COLLECTION AND DATA PROCESSING FOR ON-LINE SIMULATION IN SMART
ENVIRONMENTS 99
JOHANNES SCHUTZEL
AUTOMATIC DEPLOYMENT AND ADAPTIVE PLACEMENT OF UBIQUITOUS
APPLICATIONS 100
ENRICO SEIB
SECURE WEB SERVICES FOR AMBIENT EMBEDDED SYSTEMS 101
SEBASTIAN UNGER
METHODS AND ALGORITHMS OF MULTI-DIMENSIONAL USER-LOCALIZATION 102
BENJAMIN WAGNER
METHODS FOR ENGINEERING SYMBOLIC HUMAN BEHAVIOUR MODELS FOR ACTIVITY
RECOGNITION 103
KRISTINA YORDANOUA
DECIDING MSO OVER W-WORDS BY MEANS OF FINITE AUTOMATA 104
STEPHAN BARTH
FORMAL VERIFICATION OF ODE-SOLVERS 105
FABIAN IMMLER
VII
CONTENTS
INTER-PROCEDURAL HERBRAND EQUALITIES 106
STEFAN SCHULZE PRIELINGHAUS
GRK 1564: IMAGING NEW MODALITIES (INM) 107
EFFICIENT, ROBUST, AND SCALE-INVARIANT DECOMPOSITION OF RAMAN SPECTRA
109
JULIAN BADER
COMPRESSIVE SENSING FOR PHOTONIC MIXER DEVICE 110
MIGUEL HEREDIA CONDE
CONTENT BASED IMAGE AUTHENTICATION WITH TAMPER DETECTION CAPABILITY .
ILL
JINSE SHIN
3D SENSOR DATA FUSION 112
DAMIEN LEFLOCH
PROCESSING AND VISUALIZATION OF THZ-DATA 113
MARTIN PDTZOLD
HIGH-RESOLUTION TEXTURE TRANSFER 114
MARCEL PIOTRASCHKE
THERMAL INFRARED TEXTURES OF 3D FACES 115
BJORN SCHIEFEN
FACE RECOGNITION IN UNKNOWN AND DIFFICULT LIGHTING CONDITIONS 116
DAVOUD SHAHLAEI
ROBUST SKIN DETECTION WITH AN ACTIVE NEAR-INFRARED CAMERA SYSTEM . .117
HOLGER STEINER
GRK 1651: SOAMED 119
FOUNDATIONS OF DYNAMIC COALITIONS
PROCESS-ORIENTED MODELING OF DYNAMIC COALITIONS 121
YOUSSEF ARBACH
DATA-DEPENDENT CONTROLLER SYNTHESIS FOR CORRECT SERVICE COMPOSITION .
122
FRANZISKA BATHELT-TOK
A LANGUAGE-BASED APPROACH TO SPECIFICATION, EXECUTION, AND OPTIMIZATION
OF SCIENTIFIC WORKFLOWS 123
JORGEN BRANDT
ADAPTIVE SCHEDULING OF SCIENTIFIC WORKFLOWS 124
MARC BUX
A DESIGN FRAMEWORK FOR MOBILE SERVICE-ORIENTED SENSOR-ACTUATOR
NETWORKS 125
HELENA GRUHN
PROCESS ARCHITECTURES IN HEALTHCARE 126
MARCIN MEWELT
DYNAMIC EVENT STRUCTURES AND CONCURRENCY 127
DAVID S. KARCHER
CLASSIFYING PARTNERS OF SERVICES WITH TEMPORAL LOGIC 128
ANDRE MOELLE
PRIVACY AWARE DATA EXCHANGE IN DISTRIBUTED HEALTH INFRASTRUCTURES . .
129
JAN HENDRIK NIELSEN
SCENARIO-BASED DESIGN OF DATA-DEPENDENT SERVICES 130
ROBERT PRILFER
VIII
CONTENTS
TRANSFORMING BPMN-TREATMENT MODELS INTO CSPS 131
DENNY SCHNEEWEIFI
CONGESTION CONTROL FOR ROUTING OVERLAYS 132
FLORIAN TSCHORSCH
CERTIFYING ALGORITHMS FOR INTERACTIVE COMPONENTS AND DISTRIBUTED
SYSTEMS 133
KIM VOLLINGER
RUNNING DATA-INTENSIVE SERVICES ON MULTICORES ARCHITECTURES 134
STEFFEN ZEUCH
GRK 1763: QUANTITATIVE LOGICS AND AUTOMATA 135
QUANTITATIVE AUTOMATA AND LOGICS FOR INFINITE DISCRETE STRUCTURES 137
PARVANEH BABARI
LEARNING TERMINOLOGICAL KNOWLEDGE WITH HIGH CONFIDENCE FROM ERRONEOUS
DATA 138
DANIEL BORCHMANN
FUZZY DESCRIPTION LOGICS WITH GENERAL CONCEPT INCLUSIONS 139
STEFAN BORGWARDT
USER-DEFINABLE CONCRETE DOMAINS 140
CLAUDIA CARAPELLE
QUANTITATIVE AUTOMATA AND LOGICS ON TREE-LIKE STRUCTURES 141
STEFAN DUCK
QUANTITATIVE METHODS FOR SIMILARITY AND GENERALIZATION IN DESCRIPTION
LOGICS 142
ANDREAS ECKE
WEIGHTED TEMPORAL LOGIC 143
SHIGUANG FENG
QUALITATIVE AND QUANTITATIVE APPROACHES TO FORMALIZING PROTOTYPES IN
KNOWLEDGE REPRESENTATION 144
OLIVER FERNANDEZ GIL
WEIGHTED MODELS OVER DISCRETE STRUCTURES 145
DOREEN GOTZE
INTERFACE THEORY FOR STOCHASTIC HYBRID SYSTEMS 146
DANIEL KRAEHMANN
COMPOSITIONALITY IN PROBABILISTIC MODEL CHECKING 147
LINDA LEUSEHNER
TEMPORALISED DESCRIPTION LOGICS FOR MONITORING PARTIALLY OBSERVABLE
EVENTS 148
MARCEL LIPPMANN
ALTERNATIVE AUTOMATA-BASED APPROACHES TO PROBABILISTIC MODEL CHECKING
149
DAVID MIILLER
WEIGHTED AUTOMATA AND LOGICS FOR NATURAL LANGUAGE PROCESSING . 150
JOHANNES OSTERHOLZER
MULTI-WEIGHTED AUTOMATA MODELS AND QUANTITATIVE LOGICS 151
VITALY PEREVOSHCHIKOV
GRAMMAR-BASED STATISTICAL MACHINE TRANSLATION 152
MARKUS TEICHMANN
IX
CONTENTS
PROBABILISTIC LOGIC AND PROBABILISTIC AUTOMATA 153
THOMAS WEIDNER
MODEL CHECKING WITH ACCUMULATED WEIGHTS 154
SASCHA WUNDERLICH
GRK 1765/1: SYSTEM CORRECTNESS UNDER ADVERSE CONDITIONS
(SCARE) 155
DESIGN AND ANALYSIS OF POWER CONSERVATION TECHNIQUES FOR MAXIMIZING THE
LIFETIME EXPECTANCY OF TINY SENSING DEVICES 157
MOHAMED ABDELAAL
VERIFICATION TECHNIQUES FOR DYNAMICALLY TYPED PROGRAMS 158
BJORN ENGELMANN
FORMALISMS FOR CONCURRENCY AND DISTRIBUTION 159
EVGENY EROFEEV
STRUCTURE-CHANGING PETRI NETS AS A MODE! OF ADVERSE CONDITIONS . 160
ERIK FLICK
DECISION PROCEDURE FOR STOCHASTIC SATISFIABILITY MODULO THEORIES WITH
CONTINUOUS DOMAIN 162
YANG GAO
COOPERATION AND NETWORK CODING BASED MAC PROTOCOL FOR VANETS . . 163
SAIFULLAH KHAN
ROBUST SPATIO-TEMPORAL LOGIC FOR MOBILE AGENTS 164
HEINRICH ODY
CORRECTNESS OF ATTRIBUTED GRAPH TRANSFORMATION SYSTEMS UNDER ADVERSE
CONDITIONS 165
CHRISTOPH PEUSCR
GRAPH CONDITIONS WITH VARIABLES AND THEIR APPLICATION IN METAMODEL
INSTANCE GENERATION 166
HENDRIK RADKE
DESIGN AND ANALYSIS OF HIGHLY AVAILABLE REGION-ADHERENT DISTRIBUTED
ALGORITHMS IN FAULTY ENVIRONMENTS 167
DILSHOD RAHMATOV
GRK 1773: HETEROGENEOUS IMAGE SYSTEMS 169
MOTION CORRECTION FOR WEIGHT-BEARING C-ARM CT OF KNEES 171
MARTIN BERGER
VISION-BASED AUTONOMOUS NAVIGATION OF QUADROTORS IN UNSTRUCTURED
ENVIRONMENT 172
SERGIU DOTENCO
EFFICIENT CODING OF NON-CONVENTIONAL VIDEO DATA STRUCTURES 173
ANDREA EICHENSEER
FAST AND GENERIC HARDWARE ARCHITECTURES FOR 3D IMAGE ACQUISITION AND
PROCESSING 174
KONRAD HAUBLEIN
IMAGE PROCESSING ARCHITECTURE SYNTHESIS (IPAS) 175
CHRISTIAN HARTMANN
X
CONTENTS
ENERGY CONSUMPTION OF VIDEO DECODING SYSTEMS 176
CHRISTIAN HERGLOTZ
INTERACTIVE HYPERSPECTRAL IMAGE VISUALIZATION AND ANALYSIS 177
JOHANNES JORDAN
SCALABLE GLOBAL ILLUMINATION 178
BENJAMIN KEINERT
DEVELOPMENT OF IMAGE GUIDED SURGICAL PROCEDURES 179
JESSICA MAGARAGGIA
NEW PROCESSOR ARCHITECTURES UTILIZING 3D CHIP STACKING 180
BENJAMIN PFUNDT
CONSISTENT PROGRAMMING MODELS AND TOOLS FOR DESIGNING HETEROGENEOUS
IMAGE SYSTEMS 181
OLIVER REICHE
EFFICIENT VISIBILITY ESTIMATION 182
KAI SELGRAD
CONCEPT OF A NOVEL CMOS IMAGE SENSOR ARCHITECTURE FOR ANALOG IMAGE
PRE-PROCESSING 184
LCTN SHI
INTEGRATED CIRCUITS FOR ANALOG SIGNALPROCESSING IN HETEROGENEOUS IMAGE
SYSTEMS 185
CHRISTOPHER SOELL
RESOURCE-AWARE COMPUTER VISION ALGORITHMS ON HETEROGENEOUS MPSOC
ARCHITECTURES 186
ERICLES SOUSA
STATELESS LEVEL OF DETAIL LIGHTING FOR AUTOMOTIVE VISUALIZATION 187
CHRISTOPH WEBER
A FRAMEWORK FOR SHARING GPGPUS IN MULTI-TASKING ENVIRONMENTS . . . 188
HAO WU
A MEMORY-CENTRIC RUN-TIME EXECUTIVE FOR HETEROGENEOUS MANY-CORE
SYSTEMS 189
ALEXANDER WURSTLEIN
SPECTRUM BINNING APPROACH FOR STATISTICAL POLYCHROMATIC RECONSTRUCTION
IN
CT 190
QIAO YANG
MODEL SUPPORT IN DESIGN, TEST AND MONITORING OF IMAGE SYSTEM
ARCHITECTURES 191
ANNA YUPATOVA. VITALI SCHNEIDER
MOBILE SCANNING 192
MICHAEL ZOLLHOFER
GRK 1780: CROSS WORLDS: CONNECTING VIRTUAL AND REAL SOCIAL
WORLDS 193
TECHNISATION OF THE SOCIAL IN SOCIAL ROBOTICS 195
ANDREAS BISCHOF
MOTOR LEARNING IN IMMERSIVE VIRTUAL ENVIRONMENTS 196
STEVE FUNKE
XI
CONTENTS
POTENTIALITIES FOR INTERTWINEMENTS OF INTERACTIVE SYSTEMS AND CULTURAL
SPACES 197
MICHAEL HEIDT
PROCESSES OF COOPERATION AROUND TABLETOPS FOR MUSEUMS 198
KALJA KANELLOPOULOS
A FRAMEWORK FOR INTERACTION IN A VIRTUAL 3D STEREOSCOPIC ENVIRONMENT FOR
MULTIPLE PERSONS 200
VINCENT KIISZTER
AUTHENTIC FACIAL EXPRESSIONS OF EMOTION AND THEIR IMPACT ON USER
EVALUATION 201
BENNY LIEBOLD
SENSOR-ASSISTED MOBILE LEARNING 203
KAI-UWE MARTIN
SPATIAL MAPPING OF INPUT, CONTENT AND OUTPUT SPACES IN VE AND EFFECTS ON
SPATIAL PRESENCE EXPERIENCES 204
DANIEL PIETSCHMANN
MAKING MULTI TOUCH TABLETOPS PERCEIVE THEIR USERS 206
MICHAEL STORZ
SENSOR-BASED PERCEPTION OF NON-VERBAL COMMUNICATION 207
ANKE TALLIG
MODELING VISION 208
MICHAEL TEICHMANN
SUPPORTING LEARNERS WITH PRO-ACTIVE PEDAGOGICAL AGENTS 209
MADLEN WN.TT.KC
GRK 1907: ROLE-BASED SOFTWARE INFRASTRUCTURES FOR
CONTINUOUS-CONTEXT-SENSITIVE SYSTEMS 211
FORMAL SEMANTICS FOR MODELS WITH META-PREDICATES 213
STEPHAN BOHME
CONTEXT-SENSITIVE KNOWLEDGE REPRESENTATION AND REASONING 214
ISMACL CEYLAN
ROLE-BASED EXCECUTION EXECUTION OF UBIQUITOUS INTERACTIVE PROCESSES . .
215
STEJJEN HUBER
ROLE-BASED DATABASE MODEL AND ARCHITECTURE 216
TOBIAS JAKEL
FORMAL SEMANTICS FOR ROLES 217
THOMAS KIIHN
EXPLICIT ROLE INVOCATION DISPATCH 218
MAX LEUTHAUSER
HPI RESEARCH SCHOOL ON SERVICE-ORIENTED SYSTEMS ENGINEERING 219
IMPROVING RDF DATA WITH DATA MINING 221
ZIAWASCH ABEDJAN
SERVICE-ORIENTED INTEGRATION, PROCESSING, AND PROVISION OF MASSIVE 3D
POINT
CLOUDS 222
SOREN DISCHER
XII
CONTENTS
GRAPH TRANSFORMATION SYSTEMS AND VERIFICATION WITH K-INDUCTIVE
INVARIANTS 223
JOHANNES DYCK
BABELSBERG: UNIFYING CONSTRAINT SATISFACTION WITH OBJECT-ORIENTED
EXECUTION 224
TIM FELGENTREFF
A 3-STAGE EVALUATION FRAMEWORK FOR LAYOUT STABILITY OF HIERARCHICAL
VISUALIZATION TECHNIQUES 225
SEBASTIAN HAHN
ANALYSIS OF FAULT TOLERANT SOFTWARE SYSTEMS 226
LENA HERSCHEID
MODELING INTERESTINGNESS AND SERENDIPITY IN RELEVANCE SEARCH 227
MAXIMILIAN JENDERS
COMPARING AND DESCRIBING DATASETS ON THE WEB OF DATA 228
ANJA JENTZSCLI
MANAGING THE PERFORMANCE VS. PRODUCTIVITY TRADE-OFF IN HYBRID PARALLEL
COMPUTING 229
FAHAD KHALID
TALKING DIRECTLY TO THE BODY: THE USER'S MUSCLES
ELS
WEARABLE INPUT & OUTPUT
DEVICES THROUGH COMPUTER-CONTROLLED ELECTRICAL MUSCLE STIMULATION .
230
PEDRO LOPES
ADAPTIVE DATA STRUCTURES OPTIMIZATIONS IN LANGUAGE IMPLEMENTATIONS . 231
TOBIAS PAPE
DESIGN, IMPLEMENTATION AND APPLICATION OF MULTI-PERSPECTIVE 3D
PANORAMAS FOR 3D GEOVISUALIZATION 232
SEBASTIAN PASEWALDT
HIGH-AVAILABILITY THROUGH SOFTWARE FAULT TOLERANCE 233
DANIEL RICHTER
SECURING MULTI-TENANT SAAS ENVIRONMENTS 234
EYAD SALEH
INTERLEAVING OF MODIFICATION AND USE IN DATAFLOW-DRIVEN TOOL
DEVELOPMENT 235
MARCEL TAEUMEL
UNDERSTANDING CODE WITH EXECUTION TRACES 236
ARIAN TREFFER
CONCEPT BASED MULTIMODAL LEARNING FOR MULTIMEDIA RETRIEVAL 237
CHENG WANG
XIII |
| any_adam_object | 1 |
| author2 | Jentzsch, Anja Pape, Tobias Pasewaldt, Sebastian |
| author2_role | edt edt edt |
| author2_variant | a j aj t p tp s p sp |
| author_corporate | Joint Workshop of the German Research Training Groups in Computer Science Wadern-Dagstuhl |
| author_corporate_role | aut |
| author_facet | Jentzsch, Anja Pape, Tobias Pasewaldt, Sebastian Joint Workshop of the German Research Training Groups in Computer Science Wadern-Dagstuhl |
| author_sort | Joint Workshop of the German Research Training Groups in Computer Science Wadern-Dagstuhl |
| building | Verbundindex |
| bvnumber | BV046345725 |
| ctrlnum | (OCoLC)881823528 (DE-599)DNB1052355617 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1. Auflage |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV046345725</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230321</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">200121s2014 gw |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">14,N26</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">14,A29</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1052355617</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783863867195</subfield><subfield code="c">pbk.</subfield><subfield code="9">978-3-86386-719-5</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783863867195</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 14236</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)881823528</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1052355617</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Joint Workshop of the German Research Training Groups in Computer Science</subfield><subfield code="n">8.</subfield><subfield code="d">2014</subfield><subfield code="c">Wadern-Dagstuhl</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1053155700</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science</subfield><subfield code="b">Dagstuhl 2014, June 15 - 18, 2014</subfield><subfield code="c">A. Jentzsch, T. pape, S. Pasewaldt (editors), DFG, Deutsche Forschungsgemeinschaft</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Auflage</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Pro Business</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 238 Seiten</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2014</subfield><subfield code="z">Dagstuhl</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jentzsch, Anja</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pape, Tobias</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pasewaldt, Sebastian</subfield><subfield code="4">edt</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Deutsche Forschungsgemeinschaft</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)2007744-0</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4693732&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031722315&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031722315</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2014 Dagstuhl gnd-content |
| genre_facet | Konferenzschrift 2014 Dagstuhl |
| id | DE-604.BV046345725 |
| illustrated | Not Illustrated |
| indexdate | 2024-09-12T16:00:17Z |
| institution | BVB |
| institution_GND | (DE-588)1053155700 (DE-588)2007744-0 |
| isbn | 9783863867195 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031722315 |
| oclc_num | 881823528 |
| open_access_boolean | |
| owner | DE-11 |
| owner_facet | DE-11 |
| physical | XIII, 238 Seiten |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Pro Business |
| record_format | marc |
| spelling | Joint Workshop of the German Research Training Groups in Computer Science 8. 2014 Wadern-Dagstuhl Verfasser (DE-588)1053155700 aut Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science Dagstuhl 2014, June 15 - 18, 2014 A. Jentzsch, T. pape, S. Pasewaldt (editors), DFG, Deutsche Forschungsgemeinschaft 1. Auflage Berlin Pro Business 2014 XIII, 238 Seiten txt rdacontent n rdamedia nc rdacarrier Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2014 Dagstuhl gnd-content Informatik (DE-588)4026894-9 s DE-604 Jentzsch, Anja edt Pape, Tobias edt Pasewaldt, Sebastian edt Deutsche Forschungsgemeinschaft Sonstige (DE-588)2007744-0 oth X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4693732&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031722315&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science Dagstuhl 2014, June 15 - 18, 2014 Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4026894-9 (DE-588)1071861417 |
| title | Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science Dagstuhl 2014, June 15 - 18, 2014 |
| title_auth | Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science Dagstuhl 2014, June 15 - 18, 2014 |
| title_exact_search | Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science Dagstuhl 2014, June 15 - 18, 2014 |
| title_full | Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science Dagstuhl 2014, June 15 - 18, 2014 A. Jentzsch, T. pape, S. Pasewaldt (editors), DFG, Deutsche Forschungsgemeinschaft |
| title_fullStr | Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science Dagstuhl 2014, June 15 - 18, 2014 A. Jentzsch, T. pape, S. Pasewaldt (editors), DFG, Deutsche Forschungsgemeinschaft |
| title_full_unstemmed | Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science Dagstuhl 2014, June 15 - 18, 2014 A. Jentzsch, T. pape, S. Pasewaldt (editors), DFG, Deutsche Forschungsgemeinschaft |
| title_short | Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science |
| title_sort | proceedings of the 8th joint workshop of the german research training groups in computer science dagstuhl 2014 june 15 18 2014 |
| title_sub | Dagstuhl 2014, June 15 - 18, 2014 |
| topic | Informatik (DE-588)4026894-9 gnd |
| topic_facet | Informatik Konferenzschrift 2014 Dagstuhl |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4693732&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031722315&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT jointworkshopofthegermanresearchtraininggroupsincomputersciencewaderndagstuhl proceedingsofthe8thjointworkshopofthegermanresearchtraininggroupsincomputersciencedagstuhl2014june15182014 AT jentzschanja proceedingsofthe8thjointworkshopofthegermanresearchtraininggroupsincomputersciencedagstuhl2014june15182014 AT papetobias proceedingsofthe8thjointworkshopofthegermanresearchtraininggroupsincomputersciencedagstuhl2014june15182014 AT pasewaldtsebastian proceedingsofthe8thjointworkshopofthegermanresearchtraininggroupsincomputersciencedagstuhl2014june15182014 AT deutscheforschungsgemeinschaft proceedingsofthe8thjointworkshopofthegermanresearchtraininggroupsincomputersciencedagstuhl2014june15182014 |