Results 1 to 10 of about 578,084 (301)
Computing Kazhdan Constants by Semidefinite Programming [PDF]
Experimental Mathematics, 2017 Kazhdan constants of discrete groups are hard to compute and the actual constants are known only for several classes of groups. By solving a semidefinite programming problem by a computer, we obtain a lower bound of the Kazhdan constant of a discrete group. Positive lower bounds imply that the group has property (T).
Yuichi Kabaya, Koji Fujiwara
openaire +5 more sources
Automated Assessment of Computer Programming Practices: The 8-Years UNED Experience
IEEE Access, 2019 The increasing popularity of distance education poses exciting new challenges. In particular, current pedagogical paradigms, such as competency-based education, require students' continuous evaluation.
Daniel Galan +4 more
doaj +2 more sources
Computer program for the expression of the kinetic equations of enzyme reactions as functions of the rate constants and the initial concentrations [PDF]
Biochemical Journal, 1990 A versatile computer program with an easy input method has been developed for the construction of the terms in kinetic equations of enzyme reactions. It allows the expression of the time-dependence of the concentrations of all of the species involved as functions of the kinetic parameters.
R. Varón +4 more
openalex +4 more sources
Monte Carlo Method to Uncertainty Evaluation of The Relative Dielectric Constant and Loss Tangent Measured by Split-Cavity Resonator Technique [PDF]
MATEC Web of Conferences, 2020 According to the mathematical model of the split-cylinder resonator method, it is impossible to establish a simple equation between the intermediate variables and the relative dielectric constant or the loss tangent.
Zhao Fei +4 more
doaj +1 more source
Looped Transformers as Programmable Computers [PDF]
International Conference on Machine Learning, 2023 We present a framework for using transformer networks as universal computers by programming them with specific weights and placing them in a loop. Our input sequence acts as a punchcard, consisting of instructions and memory for data read/writes.
Angeliki Giannou +5 more
semanticscholar +1 more source
Measuring system for comprehensive testing of electrical machines [PDF]
Biuletyn Wojskowej Akademii Technicznej, 2020 The article presents a measuring system designed for a comprehensive experimental testing of various types of electric machines. These tests include measurements of electrical, electromagnetic, kinematic, as well as mechanical and thermal quantities. The
Adam Biernat, Włodzimierz Przyborowski
doaj +1 more source
Современные информационные технологии и IT-образование, 2021 The proposed article examines the methodology for developing students' thinking flexibility by combining various approaches to the implementation of educational mathematical tasks.
Valeriy Sekovanov +3 more
doaj +1 more source
When Deep Learning Meets Polyhedral Theory: A Survey [PDF]
arXiv.org, 2023 In the past decade, deep learning became the prevalent methodology for predictive modeling thanks to the remarkable accuracy of deep neural networks in tasks such as computer vision and natural language processing.
Joey Huchette +3 more
semanticscholar +1 more source
Approximating Edit Distance within Constant Factor in Truly Sub-Quadratic Time [PDF]
IEEE Annual Symposium on Foundations of Computer Science, 2018 Edit distance is a measure of similarity of two strings based on the minimum number of character insertions, deletions, and substitutions required to transform one string into the other.
Diptarka Chakraborty +4 more
semanticscholar +1 more source
Improved Bounds for Randomly Sampling Colorings via Linear Programming [PDF]
ACM-SIAM Symposium on Discrete Algorithms, 2018 A well-known conjecture in computer science and statistical physics is that Glauber dynamics on the set of $k$-colorings of a graph $G$ on $n$ vertices with maximum degree $\Delta$ is rapidly mixing for $k\ge\Delta+2$.
Sitan Chen +4 more
semanticscholar +1 more source