Artifact of Bounded Exhaustive Search of Alloy Specification Repairs

This paper presents a novel fast Fourier transform (FFT)-based exhaustive search method extended to off-grid translational and rotational degrees of freedom. The method combines the advantages of the FFT-based exhaustive search, which samples all the conformations of a system under study on a grid, with a local optimization technique that guarantees to find the nearest optimal off-grid conformation. The method is demonstrated on a fitting problem and can be readily applied to a docking problem. The algorithm first samples a scoring function on a six-dimensional grid of sizeN6using the FFT. This operation has an asymptotic complexity ofO(N6logN). Then, the method performs the off-grid search using a local quadratic approximation of the cost function and the trust-region optimization algorithm. The computation of the quadratic approximation is also accelerated by FFT at the same additional asymptotic cost ofO(N6logN). The method is demonstrated by fitting atomic protein models into several simulated and experimental maps from cryo-electron microscopy. The method is available at https://team.inria.fr/nano-d/software/offgridfit.

Download Full-text

Maximum Clique Exhaustive Search in Circulant k-Hypergraphs

Lecture Notes in Computer Science - Combinatorial Algorithms ◽

10.1007/978-3-030-25005-8_31 ◽

2019 ◽

pp. 378-392 ◽

Cited By ~ 1

Author(s):

Lachlan Plant ◽

Lucia Moura

Keyword(s):

Maximum Clique ◽

Exhaustive Search

Download Full-text

Gender, Age, Race and Lactose Intolerance: Is There Evidence to Support a Differential Symptom Response? A Scoping Review

Nutrients ◽

10.3390/nu10121956 ◽

2018 ◽

Vol 10 (12) ◽

pp. 1956 ◽

Cited By ~ 7

Author(s):

Rebecca Lapides ◽

Dennis Savaiano

Keyword(s):

Body Size ◽

Scoping Review ◽

Lactose Intolerance ◽

The Elderly ◽

Genetic Differences ◽

Exhaustive Search ◽

Google Scholar ◽

Racial Groups ◽

Symptom Response ◽

The Relationship

Research evaluating the relationship between lactose intolerance (LI) symptoms and age, gender and race is reviewed. An exhaustive search was conducted on the Google Scholar and PubMed databases. The evidence suggests that women, the elderly or specific racial groups are not more susceptible to LI, but rather dose, body size and genetic differences in lactase non-persistence (LNP) are the primary drivers of intolerance symptoms.

Download Full-text

MRHS solver based on linear algebra and exhaustive search

Journal of Mathematical Cryptology ◽

10.1515/jmc-2017-0005 ◽

2018 ◽

Vol 12 (3) ◽

pp. 143-157 ◽

Cited By ~ 1

Author(s):

Håvard Raddum ◽

Pavol Zajac

Keyword(s):

Linear Algebra ◽

Matrix Representation ◽

Equation System ◽

Exhaustive Search ◽

Binary Matrix ◽

Algebraic Attacks ◽

The Matrix ◽

Speed Up ◽

Symmetric Key

Abstract We show how to build a binary matrix from the MRHS representation of a symmetric-key cipher. The matrix contains the cipher represented as an equation system and can be used to assess a cipher’s resistance against algebraic attacks. We give an algorithm for solving the system and compute its complexity. The complexity is normally close to exhaustive search on the variables representing the user-selected key. Finally, we show that for some variants of LowMC, the joined MRHS matrix representation can be used to speed up regular encryption in addition to exhaustive key search.

Download Full-text

Heuristic exhaustive search in automatic knowledge acquisition (abstract)

Proceedings of the 1990 ACM annual conference on Cooperation - CSC '90 ◽

10.1145/100348.100489 ◽

1990 ◽

Author(s):

Hou-Mei Chang

Keyword(s):

Knowledge Acquisition ◽

Exhaustive Search ◽

Automatic Knowledge Acquisition

Download Full-text

Research on Teaching in Physical Education: An Analysis of Published Research

Journal of Teaching in Physical Education ◽

10.1123/jtpe.16.3.300 ◽

1997 ◽

Vol 16 (3) ◽

pp. 300-311 ◽

Cited By ~ 31

Author(s):

Stephen Silverman ◽

Ronald Skonie

Keyword(s):

Physical Education ◽

Teacher Effectiveness ◽

Exhaustive Search ◽

Research On Teaching ◽

Published Research ◽

Good Research

The purpose of this study was to identify, categorize, and analyze published research on teaching in physical education. (RT-PE). An exhaustive search was performed to identify RT-PE since 1980. Over 2,700 papers were reviewed, and 179 met the criteria for inclusion in the study. Each paper was categorized to obtain detailed information on focus, design, and publication outlet. The results indicated that most RT-PE focused on teacher effectiveness and was quantitative. While much of the research met the minimum demands of good research in the area, some research clearly could be improved. In addition, the Journal of Teaching Physical Education was the major outlet for the research and various other trends were found about publication outlets.

Download Full-text