Tarski's influence on computer science

The influence of Alfred Tarski on computer science was indirect but significant in a number of directions and was in certain respects fundamental. Here surveyed is the work of Tarski on the decision procedure for algebra and geometry, the method of elimination of quantifiers, the semantics of formal languages, modeltheoretic preservation theorems, and algebraic logic; various connections of each with computer science are taken up

Refining Implicit Argument Annotation for UCCA

Predicate-argument structure analysis is a central component in meaning representations of text. The fact that some arguments are not explicitly mentioned in a sentence gives rise to ambiguity in language understanding, and renders it difficult for machines to interpret text correctly. However, only few resources represent implicit roles for NLU, and existing studies in NLP only make coarse distinctions between categories of arguments omitted from linguistic form. This paper proposes a typology for fine-grained implicit argument annotation on top of Universal Conceptual Cognitive Annotation's foundational layer. The proposed implicit argument categorisation is driven by theories of implicit role interpretation and consists of six types: Deictic, Generic, Genre-based, Type-identifiable, Non-specific, and Iterated-set. We exemplify our design by revisiting part of the UCCA EWT corpus, providing a new dataset annotated with the refinement layer, and making a comparative analysis with other schemes.Comment: DMR 202

Lower Bounds for (Non-Monotone) Comparator Circuits

Comparator circuits are a natural circuit model for studying the concept of bounded fan-out computations, which intuitively corresponds to whether or not a computational model can make "copies" of intermediate computational steps. Comparator circuits are believed to be weaker than general Boolean circuits, but they can simulate Branching Programs and Boolean formulas. In this paper we prove the first superlinear lower bounds in the general (non-monotone) version of this model for an explicitly defined function. More precisely, we prove that the n-bit Element Distinctness function requires ?((n/ log n)^(3/2)) size comparator circuits

NASA JSC neural network survey results

A survey of Artificial Neural Systems in support of NASA's (Johnson Space Center) Automatic Perception for Mission Planning and Flight Control Research Program was conducted. Several of the world's leading researchers contributed papers containing their most recent results on artificial neural systems. These papers were broken into categories and descriptive accounts of the results make up a large part of this report. Also included is material on sources of information on artificial neural systems such as books, technical reports, software tools, etc

Academic freedom: a research bibliography

A generic bibliography containing over 1000 references (books, journal articles, monographs, conference papers, reports, etc.) on the subject of academic freedom in higher education, from various countries (Australia, Canada, Europe, the UK and the USA, etc.) which cover (inter alia) the genesis and history of the concept, intellectual and artistic freedom, the legal interpretation of academic freedom, individual and institutional academic freedom, the responsibilities and duties associated with academic freedom, etc

Paraphysical Jurisprudent Massacre Mediation

It is possible and thereby feasible to develop and implement a pragmatic methodology for a preemptive evidentiary system of ‘Paraphysical Jurisprudence’ for mediating the occurrence of massacres. A required comprehensive completion and formalizing of the tools of epistemology (theory of knowledge) already exists and has been tested both ecumenically and scientifically. The evolution of epistemology has followed the historical progression from myth and superstition to logic and reason to empiricism and now finally to the utility of ‘transcendence’ as a tool in knowledge acquisition. An inspiring example from popular culture is illustrated in the 2002 Hollywood film noir “Minority Report” designed by its director to present a ‘plausible future world’ for the year 2054 wherein an elaborate ‘Precrime Unit’ is tested to prevent murder by utilizing a trio of ‘precogs’ bathed in a ‘photonic milk’ able to presciently predetermine impending occurrences of homicide for which the Precrime Police Unit then intervenes to prevent. Disdain for a putative so-called scientific metaphysics by natural philosophers is deeply rooted in modern pragmatic societies; perhaps rightly so as consistency, credibility and lack of a comprehensive theory has been heretofore emphatically lacking. In addition to the major problem of repeatability is the perceived distinction between domains of the physical and so-called ‘spiritual’ as mutually exclusive. In this work a strong case is made for the rigorous viability and near term putative implementation of a system of paraphysical jurisprudence drawing on the utility of a panoply of concepts. The remaining question is when does feasible become practical in the face of a steady increase in the heinous massacre of innocents

Innovation in the Wireless Ecosystem: A Customer-Centric Framework

The Federal Communications Commission’s Notice of Inquiry in GN 09-157 Fostering Innovation and Investment in the Wireless Communications Market is a significant event at an opportune moment. Wireless communications has already radically changed the way not only Americans but people the world over communicate with each other and access and share information, and there appears no end in sight to this fundamental shift in communication markets. Although the wireless communications phenomenon is global, the US has played and will continue to play a major role in the shaping of this market. At the start of a new US Administration and important changes in the FCC, it is most appropriate that this proceeding be launched.