With the development of new power systems, fast and accurate detection of False Data Injection Attacks (FDIA) is crucial for the secure operation of power grids. Existing FDIA detection models based on spatiotemporal ...
详细信息
The escalating integration of Artificial Intelligence (AI) in various domains, especially Project Management (PM), has brought to light the imperative need for inclusivity in AI systems. This paper investigates the ro...
详细信息
ISBN:
(纸本)9798350394528
The escalating integration of Artificial Intelligence (AI) in various domains, especially Project Management (PM), has brought to light the imperative need for inclusivity in AI systems. This paper investigates the role of AI software in augmenting both the inclusiveness and efficiency within the realm of PM. The research pivots around specific criteria that define and measure the inclusiveness of AI in PM, highlighting how AI, when developed with inclusiveness in mind, can significantly enhance project outcomes. However, there are inherent challenges in achieving this inclusiveness, primarily due to biases embedded in AI learning databases and the design and development processes of AI systems. The study offers a comprehensive examination of AI's potential to revolutionize PM by enabling managers to concentrate more on people-centric aspects of their work. This is achieved through AI's ability to perform tasks such as data collection, reporting, and predictive analysis more consistently and efficiently than human counterparts. However, the incorporation of AI in PM extends beyond mere efficiency;it represents a paradigm shift in the epistemology of PM, calling for a deeper understanding of AI's role and impact on society. Despite these advantages, the adoption of AI comes with significant challenges, particularly in terms of bias and inclusiveness. Biased AI learning databases, which use shared and reusable datasets, often perpetuate initially discriminatory algorithms. Moreover, unconscious biases and stereotypes of AI designers, developers, and trainers can inadvertently influence the behavior of the AI systems they create. This necessitates a paradigmatic shift in how AI systems are developed and governed to ensure they do not replicate or exacerbate existing social inequalities. The research proposes a methodological approach involving the development of criteria for inclusion and exclusion, alongside data extraction, to evaluate the inclusiveness and efficienc
The surface of a bulk substance is usually very irregular and can include very high peaks and deep tunnels, what make single point level measurements rather tricky. The main task of the study was to investigate the po...
详细信息
ISBN:
(纸本)9783031614149;9783031614156
The surface of a bulk substance is usually very irregular and can include very high peaks and deep tunnels, what make single point level measurements rather tricky. The main task of the study was to investigate the possibility of bulk solids quantity or volume monitoring by surface 3D scanning with a help of the only one single point high frequency radar combined with a hexapod movable platform. Desirable position and orientation of a hexapod platform can be provided by solving the inversed kinematics task, when we can estimate the length of each kinematic rod knowing the displacement of the movable platform in relation to the stationary base. The possible algorithm for the grain volume calculation was suggested, similar to what is used together with acoustic or laser systems for surface 3Dscanning, which provides the possibility of accurate bulk solids quantity monitoring.
The memory circuit is an important part of the composition of digital systems. Due to the composition of the memory structure, the memory can not only realize the function of storage but also can realize the combinati...
详细信息
We would like to provide systems and services that contribute to people's well-being by capturing emotional responses using bio-signals that can be measured with low burden in daily life. In this paper, the curren...
详细信息
ISBN:
(纸本)9783031053115;9783031053108
We would like to provide systems and services that contribute to people's well-being by capturing emotional responses using bio-signals that can be measured with low burden in daily life. In this paper, the current status and issues related to measurement devices, verification of accuracy, and detection of measurement failures that are necessary to achieve this goal are discussed. Burden-free measurements are categorized as wearable, environmental embedded, and camera-based. Each has its own strengths and weaknesses, and it is best to use them in combination according to the purpose. In addition, three prototypes developed using a small processor with the function to communicate with the cloud via Wi-Fi and commercially available sensors are presented, and future challenges is discussed through these trials. In order to create systems and services that people are willing to use and that make them active and positive, industry-academia collaboration, including experts and users from various fields is desirable.
The objective of news recommendation pertains to the facilitation of Personalized news delivery amid the vast expanse of available news. However, existing methods inadequate exploitation of textual information inheren...
详细信息
作者：
Popov, StoyanHinov, NikolayTechnical University of Sofia
Faculty of Applied Mathematics and Informatics Department of Mathematical Modeling and Numerical Methods 8 Kliment Ohridski blvd. Sofia1000 Bulgaria Technical University of Sofia
Faculty of Electronic Engineering and Technologies Department of Power Electronics 8 Kliment Ohridski blvd. Sofia1000 Bulgaria
The manuscript presents the capabilities of Python for solving tasks from the electrical engineering course. In this way, it becomes possible for computer science students to use programming abstractions and models in...
详细信息
THETA is a model checking framework conventionally based on abstraction refinement techniques. While abstraction is useful for a large number of verification problems, the over-reliance on the technique led to Theta b...
详细信息
ISBN:
(纸本)9783031572555;9783031572562
THETA is a model checking framework conventionally based on abstraction refinement techniques. While abstraction is useful for a large number of verification problems, the over-reliance on the technique led to Theta being unable to meaningfully adapt. Identifying this problem in previous years of SV-COMP has led us to create EMERGENTHETA, a sandbox for the new approaches we want Theta to support. By differentiating between mature and emerging techniques, we can experiment more freely without hurting the reliability of the overall framework. In this paper we detail the development route to EMERGENTHETA, and its first debut on SV-COMP'24 in the ReachSafety category.
Activity and parameter sparsity are two standard methods of making neural networks computationally more efficient. Event-based architectures such as spiking neural networks (SNNs) naturally exhibit activity sparsity, ...
详细信息
THETA is a model checking framework, with a strong emphasis on effectively handling concurrency in software using abstraction refinement algorithms. In SV-COMP 2024, we use 1) an abstraction-aware partial order reduct...
详细信息
ISBN:
(纸本)9783031572555;9783031572562
THETA is a model checking framework, with a strong emphasis on effectively handling concurrency in software using abstraction refinement algorithms. In SV-COMP 2024, we use 1) an abstraction-aware partial order reduction;2) a dynamic statement reduction technique;and 3) enhanced support for call stacks to handle recursive programs. We integrate these techniques in an improved architecture with inherent support for portfolio-based verification using dynamic algorithm selection, with a diverse selection of supported SMT solvers as well. In this paper we detail the advances of Theta regarding concurrent and recursive software support.
暂无评论