The Universal Intelligence Measure is a recently proposed formal definition of intelligence. It is mathematically specified, extremely general, and captures the essence of many informal definitions of intelligence. It is based on Hutter’s Universal Artificial Intelligence theory, an extension of Ray Solomonoff’s pioneering work on universal induction. Since the Universal Intelligence Measure is...

We give a definition of isometric action of a compact quantum group on a compact metric space, generalizing the definition given by Banica for finite metric spaces, and prove the existence of the universal object in the category of compact quantum groups acting isometrically on a given compact metric space.

The foundation of a generic modelling tool is its flexible diagramming facility. The paper proposes a universal graphical editor definition language based on logical metamodel extended by presentation classes. Some more advanced diagram definition facilities such as patterns and diagram cores are also introduced. Implementation principles of this language, based on Graphical Diagramming Engine ...

"Community systems are created, maintained, or modified by human behavior and interaction," say Berger Luckman. Society social institutions objectively realistic, but in reality they all subsumed into subjective definitions through a process of interaction. New objectivity emerges repeated affirmations given other people who have the same definition that definition. At highest geological level,...

To present a sharp criticism of the approach known as universal planning, I begin by giving a precise definition of it. The key idea in this work is that an agent is working to achieve some goal and that to determine what to do next in the pursuit of this goal, the agent finds its current situation in a large table that prescribes the correct action to take. Of course, the action suggested by t...

This paper discusses the question of whether Universal Grammar is relevant to the study of second language acquisition—in particular second language phonology. It will be shown that the notion of Universal Grammar has been hard to define coherently, which makes it difficult to implement it in second language acquisition research. One framework which offers a possibly explicit definition of Univ...

“Stat rosa pristina nomine, nomina nuda tenemus” “The rose of old remains only through its name and we hold bare names.” Umberto Eco. Il nome della We both started to think about, research on, HF about 40 years ago, right with the publication first edition Braunwald's textbook in 1980. That was so clear. It time for us that found all essentials pathophysiology, diagnosis therapy heart disease c...

The proof assistant Isabelle has recently acquired a “local theory” concept that integrates a variety of mechanisms for structured specifications into a common framework. We explicitly separate a local theory “target”, i.e. a fixed axiomatic specification consisting of parameters and assumptions, from its “body” consisting of arbitrary definitional extensions. Body elements may be added increme...

Title of dissertation: NEW NOTIONS AND MECHANISMS FOR STATISTICAL PRIVACY Adam Groce, Doctor of Philosophy, 2014 Dissertation directed by: Professor Jonathan Katz Department of Computer Science Many large databases of personal information currently exist in the hands of corporations, nonprofits, and governments. The data in these databases could be used to answer any number of important questio...