Zielgruppe: Führungskräfte sowie Techniker aus dem Bereich Informations-/OrganisationsManagement Teilnahmegebühre 49 Euro p. P. inkl. Snacks, Kaffee und

Source URL: www.he-s.com

Prof. Bernhard Steffen TU Dortmund BIO Bernhard Steffen graduated in Mathematicsand obtained a PhD in Computer Sciencefrom the Christian-Albrechts Universität Kiel (D), then he was Research Fellow at the

Source URL: ls5-www.cs.tu-dortmund.de

• Computing
• Software engineering
• Computer science
• Formal methods
• Theoretical computer science
• Bernhard Steffen
• Model checking
• Large-scale Complex IT Systems
• European Joint Conferences on Theory and Practice of Software
• Software development
• ACM Transactions on Programming Languages and Systems
• Draft:Tiziana Margaria

Rylo Executive Team Alex Karpenko, CEO and Co-Founder Alex Karpenko is the co-founder and CEO of Rylo. He studied computational photography and machine learning at Stanford and dropped out of his PhD program to found Lum

Source URL: www.rylo.com

• Software
• Computing
• IOS
• Tablet computers
• Computer architecture
• Video software
• GPS navigation devices
• ITunes
• Rylo
• IPhoto
• Instagram
• Hyperlapse

Recent Advances in Green Industrial Networking Embracing Big Data with Compressive Sensing: A Green Approach in Industrial Wireless Networks Linghe Kong, Daqiang Zhang, Zongjian He, Qiao Xiang, Jiafu Wan, and Meixia Tao

Source URL: wirelesslab.sjtu.edu.cn

• Wireless networking
• Computing
• Wireless
• Technology
• Wireless sensor network
• Big data
• Internet of things
• Sensor node
• Zigbee
• Collection Tree Protocol
• Smart city
• Crowdsensing

Performance Inconsistency in Large Scale Data Processing Clusters Mingyuan Xia and Nan Zhu McGill University Yuxiong He and Sameh Elnikety Microsoft Research Redmond

Source URL: 0b4af6cdc2f0c5998459-c0245c5c937c5dedcca3f1764ecc9b2f.r43.cf2.rackcdn.com

• Concurrent computing
• Parallel computing
• Computing
• System software
• Apache Hadoop
• Scheduling
• Job scheduler
• Computer cluster
• Data-intensive computing
• MapReduce

Learning Human Utility from Video Demonstrations for Deductive Planning in Robotics Nishant Shukla, Yunzhong He, Frank Chen, and Song-Chun Zhu Center for Vision, Cognition, Learning, and Autonomy University of California

Source URL: shukla.io

• Theoretical computer science
• Logic in computer science
• Logic programming
• Mathematics
• Mathematical logic
• Fluent
• Situation calculus
• Event calculus
• Utility
• Artificial neural network
• Robotics
• Robot

A Parallel Identification Protocol for RFID Systems Linghe Kong∗† , Liang He∗ , Yu Gu∗ , Min-You Wu† , Tian He‡ ∗ Singapore University of Technology and Design, Singapore † Shanghai Jiao Tong University,

Source URL: wirelesslab.sjtu.edu.cn

• Radio-frequency identification
• Automatic identification and data capture
• Privacy
• Ubiquitous computing
• Wireless
• Mobile RFID
• SAM
• Computing
• Technology
• Data

C L I M A T E C H A N G E A C T I O N PL AN REC OMMEND AT IONS T O T HE GOVERNOR Alaska Climate Change ACTION PLAN recommendations

Source URL: climatechange.gov.alaska.gov

• Geography of Alaska
• Alaska
• Global warming
• Arctic Ocean
• Climate change adaptation
• Climate resilience
• University of Alaska Fairbanks
• Individual and political action on climate change
• Iupiat
• Index of Alaska-related articles
• Arctic policy of the United States

Natural Language to Structured Query Generation via Meta-Learning Po-Sen Huang? , Chenglong Wang† , Rishabh Singh? , Wen-tau Yih‡ , Xiaodong He∗ ? Microsoft Research, † University of Washington, ‡ Allen Instit

Source URL: rishabhmit.bitbucket.io

• Machine learning
• Computing
• Data management
• Artificial intelligence
• Computational neuroscience
• Artificial neural networks
• Computational linguistics
• Meta learning
• Supervised learning
• Support vector machine
• Deep learning
• SQL syntax

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1362) SOME RESULTS ON AFFINE DELIGNE–LUSZTIG VARIETIES Xuhua He (何旭华)

Source URL: eta.impa.br

• Algebra
• Abstract algebra
• Mathematics
• Algebraic geometry
• Representation theory
• Algebraic combinatorics
• DeligneLusztig theory
• Reductive group
• Pierre Deligne
• Schubert variety
• Unipotent
• George Lusztig