Haku
Aineistot 2091-2100 / 2136
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
(Logical Methods in Computer Science e.V., 2021)
One of the most popular state-space reduction techniques for model checking is partial-order reduction (POR). Of the many different POR implementations, stubborn sets are a very versatile variant and have thus seen many ...
Data Analytics in Healthcare : A Tertiary Study
(Springer Science and Business Media LLC, 2023)
The field of healthcare has seen a rapid increase in the applications of data analytics during the last decades. By utilizing different data analytic solutions, healthcare areas such as medical image analysis, disease ...
HyperBlend leaf simulator : improvements on simulation speed, generalizability, and parameterization
(SPIE, 2023)
In recent decades, remote sensing of vegetation by hyperspectral imaging has been of great interest. An important part in interpreting the remotely sensed spectral data is played by simulators, which approximate the ...
Key Issues in Real-World Applications of Many-Objective Optimisation and Decision Analysis
(Springer, 2023)
The insights and benefits to be realised through the optimisation of multiple independent, but conflicting objectives are well recognised by practitioners seeking effective and robust solutions to real-world application ...
Optimal Control Problems in Nonsmooth Solid and Fluid Mechanics : Computational Aspects
(Springer, 2023)
The paper is devoted to numerical realization of nonsmooth optimal control problems in solid and fluid mechanics with special emphasis on contact shape optimization and parameter identification in fluid flow models. ...
Anonymization as homeomorphic data space transformation for privacy-preserving deep learning
(Elsevier, 2021)
Industry 4.0 is largely data-driven nowadays. Owners of the data, on the one hand, want to get added value from the data by using remote artificial intelligence tools as services, on the other hand, they concern on privacy ...
Interactionist Approach to Visual Aesthetics in HCI
(Springer International Publishing, 2021)
Visual Aesthetics has gathered interest among scholars in HCI research. The growing interest stems from examinations of the aesthetic-usability effect (“what is beautiful is usable”), and possibly vice versa. Thus, numerous ...
Harnessing Digital Services for Co-creating Sustainability Value in the Retail Servicescape
(University of Hawai'i at Manoa, 2022)
While the importance of sustainable consumption is well acknowledged and consumers increasingly demand sustainable alternatives, the consumption of environmentally strenuous products continues to grow. Technological solutions ...
Kyberhyökkäys voi uhata sairaaloitakin : sairaaloiden resilienssi vaatii vielä kehittämistä toimiakseen hyvin
(Suomen lääkäriliitto, 2023)
Kyberhyökkäyksistä on tullut merkittävä uhka kaikille tietojärjestelmäriippuvaisille organisaatioille. Yhteiskunnallisesti merkittävät toimijat, kuten sairaalat, ovat houkuttelevia hyökkäyskohteita, sillä hyökkäyksen ...
Watch This! : The Influence of Recommender Systems and Social Factors on the Content Choices of Streaming Video on Demand Consumers
(Springer, 2021)
Streaming Video-on-demand (SVOD) services are getting increasingly popular. Current research, however, lacks knowledge about consumers’ content decision processes and their respective influencing factors. Thus, the work ...