Probabilistic and Truth−Functional Many−Valued Logic Programming by Lukasiewicz, T

“…Moreover, many-valued logic programming in Pr_n* has a model and fixpoint characterization, a proof theory, and computational properties that are very similar to those of classical logic programming.…”

Measuring the volatility of the political agenda in public opinion and news media by Camargo, CQ, John, P, Margetts, HZ, Hale, SA

“…This study proposes a definition and operationalization of volatility that combines insights from political science, communications, information theory, and computational techniques. The proposed measures of fractionalization and agenda change encompass the shifting salience of issues in the agenda as a whole and allow the study of agendas across different domains. …”

Least-squares finite element method for solving stokes flow under point source magnetic field by Che Ayob, Alia Rafiza, Ismail, Zuhaila, Kasiman, Erwan Hafizi

“…LSFEM has several advantages in terms of theory and computing, where it can always create a symmetric, positive-definite algebraic system of equations. …”
Get full text

An ant colony optimization-based algorithm for minimizing the makespan of a job shop problem by Abdul Mahad @ Abdul Hamid, Diyana

“…Combinatorial optimization is a branch of optimization in applied mathematics and computer science, related to operations research, algorithm theory and computational complexity theory that sit at the intersection of several fields, including artificial intelligence, mathematics and software engineering. …”
Get full text

What Makes a Good Fisherman? Linear Regression under Self-Selection Bias by Cherapanamjeri, Yeshwanth, Daskalakis, Constantinos, Ilyas, Andrew, Zampetakis, Manolis

Get full text

Lattice Problems beyond Polynomial Time by Aggarwal, Divesh, Bennett, Huck, Brakerski, Zvika, Golovnev, Alexander, Kumar, Rajendra, Li, Zeyong, Peters, Spencer, Stephens-Davidowitz, Noah, Vaikuntanathan, Vinod

Get full text

Fredman’s Trick Meets Dominance Product: Fine-Grained Complexity of Unweighted APSP, 3SUM Counting, and More by Chan, Timothy M., Vassilevska Williams, Virginia, Xu, Yinzhan

Get full text

A New Approach to Learning Linear Dynamical Systems by Bakshi, Ainesh, Liu, Allen, Moitra, Ankur, Yau, Morris

Get full text

Vibrational effect on vacancy concentration in diamond: The density-functional-theory calculation by Fatomi, Zohan Syah, Nugraheni, Ari Dwi, Sholihun, Sholihun

Get full text

DISCRETE MATHEMATICS FOR COMPUTER SCIENTIST / by Ali Selamat, author 389865, Md. Hafiz Selamat, author 202067, E-Sentral(Online service)

“…As the book serves as an introductory level to computer science students, it is expected that once the students are already familiar with the presented contents, it will enable them to understand the advanced topics in computer science such as advanced theory of computer science and computational complexity theories. …”

A size-free CLT for poisson multinomials and its applications by De, Anindya, Kamath, Gautam, Daskalakis, Konstantinos, Kamath, Gautam Chetan, Tzamos, Christos

Get full text
Get full text
Get full text
Get full text

Almost-linear-time algorithms for Markov chains and new spectral primitives for directed graphs by Peng, Richard, Rao, Anup B., Sidford, Aaron, Cohen, Michael B., Kelner, Jonathan Adam, Peebles, John Lee Thompson, Vladu, Adrian Valentin

Get full text
Get full text
Get full text
Get full text
Get full text

Data structures meet cryptography: 3SUM with preprocessing by Golovnev, Alexander, Guo, Siyao, Horel, Thibaut, Park, Sunoo, Vaikuntanathan, Vinod

Get full text

Data structures meet cryptography: 3SUM with preprocessing by Golovnev, Alexander, Guo, Siyao, Horel, Thibaut, Park, Sunoo, Vaikuntanathan, Vinod

Get full text

The Computational Complexity of Linear Optics by Aaronson, Scott, Arkhipov, Aleksandr

Get full text
Get full text
Get full text

Combinatorial approach to the interpolation method and scaling limits in sparse random graphs by Bayati, Mohsen, Gamarnik, David, Tetali, Prasad

Get full text
Get full text

Quantum Money from Hidden Subspaces by Aaronson, Scott, Christiano, Paul F.

Get full text
Get full text

Contraction decomposition in h-minor-free graphs and algorithmic applications by Demaine, Erik D., Hajiaghayi, Mohammad Taghi, Kawarabayashi, Ken-ichi

Get full text
Get full text

Landau theory for finite-time dynamical phase transitions by Jan Meibohm, Massimiliano Esposito

“…Combining tools from stochastic thermodynamics and large-deviation theory, we develop a powerful theory for computing the large-deviation statistics of such observables. …”
Get full text

Multimodal Dependent Type Theory by Daniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal

“…We show that different choices of mode theory allow us to use the same type theory to compute and reason in many modal situations, including guarded recursion, axiomatic cohesion, and parametric quantification. …”
Get full text