Are there good reasons for including mathematical objects such as numbers, sets, and functions as part of our ultimate catalogue of the furniture of the universe? Recent debates within the philosophy of mathematics over this sort of general ontological question have centered on the pros and cons of the so-called Indispensability Argument. The basic idea behind this argument is quite straightfor...

Sohn (1998) presents a good argument that neither statistical significance nor effect size is indicative of the replicability of research results. His objection to the Bayesian argument is also succinct. However, his solution of the `replicability belief' issue is problematic, and his verdict that significance tests have no role to play in empirical research is debatable. The strengths and weak...

Argument extraction is the task of identifying arguments, along with their components in text. Arguments can be usually decomposed into a claim and one or more premises justifying it. The proposed approach tries to identify segments that represent argument elements (claims and premises) on social Web texts (mainly news and blogs) in the Greek language, for a small set of thematic domains, inclu...

this paper presents a self-tuning pid (proportional and integral and derivative) controller for regulating terminal voltage synchronous generators. in order to modify the system reponse and to overcome the difficulties of self tuning controllers, a dual rate sampling control system was used. system results demonstrated usfulness of the proposed regulator. the designed controller is simple and c...

Recent prior studies with argumentation systems have shown that, unfortunately, with larger learner groups using argumentation software over longer periods of time, argument maps inevitably increase greatly in size and complexity, often leading to learner confusion. To help users understand and navigate within large and complex argument maps, we implemented an initial version of mini maps withi...

This paper describes a generic tableau algorithm, which is the basis for a general customizable method for producing oracles from temporal logic speciications. A generic argument gives semantic rules with which to build the semantic tableau for a speciication. Parameterizing the tableau algorithm by semantic rules permits it to easily accommodate a variety of temporal operators and provides a c...

Giant resonances of gravity Kaluza-Klein modes (with tensor couplings) in high energy collisions are expected in the Randall-Sundrum orbifold model that incorporates a plausible solution to the hierarchy problem. When the model is extended to incorporate an exponentially small 4-D cosmological constant, the KK spectrum becomes continuous, even in the compactified case. This is due to the presen...

Reasoning with hypothetical cases helps decision-makers evaluate alternate hypotheses for deciding a case. The hypotheticals demonstrate the sensitivity of a hypothesis to apparently small factual differences that may require different results because they shift the tradeoffs among conflicting underlying principles. By anticipating variations, the decision-maker seeks to formulate as general an...