To date, measurement-based WCET analysis and static analysis have largely been seen as being at odds with each other. We argue that instead they should be considered complementary, and that the combination of both represents a promising approach that provides benefits over either individual approach. In this paper we discuss in some detail how we aim to improve on our probabilistic measurement-...

Bayesian probabilistic analysis offers a new approach to characterize semantic representations by inferring the most likely feature structure directly from the patterns of brain activity. In this study, infinite latent feature models [1] are used to recover the semantic features that give rise to the brain activation vectors when people think about properties associated with 60 concrete concept...

To date, measurement-based WCET analysis and static analysis have largely been seen as being at odds with each other. We argue that instead they should be considered complementary, and that the combination of both represents a promising approach that provides benefits over either individual approach. In this paper we discuss in some detail how we aim to improve on our probabilistic measurement-...

We present a 91 MHz surface acoustic wave resonator with integrated microfluidics that includes a flow focus, an expansion region, and a binning region in order to manipulate particle trajectories. We demonstrate the ability to change the position of the acoustic nodes by varying the electronic phase of one of the transducers relative to the other in a pseudo-static manner. The measurements wer...

On early BSD systems, network interfaces were static objects created at kernel compile time. Today the situation has changed dramatically. PC Card, USB, and other removable buses allow hardware interfaces to arrive and depart at run time. Pseudo-device cloning also allows pseudo-devices to be created dynamically. Additionally, in FreeBSD and Dragonfly, interfaces can be renamed by the administr...

The wave type field equation θ = λθ, where θ is a coframe field on a space-time, was recently proposed to describe the gravity field. This equation has a unique static, spherical-symmetric, asymptotically-flat solution, which leads to the viable Yilmaz-Rosen metric. We show that the wave type field equation is satisfied by the pseudo-conformal frame if the conformal factor is determined by a sc...

We describe a practical e-voting protocol which guarantees e-voting protocol requirements: eligibility, privacy, accuracy, fairness, receipt-freeness, uncoercibility, robustness and verifiability. Unlike existing blind signature based protocols, in which the authority blindly signs ballot or part of ballot, the authority in our protocol blindly signs voter’s pseudo identity. Hereafter, voter be...

‘Gait’ is a person’s manner of walking. Some patients may have an abnormal gait due to physical impairment. Clinical gait analysis (CGA) is a practical technique and procedure for identifying the underlying impairments that affect the pattern of a patient’s gait. The CGA is critical for further treatment planning. Essentially, CGA tries to use patients’ physical examination results, known as st...

the objective of this review to be submitted in two independent parts, for steel frames and for rc frames, is to compare their structural performance with respect to the proposed n2-method, and so also of the consequent convenience of using pushover methodology for the seismic analysis of these structures. a preliminary investigation is presented on a pushover analysis used for the seismic perf...