×

Found 53 Documents (Results 1–53)

100
MathJax

A new variant of the minimum-weight maximum-cardinality clique problem to solve conflicts between aircraft. (English) Zbl 1370.90076

Le Thi, Hoai An (ed.) et al., Modelling, computation and optimization in information systems and management sciences. Proceedings of the 3rd international conference on modelling, computation and optimization in information systems and management sciences, MCO 2015, Lorraine, France, May 11–13, 2015. Part I. Cham: Springer (ISBN 978-3-319-18160-8/pbk; 978-3-319-18161-5/ebook). Advances in Intelligent Systems and Computing 359, 3-14 (2015).
PDF BibTeX XML Cite
Full Text: DOI HAL

Matched formulas and backdoor sets. (English) Zbl 1187.68253

Marques-Silva, João (ed.) et al., Theory and applications of satisfiability testing – SAT 2007. 10th international conference, Lisbon, Portugal, May 28–31, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72787-3/pbk). Lecture Notes in Computer Science 4501, 94-99 (2007).
MSC:  68Q17 68Q25 68T15 68T20
PDF BibTeX XML Cite
Full Text: DOI

Spectral analysis. Parametric and non-parametric digital methods. Translated from the 2003 French original. (English) Zbl 1138.94005

Digital Signal and Image Processing Series (DSP). London: ISTE (ISBN 978-1-905209-05-7/hbk; 978-0-470-61219-4/ebook). 262 p. (2006).
MSC:  94-02 94A12
PDF BibTeX XML Cite
Full Text: DOI

Maximum entropy states and coherent structures in magnetohydrodynamics. (English) Zbl 0923.76346

Hanson, Kenneth M. (ed.) et al., Maximum entropy and Bayesian methods. Proceedings of the 15th international workshop, Santa Fe, NM, USA, July 31–August 4, 1995. Dordrecht: Kluwer Academic Publishers. Fundam. Theor. Phys. 79, 347-353 (1996).
MSC:  76W05 76F99
PDF BibTeX XML Cite

The estimation of frequency. (English) Zbl 0787.62095

Schach, Siegfried (ed.) et al., Data analysis and statistical inference: Festschrift in honour of Prof. Dr. Friedhelm Eicker. Bergisch Gladbach: Verlag Josef Eul. 163-177 (1992).
MSC:  62M15 65C99
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software