Analysis of the EMBRACE aperture array antenna by the characteristic Basis Function Method

This paper describes the use of the Characteristic Basis Function Method for the simulation of large phased array antennas for radio astronomy. It will be shown how the antenna effective area and the receiver noise temperature depend on array size. Also the receiving sensitivity Aeff /T sys normalised with respect to the physical area of the array will be shown for different array sizes and scan angles

Classroom assessment and education: challenging the assumptions of socialisation and instrumentality

The opportunity offered by the Umea Symposium to probe the intersection of quality and assessment immediately brings into focus a wider issue – that of the quality of education which assessment aspires to support. Prompted by recent research into formative assessment in Scottish primary school contexts, the paper explores how formative assessment has become associated with an overly benign understanding of learning which misrecognises the possibility of undesirable learning and does not seem to address the inherently political nature of education. Having illuminated the potential inequities of formative assessment practices, the paper then asks what role formative assessment might play to support an understanding of education that is not simply about the transmission of traditional social norms, but also aspires to illuminate their social construction and their political nature

Frege on the Generality of Logical Laws

Frege claims that the laws of logic are characterized by their “generality,” but it is hard to see how this could identify a special feature of those laws. I argue that we must understand this talk of generality in normative terms, but that what Frege says provides a normative demarcation of the logical laws only once we connect it with his thinking about truth and science. He means to be identifying the laws of logic as those that appear in every one of the scientific systems whose construction is the ultimate aim of science, and in which all truths have a place. Though an account of logic in terms of scientific systems might seem hopelessly antiquated, I argue that it is not: a basically Fregean account of the nature of logic still looks quite promising

Orientation-Constrained Rectangular Layouts

We construct partitions of rectangles into smaller rectangles from an input consisting of a planar dual graph of the layout together with restrictions on the orientations of edges and junctions of the layout. Such an orientation-constrained layout, if it exists, may be constructed in polynomial time, and all orientation-constrained layouts may be listed in polynomial time per layout.Comment: To appear at Algorithms and Data Structures Symposium, Banff, Canada, August 2009. 12 pages, 5 figure

A Patient with Four-Year Survival after Nonsmall Cell Lung Carcinoma with a Solitary Metachronous Small Bowel Metastasis

Solitary small bowel metastasis secondary to lung cancer is very uncommon. In this report, we present a patient with NSCLC and a metachronous solitary metastasis of the jejunum. She is alive without evidence of disease and doing well four years after palliative surgery, radiotherapy, and chemotherapy. To the best of our knowledge, this is the first case report describing a prolonged survival in a patient with a symptomatic solitary small bowel metastasis treated with palliative surgery, chemo- and radiotherapy instead of complete surgical resection

How fair is an equitable distribution?

Envy is a rather complex and irrational emotion. In general, it is very difficult to obtain a measure of this feeling, but in an economical context envy becomes an observable which can be measured. When various individuals compare their possessions, envy arises due to the inequality of their different allocations of commodities and different preferences. In this paper we show that an equitable distribution of goods does not guarantee a state of fairness between agents and in general that envy cannot be controlled by tuning the distribution of goods.Comment: 16 pages, 8 figures, LaTEX; typos added; minor changes in plots; two new plots added; references added; minor changes in the acknowledgment

Fast algorithms for handling diagonal constraints in timed automata

A popular method for solving reachability in timed automata proceeds by enumerating reachable sets of valuations represented as zones. A na\"ive enumeration of zones does not terminate. Various termination mechanisms have been studied over the years. Coming up with efficient termination mechanisms has been remarkably more challenging when the automaton has diagonal constraints in guards. In this paper, we propose a new termination mechanism for timed automata with diagonal constraints based on a new simulation relation between zones. Experiments with an implementation of this simulation show significant gains over existing methods.Comment: Shorter version of this article to appear in CAV 201

How Reasoning Aims at Truth

Many hold that theoretical reasoning aims at truth. In this paper, I ask what it is for reasoning to be thus aim-directed. Standard answers to this question explain reasoning’s aim-directedness in terms of intentions, dispositions, or rule-following. I argue that, while these views contain important insights, they are not satisfactory. As an alternative, I introduce and defend a novel account: reasoning aims at truth in virtue of being the exercise of a distinctive kind of cognitive power, one that, unlike ordinary dispositions, is capable of fully explaining its own exercises. I argue that this account is able to avoid the difficulties plaguing standard accounts of the relevant sort of mental teleology

The Critical Project in Schelling, Tillich and Goodchild

2 Altizer and Tillich repeat a Cartesian trope that lies at the kernel of modernity: beginnings must be destructive; they ... The Critical Project in Schelling, Tillich, and Goodchild Daniel Whistler Radical Apologetics: Paul Tillich and Radical ..