Convolutional stabilizer codes promise to make quantum communication more reliable with attractive online encoding and decoding algorithms. This paper introduces a new approach to convolutional stabilizer codes based on direct limit constructions. Two families of quantum convolutional codes are derived from generalized Reed-Solomon codes and from ReedMuller codes. A Singleton bound for pure con...

Extended Abstract A (finite) Constraint Satisfaction Problem (CSP) is a combinatorial problem to find an assignment which satisfies all given constraints over finite domains. A SAT-based CSP solver is a program which solves a CSP by encoding it to SAT and searching solutions by SAT solvers. Remarkable improvements in the efficiency of SAT solvers make SAT-based CSP solvers applicable for solvin...

Our interest in this work is to automatically predict whether peer ratings have high or low agreement in terms of disparity with instructor ratings, using solely features extracted from quantitative peer ratings and text-based peer comments. Experimental results suggest that our model can indeed outperform a majority baseline in predicting low versus high rating disparity. Furthermore, the reli...

In this case study, we examined the influence of five groups of communication activities on the quality of students’ contributions to online discussion. The activities were the nominal group technique, debate, invited expert, WebQuest and reflective deliberation. Quality of discussion was operationalised as cognitive presence , a construct developed to investigate the role of critical discourse...

When a pairing e : G1 × G2 → GT , on an elliptic curve E defined over Fq, is exploited for an identity-based protocol, there is often the need to hash binary strings into G1 and G2. Traditionally, if E admits a twist Ẽ of order d, then G1 = E(Fq)∩E[r], where r is a prime integer, and G2 = Ẽ(Fqk/d)∩ Ẽ[r], where k is the embedding degree of E w.r.t. r. The standard approach for hashing into G2 is...

Agent-based simulation models are a relatively new addition to the tool-box of macroeconomists. In this chapter we introduce the Eurace@Unibi model and the research that has been done within this framework. We show how an agent-based model can be used to identify economic mechanisms and how it can be applied to spatial policy analysis. Our assessment is that agent-based models in economics have...

We propose a system to perform disparity estimation for a pair of stereo images using object-based global constraints. EEective global constraints are crucial to accurate disparity estimation under the presence of partially occluded areas, illumination diierences, and object deformation. In our method, object contours are rst extracted and their disparities are estimated using a robust tree mat...

Experiments are used to examine the effects of social comparisons in ultimatum bargaining. We inform responders about the average offer before they decide whether to accept or reject their specific offer. This significantly increases offers and offer-specific rejection probabilities. For comparison, we consider another change in informational conditions: telling responders the total pie is $30—...

Some non-Fourier encoding methods such as wavelet and direct encoding use spatially localized bases. The spatial localization feature of these methods enables optimized encoding for improved spatial and temporal resolution during dynamically adaptive MR imaging. These spatially localized bases, however, have inherently reduced image signal-to-noise ratio compared with Fourier or Hadamad encodin...