AFLOW-XtalFinder: a reliable choice to identify crystalline prototypes

D Hicks, C Toher, DC Ford, F Rose, CD Santo… - npj Computational …, 2021 - nature.com
The accelerated growth rate of repository entries in crystallographic databases makes it
arduous to identify and classify their prototype structures. The open-source AFLOW …

Infinite families of monogenic trinomials and their Galois groups

L Jones, T Phillips - International Journal of Mathematics, 2018 - World Scientific
Let n∈ ℤ with n≥ 3. Let S n and A n denote, respectively, the symmetric group and
alternating group on n letters. Let m be an indeterminate, and define fm (x):= xn+ a (m, n) x+ …

Surface modification of polytetrafluoroethylene by microwave plasma downstream treatment

JP Badey, E Urbaczewski-Espuche, Y Jugnet, D Sage… - Polymer, 1994 - Elsevier
The surface modification of polytetrafluoroethylene (PTFE) by microwave plasma treatment
was investigated by means of contact angle measurement and esca studies. Various gases …

[PDF][PDF] Novel semantical approaches to relational probabilistic conditionals

G Kern-Isberner, M Thimm - Twelfth International Conference on the …, 2010 - cdn.aaai.org
It seems to be a common view that in order to interpret probabilistic first-order sentences,
either a statistical approach that counts (tuples of) individuals has to be used, or the …

Efficient software implementations of large finite fields GF(2n) for secure storage applications

J Luo, KD Bowers, A Oprea, L Xu - ACM Transactions on Storage (TOS), 2012 - dl.acm.org
Finite fields are widely used in constructing error-correcting codes and cryptographic
algorithms. In practice, error-correcting codes use small finite fields to achieve high …

Students' techniques for approaching defining properties of functions

R Uscanga, K Melhuish, JP Cook - Educational Studies in Mathematics, 2024 - Springer
Functions are an essential concept in mathematics. The studies that have examined
functions in advanced contexts have primarily focused on students' reasoning about specific …

[图书][B] Advances in combinatorial optimization: linear programming formulations of the traveling salesman and other hard combinatorial optimization problems

M Diaby, MH Karwan - 2016 - books.google.com
Combinational optimization (CO) is a topic in applied mathematics, decision science and
computer science that consists of finding the best solution from a non-exhaustive search. CO …

Analyzing the structure of the non-examples in the instructional example space for function in abstract algebra

R Uscanga, JP Cook - International Journal of Research in Undergraduate …, 2024 - Springer
The concept of function is critical in mathematics in general and abstract algebra in
particular. We observe, however, that much of the research on functions in abstract algebra …

On probabilistic inference in relational conditional logics

M Thimm, G Kern-Isberner - Logic Journal of IGPL, 2012 - academic.oup.com
The principle of maximum entropy has proven to be a powerful approach for commonsense
reasoning in probabilistic conditional logics on propositional languages. Due to this …

Rank computation in Euclidean Jordan algebras

M Orlitzky - Journal of Symbolic Computation, 2022 - Elsevier
Euclidean Jordan algebras are the abstract foundation for symmetric cone optimization.
Every element in a Euclidean Jordan algebra has a complete spectral decomposition …