A recent manifestation of the trend towards heterogeneous computing is the introduction of heterogeneous multicore processors into the desktop segment, offering the potential for unprecedented energy efficiency in the...
详细信息
the proceedings contain 37 papers. the topics discussed include: a systematic mapping study in security software testing for mobile devices;automation of smart homes with multiple rule sources;advancements in househol...
ISBN:
(纸本)9789897586996
the proceedings contain 37 papers. the topics discussed include: a systematic mapping study in security software testing for mobile devices;automation of smart homes with multiple rule sources;advancements in household data mining: fine-tuning of usage pattern inference pipeline;need for speed: leveraging the power of functional encryption for resource-constrained devices;ransomware reconnaissance: interrogating certificates towards proactive threat mitigation;privacy sensitive building monitoring through generative sensors;optimizing data processing in industrial settings: a comparative evaluation of dimensionality reduction approaches;a systematic mapping study on techniques for generating test cases from requirements;data sets for cyber security machine learning models: a methodological approach;and hybrid statistical modeling for anomaly detection in multi-key stores based on access patterns.
Adjoint logic is a general approach to combining multiple logics with different structural properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where each proposition has an intrinsic mo...
详细信息
In computer science education, teaching and learning programming is difficult. Understanding and coding programmes are regarded as extremely difficult in computer science education. this is because practical ability i...
详细信息
this paper addresses the safety control problem for robotic systems under nonparametric uncertainty conditions by proposing a control scheme based on Gaussian Process Regression (GPR). Initially, leveraging historical...
详细信息
ISBN:
(纸本)9798350385731;9798350385724
this paper addresses the safety control problem for robotic systems under nonparametric uncertainty conditions by proposing a control scheme based on Gaussian Process Regression (GPR). Initially, leveraging historical data collected online, the GPR is employed to learn nonparametric uncertainty and time-varying disturbances. Subsequently, by employing a feedback linearization based on Lyapunov theory, we can obtain the system Global Uniform Ultimate Boundedness (GUUB). Furthermore, considering safety constraints, an additional layer is introduced to the feedback controller using Control Barrier Functions (CBF). the control input is minimally adjusted based on Quadratic programming (QP) to satisfy optimization requirements while maintaining safety. the paper establishes, in a high probability sense, the boundedness of the closed-loop system and the forward invariance of the state safety domain. the efficacy of the proposed control approach is validated through simulation on trajectory tracking and obstacle avoidance under nonparametric uncertainty. the results confirm the validity of the control approach in handling safety and performance concerns simultaneously.
In practice, SQL programmers often encounter queries which are hard to formulate using SQL statements. Many of them do not know if the queries are too hard beyond their capabilities, or they are the limitations of the...
详细信息
Intent-based Networking (IBN) aims at simplifying network configuration and management by using high-level objectives that express the desired state of the network rather than the details of how to implement it. In th...
详细信息
ISBN:
(纸本)9798350399806
Intent-based Networking (IBN) aims at simplifying network configuration and management by using high-level objectives that express the desired state of the network rather than the details of how to implement it. In this article, we propose a declarative methodology and an associated open-source Prolog prototype (i) to model IBN intents related to the provisioning of Virtual Network Function (VNF) chains, and (ii) to process those intents to assemble and place a VNF chain that fulfils them. Our prototype is assessed over a lifelike motivating scenario.
In this work, we focus on a non-preemptive unrelated parallel machines scheduling problem with a common server and job-sequence dependent setup times. this problem arises when planning the production of some mechanica...
详细信息
the purpose of this research is to develop a functional model of the electrocardiological study using the methodology of functional modeling IDEF0. the functional model of the electrocardiological study are developed ...
详细信息
the proceedings contain 5 papers. the topics discussed include: visual designing and debugging of deterministic finite-state machines in FSM;how to increase interest in studying functionalprogramming via interdiscipl...
the proceedings contain 5 papers. the topics discussed include: visual designing and debugging of deterministic finite-state machines in FSM;how to increase interest in studying functionalprogramming via interdisciplinary application;using video game development to motivate program design and algebra among inner-city high school students;how to design while loops;and describing console I/O behavior for testing student submissions in Haskell.
暂无评论