|
|
|
|
|
Mauricio Toro
Pág. 37 - 73
We can program a Real-Time (RT) music improvisation system in C++ without a formal semantic or we can model it with process calculi such as the Non-deterministic Timed Concurrent Constraint (ntcc) calculus. ?A Concurrent Constraints Factor Oracle (FO) mo...
ver más
|
|
|
|
|
|
|
|
|
|
|
Jing Liu, Xuesong Hai and Keqin Li
Massive amounts of data drive the performance of deep learning models, but in practice, data resources are often highly dispersed and bound by data privacy and security concerns, making it difficult for multiple data sources to share their local data dir...
ver más
|
|
|
|
|
|
|
|
|
|
|
Shunfang Hu, Shaoping Jiang, Qing Miao, Fan Yang, Weihong Zhou and Peng Duan
With the rise of the Internet of Things (IoT), maintaining data confidentiality and protecting user privacy have become increasingly challenging. End devices in the IoT are often deployed in unattended environments and connected to open networks, making ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Milo? Bogdanovic, Jelena Kocic and Leonid Stoimenov
Language is a unique ability of human beings. Although relatively simple for humans, the ability to understand human language is a highly complex task for machines. For a machine to learn a particular language, it must understand not only the words and r...
ver más
|
|
|
|
|
|
|
|
|
|
|
Tao Feng, Taining Chen and Xiang Gong
This paper presents a formal security analysis of the ISA100.11a standard protocol using the Colored Petri Net (CPN) modeling approach. Firstly, we establish a security threat model for the ISA100.11a protocol and provide a detailed description and analy...
ver más
|
|
|
|
|
|
|
|
|
|
|
Xinya Lei, Yuewei Wang, Wei Han and Weijing Song
Coastal cities are increasingly vulnerable to urban storm surge hazards and the secondary hazards they cause (e.g., coastal flooding). Accurate representation of the spatio-temporal process of hazard event development is essential for effective emergency...
ver más
|
|
|
|
|
|
|
|
|
|
|
Gustavo Rocha, Luís Mateus and Victor Ferreira
Building Information Modeling (BIM) has emerged as a revolutionary tool in the domain of architectural conservation and documentation. When combined with terrestrial 3D laser scanning, it presents a powerful method to capture and represent the intricate ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Tomasz Gajewski and Pawel Skiba
The main goal of this work is to combine the usage of the numerical homogenization technique for determining the effective properties of representative volume elements with artificial neural networks. The effective properties are defined according to the...
ver más
|
|
|
|
|
|
|
|
|
|
|
Nuria Castilla, Vicente Blanca-Giménez, Carlos Pérez-Carramiñana and Carmen Llinares
Sustainable development and energy savings are crucial to the significant worldwide trend in smart city-related research and projects. In this regard, public lighting systems have great energy-saving potential. Nevertheless, while citizen engagement is a...
ver más
|
|
|
|
|
|
|
|
|
|
|
M. Domaneschi, R. Cucuzza, L. Sardone, S. Londoño Lopez, M. Movahedi and G. C. Marano
Random vibration analysis is a mathematical tool that offers great advantages in predicting the mechanical response of structural systems subjected to external dynamic loads whose nature is intrinsically stochastic, as in cases of sea waves, wind pressur...
ver más
|
|
|
|
|
|