Results 61 to 70 of about 102,319 (175)
Discriminating between viable and membrane-damaged cells of the plant pathogen Xylella fastidiosa. [PDF]
, 2019 Xylella fastidiosa is a plant pathogenic bacterium with devastating consequences to several crops of economic importance across the world. While this pathogen has been studied for over a century in the United States, several aspects of its biology remain
Almeida, Rodrigo +5 more
core +3 more sources
Publisher Correction: Common terms of Leonardo and Jacobsthal numbers [PDF]
, 2023 Hayat Bensella, Djilali Behloul
openalex +1 more source
Hyper-Dual Leonardo Quaternions
Journal of New TheoryIn this paper, hyper-dual Leonardo quaternions are defined and studied. Some basic properties of the hyper-dual Leonardo quaternions, including their relationships with the hyper-dual Fibonacci quaternions and hyper-dual Lucas quaternions, are analyzed ...
Tülay Yağmur
doaj +1 more source
An Introduction to Finite Fibonomial Calculus
, 2004 This is an indicatory presentation of main definitions and theorems of fibonomial calculus which is a special case of psi-extented rota's finite operator calculus.Comment: 16 ...
Krot, Ewa
core +1 more source
The Abbaco Tradition (1300-1500): its role in the development of European algebra [PDF]
, 2008 Abbaco algebra is a coherent tradition of algebraic problem solving mostly based in the merchant cities of fourteenth and fifteenth-century Italy. This period is roughly situated between two important works dealing with algebra: the Liber Abbaci by ...
Heeffer, Albrecht
core +1 more source
Glueball masses from ratios of path integrals
, 2011 By generalizing our previous work on the parity symmetry, the partition function of a Yang-Mills theory is decomposed into a sum of path integrals each giving the contribution from multiplets of states with fixed quantum numbers associated to parity ...
Della Morte, Michele, Giusti, Leonardo
core
Towards lightweight integration of SMT solvers [PDF]
, 2012 A large variety of SMT techniques and associated solvers have been developed by the formal modelling and verification communities. For a particular application domain, each technique has its own unique set of advantages and limitations.
Lapets, Andrei, Mizraei, Saber
core +1 more source
VART: A Tool for the Automatic Detection of Regression Faults
, 2017 In this paper we present VART, a tool for automatically revealing regression faults missed by regression test suites. Interestingly, VART is not limited to faults causing crashing or exceptions, but can reveal faults that cause the violation of ...
Mariani, Leonardo, Pastore, Fabrizio
core +1 more source
Combinatorial proofs of identities for the generalized Leonardo numbers [PDF]
, 2022 Mark Shattuck
openalex +1 more source
, 2018 Short pitch deformed helix ferroelectric liquid crystals have numerous applications as active materials in displays, optical telemetry and biomedical devices.
Ladouceur, François +2 more
core +1 more source