Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Active inspection for cost-effective fault prediction in manufacturing process

Autor: Jaewoong Shim, Seokho Kang, Sungzoon Cho

Publikováno v: Journal of Process Control. 105:250-258

Manufacturing processes typically involves a number of inspections, including basic inspections for all products and advanced inspections for selected sampled products. The partial application of advanced inspections decreases processing time and cos

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::032e1381b29bf56896499fec7b2ba97f
https://doi.org/10.1016/j.jprocont.2021.08.008

Методологічні основи створення архітектури дата-центричної екосистеми зенітної ракетної системи

Publikováno v: Збірник наукових праць Харківського національного університету Повітряних Сил, Iss 1(67), Pp 119-133 (2021)

The article proposes new approaches to the life cycle management of an anti-aircraft missile system. The life cycle of the system is considered as the activity of all support systems that lead the target system from its design to decommissioning. It

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cb50e0471f2b6a50abd23e0cf6831279
https://doi.org/10.30748/zhups.2021.67.16

Higher-order type-level programming in Haskell

Autor: Susan Eisenbach, Simon Jones, Tony Field, Csongor Kiss

Publikováno v: Proceedings of the ACM on Programming Languages. 3:1-26

Type family applications in Haskell must be fully saturated. This means that all type-level functions have to be first-order, leading to code that is both messy and longwinded. In this paper we detail an extension to GHC that removes this restriction

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::6f1ab8a746621bc814d879b34e09177f
https://doi.org/10.1145/3341706

Extending a Brainiac Prover to Lambda-Free Higher-Order Logic

Autor: Petar Vukmirović, Simon Cruanes, Stephan Schulz, Jasmin Christian Blanchette

Publikováno v: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030174613
TACAS (1)
TACAS 2019-25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
TACAS 2019-25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. pp.192-210
Vukmirović, P, Blanchette, J, Cruanes, S & Schulz, S 2022, ' Extending a brainiac prover to lambda-free higher-order logic ', International Journal on Software Tools for Technology Transfer, vol. 24, no. 1, pp. 67-87 . https://doi.org/10.1007/s10009-021-00639-7
International Journal on Software Tools for Technology Transfer
International Journal on Software Tools for Technology Transfer, 2022, 24 (1), pp.67-87. ⟨10.1007/s10009-021-00639-7⟩
International Journal on Software Tools for Technology Transfer (STTT)
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I, 1, 192-210
Vukmirović, P, Blanchette, J C, Cruanes, S & Schulz, S 2019, Extending a brainiac prover to lambda-free higher-order logic . in L Zhang & T Vojnar (eds), Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I . vol. 1, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11427 LNCS, Springer Verlag, pp. 192-210, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, 6/04/19 . https://doi.org/10.1007/978-3-030-17462-0_11
Lecture Notes in Computer Science-Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems-25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
International Journal on Software Tools for Technology Transfer, 24(1), 67-87. Springer Verlag

Decades of work have gone into developing efficient proof calculi, data structures, algorithms, and heuristics for first-order automatic theorem proving. Higher-order provers lag behind in terms of efficiency. Instead of developing a new higher-order

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3b44dcb82b9c66ccdcad1283d6fa575e
https://doi.org/10.1007/978-3-030-17462-0_11