Filtyp
The advancement of mobile technologies and their ability to utilize the Global Positioning System (GPS) to accurately locate their substantial number of users, prompt Location-Based Services (LBS) significantly. Ride-sharing is a popular means of transportation that utilizes LBS. With the rapid development of smart cities and their impact on addressing the critical issues of urban life such as tra
This study uses a state-of-the-art regional climate model (RCM) to examine how tropical deforestation affects the meteorology of the Indian Summer Monsoon (ISM). Incorporating insights from existing research on deforestation by climate scientists, alongside evidence of environmental deterioration in semi-arid, hilly and tropical regions of Southeast Asia, this research seeks to elucidate the criti
The widespread deployment of digital technologies has made the globe an interconnected world. Among other necessities of the digitalized world, cybersecurity is a crucial component. Therefore, education and proper training of the cybersecurity workforce are essential for building a strong national and global community. However, a significant shortage of proficient cybersecurity experts is reported
To resolve the various types of biological ice nuclei (IN) with atmospheric models, an extension of the empirical parameterization (EP) is proposed to predict the active IN from multiple groups of primary biological aerosol particles (PBAPs). Our approach is to utilize coincident observations of PBAP sizes, concentrations, biological composition, and ice nucleating ability. The parameterization or
Internet of Things or IoT deployments are becoming more and more common. The list of use-cases for IoT is getting longer and longer, but some examples are smart home appliances and wireless sensor networks. When IoT devices are deployed and used over an extended time, it is not guaranteed that one owner will control the IoT devices over their entire lifetime. If the ownership of an IoT system shal
OBJECTIVES: The primary aim of this study was to describe the ultrasound features of various endometrial and other intracavitary pathologies in women without abnormal uterine bleeding (AUB) using the International Endometrial Tumor Analysis (IETA) terminology. The secondary aim was to compare our findings with published data on women with AUB. METHODS: This was a prospective observational study of
A new microphysical treatment that includes aerosol–cloud interactions and secondary ice production (SIP) mechanisms is implemented in the convection scheme of the Community Atmosphere Model, version 6 (CAM6). The approach is to embed a 1D Lagrangian parcel model in the bulk convective plume of the existing deep convection parameterization. Aerosol activation, growth processes including collision/
WHO has expressed that people with intellectual disabilities (ID) often are disadvantaged when it comes to accessing healthcare. However, a more solid evidence base is needed to determine if, and in which parts of the health system people with ID have lower access.
When robots are working in dynamic environments, close to humans lacking extensive knowledge of robotics, there is a strong need to simplify the user interaction and make the system execute as autonomously as possible. For industrial robots working side-by-side with humans in manufacturing industry, AI systems are necessary to lower the demand on programming time and expertise. We are convinced th
Despite their tiny eyes and brains, nocturnal insects have remarkable visual abilities. Recent work-particularly on fast-flying moths and bees and on ball-rolling dung beetles-has shown that nocturnal insects are able to distinguish colors, to detect faint movements, to learn visual landmarks, to orient to the faint pattern of polarized light produced by the moon, and to navigate using the stars.
What is the computational complexity of geometric model estimation in the presence of noise and outliers? We show that the number of outliers can be minimized in polynomial time with respect to the number of measurements, although exponential in the model dimension. Moreover, for a large class of problems, we prove that the statistically more desirable truncated L2-norm can be optimized with the s
We have developed a new approach for implementing precise intraprocedural control-flow and dataflow analyses at the abstract syntax tree level. Our approach is declarative, making use of reference attribute grammars augmented with circular attributes and collection attributes. This results in concise executable specifications of the analyses, allowing extensions both to the language and with furth
JastAddJ is an extensible Java compiler, implemented using reference attribute grammars. It has been shown previously how the language constructs of Java 5, like generics, could be modularly added to the original JastAddJ compiler that supported Java 1.4. In this paper we discuss our experiences from extending Jast- AddJ to support Java 7. In particular, we discuss how the Try-With-Resources state
In this paper, we study the geometry problems of estimating camera pose with unknown focal length using combination of geometric primitives. We consider points, lines and also rich features such as quivers, i.e. points with one or more directions. We formulate the problems as polynomial systems where the constraints for different primitives are handled in a unified way. We develop efficient polyno
This paper presents a study of the sensor network calibration time-difference-of-arrival (TDOA) measurements. Such calibration arise in several applications such as calibration of (acoustic or ultrasound) microphone arrays, bluetooth arrays, and radio antenna networks. We propose a non-iterative algorithm that apply a three-step stratification process, (i) using a set of rank constraints to determ
Abstract in UndeterminedReference attribute grammars (RAGs) provide a practical declarative means to implement programming language compilers and other tools. RAGs have previously been extended to support both circular attributes and context-dependent declarative rewrites of the abstract syntax tree. In this previous work, dependencies between circular attributes and rewrites are not considered. I
Automated object detection is perhaps the most central task of computer vision and arguably the most difficult one. This paper extends previous work on part-based models by using accurate geometric models both in the learning phase and at detection. In the learning phase manual annotations are used to reduce perspective distortion before learning the part-based models. That training is performed o
