…manit. Open 2021, 4, 100216. [CrossRef] 58. Choi, J.; Gu, B.; Chin, S.; Lee, J. Automation in Construction Machine Learning Predictive Model Based on National Data for Fatal Accidents of Construction Workers. Autom. Constr. 2020, 110, 102974. [CrossRef] 59. Jackson, E.K.; Roberts…
sustainability Article Improving Climate Change Awareness through Immersive Virtual Reality Communication: A Case Study Yétindranathsingh Dhunnoo , Adrian Carter, Daniel O’Hare, James Birt and Martin Skitmore * Faculty of Society & Design, Bond University, Robina, QLD 4226, Austr…
… say, because we have to understand how to think, to design and build IoT-aided automation systems, and how to decide, in case of harm, who is responsible and who is accountable. We have to be sure of ‘what does it mean to be ethical, and what does it mean to promote the public g…
Baillot, P., Ghyselen, A.: Types for complexity of parallel computation in pi-calculus. In: ESOP 2021. LNCS, vol. 12648, pp. 59–86. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-72019-3_3 Chapter MATH Google Scholar Baillot, P., Ghyselen, A., Kobayashi, N.: Sized types…
Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. Autom. Reasoning 39(3), 385–429 (2007) Article MATH Google Scholar Artale, A., Calvanese, D., Kontchakov, R., Zakha…
Allison B (2003) P3 or not P3: toward a better P300 BCI. Ph.D. dissertation. University of California, SanDiego ALS Association (2012) Quick Facts about ALS & The ALS Association. www.alsa.org/news/media/quick-facts.html Azar AT, Balas VE, Olariu T (2014) Classification of EEG-ba…
Blum, L., Shub, M., Smale, S.: On a theory of computation and complexity over the real numbers; NP completeness, recursive functions and universal machines. Bull. Am. Math. Soc. 21 , 1–46 (1989) Article MathSciNet MATH Google Scholar Boker, U., Dershowitz, N.: The Church-Turing t…
Akcelik V, Bielak J, Biros G, Epanomeritakis I, Fernandez A, Ghattas O, Kim EJ, Lopez J, O’Hallaron D, Tu T, Urbanic J (2003) High resolution forward and inverse earthquake modeling on terascale computers. In: 16th ACM/IEEE conference on supercomputing, SC’03. ACM Press, New York…
Akaike H (1974) A new look at the statistical model identification. IEEE Trans Autom Contr 19(6):716–723. doi: 10.1109/TAC.1974.1100705 Google Scholar Bursik M (2001) Effect of wind on the rise height of volcanic plumes. Geophys Res Lett 28(18):3621–3624. doi: 10.1029/2001GL01339…
…W.E., Paradkar, A.M. (eds.) Proceedings of the Second International Workshop on Automation of Software Test, AST 2007, Minneapolis, MN, USA, 26–26 May 2007, pp. 55–61. IEEE Computer Society (2007) Google Scholar Nilsson, R., Offutt, J., Andler, S.F.: Mutation-based testing criter…
Benin ( FR ) Fraternité, Justice, Travail ( IT ) Fraternità, Giustizia, Lavoro Benin - Localizzazione Dati amministrativi Nome completo Repubblica del Benin Nome ufficiale République du Bénin Lingue ufficiali francese Capitale Porto-Novo ( de iure ) [ nota 1 ] Politica Forma di g…
Camerun ( FR ) Paix, Travail, Patrie ( EN ) Peace, Work, Fatherland ( IT ) Pace, Lavoro, Patria Camerun - Localizzazione Dati amministrativi Nome completo Repubblica del Camerun Nome ufficiale ( FR ) République du Cameroun ( EN ) Republic of Cameroon Lingue ufficiali francese e i…
Stati Uniti d'America - Wikipedia Vai al contenuto Coordinate : 39°49′41.43″N 98°34′46.2″W 39°49′41.43″N , 98°34′46.2″W Da Wikipedia, l'enciclopedia libera. Disambiguazione – "Stati Uniti", "USA", "United States" e "States" rimandano qui. Se stai cercando altri significati, vedi …
US
Generating Minimum Height ADSs for Partially Specified Finite State Machines | Springer Nature Link
http://dx.doi.org/10.1007/978-3-319-22635-4_15
Friedman, A.D., Menon, P.R.: Fault Detection in Digital Circuits. Computer Applications in Electrical Engineering Series. Prentice-Hall (1971) Google Scholar Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley (1986) Google Scholar Cho…
…entation. In: Ofek, H., O’Neill, L.A. (eds.) 22nd ACM/IEEE Conference on Design Automation, (DAC 1985), pp. 688–694. ACM (1985) Google Scholar Cachin, C., Guerraoui, R., Rodrigues, L.E.T.: Introduction to Reliable and Secure Distributed Programming, 2nd edn. Springer, Heidelberg …