From the pyramids of Giza to the tombs of Thebes (modern Luxor), ancient Egypt’s glorious history has produced remarkable architecture. Sadly, the nearly four million yearly tourists have taken a heavy toll on many of these ancient structures. Of particular concern are many of the tombs located opposite to Luxor on the western bank of the Nile. Digital reconstruction of these tombs has the pote...

This is the first in a series of lectures given by Mike Hopkins at the Talbot workshop in April of 2007. For this talk, Mike was asked to talk about “the tmf theorem” and to explain some of the motivation and intuition behind the stacky language. As those who have heard him speak know, Mike is a very entertaining lecturer. Sadly, these notes reflect only the mathematical content of his talks, l...

Intersection and union types denote conjunctions and disjunctions of properties. Using bidirectional typechecking, intersection types are relatively straightforward, but union types present challenges. For union types, we can case-analyze a subterm of union type when it appears in evaluation position (replacing the subterm with a variable, and checking that term twice under appropriate assumpti...

0 Introduction This workshop is meant to contain some interaction between computer science and philosophy. I am a philosopher, and I have got some space to try to make visible some views of my philosophical-ontological realism. According to my experience, I am sorry to say, people who work mainly with data assembled in interviews – be they anthropologists, sociologists, cultural-studies-people,...

Extracellular recordings with multi-electrode arrays is one of the basic tools of contemporary neuroscience. These recordings are mostly used to monitor the activities, understood as sequences of emitted action potentials, of many individual neurons. But the raw data produced by extracellular recordings are most commonly a mixture of activities from several neurons. In order to get the activiti...

Sadly, progress in AI has confirmed earlier conclusions, reached using formal domains, about the strict limits of human i formation processing and has also shown that these limits are only partly remedied by intuition. More positively, AI offers mankind a unique avenue to circumvent its cognitive limits: (1) by acting as a prosthesis extending processing capacity and size of the knowledge base;...

When people ask me, as they often do, to recommend a single-volume overview of American economic history, I always feel stumped. Sometimes suggest textbooks in the field, sadly all out date at this writing, and sometimes monographs that cover specific periods or topics. Now, finally, have good answer. can Jonathan Levy's Ages Capitalism . A comprehensive narrative runs from colonial period thro...

Sometimes, a diagram can say more than a thousand lines of code. But, sadly, most of the time, software engineers give up on diagrams after the design phase, and all real work is done in code. The supremacy of code over diagrams would be leveled if diagrams were code. This paper suggests that model and instance diagrams, or, which amounts to the same, class and object diagrams, become first lev...

This is a book for which there is a great need. It is sadly true, that, though the Churches have excellent publications on this subject, the great majority of people are suspicious of them, because they feel that the Churches are naturally in favour of religion. This book is the result of the collaboration between a well-known psychologist and a parish priest. The essential beliefs of Christian...

Background: Microbiota have evolved to acclimate themselves to many environments. Humanity is become ever increasingly medicated and many of those medications are antibiotics. Sadly, Microbiota are adapting to medication and with each passing generation they become more difficult to subdue. The 16S small subunit of bacterial ribosomal rRNA provides a wealth of information for classifying the sp...