Twelve of the most frequently selected from Leroy and Lincoln/MIT relative legibilities. Human subje ent brightness contrast ratios, and gave significantly fewer errors at eluded that the L/M font will yield font and that a greater reduction i the L/M font than by increasing the symbols. confused alphanumeric symbols were RE (L/M) fonts and studied for their cts saw the symbols with five differ...

We explore an axiomatized nominal approach to variable binding in Coq, using an untyped lambda-calculus as our test case. In our nominal approach, alpha-equality of lambda terms coincides with Coq’s builtin equality. Our axiomatization includes a nominal induction principle and functions for calculating free variables and substitution. These axioms are collected in a module signature and proved...

We explore an axiomatized nominal approach to variable binding in Coq, using an untyped lambda-calculus as our test case. In our nominal approach, alpha-equality of lambda terms coincides with Coq’s builtin equality. Our axiomatization includes a nominal induction principle and functions for calculating free variables and substitution. These axioms are collected in a module signature and proved...

This paper looks into the technology classification problem for a distributed wireless spectrum sensing network. First, a new data-driven model for Automatic Modulation Classification (AMC) based on long short term memory (LSTM) is proposed. The model learns from the time domain amplitude and phase information of the modulation schemes present in the training data without requiring expert featu...

In this paper, I propose that the availability of a bound variable reading for pronouns is predictable from their morphological structure of the pronouns. More specifically I argue that noun-containing pronouns cannot be bound variables. My proposal is different from D&W's (2002) argument in that in their theory, every DPs cannot have a bound variable reading, while in my theory, even DPs can h...

Non-determinism is a serious problem in the testing and debugging of concurrent programs. Thread interleavings may be different on each run, changing the order of events. Testing a concurrent program requires many of these orders to be run, either to determine that all orders produce correct results or to identify the presence of timing-dependent errors called race conditions. This paper presen...

The equivalence between autonomicity and the absence of free variables is a well-known result for linear, shift-invariant and complete behaviors over a field. However, this no longer holds for a behavior that does not satisfy one of those properties. In this paper we consider linear, shift-invariant and complete behaviors over the ring Zpr and study under which conditions such behaviors are aut...