Distillation towers are essential to the chemical process industries (CPI), so it is imperative that they are properly designed and operated. Tower internals are arguably the most important piece of process equipment, since they cannot easily be accessed after startup. If the tower internals malfunction, the distillation tower will follow suit and the entire chemical process will suffer. This a...

Web Applications typically have longer launch times compared to native applications, especially upon device boot up or if the browser is not already running in the background. In this paper, we propose an approach to speed up the launch time for web applications, by considering the user's usage of web applications and pre-launching the predicted web applications. We provide implementation detai...

The decidability of algebraic higher-order matching is proved. Algebraic higher-order matching is a matching where the constant term in equation is built of first-order constants and constants of a base type. This result is particularly appealing in the light of the last result of Loader.

Research evidence for the benefits of arts integration is mounting. The purpose of this study was to determine if integration of the arts was an effective strategy for teaching the water cycle to kindergarten students. The study included lessons that supported both a science and an engineering standard of the Next Generation Science Standards and national arts standards. The phenomenological st...

This paper provides description and analysis a new clock synchronization algorithm for partially synchronous systems with unknown upper and lower bounds on delays. Unlike existing solutions, it relies upon a hybrid failure model incorporating both process and link failures, in both time and value domain, and works during both system startup and normal operation: Whereas bounded precision (= mut...

When is a person with a cold contagious? A couple of friends, who are put off when I keep my distance from their sneezing and coughing, insist one is only contagious a week or so before symptoms appear. In the back of my memory is the idea that one remains contagious until a few days *after* primary symptoms disappear. I'm not usually so concerned about this, but I'm coping with a couple of oth...

This paper introduces Quantian, a scientific computing environment. Quantian is directly bootable from cdrom, self-configuring without user intervention, and comprises hundreds of applications, including a significant number of programs that are of immediate interest to quantitative researchers.

While Wireless Sensor Networks are versatile tools to monitor the environment in scenarios usually not accessible via wired infrastructure, deployments of such networks are challenging even for experts, particularly in remote areas. In this work, we present a smartphone based system that supports such deployments by keeping track of exact sensor locations and providing unique debugging tools, t...

Happy Silver Anniversary, Artificial Intelligence! Twenty five years is not long in the history of a science---long enough to achieve, short enough to remember. Your esteemed founders are still around---vigorous, not so young anymore. Out of cybernetics YOU came, and information-theoretic psychology. You were born in the early days of modern computing, on hot, bulky hardware with names few now ...

In order to solve the security issues of mobile vehicles in the Internet of vehicles, such as identity authentication and integrality verification, we apply the trusted cryptography module (TCM) into the on-vehicle electronic systems. TCM has many security features, such as integrality measurement, integrality report and protected storage, by which the on-vehicle electronic systems achieve a tr...