×

Found 1,730 Documents (Results 1–100)

Invariant analysis for multi-agent graph transformation systems using \(k\)-induction. (English) Zbl 1514.68093

Behr, Nicolas (ed.) et al., Graph transformation. 15th international conference, ICGT 2022, held as part of STAF 2022, Nantes, France, July 7–8, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13349, 173-192 (2022).
MSC:  68Q42 68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Combining data-driven root cause analysis methods in an extended root cause priority list. (English) Zbl 1504.93158

Zattoni, Elena (ed.) et al., 15th European workshop on advanced control and diagnosis, ACD 2019. Proceedings of the workshop, Bologna, Italy, November 21–22, 2019. Cham: Springer. Lect. Notes Control Inf. Sci. – Proc., 1139-1154 (2022).
MSC:  93B99
PDF BibTeX XML Cite
Full Text: DOI

Reversibility in Erlang: imperative constructs. (English) Zbl 07615950

Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 187-203 (2022).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Towards building a digital twin of complex system using causal modelling. (English) Zbl 07607295

Benito, Rosa Maria (ed.) et al., Complex networks & their applications X. Volume 1. Proceedings of the 10th international conference, COMPLEX NETWORKS 2021, Madrid, Spain, November 30 – December 2, 2021. Cham: Springer. Stud. Comput. Intell. 1015, 475-486 (2022).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

An approach to reduce the number of conditional independence tests in the PC algorithm. (English) Zbl 07669234

Edelkamp, Stefan (ed.) et al., KI 2021: advances in artificial intelligence. 44th German conference on AI, virtual event, September 27 – October 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12873, 276-288 (2021).
MSC:  68T05 62H22
PDF BibTeX XML Cite
Full Text: DOI

The impacts of transportation sector and unemployment on economic growth: evidence from asymmetric causality. (English) Zbl 07615537

Mercangöz, Burcu Adıgüzel (ed.), Handbook of research on emerging theories, models, and applications of financial econometrics. Cham: Springer. 267-285 (2021).
MSC:  62P05
PDF BibTeX XML Cite
Full Text: DOI

Vector autoregressive model and analysis. (English) Zbl 07615534

Mercangöz, Burcu Adıgüzel (ed.), Handbook of research on emerging theories, models, and applications of financial econometrics. Cham: Springer. 197-214 (2021).
MSC:  62P05
PDF BibTeX XML Cite
Full Text: DOI

The \(p\)-adic theory of automata functions. (English) Zbl 1504.30061

Zúñiga-Galindo, W. A. (ed.) et al., Advances in non-Archimedean analysis and applications. The \(p\)-adic methodology in STEAM-H. Cham: Springer. STEAM-H, Sci. Technol. Eng. Agric. Math. Health, 9-113 (2021).
MSC:  30G06
PDF BibTeX XML Cite
Full Text: DOI

The degree of conflict between formulas in an inconsistent knowledge base. (English) Zbl 07542364

Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 499-510 (2021).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software