×

Found 63 Documents (Results 1–63)

100
MathJax

Neutral current coherent cross-sections – implications on detecting SN and Earth neutrinos with gaseous spherical TPC’s. (English) Zbl 1374.81074

Holt, J. W. (ed.) et al., Quarks, nuclei and stars. Memorial volume dedicated to Gerald E. Brown. Hackensack, NJ: World Scientific (ISBN 978-981-3220-64-5/hbk; 978-981-3220-67-6/ebook). 455-469 (2017).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Subclasses of Presburger arithmetic and the weak EXP hierarchy. (English) Zbl 1394.68153

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 47, 10 p. (2014).
MSC:  68Q15 03F30 68Q42
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Weak hierarchies: a central clustering structure. (English) Zbl 1365.62231

Aleskerov, Fuad (ed.) et al., Clusters, orders, and trees: methods and applications. In honor of Boris Mirkin’s 70th birthday. Collected papers based on the presentations at the international workshop, Moscow, Russia, December 12–13, 2012. New York, NY: Springer (ISBN 978-1-4939-0741-0/hbk; 978-1-4939-0742-7/ebook). Springer Optimization and Its Applications 92, 211-230 (2014).
PDF BibTeX XML Cite
Full Text: DOI

Three nonlinear \(\alpha\)-discounting MCDM-method examples. (English) Zbl 1307.90088

Vlădăreanu, Luige (ed.) et al., Proceedings of the XXIVth SISOM 2013. The annual symposium of the Institute of Solid Mechanics and session of the Commission of Acoustics, Bucharest, Romania, May 21–22, 2013. Bucharest: Mediamira; Bucharest: Romanian Academy. 27-32 (2013).
MSC:  90B50
PDF BibTeX XML Cite

\(\alpha\)-discounting method for multi-criteria decision making (\(\alpha\)-D MCDM). (English) Zbl 1282.90088

Wang, Paul P. (ed.) et al., Critical review. Volume VI. Omaha, NE: Creighton University, Center for Mathematics of Uncertainty (ISBN 0-471-35374-5/pbk). 8-14 (2012).
MSC:  90B50
PDF BibTeX XML Cite

Hierarchies of subsystems of weak arithmetic. (English) Zbl 1252.03135

Kennedy, Juliette (ed.) et al., Set theory, arithmetic, and foundations of mathematics. Theorems, philosophies. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-107-00804-5/hbk). Lecture Notes in Logic 36, 80-92 (2011).
MSC:  03F30 03H15
PDF BibTeX XML Cite
Full Text: arXiv

Dynamics and thermodynamics of systems with long-range interactions: interpretation of the different functionals. (English) Zbl 1453.82024

Campa, Alessandro (ed.) et al., Dynamics and thermodynamics of systems with long range interactions: Theory and experiments, Assisi, Italy, 4–8 July 2007. Invited papers. Melville, NY: American Institute of Physics (AIP). AIP Conf. Proc. 970, 39-90 (2008).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Incompleteness theorem and its frontier. (English) Zbl 1084.03047

Baaz, Matthias (ed.) et al., Logic colloquium ’01. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Vienna, Austria, August 6–11, 2001. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ISBN 1-56881-247-7/hbk; 1-56881-248-5/pbk). Lecture Notes in Logic 20, 434-439 (2005).
PDF BibTeX XML Cite

Axiomatics in group choice and bioconsensus. (English) Zbl 1057.91021

Janowitz, M. F. (ed.) et al., Bioconsensus. DIMACS working group meetings on bioconsensus, October 25–26, 2000 and October 2–5, 2001, DIMACS Center. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3197-6/hbk). DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 61, 3-35 (2003).
PDF BibTeX XML Cite

A finite hierarchy of the recursively enumerable real numbers. (English) Zbl 0920.03054

Brim, Luboš (ed.) et al., Mathematical foundations of computer science 1998. 23rd international symposium, MFCS ’98. Brno, Czech Republic, August 24–28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1450, 798-806 (1998).
MSC:  03D25 03F60
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