Search results for "existential"
showing 10 items of 368 documents
A NOTE ON THE ASYMPTOTIC PROBABILITIES OF EXISTENTIAL SECOND-ORDER MINIMAL GÖDEL SENTENCES WITH EQUALITY
1995
The minimal Gödel class is the class of first-order prenex sentences whose quantifier prefix consists of two universal quantifiers followed by just one existential quantifier. We prove that asymptotic probabilities of existential second-order sentences, whose first-order part is in the minimal Gödel class, form a dense subset of the unit interval.
On languages factorizing the free monoid
1996
A language X⊂A* is called factorizing if there exists a language Y⊂A* such that XY = A* This work was partially supported by ESPRIT-EBRA project ASMICS contact 6317 and project 40% MURST “Algoritmi, Modelli di Calcolo e Strutture Informative”. and the product is unambiguous. First we give a combinatorial characterization of factorizing languages. Further we prove that it is decidable whether a regular language X is factorizing and we construct an automaton recognizing the corresponding language Y. For finite languages we show that it suffices to consider words of bounded length. A complete characterization of factorizing languages with three words and explicit regular expression for the co…
On finding common neighborhoods in massive graphs
2003
AbstractWe consider the problem of finding pairs of vertices that share large common neighborhoods in massive graphs. We prove lower bounds on the resources needed to solve this problem on resource-bounded models of computation. In streaming models, in which algorithms can access the input only a constant number of times and only sequentially, we show that, even with randomization, any algorithm that determines if there exists any pair of vertices with a large common neighborhood must essentially store and process the input graph off line. In sampling models, in which algorithms can only query an oracle for the common neighborhoods of specified vertex pairs, we show that any algorithm must …
Animals in translation: why there is meaning (but probably no message) in animal communication
2010
Fronteras por definir, descontento creciente, alianzas inestables y amenazas externas: la Unión Europea y su tormenta perfecta
2018
espanolLa Union Europea se halla en una crisis existencial tan evidente que incluso politicos y analistas con antecedentes ideologicos diametralmente opues-tos han acabado coincidiendo en su diagnostico, y en la necesidad urgente de una terapia de choque que detenga lo que parece una carrera hacia la destruccion del proyecto europeo. El proposito del presente ensayo es pasar revista —aun al precio de tener que ser extraordinariamente sintetico en su abordaje— a los problemas que han sumido a la Union Europea en la mas grave crisis de su ya larga historia. Problemas que en todo caso son susceptibles de agruparse en cuatro grandes rubros: los que han ralentizado y hasta invertido el proceso d…
A motion planning algorithm for the invalid initial state disassembly problem
2015
Sampling-based motion planners are able to plan disassembly paths at high performance. They are limited by the fact that the input triangle sets of the static and dynamic object need to be free of collision in the initial and all following states. In real world applications, like the disassembly planning in car industry, this often does not hold true. Beside data inaccuracy, this is mainly caused by the modeling of flexible parts as rigid bodies, especially fixture elements like clips. They cause the invalid initial state disassembly problem. In the literature there exists no algorithm that is able to calculate a reasonable disassembly path for an invalid initial state. Our novel algorithm …
2018
Currently, there are various definitions for extreme sports and researchers in the field have been unable to advance a consensus on what exactly constitutes an 'extreme' sport. Traditional theory-led explanations, such as edgeworks, sensation seeking and psychoanalysis, have led to inadequate conceptions. These frameworks have failed to capture the depth and nuances of experiences of individuals who refute the notions of risk-taking, adrenaline- and thrill-seeking or death-defiance. Instead, participants are reported to describe experiences as positive, deeply meaningful and life-enhancing. The constant evolution of emerging participation styles and philosophies, expressed within and across…
The initial training of physical education teachers—In search of the lost meaning of professionalism
2006
This article re-examines the initial training of physical education teachers with the purpose of pinning down its professional significance. The author maintains that we have lost, in part, its meaning, and, in an attempt to recover it, offers two initial strategies: to revisit two basic concepts—education in general and physical education in particular—and to reformulate four key questions: Question 1. What being a physically educated person means… Professionals are urged to establish the objectives of physical education based on the deficiencies, necessities and interests of the children and young people, which are rooted in the nature of the developed societies in which they live (e.g. t…
Negotiating a transnational career around borders: Women's stories in boundaryless academia
2021
The study aimed to give voice to two women sport scientists' life stories to centralize the challenges and ways of coping their career journeys entailed, and enlighten our understanding of the lived experience and meaning of academic migrating. They shared transnational career stories through interviews and ongoing conversations which we re-story in a creative non-fiction story where we blended the two. Our data collection, analysis and representation were informed by theoretical, methodological and interpretive bricolage. As the creative non-fiction story shows, the academic entrepreneur ideal was somewhat disrupted in the women's lives, as migration experiences, aside from thrills, also i…