Search results

The “wooded-meadows system” is a multifunctional use of vegetation resources widespread in Europesince the Neolithic, and well documented in the Ligurian Apennines (NW Italy) between the MiddleAges and the first half of the 19th century. The management of wooded-meadows included: collectionof fallen and dead branches in spring, later used for fuel; mowing and grazing in summer; collection ofsecond

Datalog has emerged as a powerful tool for expressing staticprogram analyses. Program analysis researchers have builtnontrivial code bases in Datalog, but tool support for workingwith Datalog itself has been lacking. In this paper, weintroduce MetaDL, a language extension to Datalog thatenables source-level Datalog program analysis within Datalog.We describe several program analyses implemented in

Cloud computing has emerged as an inexpensive and powerful computing paradigm, to the point that now even applications with hard deadlines are executed in the cloud. It may happen, due to unexpected events, that an application becomes popular and receives a lot of attention and client requests in a short period of time. Provisioning computing capacity for such applications is quite a difficult tas

Sufficient and necessary conditions for the stability of positive feedback interconnections of negative imaginary systems are derived via an integral quadratic constraint (IQC) approach. The IQC framework accommodates distributed-parameter systems with irrational transfer function representations, while generalising existing results in the literature and allowing exploitation of flexibility at zer

In the era of the Internet of Things and social media; communities, governments, and corporations are increasingly eager to exploit new technological innovations in order to track and keep up to date with important new events. Examples of such events include the news, health related incidents, and other major occurrences such as earthquakes and landslides. This area of research commonly referred t

Harmonic periods have wide applicability in industrial real-time systems. Rate monotonic (RM) is able to schedule task sets with harmonic periods up to 100% utilization. Also, if there is no release jitter and execution time variation, RM and EDF generate the same schedule for each instance of a task. As a result, all instances of a task are interfered by the same amount of workload. This property

We consider channel estimation (CE) in narrowband Internet-of-Things (NB-IoT) systems. Due to the fluctuations in phase within receiver and transmitter oscillators, and also the residual frequency offset (FO) caused by discontinuous receiving of repetition coded transmit data-blocks, random phase noises are presented in received signals. Although the coherent-time of fading channel can be assumed

Channel measurements of large-scale multiuser multiple-input multiple-output (MU-MIMO) radio propagation channels are presented. In the setup, three users with patch antennas communicate simultaneously with a base station (BS) equipped with a large antenna array in an indoor environment. Both a uniform linear array (ULA) and a uniform planar array (UPA) are used, and their relative ability to sepa

In real-time control systems, varying task response times may lead to delays and jitter in the delays in the feedback control loops, which adversely affects both performance and robustness. Standard LQG control design does not give any guarantees on robustness, while robust control design methods often do not handle controller timing uncertainty. We propose a sampled-data controller synthesis meth

Self-adaptation provides a principled way to deal with software systems' uncertainty during operation. Examples of such uncertainties are disturbances in the environment, variations in sensor readings, and changes in user requirements. As more systems with strict goals require self-adaptation, the need for formal guarantees in self-adaptive systems is becoming a high-priority concern. Designing se

Cities are deploying tens of thousands of sensors and actuators and developing a large array of smart services. The smart services use sophisticatedmodels and decision-making policies supported by Cyber Physical Systems and Internet of Things technologies. The increasing number of sensors collects a large amount of city data across multiple domains. The collected data have great potential value, b

A method to decompose a motion-planning problem into several segments is presented. It is based on a modification of the original problem, such that certain variables at the splitting points are considered to be precomputed and thus fixed and the remaining variables are obtained by performing Lagrange relaxation. The resulting dual problem is split into several subproblems, allowing parallel compu

A simplified combined-slip model that only considers the extreme case at the friction limit is suggested and used in a closed-loop controller for autonomous vehicle handling in at-the-limit maneuvers. In the development of the controller it is assumed that the front wheels are individually steered, but it is demonstrated in a left-hand turn scenario that with a simple adaptation, the method is sti

Massive multiple-input multiple-output (MIMO) arrays are becoming critical elements in cellular base station infrastructure. We utilize the theory of characteristic modes (TCM) to design a novel tri-modal broadside antenna element which is suitable for the construction of compact massive MIMOarrays. The proposed antenna element consists of three ports which is formed by reviewing an existing compa

The ac frequency in electrical power systems is conventionally regulated by synchronous machines. The gradual replacement of these machines by asynchronous renewable-based generation, which provides little or no frequency control, increases system uncertainty and the risk of instability. This imposes hard limits on the proportion of renewables that can be integrated into the system. In this paper,

Biogenic volatile organic compounds (BVOCs) play essential roles in tropospheric chemistry, on both regional and global scales. The emissions of large quantities of species-specific BVOC depend not only on environmental (temperature, T; photosynthetically active radiation, PAR), but also physiological parameters (i.e. net photosynthetic rate, Pn; transpiration rate, Tr; stomatal conductance, gs an

This paper presents a real-time hand gesture recognition system by accelerating a convolutional neural network (CNN) using FPGA platform. More specifically, ZynqNet is adopted and modified to fulfill the classification task of recognizing the Swedish manual alphabet, which is used by sign language users for spelling purposes, also known as fingerspelling. Data augmentation and transfer learning te

This paper presents a continuous-time ΔΣ ADC in a 28nm-FDSOI CMOS technology. The ADC is clocked at 5GHz with a signal bandwidth of 250 MHz, for an oversampling ratio (OSR) of only 10. The conversion from high-level model to circuit-level implementation requires multiple high-speed design methodologies and a careful layout. A 4th order loop filter is adopted to enhance quantization noise shaping i