the proceedings contain 59 papers. the special focus in this conference is on Engineering Virtualized systems, Statistical Model Checking, Risk-Based Testing, Medical Cyber-Physical systems, Scientific Workflows, Eval...
ISBN:
(纸本)9783662452301
the proceedings contain 59 papers. the special focus in this conference is on Engineering Virtualized systems, Statistical Model Checking, Risk-Based Testing, Medical Cyber-Physical systems, Scientific Workflows, Evaluation and Reproducibility of Program Analysis and Industrial Track. the topics include: Introduction to track on engineering virtualized services;fault model design space for cooperative concurrency;towards the typing of resource deployment;fully abstract operation contracts;an effective heuristic for adaptive importance splitting in statistical model checking;a formalism for stochastic adaptive systems;a review of statistical model checking pitfalls on real-time stochastic models;using statistical model checking for measuring systems;blocking advertisements on android devices using monitoring techniques;a risk assessment framework for software testing;combining risk analysis and security testing;risk-based vulnerability testing using security test patterns;challenges for the dynamic interconnection of medical devices;temporal logic based monitoring of assisted ventilation in intensive care patients;meta-analysis of disjoint sets of attributes in large cohort studies;a visual programming approach to beat-driven humanoid robot dancing;automatic annotation of bioinformatics workflows with biomedical ontologies;modeling and verifying communication systems;simple management of high assurance data in long-lived interdisciplinary healthcare research;domain-specific business modeling withthe business model developer;semantic heterogeneity in the formal development of complex systems;modelling and verifying an evolving distributed control system using an event-based approach and requirements driven data warehouse design.
Ambient Assisted Living (AAL) environments have received increasing interest in the last decade. One of the aspects behind such an interest is population ageing, which introduces societal, economical and technological...
详细信息
ISBN:
(数字)9783031775710
ISBN:
(纸本)9783031775703;9783031775710
Ambient Assisted Living (AAL) environments have received increasing interest in the last decade. One of the aspects behind such an interest is population ageing, which introduces societal, economical and technological challenges. Nevertheless, the recent advancements in the latter fields, paired withthe sophistication of Artificial Intelligence, IoT, and communication systems, leverage the provision of systems to improve individuals' quality of life, enabling independent living for longer periods, assisting people with disabilities, and supporting caregivers and medical staff. Among the technologies being explored in AAL, audio is increasingly used alone or alongside other modalities due to its interaction capabilities. Moreover, large language models (LLMs), enable enriched human-computer interactions. In this article, we present a system that leverages audio analysis in combination with LLMs in the context of AAL aiming at providing services such as cognitive assistance, medical follow-up or entertainment. Preliminary tests show promising results to promote the adoption of LLMs in AAL environments.
the integration of existing Grid tools into the Sakai VRE (Virtual Research Environment) will be discussed in this paper In particular we describe the integration of the business logic and JSR 168 compliant portlets t...
详细信息
ISBN:
(纸本)0769526950
the integration of existing Grid tools into the Sakai VRE (Virtual Research Environment) will be discussed in this paper In particular we describe the integration of the business logic and JSR 168 compliant portlets through presentation-oriented Web Services, via WSRP (Web Services for Remote Portlets). A set of JSR 168 compliant portlets were developed for the UK NGS (National Grid Service) Portal and have been published using WSRP4J and consumed within Sakai successfully, which proves re-use of portlets as web components is a practical option. Withthe help of the WSRP consumer tool, the Sakai VRE has been successfully extended to support the JSR 168 specification.
the proceedings contain 15 papers. the topics discussed include: vector Preisach modeling of magnetic materials under stress;Scalar and vector hysteresis simulations using HysterSoft;scalar and vector hysteresis simul...
the proceedings contain 15 papers. the topics discussed include: vector Preisach modeling of magnetic materials under stress;Scalar and vector hysteresis simulations using HysterSoft;scalar and vector hysteresis simulations using HysterSoft;analysis of hysteretic spin transition and size effect in 3D spin crossover compounds investigated by Monte Carlo entropic sampling technique in the framework of the Ising-type model;hysteresis in column systems;Stabilization of a system with saturating, non-monotone hysteresis and frequency dependent power losses by a PD controller;the hysteretic of partial slip elastic contacts undergoing a fretting loop;method of integration for equation of two balls in dumped collision;and structural hysteresis model of transmitting mechanical systems.
the proceedings contain 25 papers. the special focus in this conference is on Information Hiding. the topics include: An implementation of, and attacks on, zero-knowledge watermarking;on the possibility of non-inverti...
ISBN:
(纸本)9783540242079
the proceedings contain 25 papers. the special focus in this conference is on Information Hiding. the topics include: An implementation of, and attacks on, zero-knowledge watermarking;on the possibility of non-invertible watermarking schemes;reversing global and local geometrical distortions in image watermarking;on achievable regions of public multiple-access gaussian watermarking systems;fixed-distortion orthogonal dirty paper coding for perceptual still image watermarking;feature-based steganalysis for JPEG images and its implications for future design of steganographic schemes;exploiting preserved statistics for steganalysis;improved detection of LSB steganography in grayscale images;an improved sample pairs method for detection of LSB embedding;statistical tools for digital forensics;relative generic computational forensic techniques;syntax and semantics-preserving application-layer protocol steganography;a method of linguistic steganography based on collocationally-verified synonymy;graph theoretic software watermarks: implementation, analysis, and attacks;threading software watermarks;soft IP protection: watermarking HDL codes;an asymmetric security mechanism for navigation signals;analysis of COT-based fingerprinting schemes: new approach to design practical and secure fingerprinting scheme;empirical and theoretical evaluation of active probing attacks and their countermeasures;statistical disclosure or intersection attacks on anonymity systems;reasoning about the anonymity provided by pool mixes that generate dummy traffic;the hitting set attack on anonymity protocols;information hiding in finite state machine and covert channels for collusion in online computer games.
LabVIEW™ is a visual programming environment for data acquisition, instrument control and industrial automation. this article presents LVAD, a graphically programmed implementation of forward mode Automatic Differenti...
详细信息
In this paper, we employ a novel approach to metarule-guided, multi-dimensional association rule mining which explores a data cube structure. We propose algorithms for metarule-guided mining: given a metarule containi...
详细信息
Unexpected failures of complex equipment such as trains or aircraft introduce superfluous costs, disrupt operation, have an effect on consumer's satisfaction, and potentially decrease safety in practice. One of th...
详细信息
ISBN:
(纸本)9780769530697
Unexpected failures of complex equipment such as trains or aircraft introduce superfluous costs, disrupt operation, have an effect on consumer's satisfaction, and potentially decrease safety in practice. One of the objectives of Prognostics and Health Management (PHM) systems is to help reduce the number of unexpected failures by continuously monitoring the components of interest and predicting their failures sufficiently in advance to allow for proper planning. In other words, PHM systems may help turn unexpected failures into expected ones. Recent research has demonstrated the usefulness of data mining to help build prognostic models for PHM but also has identified the need for new model evaluation methods that take into account the specificities of prognostic applications. this paper investigates this problem. First, it reviews classical and recent methods to evaluate data mining models and it explains their deficiencies with respect to prognostic applications. the paper then proposes a novel approach that overcomes these deficiencies. this approach integrates the various costs and benefits involved in prognostics to quantify the cost saving expected from a given prognostic model. From the end user's perspective, the formula is practical as it is easy to understand and requires realistic inputs. the paper illustrates the usefulness of the methods through a real-world case study involving data-mining prognostic models and realistic costs/benefits information. the results show the feasibility of the approach and its applicability to various prognostic applications.
Timetabling problem is a kind of combinatorial optimizations. However, it is very difficult to be solved the timetabling problem from the enormous combination total number and the complexity of the limitation conditio...
详细信息
ISBN:
(纸本)9781467327428
Timetabling problem is a kind of combinatorial optimizations. However, it is very difficult to be solved the timetabling problem from the enormous combination total number and the complexity of the limitation condition. In this study, we develop the timetabling algorithm for Osaka international University (OIU). However, it is difficult to design and solving the problem with many constraints. So, in this paper, we design the reduced model and propose a solution method by Differential Evolution (DE). this study is a new trial such as to apply the DE to timetabling problem. Furthermore, we propose one of generating method of initial population.
暂无评论