×

Found 491 Documents (Results 1–100)

From cubes to twisted cubes via graph morphisms in type theory. (English) Zbl 1535.03064

Bezem, Marc (ed.) et al., 25th international conference on types for proofs and programs. TYPES 2019, June 11–14, 2019, Oslo, Norway. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 175, Article 5, 18 p. (2020).
MSC:  03B38 18N45 55U35

Efficient computation of graph overlaps for rule composition: theory and Z3 prototyping. (English) Zbl 07456054

Hoffmann, Berthold (ed.) et al., Proceedings of the eleventh international workshop on graph computation models, GCM 2020, online-workshop, June 24, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 330, 126-144 (2020).
MSC:  68Qxx

A network-based analysis of the preterm adolescent brain using PCA and graph theory. (English) Zbl 1457.92093

Bonet-Carne, Elisenda (ed.) et al., Computational diffusion MRI. MICCAI workshop, Shenzhen, China, October 17, 2019. Cham: Springer. Math. Vis., 173-181 (2020).

In the quest for invariant structures through graph theory, groups and mechanics: methodological aspects in the history of applied mathematics. (English) Zbl 07250754

Sergeyev, Yaroslav D. (ed.) et al., Numerical computations: theory and algorithms. Third international conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019. Revised selected papers. Part II. Cham: Springer. Lect. Notes Comput. Sci. 11974, 208-222 (2020).
MSC:  65-XX
Full Text: DOI

From graph theory to network science: the natural emergence of hyperbolicity (tutorial). (English) Zbl 1547.68600

Niedermeier, Rolf (ed.) et al., 36th international symposium on theoretical aspects of computer science, STACS 2019, March 13–16, 2019, Berlin, Germany. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 126, Article 5, 9 p. (2019).
Full Text: DOI

Perron-Frobenius theory in nearly linear time: positive eigenvectors, M-matrices, graph kernels, and other applications. (English) Zbl 1434.65026

Chan, Timothy M. (ed.), Proceedings of the 30th annual ACM-SIAM symposium on discrete algorithms, SODA 2019, San Diego, CA, USA, January 6–9, 2019. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 1387-1404 (2019).
MSC:  65F10 65F15 15A18

Structure optimization and learning of fuzzy cognitive map with the use of evolutionary algorithm and graph theory metrics. (English) Zbl 1421.90185

Fidanova, Stefka (ed.), Recent advances in computational optimization. Results of the workshop on computational optimization WCO 2017, Prague, Czech Republic, September 3–6, 2017. Cham: Springer. Stud. Comput. Intell. 795, 131-147 (2019).
MSC:  90C70 90C59 68T37
Full Text: DOI

Filter Results by …

Access

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field