11 The Kondo Effect Frithjof B. Anders Theoretische Physik II ¨ Dortmund Technische Universitat

Source URL: www.cond-mat.de

• Physics
• Condensed matter physics
• Materials science
• Renormalization group
• Quantum field theory
• Mathematical physics
• Statistical mechanics
• Kondo effect
• Numerical renormalization group
• Kondo model
• Spinorbit interaction
• Renormalization

EpiGeneSys_protocol_Vermeulen

Source URL: www.epigenesys.eu

• Biology
• Mass spectrometry
• Proteomics
• Chemistry
• Biochemistry
• Bioinformatics
• Biochemistry methods
• Systems biology
• Label-free quantification
• Quantitative proteomics
• Proteinprotein interaction
• Green fluorescent protein

Modeling Protein Interaction Networks: From Structure to Function Alessandro Flammini, School of Informatics, IUB

Source URL: vw.slis.indiana.edu

User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm

Source URL: matita.cs.unibo.it

• Automated theorem proving
• Software
• Theoretical computer science
• Proof assistants
• Functional languages
• Type theory
• Matita
• Formal methods
• Calculus of constructions
• Mathematical proof
• Automated reasoning
• Theorem

Manual V5.5 (English) ) www.maksense.com

Source URL: www.maksense.com

• Automatic identification and data capture
• Computer hardware
• Records management technology
• Computing
• Humancomputer interaction
• Barcodes
• Encodings
• Radio-frequency identification
• Computer monitor
• USB
• Computer

CORSI DI LAUREA TRIENNALE E MAGISTRALE IN DESIGN 1° SAN MARINO INTERACTION

Source URL: disegnoindustriale.unirsm.sm

SAT-LHUC: SPEAKER ADAPTIVE TRAINING FOR LEARNING HIDDEN UNIT CONTRIBUTIONS Pawel Swietojanski and Steve Renals The Centre for Speech Technology Research, University of Edinburgh {p.swietojanski, s.renals}@ed.ac.uk

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

• Automatic identification and data capture
• Humancomputer interaction
• Machine learning
• Artificial intelligence
• Speech recognition
• Speaker recognition
• FMLLR
• Artificial neural network
• International Conference on Acoustics
• Speech
• and Signal Processing
• Language model

David Wolf Graduate Research Assistant Jennifer Hyland NSF REU (Research Experiences for Undergraduates) Student

Source URL: zhang.ist.psu.edu

• Education
• Computing
• Visualization
• Learning
• Computational science
• Computer graphics
• Infographics
• Trade Space Visualizer
• Humancomputer interaction
• Data visualization
• Multi-objective optimization
• Expert

Software Developer Image Processing and Head-Tracking (m/f) We are currently looking for a Software Developer (m/f) within the field of Image Processing and HeadTracking to support our Augmented Reality Start-Up in Hambu

Source URL: www.puttview.com

• Software
• Mixed reality
• Computing
• Humancomputer interaction
• User interface techniques
• Image processing
• ARToolKit
• Augmented reality
• OpenCV
• Computer vision
• Tracking
• Metaio

PDF Document

Source URL: www.iswc.net

• Humancomputer interaction
• Computing
• Ubiquitous computing
• Classes of computers
• International Semantic Web Conference
• Ambient intelligence
• Wearable computer