Search results for "invited talk"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Jean-Louis Giavitto	Invited Talk: Topological Collections, Transformations and Their Application to the Modeling and the Simulation of Dynamical Systems.	RTA	2003	DBLP DOI BibTeX RDF
1	R. Ravi	Iterative Methods in Combinatorial Optimization (Invited Talk).	STACS	2012	DBLP DOI BibTeX RDF
1	Shafi Goldwasser	Pseudo-deterministic Algorithms (Invited Talk).	STACS	2012	DBLP DOI BibTeX RDF
1	Thomas Colcombet	Forms of Determinism for Automata (Invited Talk).	STACS	2012	DBLP DOI BibTeX RDF
1	Martin Dietzfelbinger	On Randomness in Hash Functions (Invited Talk).	STACS	2012	DBLP DOI BibTeX RDF
1	Antoine Joux	A Tutorial on High Performance Computing Applied to Cryptanalysis - (Invited Talk Abstract).	EUROCRYPT	2012	DBLP DOI BibTeX RDF
1	Ulle Endriss	Applications of Logic in Social Choice Theory - (Invited Talk).	CLIMA	2011	DBLP DOI BibTeX RDF
1	Simon Parsons, Yuqing Tang, Kai Cai, Elizabeth Sklar, Peter McBurney	Some Thoughts on Using Argumentation to Handle Trust - (Invited Talk).	CLIMA	2011	DBLP DOI BibTeX RDF
1	Jan Broersen	Probabilistic Action and Deontic Logic - (Invited Talk).	CLIMA	2011	DBLP DOI BibTeX RDF
1	Peter Auer	Invited Talk: UCRL and Autonomous Exploration.	EWRL	2011	DBLP DOI BibTeX RDF
1	Csaba Szepesvári	Invited Talk: Towards Robust Reinforcement Learning Algorithms.	EWRL	2011	DBLP DOI BibTeX RDF
1	Kristian Kersting	Invited Talk: Increasing Representational Power and Scaling Inference in Reinforcement Learning.	EWRL	2011	DBLP DOI BibTeX RDF
1	Peter Stone	Invited Talk: PRISM - Practical RL: Representation, Interaction, Synthesis, and Mortality.	EWRL	2011	DBLP DOI BibTeX RDF
1	Frank Tip	Finding and Fixing Bugs in Web Applications (Invited Talk).	TOOLS	2011	DBLP DOI BibTeX RDF
1	Oscar Nierstrasz	Synchronizing Models and Code (Invited Talk).	TOOLS	2011	DBLP DOI BibTeX RDF
1	Sotiris E. Nikoletseas	Invited talk: Models and methods for maintaining connectivity in sensor networks.	DCOSS	2011	DBLP DOI BibTeX RDF
1	Alexander Barg, Grigory Kabatiansky	Digital Fingerprinting under and (Somewhat) beyond the Marking Assumption - (Invited Talk).	ICITS	2011	DBLP DOI BibTeX RDF
1	Amin Shokrollahi	LT-Codes and Phase Transitions for Mutual Information - (Invited Talk).	ICITS	2011	DBLP DOI BibTeX RDF
1	Yuval Ishai	Correlation Extractors and Their Applications - (Invited Talk).	ICITS	2011	DBLP DOI BibTeX RDF
1	Ronald de Wolf	Bell Inequalities: What Do We Know about Them and Why Should Cryptographers Care? - (Invited Talk).	ICITS	2011	DBLP DOI BibTeX RDF
1	Benny Applebaum	Randomly Encoding Functions: A New Cryptographic Paradigm - (Invited Talk).	ICITS	2011	DBLP DOI BibTeX RDF
1	Imre Csiszár	On Information Theoretic Security: Mathematical Models and Techniques - (Invited Talk).	ICITS	2011	DBLP DOI BibTeX RDF
1	Ivan Damgård	Quantum Communication Attacks on Classical Cryptographic Protocols - (Invited Talk).	ICITS	2011	DBLP DOI BibTeX RDF
1	Renato Renner	Quantum-Resilient Randomness Extraction - (Invited Talk).	ICITS	2011	DBLP DOI BibTeX RDF
1	Leonid Reyzin	Some Notions of Entropy for Cryptography - (Invited Talk).	ICITS	2011	DBLP DOI BibTeX RDF
1	Sumit Paul-Choudury	What happens next? Science communicators and the future tense Invited Talk.	Intelligent Environments (Workshops)	2011	DBLP DOI BibTeX RDF
1	Paul Robert Appleby	When Authors and Scientists Collide Invited Talk.	Intelligent Environments (Workshops)	2011	DBLP DOI BibTeX RDF
1	Krishnendu Chatterjee	Graph Games with Reachability Objectives - (Invited Talk).	RP	2011	DBLP DOI BibTeX RDF
1	Thomas Wilke	A Functional Program for Regular Expressions Matching - Abstract of Invited Talk.	Developments in Language Theory	2011	DBLP DOI BibTeX RDF
1	Margaret-Anne D. Storey	Invited Talk.	ICPC	2011	DBLP DOI BibTeX RDF
1	Timo Käkölä	ISO Initiatives on Software Product Line Engineering: Vision and Current Status Invited Talk for Variability@ER2011.	ER Workshops	2011	DBLP DOI BibTeX RDF
1	Roger Dingledine	Tor and Circumvention: Lessons Learned - (Abstract to Go with Invited Talk).	CRYPTO	2011	DBLP DOI BibTeX RDF
1	Sachin Katti	Wireless network coding: invited talk.	FOMC	2011	DBLP DOI BibTeX RDF
1	Seth Gilbert	Faster and better the promise of dynamic spectrum access: invited talk.	FOMC	2011	DBLP DOI BibTeX RDF
1	Jean Bolot	Mining and modeling large scale cell phone data: invited talk.	FOMC	2011	DBLP DOI BibTeX RDF
1	Thomas K. Landauer, Rosalind W. Picard, David S. Touretzky, Ryan Baker, Robert C. Holte, Amanda J. Stent, Daniel Vanderveken	Invited Talk Abstracts.	FLAIRS Conference	2011	DBLP BibTeX RDF
1	Francesco Logozzo	Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation - (Invited Talk).	VMCAI	2011	DBLP DOI BibTeX RDF
1	Bernhard Steffen, Oliver Rüthing	Quality Engineering: Leveraging Heterogeneous Information - (Invited Talk).	VMCAI	2011	DBLP DOI BibTeX RDF
1	David L. Dill	Are Cells Asynchronous Circuits? - (Invited Talk).	VMCAI	2011	DBLP DOI BibTeX RDF
1	Stephen F. Siegel, Ganesh Gopalakrishnan	Formal Analysis of Message Passing - (Invited Talk).	VMCAI	2011	DBLP DOI BibTeX RDF
1	Hans Vangheluwe	Invited Talk: Promises and Challenges of Model-Driven Engineering.	CSMR	2011	DBLP DOI BibTeX RDF
1	Jens Borchers	Invited Talk: Reengineering from a Practitioner's View - A Personal Lesson's Learned Assessment.	CSMR	2011	DBLP DOI BibTeX RDF
1	Moshe Y. Vardi	Constraints, Graphs, Algebra, Logic, and Complexity (Invited Talk).	FSTTCS	2011	DBLP DOI BibTeX RDF
1	Madhu Sudan	Physical limits of Communication (Invited Talk).	FSTTCS	2011	DBLP DOI BibTeX RDF
1	Alex Bain, John C. Mitchell, Rahul Sharma 0001, Deian Stefan, Joe Zimmerman	A Domain-Specific Language for Computing on Encrypted Data (Invited Talk).	FSTTCS	2011	DBLP DOI BibTeX RDF
1	Umesh V. Vazirani	Quantum State Description Complexity (Invited Talk).	FSTTCS	2011	DBLP DOI BibTeX RDF
1	Phokion G. Kolaitis	Schema Mappings and Data Examples: Deriving Syntax from Semantics (Invited Talk).	FSTTCS	2011	DBLP DOI BibTeX RDF
1	Susanne Albers	Energy-Efficient Algorithms (Invited Talk).	FSTTCS	2011	DBLP DOI BibTeX RDF
1	François Boulier, François Lemaire, Michel Petitot, Alexandre Sedoglavic	Chemical Reaction Systems, Computer Algebra and Systems Biology - (Invited Talk).	CASC	2011	DBLP DOI BibTeX RDF
1	Ágnes Szántó	Symbolic-Numeric Solution of Ill-Conditioned Polynomial Systems (Survey Talk Overview) (Invited Talk).	CASC	2011	DBLP DOI BibTeX RDF
1	Andrew W. Appel	Verified Software Toolchain - (Invited Talk).	ESOP	2011	DBLP DOI BibTeX RDF
1	Dorina C. Petriu	Model-Based Performance Analysis of Service-Oriented Systems - (Invited Talk).	SDL Forum	2011	DBLP DOI BibTeX RDF
1	Maurice Herlihy	Applications of Shellable Complexes to Distributed Computing - (Invited Talk).	CONCUR	2010	DBLP DOI BibTeX RDF
1	Gábor Tardos	Capacity of Collusion Secure Fingerprinting - A Tradeoff between Rate and Efficiency - (Extended Abstract of Invited Talk).	Information Hiding	2010	DBLP DOI BibTeX RDF
1	Boris Skoric	Security with Noisy Data - (Extended Abstract of Invited Talk).	Information Hiding	2010	DBLP DOI BibTeX RDF
1	Thomas Ågotnes	Group Announcements: Logic and Games (Abstract of Invited Talk).	CLIMA	2010	DBLP DOI BibTeX RDF
1	Torben Bach Pedersen	Research challenges for cloud intelligence: invited talk.	EDBT/ICDT Workshops	2010	DBLP DOI BibTeX RDF
1	Dan Suciu	Definitions matter: reconciling differential and adversarial privacy: invited talk.	EDBT/ICDT Workshops	2010	DBLP DOI BibTeX RDF
1	Daniela Florescu	Updates, consistency, and the art of running XQuery in the cloud: invited talk.	EDBT/ICDT Workshops	2010	DBLP DOI BibTeX RDF
1	Michael Benedikt	Analysis of declarative updates: invited talk.	EDBT/ICDT Workshops	2010	DBLP DOI BibTeX RDF
1	Philippa Gardner	Reasoning about client-side web programs: invited talk.	EDBT/ICDT Workshops	2010	DBLP DOI BibTeX RDF
1	Pierangela Samarati	Protecting data privacy in outsourcing scenarios: invited talk.	EDBT/ICDT Workshops	2010	DBLP DOI BibTeX RDF
1	Jiaheng Lu	Benchmarking Holistic Approaches to XML Tree Pattern Query Processing - (Extended Abstract of Invited Talk).	DASFAA Workshops	2010	DBLP DOI BibTeX RDF
1	Steve Renals	Invited Talk: Recognition and Understanding of Meetings.	HLT-NAACL	2010	DBLP BibTeX RDF
1	David Temperley	Invited Talk: Music, Language, and Computational Modeling: Lessons from the Key-Finding Problem.	HLT-NAACL	2010	DBLP BibTeX RDF
1	Chris Peikert	Heuristics and Rigor in Lattice-Based Cryptography - (Invited Talk).	SCN	2010	DBLP DOI BibTeX RDF
1	Tarek F. Abdelzaher	Interdisciplinary Foundations for Open Cyber-Physical Systems - (Invited Talk).	FORMATS	2010	DBLP DOI BibTeX RDF
1	Molham Aref	Datalog for Enterprise Software: from Industrial Applications to Research (Invited Talk).	ICLP (Technical Communications)	2010	DBLP DOI BibTeX RDF
1	François Fages	A Logical Paradigm for Systems Biology (Invited Talk).	ICLP (Technical Communications)	2010	DBLP DOI BibTeX RDF
1	Flemming Nielson, Han Gao, Hanne Riis Nielson	The CaPiTo Approach to Protocol Validation - (Invited Talk).	ARSPA-WITS	2010	DBLP DOI BibTeX RDF
1	Catuscia Palamidessi, Mário S. Alvim, Miguel E. Andrés	Interactive Information Flow - (Invited Talk).	ARSPA-WITS	2010	DBLP DOI BibTeX RDF
1	Abhijit Chatterjee	Invited talk: Self-aware wireless communication and signal processing systems: Real-time adaptation for error resilience, low power and performance.	European Test Symposium	2010	DBLP DOI BibTeX RDF
1	Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi	Entropy and Attack Models in Information Flow - (Invited Talk).	IFIP TCS	2010	DBLP DOI BibTeX RDF
1	Ahmad-Reza Sadeghi	Cryptography Meets Hardware: Selected Topics of Hardware-Based Cryptography (Invited Talk).	CANS	2010	DBLP DOI BibTeX RDF
1	Kaoru Kurosawa	Cryptography for Unconditionally Secure Message Transmission in Networks (Invited Talk).	CANS	2010	DBLP DOI BibTeX RDF
1	Marc Najork	Querying the Web Graph - (Invited Talk).	SPIRE	2010	DBLP DOI BibTeX RDF
1	Andreas Weber 0004, Thomas Sturm, Werner M. Seiler, Essam O. Abdel-Rahman	Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk).	CASC	2010	DBLP DOI BibTeX RDF
1	Ernst W. Mayr	From Petri Nets to Polynomials: Modeling, Algorithms, and Complexity (Abstract) (Invited Talk).	CASC	2010	DBLP DOI BibTeX RDF
1	H. Marandjian, Yu. Shoukourian	Computational Science in Armenia (Invited Talk).	CASC	2010	DBLP DOI BibTeX RDF
1	Susan Eggers	2010 Athena lecture.	PLDI	2010	DBLP DOI BibTeX RDF	invited talk
1	Vassilios Gerousis	Physical design implementation for 3D IC: methodology and tools.	ISPD	2010	DBLP DOI BibTeX RDF	3D IC stack, micro-bump, physical design tools, silicon interposer, methodology, tsv
1	H. John Caulfield	Invited Talk: What Can We Learn from an Image?	OSC	2009	DBLP DOI BibTeX RDF
1	Donna N. Dillenberger, Alan J. King, Francis N. Parr	Requirements for systemic risk management in the financial sector: invited talk.	SC-WHPCF	2009	DBLP DOI BibTeX RDF	mortgage-backed securities, systemic risk, banking
1	Kostas D. Karatzas	Artificial Intelligence Applications in the Atmospheric Environment: Status and Future Trends (Invited Talk).	AIAI Workshops	2009	DBLP BibTeX RDF
1	Manuel Fähndrich	Language-agnostic specification and verification: invited talk.	PLPV	2009	DBLP DOI BibTeX RDF	specifications, static analysis, abstract interpretation, contracts, net
1	Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz	Program analysis for bug detection using parfait: invited talk.	PEPM	2009	DBLP DOI BibTeX RDF	partial evaluation, symbolic analysis, constant propagation
1	Allan Borodin	Invited Talk II The Power and Limitations of Simple Algorithms: A Partial Case Study of Greedy Mechanisim Design for Combinatorial Actions.	ALGOSENSORS	2009	DBLP DOI BibTeX RDF
1	Erik D. Demain	Invited Talk I Actuator Nets: Folding, Reconfiguring and Deploying Sensors.	ALGOSENSORS	2009	DBLP DOI BibTeX RDF
1	Yoav Freund	Invited talk: Drifting games, boosting and online learning.	ICML	2009	DBLP DOI BibTeX RDF
1	Corinna Cortes	Invited talk: Can learning kernels help performance?	ICML	2009	DBLP DOI BibTeX RDF
1	Mark Braverman	Computability and Complexity of Julia Sets (Invited Talk).	CCA	2009	DBLP BibTeX RDF
1	Dana S. Scott	Semilattices, Domains, and Computability (Invited Talk).	CCA	2009	DBLP BibTeX RDF
1	Vladik Kreinovich	From Interval Computations to Constraint-Related Set Computations: Towards Faster Estimation of Statistics and ODEs under Interval and p-Box Uncertainty (Invited Talk).	CCA	2009	DBLP BibTeX RDF
1	Ning Zhong	Computable Analysis of Differential Equations (Invited Talk).	CCA	2009	DBLP BibTeX RDF
1	Jeffrey Dean	Challenges in building large-scale information retrieval systems: invited talk.	WSDM	2009	DBLP DOI BibTeX RDF	scalability, search engines
1	Gerhard Weikum	Harvesting, searching, and ranking knowledge on the web: invited talk.	WSDM	2009	DBLP DOI BibTeX RDF	information retrieval, scalability, knowledge management, Information extraction
1	Ravi Kumar	Online social networks: modeling and mining: invited talk.	WSDM	2009	DBLP DOI BibTeX RDF	social networks, evolution, graph models, influence
1	Tetsuo Ida	Symbolic and algebraic methods in computational origami: invited talk.	ISSAC	2009	DBLP DOI BibTeX RDF	gröbner bases, graph rewriting, origami
1	Trevor Darrell	Invited talk: image recognition for intelligent interfaces.	IUI	2009	DBLP DOI BibTeX RDF	user interfaces, computer vision, object recognition
1	Foster J. Provost	Brand advertising, on-line audiences, and social media: invited talk.	KDD Workshop on Data Mining and Audience Intelligence for Advertising	2009	DBLP DOI BibTeX RDF