Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland

Source URL: files.sri.inf.ethz.ch

• Probability and statistics
• Probability theory
• Artificial intelligence
• Machine learning
• Computational statistics
• Graphical models
• Computational linguistics
• Natural language processing
• Conditional random field
• Probabilistic programming language
• Inference
• Support vector machine

Challenges for Fast Synthesis Procedures in SMT Andrew Reynolds1 Department of Computer Science, The University of Iowa Abstract A number of synthesis applications are made possible by automated tools for synthesis. Rece

Source URL: www.cs.man.ac.uk

• Mathematical logic
• Theoretical computer science
• Mathematics
• Quantification
• Logic in computer science
• Formal methods
• Electronic design automation
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Universal quantification
• True quantified Boolean formula

Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule Department of Computer Science The University of Texas at Austin {moore,marijn}@cs.utexas.edu

Source URL: www.cs.man.ac.uk

• Software engineering
• Computer programming
• Theoretical computer science
• Automated theorem proving
• Lisp
• ACL2
• Formal methods
• Logic in computer science
• Robert S. Boyer

Siamese Network： Architecture and Applications in Computer Vision Tech Report Dec 30, 2014 Hengliang Luo

Source URL: vision.ia.ac.cn

GRAPP 2013 IVAPP 2013 Proceedings of the International Conference on Computer Graphics Theory and Applications and

Source URL: homepage.lnu.se

2014 International Conference on Embedded and Ubiquitous Computing Understanding the Dynamic Caches on Intel Processors: Methods and Applications Yi Zhang, Nan Guan Department of Computer Science and Technology Northeas

Source URL: user.it.uu.se

FRACTALS FOR ELECTRONIC APPLICATIONS Maciej J. Ogorzałek Department of Information Technologies Faculty of Physics, Astronomy and Applied Computer Science Jagiellonian University,

Source URL: iwcsn2006.irmacs.sfu.ca

Tenured and Tenure-Track Faculty Positions David R. Cheriton School of Computer Science University of Waterloo Applications are invited for several tenure-track or tenured faculty positions in the David R. Cheriton Schoo

Source URL: cacsaic.org

Journal of Network and Computer Applications, 25–43 Experimental studies on software tools to enhance accessibility to information in digital libraries Shigeo Sugimoto∗, Akira Maeda∗, Tetsuo Sakaguchi∗

Source URL: www.eis.mdx.ac.uk

compsac 2013 Kyoto, Japan JulyThe IEEE Signature Conference on Computers, So!ware & Applications

Source URL: ieeecompsac.computer.org