×

Found 1,712 Documents (Results 1–100)

100
MathJax

Normalization of regressor excitation in the dynamic extension and mixing procedure. (English. Russian original) Zbl 1485.93127

Autom. Remote Control 83, No. 1, 17-31 (2022); translation from Avtom. Telemekh. 2022, No. 1, 22-39 (2022).
MSC:  93B30 93C05
PDF BibTeX XML Cite
Full Text: DOI

Optimized recurrent neural network with fuzzy classifier for data prediction using hybrid optimization algorithm: scope towards diverse applications. (English) Zbl 07351786

MSC:  68P20
PDF BibTeX XML Cite
Full Text: DOI

An abstract machine for strong call by value. (English) Zbl 1476.68047

Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 147-166 (2020).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI arXiv

Language-integrated query with nested data structures and grouping. (English) Zbl 07368089

Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 139-158 (2020).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI

Functional pearl: the distributive \(\lambda\)-calculus. (English) Zbl 07368083

Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 33-49 (2020).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI arXiv

Optimal fiber diffusion model restoration. (English) Zbl 1457.92091

Bonet-Carne, Elisenda (ed.) et al., Computational diffusion MRI. MICCAI workshop, Shenzhen, China, October 17, 2019. Cham: Springer. Math. Vis., 35-47 (2020).
MSC:  92C55 92B20 92-08
PDF BibTeX XML Cite
Full Text: DOI

Schema optimisation instead of (local) normalisation. (English) Zbl 1470.68042

Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 281-300 (2020).
MSC:  68P15
PDF BibTeX XML Cite
Full Text: DOI

Normalization by evaluation for typed weak \(\lambda\)-reduction. (English) Zbl 07561491

Dybjer, Peter (ed.) et al., 24th international conference on types for proofs and programs, TYPES 2018, Braga, Portugal, June 18–21, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 130, Article 6, 17 p. (2019).
MSC:  03B70 68N30
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

Biographic Reference

all top 3

Software