Filtyp
To avoid being detected by radar, it is necessary to reduce stealthy military platforms' radar cross section (RCS). The operation of overlaying the metasurface (MS) on the targets is a good solution. A simple chessboard MS structure that can achieve low RCS over a large bandwidth is proposed. Only one unit cell is used to construct the MS. First, the unit cell working in 0.5 and 1−λ modes is desig
In recent years, because the cloud can provide huge advantages regarding storage and computing resources, industry has been motivated to move industrial control systems to the cloud. However, the cloud also introduces major security challenges, since moving control systems to the cloud can enable attackers to infiltrate the system and establish an attack that can lead to damages and disruptions wi
Now more than ever, optimizing resource allocation in cloud computing is becoming more critical due to the growth of cloud computing consumers and meeting the computing demands of modern technology. Cloud infrastructures typically consist of heterogeneous servers, hosting multiple virtual machines with potentially different specifications, and volatile resource usage. This makes the resource alloc
Monitoring a microservice system may bring a lot of benefits to development teams such as early detection of run-time errors and various performance anomalies. In this study, we explore deep learning (DL) solutions for detection of anomalous system's behavior based on collected monitoring data that consists of applications' and systems' performance metrics. The study is conducted in a collaboratio
This paper proposes a ‘tool for thinking with’1: that we can describe the interaction between peopleand computers, and especially people and developer tools, as a form of conversation. We outline thisperspective, construct a work in progress analytical frame, and use it to talk about a couple of differentexamples and draw implications for future work.
Despite the growing integration of code analysis tools into developer workflows, usability challengespersist in many aspects. Previous research, primarily focused on static languages and professional developers, has largely overlooked the needs of novice developers and non-static languages like Python.In this paper, we investigate the experiences of novice Python programmers with static code analy
Adapting several insights from the work of social theorists Michel de Certeau and Pierre Mayol on the concepts of “everyday life” and the “neighborhood,” as well as Cynthia Baker’s work on the architecture of gender in Late Antique Galilee, Cirafesi explores how the neighborhood architecture of the ancient Galilean village of Capernaum contributes to the way in which we imagine Jews and Christians
Driving automation systems, including autonomous driving and advanced driver assistance, are an important safety-critical domain. Such systems often incorporate perception systems that use machine learning to analyze the vehicle environment. We explore new or differing topics and challenges experienced by practitioners in this domain, which relate to requirements engineering (RE), quality, and sys
Pharmacometric modeling plays an important role in drug development and personalized medicine. Pharmacometric covariate models can be used to describe the relationships between patient characteristics (such as age and weight) and pharmacokinetic (PK) parameters. Traditionally, the functional structure of these relationships are obtained manually. This is a time-consuming task, and consequently lim
We present property probes, a mechanism for helping a developer explore partial program analysis results in terms of the source program interactively while the program is edited. A node locator data structure is introduced that maps between source code spans and program representation nodes, and that helps identify probed nodes in a robust way, after modifications to the source code. We have devel
Human physiology is the study of how organisms, organ systems, and individual organs function under normal circumstances. As a consequence of its paramount importance to medicine, physiology has been studied since ancient times, but the models studied in this book follow the tradition of modern physiology pioneered by Claude Bernard in the mid 1800s.The focus of the book lies on how dynamical mech
Background: Predicting future Alzheimer’s disease (AD)-related cognitive decline among individuals with subjective cognitive decline (SCD) or mild cognitive impairment (MCI) is an important task for healthcare. Structural brain imaging as measured by magnetic resonance imaging (MRI) could potentially contribute when making such predictions. It is unclear if the predictive performance of MRI can be
Reconfigurable surface (RS) has been shown to be an effective solution for improving wireless communication links in general multi-user multiple-input multiple-output (MU-MIMO) setting. Current research efforts have been largely directed towards the study of reconfigurable intelligent surface (RIS), which corresponds to an RS made of passive reconfigurable elements with only phase shifting capabil
In this paper, we investigate the problem of decoder error propagation for spatially coupled low-density parity-check (SC-LDPC) codes with sliding window decoding (SWD). This problem typically manifests itself at signal-to-noise ratios (SNRs) close to capacity under low-latency operating conditions. In this case, infrequent but severe decoder error propagation can sometimes occur. To help understa
Cyber-physical Systems (CPSs) are often safety-critical and deployed in uncertain environments. Identifying scenarios where CPSs do not comply with requirements is fundamental but difficult due to the multidisciplinary nature of CPSs. We investigate the testing of control-based CPSs, where control and software engineers develop the software collaboratively. Control engineers make design assumption
Modern subgraph-finding algorithm implementations consist of thousands of lines of highly optimized code, and this complexity raises questions about their trustworthiness. Recently, some state-of-the-art subgraph solvers have been enhanced to output machine-verifiable proofs that their results are correct. While this significantly improves reliability, it is not a fully satisfactory solution, sinc
In this paper, a wideband circularly polarized antenna is designed for integration into the glass roof of a modern car for GNSS positioning applications. Characteristic mode analysis is used to obtain more physical insight into the problem and hence satisfy the polarization and bandwidth requirements. The antenna has a low profile and uses a single coplanar waveguide feed to cover all GNSS bands.
Due to their natural and inherent way of capturing concurrency, dataflow descriptions of stream programs have seen prevalent usage in fields such as video processing, networks and scientific computing. They are often deployed on manycore, heterogeneous and distributed architectures. Despite robust research on the topic, obstacles still exist in evaluating the performance of stream programs accurat
