Frobenius Additive Fast Fourier Transform Wen-Ding Li Ming-Shing Chen Po-Chun Kuo

Source URL: precision.moscito.org

Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

Source URL: www.prismmodelchecker.org

• Mathematics
• Mathematical analysis
• Temporal logic
• Computation tree logic
• Logic in computer science
• Distribution
• Symbol
• Constructible universe
• Linear temporal logic
• Craig interpolation

BigDataBench: a Big Data Benchmark Suite from Internet Services Lei Wang1,7 , Jianfeng Zhan ∗1 , Chunjie Luo1 , Yuqing Zhu1 , Qiang Yang1 , Yongqiang He2 , Wanling Gao1 , Zhen Jia1 , Yingjie Shi1 , Shujie Zhang3 , Chen

Source URL: prof.ict.ac.cn

• Computing
• Data
• Data management
• Data modeling
• Apache Software Foundation
• Benchmark
• Big data
• Apache Hadoop
• Extract
• transform
• load
• Vertica
• Semi-structured data
• Oracle NoSQL Database

Implementing Minimized Multivariate PKC on Low-Resource Embedded Systems Bo-Yin Yang1,
, Chen-Mou Cheng2 , Bor-Rong Chen2 , and Jiun-Ming Chen3 1 3

Source URL: precision.moscito.org

• Cryptography
• Multivariate cryptography
• Hidden Field Equations
• Unbalanced Oil and Vinegar
• Circulant matrix
• RSA
• Elliptic Curve Digital Signature Algorithm
• QUAD

Reading Wikipedia to Answer Open-Domain Questions Adam Fisch, Jason Weston & Antoine Bordes Danqi Chen∗ Facebook AI Research Computer Science 770 Broadway

Source URL: arxiv.org

• Computational linguistics
• Artificial intelligence
• Linguistics
• Computational science
• Question answering
• Semantic parsing
• Training
• test
• and validation sets
• Cyc
• Artificial neural network
• Reading comprehension
• Named-entity recognition
• Wikipedia

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–666) ON EXPLICIT ASPECT OF PLURICANONICAL MAPS OF PROJECTIVE VARIETIES Jungkai A. Chen (陳榮凱) and Meng Chen (陈猛)

Source URL: eta.impa.br

• Algebraic geometry
• Geometry
• Abstract algebra
• Birational geometry
• Kodaira dimension
• Minimal model program
• Fano variety
• Projective variety
• Canonical bundle
• Flip
• Surface of general type
• Canonical singularity

TARANET: Traffic-Analysis Resistant Anonymity at the Network Layer Chen Chen Daniele E. Asoni

Source URL: www.netsec.ethz.ch

• Computing
• Information and communications technology
• Computer networking
• Data transmission
• Network performance
• Internet architecture
• Teletraffic
• Telecommunications engineering
• Packet loss
• Packet forwarding
• Transmission Control Protocol
• Traffic flow

A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas

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

• Artificial intelligence
• Logic
• Logic programming
• Declarative programming
• Automated reasoning
• Programming paradigms
• Automated theorem proving
• Answer set programming
• Reasoning system
• Stable model semantics
• Prolog
• Inference

Operating Degrees for XL vs. F4/F5 for Generic MQ with Number of Equations Linear in That of Variables Jenny Yuan-Chun Yeh, Chen-Mou Cheng, and Bo-Yin Yang Academia Sinica, Taipei, Taiwan {jenny,doug,by}@crypto.tw Abstra

Source URL: precision.moscito.org

• Algebra
• Mathematics
• Computer algebra
• Algebraic geometry
• Commutative algebra
• Linear algebra
• Determinants
• Faugre's F4 and F5 algorithms
• Grbner basis
• Overdetermined system
• Buchberger's algorithm
• Matrix