Landauer's principle as a special case of Galois connection

It is demonstrated how to construct a Galois connection between two related systems with entropy. The construction, called the Landauer's connection, describes coupling between two systems with entropy. It is straightforward and transfers changes in one system to the other one preserving ordering structure induced by entropy. The Landauer's connection simplifies the description of the classical Landauer's principle for computational systems. Categorification and generalization of the Landauer's principle opens area of modelling of various systems in presence of entropy in abstract terms.Comment: 24 pages, 3 figure

Covert Computation in Self-Assembled Circuits

Traditionally, computation within self-assembly models is hard to conceal because the self-assembly process generates a crystalline assembly whose computational history is inherently part of the structure itself. With no way to remove information from the computation, this computational model offers a unique problem: how can computational input and computation be hidden while still computing and reporting the final output? Designing such systems is inherently motivated by privacy concerns in biomedical computing and applications in cryptography. In this paper we propose the problem of performing "covert computation" within tile self-assembly that seeks to design self-assembly systems that "conceal" both the input and computational history of performed computations. We achieve these results within the growth-only restricted abstract tile assembly model (aTAM) with positive and negative interactions. We show that general-case covert computation is possible by implementing a set of basic covert logic gates capable of simulating any circuit (functionally complete). To further motivate the study of covert computation, we apply our new framework to resolve an outstanding complexity question; we use our covert circuitry to show that the unique assembly verification problem within the growth-only aTAM with negative interactions is coNP-complete

Philosophy of Computer Science: An Introductory Course

There are many branches of philosophy called “the philosophy of X,” where X = disciplines ranging from history to physics. The philosophy of artificial intelligence has a long history, and there are many courses and texts with that title. Surprisingly, the philosophy of computer science is not nearly as well-developed. This article proposes topics that might constitute the philosophy of computer science and describes a course covering those topics, along with suggested readings and assignments

Inspiring the Wonderment: Emotional Intelligence in Higher Education

The purpose of this research was to shed insight on the degree to which instructor Emotional Intelligence (EI) may moderate the student/teacher relationship. Interviews were conducted to gather qualitative data on the experience of several students at a private university in the Midwest. The findings suggest that there appears to be a positive relationship between instructor EI and a positive academic experience by the student. Further research on this topic may indicate that institutions may also benefit from incorporating the tracking and evaluating of EI in their faculty body to enhance academic success student

Promoting Journalism as Method

The marketplace of ideas has been a centerpiece of free speech jurisprudence for a century. According to the marketplace theory, the vigorous competition of ideas, free from government interference, is the surest path to truth. As our metaphorical marketplace has moved online, the competition has never been so heated. We should be drowning in truth. Yet, in reality, truth has perhaps never been more elusive. As we struggle to promote democratic debate and surface truth in our chaotic networked public sphere, we are understandably drawn to familiar frames and tools. These include the source of the marketplace of ideas theory—the First Amendment—as well the institutional press, once a key gatekeeper of that marketplace. Yet, both the institutional press and the First Amendment have limitations that hamper their ability to spark transformative change. Instead, this Article proposes that we look to journalism. Journalism is not the press or a journalist. Rather, it is a method and a practice—an evolving system for gathering, curating, and conveying information. Among its aims are accuracy and truth, the checking of power, and the creation of spaces for criticism and compromise. Seeding and propagating journalism could have numerous benefits. It could help to provide some of the norms desperately needed for our new information environment. It might inject democratic values into an information ecology that is driven by profit-seeking. It could create friction where speed and scale now reign. Finally, it could help reinvigorate and even repopulate an institutional press in desperate need of reinforcement