×

Found 729 Documents (Results 1–100)

100
MathJax

Learning theorem proving components. (English) Zbl 07532521

Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 266-278 (2021).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI

Decision concept lattice vs. decision trees and random forests. (English) Zbl 07493564

Braud, Agnès (ed.) et al., Formal concept analysis. 16th international conference, ICFCA 2021, Strasbourg, France, June 29 – July 2, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12733, 252-260 (2021).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Finitely generated subgroups of branch groups and subdirect products of just infinite groups. (English. Russian original) Zbl 07480688

Izv. Math. 85, No. 6, 1128-1145 (2021); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 85, No. 6, 104-125 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

An introduction to statistical learning. With applications in R. 2nd edition. (English) Zbl 1469.62002

Springer Texts in Statistics. New York, NY: Springer (ISBN 978-1-0716-1417-4/hbk; 978-1-0716-1420-4/pbk; 978-1-0716-1418-1/ebook). xv, 607 p. (2021).
MSC:  62-01 62C99 68T05
PDF BibTeX XML Cite
Full Text: DOI

Computational genomics with R. With the assistance of Verdan Franke, Bora Uyar and Jonathan Ronen. (English) Zbl 1482.92002

Chapman & Hall/CRC Computational Biology Series. Boca Raton, FL: CRC Press (ISBN 978-1-4987-8185-5/hbk; 978-0-429-08431-7/ebook). xxii, 440 p. (2021).
MSC:  92-02 92D10 62P10
PDF BibTeX XML Cite
Full Text: DOI

Towards a quantitative identification of mobile social media UIDPs’ visual features using a combination of digital image processing and machine learning techniques. (English) Zbl 07392086

Castillo, Oscar (ed.) et al., Intuitionistic and type-2 fuzzy logic enhancements in neural and optimization algorithms: theory and applications. Cham: Springer. Stud. Comput. Intell. 862, 659-674 (2020).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

Understanding regression analysis. A conditional distribution approach. (English) Zbl 1439.62005

Boca Raton, FL: CRC Press (ISBN 978-0-367-45852-2/hbk; 978-0-367-49351-6/pbk; 978-1-003-02576-4/ebook). xvi, 496 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI

Optimal separation and strong direct sum for randomized query complexity. (English) Zbl 07564429

Shpilka, Amir (ed.), 34th computational complexity conference, CCC 2019, New Brunswick, NJ, USA, July 18–20, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 137, Article 29, 17 p. (2019).
MSC:  68Q25
PDF BibTeX XML Cite
Full Text: DOI

A #SAT algorithm for small constant-depth circuits with PTF gates. (English) Zbl 07559051

Blum, Avrim (ed.), 10th innovations in theoretical computer science conference, ITCS 2019, January 10–12, 2019, San Diego, CA, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 124, Article 8, 20 p. (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

The log-approximate-rank conjecture is false. (English) Zbl 1433.68144

Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 42-53 (2019).
MSC:  68Q11 68W20 94D10
PDF BibTeX XML Cite
Full Text: DOI

Hyperbolic 3-manifolds groups are subgroup conjugacy separable. (English) Zbl 1476.20031

PDF BibTeX XML Cite
Full Text: DOI arXiv

Machine learning using R. With time series and industry-based use cases in R. 2nd edition. (English) Zbl 1423.68007

New York, NY: Apress (ISBN 978-1-4842-4214-8/pbk; 978-1-4842-4215-5/ebook). xxiv, 700 p. (2019).
MSC:  68-01 68-02 68T05
PDF BibTeX XML Cite
Full Text: DOI

Extending propositional separation logic for robustness properties. (English) Zbl 07561347

Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 42, 23 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Generalized comparison trees for point-location problems. (English) Zbl 07376009

Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 82, 13 p. (2018).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

A composition theorem for randomized query complexity. (English) Zbl 07278082

Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 10, 13 p. (2018).
MSC:  68Q25 68Q10 68Q11
PDF BibTeX XML Cite
Full Text: DOI arXiv

Two-variable first-order logic with counting in forests. (English) Zbl 1415.68110

Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 214-232 (2018).
MSC:  68Q25 03B70
PDF BibTeX XML Cite
Full Text: DOI

Ranking median regression: learning to order through local consensus. (English) Zbl 1405.68282

Janoos, Firdaus (ed.) et al., Algorithmic learning theory 2018. Proceedings of the 29th international conference (ALT 2018), Lanzarote, Spain, April 7–9, 2018. [s.l.]: Proceedings of Machine Learning Research PMLR. Proceedings of Machine Learning Research (PMLR) 83, 212-245 (2018).
MSC:  68T05 62G08
PDF BibTeX XML Cite
Full Text: arXiv Link

A sampling of remarkable groups. Thompson’s, self-similar, lamplighter, and Baumslag-Solitar. (English) Zbl 1446.20001

Compact Textbooks in Mathematics. Cham: Birkhäuser (ISBN 978-3-030-01976-1/pbk; 978-3-030-01978-5/ebook). xii, 188 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI

Optimal decision trees for feature based parameter tuning: integer programming model and VNS heuristic. (English) Zbl 1408.90353

Coelho, Vitor Nazário (ed.) et al., Selected short papers of the 5th international conference on variable neighborhood search (ICVNS’17), Ouro Preto, Brazil, 2–4, 2017. Amsterdam: Elsevier. Electron. Notes Discrete Math. 66, 223-230 (2018).
MSC:  90C59 90C10
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software