Types in mathematical proofs Georges Gonthier Legacy •  Interactive theorem proving

Source URL: events.inf.ed.ac.uk

• Mathematics
• Algebra
• Linear algebra
• Matrix theory
• Determinant
• Summation
• Leibniz formula for determinants
• Permanent

Microsoft PowerPoint - Council Agenda

Source URL: www.globalitv.org

• ITV
• Digital television
• Hybrid Broadcast Broadband TV
• Interactive television
• Satellite television
• Broadcasting
• Television
• Digital media

SocialNetSense: Supporting Sensemaking of Social and Structural Features in Networks with Interactive Visualization Liang Gou*, Xiaolong (Luke) Zhang** Airong Luo†, Patricia F. Anderson‡

Source URL: zhang.ist.psu.edu

• Academia
• Computational science
• Computer graphics
• Infographics
• Knowledge
• Visualization
• Self-organization
• Social network analysis
• Sensemaking
• Visual analytics
• Information visualization
• Social network

Dein Job als Praktikant/in oder Werkstudent/in Grafikdesign / Interactive Design Wir suchen ab sofort eine/n Praktikant/in oder Werkstudent/in im Bereich Grafikdesign / Interactive Design. Wir arbeiten seit über 17 Jahr

Source URL: www.torpedo.one

A Cabot Technical Paper: CI Plus This paper discusses what CI and CI Plus are, the reasons behind their creation and the implications for end-users, suppliers and customers. It then reflects on how Cabot set about develo

Source URL: www.cabot.co.uk

• Computing
• Digital Video Broadcasting
• Common Interface
• Computer hardware
• Technology
• Computer networking
• Interactive television
• Content-addressable memory
• MHEG-5
• PC Card
• Emulator

Employment of Physical Objects as Interactive Interface Components Kamen Kanev1, Shigeo Kimura2, Nobue Kobayashi3, Kazuaki Yamauchi1 1University

Source URL: www.clihc.org

• Automatic identification and data capture
• Humancomputer interaction
• User interface techniques
• Software
• Encodings
• Barcodes
• User interfaces
• Computing
• Tangible user interface
• Barcode
• User interface
• QR code

Case Study: Interactive Retail Applications Case Study: 1

Source URL: www.amd.com

• Advanced Micro Devices
• Computer architecture
• Computing
• Fabless semiconductor companies
• Heterogeneous System Architecture
• ATI Technologies
• AMD Accelerated Processing Unit
• Radeon
• Cloud computing
• AMD mobile platform
• AMD Live!

INTERACTIVE CARTOGRAPHY, SMALL SYSTEMS There were two Interactive Cartography, Small Systems sessions. Both of these sessions were chaired by Howard Carr of the U.S. Army Engineering Topographic Laboratory and James Car

Source URL: mapcontext.com

• Cartography
• Communication design
• Graphic design
• Graphics file formats
• Computer graphics
• Geographic information system
• Geography
• Raster graphics
• Topography
• Map
• Graphics
• United States Geological Survey

Limitations of Choice-Based Interactive Evolution for Game Level Design Antonios Liapis, Georgios N. Yannakakis, Julian Togelius Center for Computer Games Research Rued Langaards Vej 7 Copenhagen, Denmark

Source URL: antoniosliapis.com

• Leisure
• Gaming
• Video game design
• Video game development
• Visual arts
• Real-time strategy
• Genetic algorithm
• Fitness function
• Level design
• Game design
• Procedural generation

Tech_Survey_2014_2015_Pam_Working Copy

Source URL: www.dcet.k12.de.us

• Computing
• Classes of computers
• Office equipment
• Personal computing
• Tablet computers
• Display technology
• Interactive whiteboard
• IPad
• Personal computer
• Laptop
• Educational technology
• Android