Structural induction schemes have been used for mechanically proving properties of self-recursive concepts in previous research. However, based on those schemeq, it becomes very difficult to automatically generate the right induction hypotheses whenever the conjectures are involved with mutually recursive concepts. This paper will show that the difficulties come mainly from the weak induction s...

Executive summary This deliverable proposes the software infrastructure and the data representation and exchange format for the ConCreTe project which will build concept creation systems that cooperate across the Internet, enabling ConCreTe partners to collaborate efficiently. To this end, the underlying technology is based on the concept of Web service architecture, allowing software developed...

A review is given of precise formulations of three conceptually distinct but related manifestations of Heisenberg's Uncertainty Principle. This principle appears in the form of trade-off inequalities: for the widths of the position and momentum distributions in any quantum state; for the inaccuracies of any joint measurement of these quantities; and for the inaccuracy of a measurement of one of...

The relevance of the research is caused by need to find a method that provides complete and systematic presentation Russian grammar. aim study discuss prospects for creating grammar will clarify reasons features each level language principle mutual functional coordination all levels. Structural systemic models constructing grammatical theory became object study, comparative analysis these was u...

This paper describes a rational reconstruction of Einstein’s discovery of special relativity, validated through an implementation: the Erlanger program. Einstein’s discovery of special relativity revolutionized both the content of physics and the research strategy used by theoretical physicists. This research strategy entails a mutual bootstrapping process between a hypothesis space for biases....

It is generally agreed that the cerebral cortex can be segregated into structurally and functionally distinct areas. Anatomical subdivision of Broca's area has been achieved using different microanatomical criteria, such as cytoarchitecture and distribution of neuroreceptors. However, brain function also strongly depends upon anatomical connectivity, which therefore forms a sensible criterion f...

The restoration of an entire epicortical ECoG-potential pattern from spatially sampled EEG-potentials can be performed according to the general principle of inverse spatial filtering: if a forward spatial filter is an averaging one, then a mutually inverse spatial filter can form a sharpened pattern from a slurred sampled pattern thus restoring more or less a spatial contrast of a primary sourc...

Safety vs. innovation Safety and innovation are not and need not be antagonists, but synonyms. If innovation is driven by safety, we can hopefully accelerate the rate of innovation desperately needed in medicine. In the surgical microcosm, it is not infrequent to hear the voices of surgical conservatism question innovation: why change the current device or method? It is proven to work, it is ve...

This study aims to see whether the president can serve his term of office for 3 periods (15 years) from a democratic point view. research itself uses literature as basis data collection. The theory democracy is used reference view, and also it will harm or not. results show that hold if Article 7 1945 Constitution Republic Indonesia amended again. In addition, majority people want more than 2 (...