Results 281 to 290 of about 2,279,863 (316)
Some of the next articles are maybe not open access.
The theoretical analysis of FDA and applications
Pattern Recognition, 2006zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Qing Tao, Gao-wei Wu, Jue Wang 0004
openaire +2 more sources
A proof-theoretical analysis of ptykes
Archive for Mathematical Logic, 1994Girard introduced the notion of \(n\)-ptykes in terms of the language of category theory. The author reformulates it, in this paper, in the form of relational structures. Namely, a 0-ptyx is a well-ordering; and an \((n+1)\)-ptyx is a structure that results in a 0-ptyx when `applied' to an \(n\)-ptyx (together with further conditions).
openaire +2 more sources
Theoretical analysis of quantum electrodynamics
Fortschritte der Physik, 1984AbstractA study is carried out of some of the important developments made in quantum electrodynamics (QED) during this past decade. Basic problems and recent attempts are considered which are expected to be of importance not only for further developments in QED, but also to our further understanding of quantum field theory, in general and of its unique
openaire +1 more source
A Theoretical Analysis of Hierarchical Proofs
2003Hierarchical proof presentations are ubiquitous within logic and computer science, but have made little impact on mathematics in general. The reasons for this are not currently known, and need to be understood if mathematical knowledge management systems are to gain acceptance in the mathematical community.
Paul A. Cairns, Jeremy Gow
openaire +1 more source
A Theoretical Analysis of Search in GSAT
2009This paper is devoted to a rigorous analysis of the GSAT algorithm in the typical case for the random planted 3-SAT distribution. GSAT was the first widely appreciated practical heuristic developed for SAT that was based on the local search principles.
openaire +1 more source
Detection-theoretic analysis of MatInspector
IEEE Transactions on Signal Processing, 2006The goal of this paper is twofold. First, we wish to raise awareness in the signal processing community of research problems related to transcription factor binding site (TFBS) finding. This class of problems is important in the study of gene expression and regulation and is similar to the problems studied in statistical signal processing and detection
openaire +1 more source
A review on theoretical models for lithium–sulfur battery cathodes
Informační Materiály, 2022Shuai Feng, Zhongheng Fu, Xiang Chen
exaly
Pro-Environmental Behavior Research: Theoretical Progress and Future Directions
International Journal of Environmental Research and Public Health, 2022Xinyu Liu, Liu Xinyu
exaly
Interviewing as a Vehicle for Theoretical Sampling in Grounded Theory
International Journal of Qualitative Methods, The, 2021Geraldine Foley +2 more
exaly