Digital Democracy: Episode IV—A New Hope*: How a Corporation for Public Software Could Transform Digital Engagement for Government and Civil Society

Although successive generations of digital technology have become increasingly powerful in the past 20 years, digital democracy has yet to realize its potential for deliberative transformation. The undemocratic exploitation of massive social media systems continued this trend, but it only worsened an existing problem of modern democracies, which were already struggling to develop deliberative infrastructure independent of digital technologies. There have been many creative conceptions of civic tech, but implementation has lagged behind innovation. This article argues for implementing one such vision of digital democracy through the establishment of a public corporation. Modeled on the Corporation for Public Broadcasting in the United States, this entity would foster the creation of new digital technology by providing a stable source of funding to nonprofit technologists, interest groups, civic organizations, government, researchers, private companies, and the public. Funded entities would produce and maintain software infrastructure for public benefit. The concluding sections identify what circumstances might create and sustain such an entity

Design Features for the Social Web: The Architecture of Deme

We characterize the "social Web" and argue for several features that are desirable for users of socially oriented web applications. We describe the architecture of Deme, a web content management system (WCMS) and extensible framework, and show how it implements these desired features. We then compare Deme on our desiderata with other web technologies: traditional HTML, previous open source WCMSs (illustrated by Drupal), commercial Web 2.0 applications, and open-source, object-oriented web application frameworks. The analysis suggests that a WCMS can be well suited to building social websites if it makes more of the features of object-oriented programming, such as polymorphism, and class inheritance, available to non-programmers in an accessible vocabulary.Comment: Appeared in Luis Olsina, Oscar Pastor, Daniel Schwabe, Gustavo Rossi, and Marco Winckler (Editors), Proceedings of the 8th International Workshop on Web-Oriented Software Technologies (IWWOST 2009), CEUR Workshop Proceedings, Volume 493, August 2009, pp. 40-51; 12 pages, 2 figures, 1 tabl

A Behavioral Perspective on Technology Evolution and Domain Name Regulation

This paper argues that private property and rights assignment, especially as applied to communication infrastructure and information, should be informed by advances in both technology and our understanding of psychology. Current law in this area in the United States and many other jurisdictions is founded on assumptions about human behavior that have been shown not to hold empirically. A joint recognition of this fact, together with an understanding of what new technologies make possible, leads one to question basic assumptions about how law is made and what laws we should have in a given area, if any. I begin by analyzing different aspects of U.S. law, from a high-level critique of law making to a critique of rights assignment for what I call 'simple nonrival goods.' I describe my understanding, as a non-lawyer with a background in psychology and computing, of the current conventions in U.S. law, consider the foundational assumptions that justify current conventions, describe advances in psychology and technology that call these conventions into question, and briefly note how the law might normatively change in this light. I then apply this general analysis to the question of domain name assignment by the Internet Corporation for Assigned Names and Numbers (ICANN)

Analogy

This essay (a revised version of my undergraduate honors thesis at Stanford) constructs a theory of analogy as it applies to argumentation and reasoning, especially as used in fields such as philosophy and law. The word analogy has been used in different senses, which the essay defines. The theory developed herein applies to analogia rationis, or analogical reasoning. Building on the framework of situation theory, a type of logical relation called determination is defined. This determination relation solves a puzzle about analogy in the context of logical argument, namely, whether an analogous situation contributes anything logically over and above what could be inferred from the application of prior knowledge to a present situation. Scholars of reasoning have often claimed that analogical arguments are never logically valid, and that they therefore lack cogency. However, when the right type of determination structure exists, it is possible to prove that projecting a conclusion inferred by analogy onto the situation about which one is reasoning is both valid and non-redundant. Various other properties and consequences of the determination relation are also proven. Some analogical arguments are based on principles such as similarity, which are not logically valid. The theory therefore provides us with a way to distinguish between legitimate and illegitimate arguments. It also provides an alternative to procedures based on the assessment of similarity for constructing analogies in artificial intelligence systems

Determination, uniformity, and relevance: normative criteria for generalization and reasoning by analogy

This paper defines the form of prior knowledge that is required for sound inferences by analogy and single-instance generalizations, in both logical and probabilistic reasoning. In the logical case, the first order determination rule defined in Davies (1985) is shown to solve both the justification and non-redundancy problems for analogical inference. The statistical analogue of determination that is put forward is termed 'uniformity'. Based on the semantics of determination and uniformity, a third notion of "relevance" is defined, both logically and probabilistically. The statistical relevance of one function in determining another is put forward as a way of defining the value of information: The statistical relevance of a function F to a function G is the absolute value of the change in one's information about the value of G afforded by specifying the value of F. This theory provides normative justifications for conclusions projected by analogy from one case to another, and for generalization from an instance to a rule. The soundness of such conclusions, in either the logical or the probabilistic case, can be identified with the extent to which the corresponding criteria (determination and uniformity) actually hold for the features being related

Knowledge Bases and Neural Network Synthesis

We describe and try to motivate our project to build systems using both a knowledge based and a neural network approach. These two approaches are used at different stages in the solution of a problem, instead of using knowledge bases exclusively on some problems, and neural nets exclusively on others. The knowledge base (KB) is defined first in a declarative, symbolic language that is easy to use. It is then compiled into an efficient neural network (NN) representation, run, and the results from run time and (eventually) from learning are decompiled to a symbolic description of the knowledge contained in the network. After inspecting this recovered knowledge, a designer would be able to modify the KB and go through the whole cycle of compiling, running, and decompiling again. The central question with which this project is concerned is, therefore, How do we go from a KB to an NN, and back again? We are investigating this question by building tools consisting of a repertoire of language/translation/network types, and trying them on problems in a variety of domains

The characterisation and role of mighty during myogenesis

Myogenesis, or skeletal muscle formation, begins during embryogenesis and involves the proliferation of myoblasts followed by their exit from the cell-cycle to differentiate and form myotubes. This formation of skeletal muscle is a complex process involving many genes and various signalling pathways. Mighty is a novel myogenic gene discovered at AgResearch by the Functional Muscle Genomics (FMG) group in a genetic screen performed on the muscle of myostatin null and wild-type mice. It was found that heavily muscled mice, lacking myostatin, had increased expression of the mighty gene. This gene was found to be conserved, with cognates found in mammals, amphibians, teleosts, and arthropods. Mighty was found to be expressed in a variety of tissues, but only skeletal muscle showed increased mighty mRNA expression in myostatin null mice, indicating the specific regulation of mighty by myostatin in skeletal muscle (Marshall, 2005). The aim of this study was to characterise the mighty protein and examine its role in myogenesis to elucidate mighty's function. To undertake this study, antibodies specific for the full-length mighty protein and antibodies specific for a peptide region of mighty were characterised. Results using these antibodies, showed endogenous mighty, from myoblasts, to be a low-abundant, nuclear protein which shows a mobility of ~52 kDa in SDS gels, different to that of recombinant mighty protein. The mobility difference of endogenous mighty compared to recombinant mighty appears to be due to phosphorylation and may involve other post-translational modifications. In agreement, the determined isoelectric point (~5.7) of endogenous mighty also appears to be the result of phosphorylation. Interestingly, 52 kDa mighty was not detected in muscle extracts, but a ~30 kDa protein was specifically detected, indicating multiple forms, and subsequent roles, for mighty protein. Mass spectrometry (MS) was also performed for further characterisation of the mighty protein and possible post-translational modifications. Although hits were achieved with both recombinant mighty proteins, endogenous mighty MS analysis was not accomplished due to its low-abundance. The function of the mighty protein in myoblasts was investigated during proliferation and differentiation. The results indicate that proliferating myoblasts have low levels of mighty in G0 and increased levels in G1/S during the cell cycle. This differential expression of mighty may involve cell cycle exit at the G1/S phase. Differentiation results showed mighty to be upregulated before MyoD during differentiation, placing mighty very early in the differentiation hierarchy. This agrees with previous results by Marshall (2005) which showed mighty to upregulate MyoD through IGF-II expression. Enhanced differentiation was also seen in double muscle bovine myoblasts concomitantly with increased mighty expression. In conclusion, mighty appears to be a post-translationally modified protein that plays an early role in myogenic differentiation. This role in differentiation appears to be upstream of MyoD through the upregulation of IGF-II and may be linked to cell cycle exit in the G1 phase of the cell cycle

Preparation of Cu-based bulk metallic glasses by suction casting

A series of Cu-Hf-Ti alloys prepared by rapid solidification of the melt and by copper mould casting were studied in the present work. Alloy ingots were prepared by arc-melting mixtures of pure metals in an argon atmosphere. An indication of the cooling rate obtained was determined using an Al-4.5 wt%Cu alloy. Cooling rates varied from 540 K/s for the centre section of a 4 mm die to 885 K/s for the outside wall section of the 2 mm die. The glass-forming ability, structure and thermal stability of Cu-Hf-Ti glassy alloys were studied by X-ray diffraction (XRD), differential scanning calorimetry (DSC) and differential thermal analysis (DTA). Bulk glass formation was observed for the Cu64Hf36, Cu55Hf25Ti20 and Cu56Hf25Ti19 alloys, with critical diameters dc for a fully glassy structure of 1, 4 and 5 mm, respectively. The substitution of Hf by Ti increased the glassforming ability (GFA) and the thermal stability