, Salvatore La Torre
Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification.
Sayed A. Hadei
, Paeiz Azmi
: A Novel Adaptive Channel Equalization Method Using Variable Step-Size Partial Rank Algorithm.
Sayed A. Hadei
, N. Sonbolestan
: A Fast Affine Projection Algorithm Based on Matching Pursuit in Adaptive Noise Cancellation for Speech Enhancement.
, Yong Xia
: A Dual Approach for Solving Nonlinear Infinite-Norm Minimization Problems with Applications in Separable Cases.
: Studying and Classification of the Most Significant Malicious Software.
: Bayesian Combinatorial Auctions: Expanding Single Buyer Mechanisms to Many Buyers.
: Naturally Supervised Learning in Manipulable Technologies.
, Yisheng Zhong
: Robust stability for fractional-order systems with structured and unstructured uncertainties.
: Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations.
: A Decidable Extension of Data Automata.
: New results on pushdown module checking with imperfect information.
: Separation of Test-Free Propositional Dynamic Logics over Context-Free Languages.
: Methods of Matrix Multiplication: An Overview of Several Methods and their Implementation.
: Exploiting Dynamically Propositional Logic Structures in SAT.
: Phase Selection Heuristics for Satisfiability Solvers.
: Accelerating Reinforcement Learning by Composing Solutions of Automatically Identified Subtasks.
: Inducing Interpretable Voting Classifiers without Trading Accuracy for Simplicity: Theoretical Results, Approximation Algorithms.
, Te Sun Han
: Second-Order Resolvability, Intrinsic Randomness, and Fixed-Length Source Coding for Mixed Sources.
: Interdefinability of defeasible logic and logic programming under the well-founded semantics.
: A Computational Framework for Nonlinear Dimensionality Reduction of Large Data Sets: The Exploratory Inspection Machine (XIM).
: An application of Grossone to the study of a family of tilings of the hyperbolic plane.
, Sanyang Liu
: Soundness and completeness of the cirquent calculus system CL6 for computability logic.
: Using Grossone to count the number of elements of infinite sets and the connection with bijections.
Sergey V. Yakhontov
: A simple algorithm for the evaluation of the hypergeometric series using quasi-linear time and linear space.
Linh Anh Nguyen
: Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic SHI.
, C. Chandrasekar
: Network Selection Using TOPSIS in Vertical Handover Decision Schemes for Heterogeneous Wireless Networks.
: Another approach of the equivalence problem for measure-many one-way quantum finite automata.
: Eliciting Forecasts from Self-interested Experts: Scoring Rules for Decision Makers.
: A Large-Scale Community Structure Analysis In Facebook.
, Sennur Ulukus
: Degrees of Freedom Region of the Gaussian MIMO Broadcast Channel with Common and Private Messages.
: Knowledge Dispersion Index for Measuring Intellectual Capital.
, Eric Rémila
: Transduction on Kadanoff Sand Pile Model Avalanches, Application to Wave Pattern Emergence.
: Power Management during Scan Based Sequential Circuit Testing.
: Efficient algorithm for the vertex connectivity of trapezoid graphs.
: The Complexity of Mean-Payoff Automaton Expression.
: Algorithmic analogies to kamae-Weiss theorem on normal numbers.
, Namrata Vaswani
: ReProCS: A Missing Link between Recursive Robust PCA and Recursive Sparse Recovery in Large but Correlated Noise.
: Reducing Interpolation on Multi-Grid to Quantizing Grid's Data-Base as a Recursion.
Matthew R. Lakin
: Constraint solving in non-permutative nominal abstract syntax.