-
761
Probabilistic and Truth−Functional Many−Valued Logic Programming
Published 1999“…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.…”
Conference item -
762
Measuring the volatility of the political agenda in public opinion and news media
Published 2021“…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. …”
Journal article -
763
Least-squares finite element method for solving stokes flow under point source magnetic field
Published 2022“…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
Article -
764
An ant colony optimization-based algorithm for minimizing the makespan of a job shop problem
Published 2011“…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
Thesis -
765
What Makes a Good Fisherman? Linear Regression under Self-Selection Bias
Published 2023Get full text
Article -
766
-
767
-
768
-
769
-
770
DISCRETE MATHEMATICS FOR COMPUTER SCIENTIST /
Published 2012“…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. …”
text -
771
-
772
-
773
-
774
-
775
The Computational Complexity of Linear Optics
Published 2011Get full text
Get full text
Get full text
Article -
776
-
777
-
778
-
779
Landau theory for finite-time dynamical phase transitions
Published 2023-01-01“…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
Article -
780
Multimodal Dependent Type Theory
Published 2021-07-01“…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
Article