Formal Arithmetic Before Grundgesetze

A speculative investigation of how Frege's logical views change between Begriffsschrift and Grundgesetze and how this might have affected the formal development of logicism

Does Socrates vindicate the coherence theory of truth?

Within Plato's Socratic Dialogues we routinely observe the character of Socrates employing a formal, yet largely unexplained method of investigation into the beliefs that his interlocutors hold as true. Socrates even goes so far as to claim there will be discord within them their whole life should they not be able refute one of his controversial and counter-intuitive revealed truths. With the beliefs under investigation striking to the core of how one should live a good life, this paper seeks to investigate whether Socrates' formal method justifies him in making the claims he does. After exposing the methodology of his technique, we turn to investigate the theory of truth that the method represents, seeking to ascertain a greater understanding of what truth means to Socrates when he makes the claim that a belief is true

Clones in Graphs

Finding structural similarities in graph data, like social networks, is a far-ranging task in data mining and knowledge discovery. A (conceptually) simple reduction would be to compute the automorphism group of a graph. However, this approach is ineffective in data mining since real world data does not exhibit enough structural regularity. Here we step in with a novel approach based on mappings that preserve the maximal cliques. For this we exploit the well known correspondence between bipartite graphs and the data structure formal context $(G,M,I)$ from Formal Concept Analysis. From there we utilize the notion of clone items. The investigation of these is still an open problem to which we add new insights with this work. Furthermore, we produce a substantial experimental investigation of real world data. We conclude with demonstrating the generalization of clone items to permutations.Comment: 11 pages, 2 figures, 1 tabl

Microsoft and the European Union Face Off Over Internet Privacy Concerns

Amidst what appears to be a multi-faceted attack by the European Union on Microsoft, the newest angle is the European Commission\u27s announcement last month that it was considering a formal investigation of Microsoft\u27s .Net Passport data processing system for possible violations of the European Union Data Privacy Directive. This iBrief explores the European Data Privacy Directive and seeks to explain why the European Commission believes .Net Passport may be in violation of its privacy policies and a case for further investigation

Accident investigation

Aircraft accident investigations are discussed with emphasis on those accidents that involved weather as a contributing factor. The organization of the accident investigation board for air carrier accidents is described along with the hearings, and formal report preparation. Statistical summaries of the investigations of general aviation accidents are provided

Modeling adaptation with a tuple-based coordination language

In recent years, it has been argued that systems and applications, in order to deal with their increasing complexity, should be able to adapt their behavior according to new requirements or environment conditions. In this paper, we present a preliminary investigation aiming at studying how coordination languages and formal methods can contribute to a better understanding, implementation and usage of the mechanisms and techniques for adaptation currently proposed in the literature. Our study relies on the formal coordination language Klaim as a common framework for modeling some adaptation techniques, namely the MAPE-K loop, aspect- and context-oriented programming

Invariants, Kronecker Products, and Combinatorics of Some Remarkable Diophantine Systems (Extended Version)

This work lies across three areas (in the title) of investigation that are by themselves of independent interest. A problem that arose in quantum computing led us to a link that tied these areas together. This link consists of a single formal power series with a multifaced interpretation. The deeper exploration of this link yielded results as well as methods for solving some numerical problems in each of these separate areas.Comment: 33 pages, 5 figure

Mean-field expansion in Bose-Einstein condensates with finite-range interactions

We present a formal derivation of the mean-field expansion for dilute Bose-Einstein condensates with two-particle interaction potentials which are weak and finite-range, but otherwise arbitrary. The expansion allows for a controlled investigation of the impact of microscopic interaction details (e.g., the scaling behavior) on the mean-field approach and the induced higher-order corrections beyond the s-wave scattering approximation.Comment: 6 pages of RevTex4; extended discussion, added reference