arXiv: math.PRESTIMATING HETEROGENEOUS GRAPHICAL MODELS FOR DISCRETE DATA WITH AN APPLICATION TO ROLL CALL VOTING By Jian Guo, Elizaveta Levina, George Michailidis and Ji Zhu

Source URL: dept.stat.lsa.umich.edu

The k-in-a-path problem for claw-free graphs Jiˇr´ı Fiala1 , Marcin Kami´nski2 , Bernard Lidick´y1 , and Dani¨el Paulusma3 1 Charles University, Faculty of Mathematics and Physics, DIMATIA and Institute for Theoret

Source URL: iti.mff.cuni.cz

Solution Space of Quantum 2-SAT Xie Chen(MIT) Joint work with: Jianxin Chen(UoG,IQC), Runyao Duan(QCIS), Zhengfeng Ji(PI), Zhaohui Wei(CQT), and Bei Zeng(UoG,IQC) arXiv:, arXiv:

Source URL: qip2011.quantumlah.org

Stabbing simplices by points and affine spaces Boris Bukh MarchJoint work with Jiˇr´ı Matouˇsek and Gabriel Nivasch.

Source URL: www.borisbukh.org

Developing Corpus-based Translation Methods between Informal and Formal Mathematics Cezary Kaliszyk (supported by FWF grant P26201), Josef Urban, Jiˇr´ı Vyskoˇcil, Herman Geuvers Goal

Source URL: mws.cs.ru.nl

• Mathematics
• Automated theorem proving
• Theoretical computer science
• Logic
• Formal methods
• Artificial intelligence
• Automated reasoning
• Reasoning
• Mathematical proof
• Theorem
• Mizar
• Parsing

Strategy Selection in Influence Diagrams using Imprecise Probabilities Cassio P. de Campos Qiang Ji Electrical, Computer and Systems Eng. Dept. Electrical, Computer and Systems Eng. Dept.

Source URL: uai2008.cs.helsinki.fi

Improving Pseudo-Relevance Feedback in Web Information Retrieval Using Web Page Segmentation Shipeng Yu1* Deng Cai2* Ji-Rong Wen* and Wei-Ying Ma* * Microsoft Research Asia

Source URL: www.dbs.informatik.uni-muenchen.de

フ ィ ギ ュ ア ミカタン 69 ねんどろいど 初音ミク © Crypton Future Media, Inc. www. cr ypton.net

Source URL: ji-sedai.jp

An Asynchronous Parallel Stochastic Coordinate Descent Algorithm Ji Liu† JI - LIU @ CS . WISC . EDU Stephen J. Wright† SWRIGHT @ CS . WISC . EDU

Source URL: www.jmlr.org

A lower bound for scheduling of unit jobs with immediate decision on parallel machines Tom´aˇs Ebenlendr∗ Jiˇr´ı Sgall∗

Source URL: iti.mff.cuni.cz