Neuromusculoskeletal (NMS) modeling has the potential to serve as a valuable tool for informing the design of assistive devices or neurorehabilitation interventions. For these applications, an NMS model must be able to represent the relevant unique characteristics of the targeted subject, e.g., a person with a neurological disorder. Motion predictive simulations, by considering the task con…
Although fluid dynamics, a classical discipline, has been studied for many centuries, there are still many remaining questions yet to be answered, especially in turbulent flow. With significant advances in computational technology and decrease hardware costs, we have noticed a rapid evolution in CFD techniques and models
This Editorial presents a representative collection of 15 papers, presented in the Special Issue on Advances in Modeling and Management of Urban Water Networks (UWNs), and frames them in the current research trends. The most analyzed systems in the Special Issue are the Water Distribution Systems (WDSs), with the following four topics explored: asset management, modelling of demand and hydr…
Biocompatible polymers are used for many different purposes (catheters, artificial heart components, dentistry products, etc.). An important field for biocompatible polymers is the production of vision implants known as intraocular lenses or custom-shape contact lenses
The Internet of Things (IoT) encompasses a wide range of applications and service domains, from smart cities, autonomous vehicles, surveillance, medical devices, to crop control. Virtualization in wireless sensor networks (WSNs) is widely regarded as the most revolutionary technological technique used in these areas
The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…
The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…
The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…
The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…
The definition of a healthcare system evolves continuously, becoming broader and more complex with each rendering. Healthcare systems can consist of many different elements, including but not limited to: access to comprehensive medical care, health promotion, disease prevention, institutional framework, financing schemes, government responsibility over health, etc. In light of its broad classif…