English
Related papers

Related papers: Some aspects of the SD-world

200 papers

This paper investigates scaling laws for local SGD in LLM training, a distributed optimization algorithm that facilitates training on loosely connected devices. Through extensive experiments, we show that local SGD achieves competitive…

Computation and Language · Computer Science 2024-09-23 Qiaozhi He , Xiaomin Zhuang , Zhihua Wu

In this paper, we study three algorithmic problems involving computation trees: the optimization, solvability, and satisfiability problems. The solvability problem is concerned with recognizing computation trees that solve problems. The…

Logic in Computer Science · Computer Science 2025-01-06 Mikhail Moshkov

Randomized algorithms provide solutions to two ubiquitous problems: (1) the distributed calculation of a principal component analysis or singular value decomposition of a highly rectangular matrix, and (2) the distributed calculation of a…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-04-09 Huamin Li , Yuval Kluger , Mark Tygert

The concept of a universal algorithm is discussed. Examples of this kind of algorithms are presented. Software implementations of such algorithms in C++ type languages are discussed together with means that provide for computations with an…

Numerical Analysis · Mathematics 2025-10-20 Grigori Litvinov , Elena Maslova

We review recent results on the analysis of singular stochastic partial differential equations in the language of paracontrolled distributions.

Probability · Mathematics 2017-02-13 Massimiliano Gubinelli , Nicolas Perkowski

This paper describes an automatic word classification system which uses a locally optimal annealing algorithm and average class mutual information. A new word-class representation, the structural tag is introduced and its advantages for use…

cmp-lg · Computer Science 2008-02-03 John McMahon , F. J. Smith

We define the notion of circular words, then consider on such words a constraint derived from the Fibonacci condition. We give several results on the structure of these circular words, then mention possible applications to various…

Formal Languages and Automata Theory · Computer Science 2011-08-19 Benoît Rittaud , Laurent Vivier

We explore the possibility to derive basic calculus rules for some subdifferential constructions associated to set-valued maps between normed vector spaces. Then, we use these results in order to write optimality conditions for a special…

Optimization and Control · Mathematics 2023-11-28 Marius Durea , Elena-Andreea Florea

In this work we address graph based semi-supervised learning using the theory of the spatial segregation of competitive systems. First, we define a discrete counterpart over connected graphs by using direct analogue of the corresponding…

Numerical Analysis · Mathematics 2022-11-30 Farid Bozorgnia , Morteza Fotouhi , Avetik Arakelyan , Abderrahim Elmoataz

An overview of different variants of the submodular welfare maximization problem in combinatorial auctions. In particular, I studied the existing algorithmic and game theoretic results for submodular welfare maximization problem and its…

Computer Science and Game Theory · Computer Science 2013-11-25 Samira Samadi

Motivated by Gentzen disjunction elimination rule in his Natural Deduction calculus and reading inequalities with meet in a natural way, we conceive a notion of distributivity for join-semilattices. We prove that it is equivalent to a…

Logic · Mathematics 2019-02-06 Rodolfo C. Ertola-Biraben , Francesc Esteva , Lluís Godo

Local decision rules are commonly understood to be more explainable, due to the local nature of the patterns involved. With numerical optimization methods such as gradient boosting, ensembles of local decision rules can gain good predictive…

Machine Learning · Computer Science 2025-08-27 Xin Du , Subramanian Ramamoorthy , Wouter Duivesteijn , Jin Tian , Mykola Pechenizkiy

An approach to the classification problem of machine learning, based on building local classification rules, is developed. The local rules are considered as projections of the global classification rules to the event we want to classify. A…

Machine Learning · Computer Science 2007-05-23 Vladislav Malyshkin , Ray Bakhramov , Andrey Gorodetsky

By some new recursive algorithms, in this paper, we will give some improvements on Waring's problem.

Combinatorics · Mathematics 2020-02-11 An-Ping Li

Machine learning algorithms for prediction are increasingly being used in critical decisions affecting human lives. Various fairness formalizations, with no firm consensus yet, are employed to prevent such algorithms from systematically…

Machine Learning · Computer Science 2018-05-29 Pratik Gajane , Mykola Pechenizkiy

This paper have two parts. In the first part we discuss word embeddings. We discuss the need for them, some of the methods to create them, and some of their interesting properties. We also compare them to image embeddings and see how word…

Machine Learning · Computer Science 2016-10-27 Amit Mandelbaum , Adi Shalev

In this short paper, we propose the split-diffuse (SD) algorithm that takes the output of an existing word embedding algorithm, and distributes the data points uniformly across the visualization space. The result improves the perceivability…

Machine Learning · Computer Science 2016-08-30 Shih-Chieh Su

The need to organize a large collection in a manner that facilitates human comprehension is crucial given the ever-increasing volumes of information. In this work, we present PDC (probabilistic distributional clustering), a novel algorithm…

Computation and Language · Computer Science 2020-03-09 Rezarta Islamaj , Lana Yeganova , Won Kim , Natalie Xie , W. John Wilbur , Zhiyong Lu

Recent years have witnessed significant advances in technologies and services in modern network applications, including smart grid management, wireless communication, cybersecurity as well as multi-agent autonomous systems. Considering the…

Multiagent Systems · Computer Science 2023-08-29 Tao Li , Guanze Peng , Quanyan Zhu , Tamer Basar

Declarative Distributed Systems (DDSs) are distributed systems grounded in logic programming. Although DDS model-checking is undecidable in general, we detect decidable cases by tweaking the data-source bounds, the message expressiveness,…

Logic in Computer Science · Computer Science 2023-08-22 Francesco Di Cosmo