Main » CIKM »

ACM International Conference on Information and Knowledge Management (2016)

Content

Workshops

up

Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 co-located with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 25-29, 2016

dblp
Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 co-located with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 25-29, 2016

pdf dblp
Invited talk: Developments, Libraries and Automated Theorem Provers
Chad Brown

pdf dblp
Invited talk: On Differences in Proofs Between Intuitionistic and Classical Logic
Aleksy Schubert

pdf dblp
Tarski's Geometry and the Euclidean Plane in Mizar
Adam Grabowski | Roland Coghetto

pdf dblp
Formalization of the prime number theorem and Dirichlet's theorem
Mario Carneiro

pdf dblp
Topological Foundations for a Formal Theory of Manifolds
Karol Pak

pdf dblp
Registrations vs Redefinitions in Mizar
Artur Kornilowicz

pdf dblp
Linking to Compound Conditions in Mizar
Adam Naumowicz

pdf dblp
Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface
Lucius Schoenbaum

pdf dblp
Understanding Mathematical Expressions: An Eye-Tracking Study
Andrea Kohlhase | Michael Fürsich

pdf dblp
The plain text trap when copying mathematical formulae
Paul Libbrecht | Matija Lokar

pdf dblp
Proposal for Coexistence of Mathematical Handwritten and Keyboard Input in a WYSIWYG Expression Editor
Juan Lao-Tebar | Francisco Alvaro | Daniel Marques

pdf dblp
KAT: an Annotation Tool for STEM Documents
Tom Wiesing | Felix Schmoll

pdf dblp
Notation-based Semantification
Ion Toloaca | Michael Kohlhase

pdf dblp
Lucas-Interpretation from Users' Perspective
Walther Neuper

pdf dblp
Rigor of TP in Educational Engineering Software
Walther Neuper

pdf dblp
Automated theorem proving for elementary geometry
Marek Janasz

pdf dblp
Knowledge Management across Formal Libraries
Dennis Müller

pdf dblp
Augmenting Mathematical Formulae for More Effective Querying & Presentation
Moritz Schubotz

pdf dblp
Design and development of a tool based on Coq to write and format mathematical proofs
Théo Zimmermann

pdf dblp
swMATH - Challenges, Next Steps, and Outlook
Hagen Chrapary | Wolfgang Dalitz | Wolfram Sperber

pdf dblp
Formalization of Polynomially Bounded and Negligible Functions Using the Computer-Aided Proof-Checking System Mizar
Hiroyuki Okazaki | Yuichi Futa

pdf dblp
A Smooth Transition to Modern mathoid-based Math Rendering in Wikipedia with Automatic Visual Regression Testing
Moritz Schubotz | Alan P. Sexton

pdf dblp
Getting the units right
Moritz Schubotz | David Veenhuis | Howard S. Cohl

pdf dblp
Lemma Extraction Criteria Based on Properties of Theorem Statements
Karol Pak

pdf dblp
The impact of proof steps sequence on proof readability - experimental setting
Karol Pak | Aleksy Schubert

pdf dblp
Models for Metamath
Mario Carneiro

pdf dblp
A first step towards automated conjecture-making in higher arithmetic geometry
Andreas Holmstrom

pdf dblp
Initial Experiments with Statistical Conjecturing over Large Formal Corpora
Thibault Gauthier | Cezary Kaliszyk | Josef Urban

pdf dblp
A Standard for Aligning Mathematical Concepts
Cezary Kaliszyk | Michael Kohlhase | Dennis Müller | Florian Rabe

pdf dblp
FrameIT Reloaded: Serious Math Games from Modular Math Ontologies
Denis Rochau | Michael Kohlhase | Dennis Müller

up

Proceedings of the Second International Workshop on Data Science for Macro-Modeling, DSMM@SIGMOD 2016, San Francisco, CA, USA, June 26 - July 1, 2016

doi dblp
Proceedings of the Second International Workshop on Data Science for Macro-Modeling, DSMM@SIGMOD 2016, San Francisco, CA, USA, June 26 - July 1, 2016

doi dblp
Financial Entity Identification and Information Integration (FEIII) Challenge: The Report of the Organizing Committee
Mark D. Flood | John Grant | Haiping Luo | Louiqa Raschid | Ian Soboroff | Kyungjin Yoo

doi dblp
How Twitter is Changing the Nature of Financial News Discovery
Mark Dredze | Prabhanjan Kambadur | Gary Kazantsev | Gideon Mann | Miles Osborne

doi dblp
Supporting stock trading in multiple foreign markets: a multilingual news summarization approach
Elena Baralis | Luca Cagliero | Tania Cerquitelli

doi dblp
Combination of Rule-based and Textual Similarity Approaches to Match Financial Entities
Ahmad Samiei | Ioannis K. Koumarelas | Michael Loster | Felix Naumann

doi dblp
Karsha Drawdown Explorer Demonstration
Tharindu Peiris | Joe Langsam | Louiqa Raschid

doi dblp
Agent-Based Models of the Corporate Bond Market
Donald J. Berndt | David Boogers | James A. McCart

doi dblp
resMBS: Constructing a Financial Supply Chain from Prospectus
Douglas Burdick | Soham De | Louiqa Raschid | Mingchao Shao | Zheng Xu | Elena Zotkina

doi dblp
Probabilistic Financial Community Models with Latent Dirichlet Allocation for Financial Supply Chains
Zheng Xu | Louiqa Raschid

doi dblp
An Ontology of Form PF
Liju Fan | Mark D. Flood

doi dblp
Linking Deutsche Bundesbank Company Data using Machine-Learning-Based Classification: Extended Abstract
Christopher-J. Schild | Simone Schultz

doi dblp
Measuring Systemic Risk with Network Connectivity: Extended Abstract
Sumanta Basu | Sreyoshi Das | George Michailidis | Amiyatosh Purnanandam

doi dblp
Online Learning of Volatility from Multiple Option Term Lengths
Scott McQuade | Claire Monteleoni

doi dblp
Financial Entity Record Linkage with Random Forests
Kunho Kim | C. Lee Giles

doi dblp
An Ensemble Approach to Financial Entity Matching for the FEIII 2016 Challenge
Enrico Palumbo | Giuseppe Rizzo | Raphaël Troncy

doi dblp
Thomson Reuters and the FEIII Challenge
Brian Ulicny | Alex Constandache | Joseph Cunningham | Michael Traub | Kimberly Yu | Carlos Azeglio | Maki Saito-Varadi

doi dblp
FactSet Concordance: Entity Data Management
Raymond Bentley Hicks

doi dblp
Local, Domain-independent Heuristics for the FEIII Challenge: Lessons and Observations
Mayank Kejriwal | Daniel P. Miranker

doi dblp
Towards High-Precision and Reusable Entity Resolution Algorithms over Sparse Financial Datasets
Douglas Burdick | Lucian Popa | Rajasekar Krishnamurthy