Search results for " Languages"
showing 10 items of 1859 documents
Feasibility of finite and infinite paths in data dependent programs
2005
This paper considers the feasibility of finite and infinite paths in programs in two simple programming languages. The language LBASE allows to express the dependencies of real time systems on integer data, the language LTIM can model quantitative timing constraints in r.t.s. specifications. It is proven that the problem of whether a given LBASE or LTIM program has an infinite feasible path (i.e. whether it can exhibit an infinite behaviour) is decidable. The possibilities to characterise the sets of all feasible finite and infinite paths in LBASE and LTIM programs are also discussed. The infinite feasible path existence problem is proven decidable also for the language LTIBA which has both…
Conformal equivalence of visual metrics in pseudoconvex domains
2017
We refine estimates introduced by Balogh and Bonk, to show that the boundary extensions of isometries between smooth strongly pseudoconvex domains in $\C^n$ are conformal with respect to the sub-Riemannian metric induced by the Levi form. As a corollary we obtain an alternative proof of a result of Fefferman on smooth extensions of biholomorphic mappings between pseudoconvex domains. The proofs are inspired by Mostow's proof of his rigidity theorem and are based on the asymptotic hyperbolic character of the Kobayashi or Bergman metrics and on the Bonk-Schramm hyperbolic fillings.
The Reconstruction of Polyominoes from Approximately Orthogonal Projections
2001
The reconstruction of discrete two-dimensional pictures from their projection is one of the central problems in the areas of medical diagnostics, computer-aided tomography, pattern recognition, image processing, and data compression. In this note, we determine the computational complexity of the problem of reconstruction of polyominoes from their approximately orthogonal projections. We will prove that it is NP-complete if we reconstruct polyominoes, horizontal convex polyominoes and vertical convex polyominoes. Moreover we will give the polynomial algorithm for the reconstruction of hv-convex polyominoes that has time complexity O(m3n3).
AC is Equivalent to the Coherence Principle. Corrigendum to my Paper "Induction Principles for Sets"
2009
Theorem 3.7 of [1] is corrected. Two coherence principles and the ultrafilter property for partial functions contained in a relation are formulated. The equivalence of the coherent principles with AC and the equivalence of the ultrafilter property with BPI is shown.
The double-incompleteness theorem
1976
Let T be a strong enough theory, and M - its metatheory, both are consistent. Then there is a closed arithmetical formula H that is undecidable in T, but one cannot prove in M neither that H is T-unprovable, nor that H is T-unrefutable. For English translation and proof, see K. Podnieks What is mathematics: Godel's theorem and around.
Some Algebraic Properties of Machine Poset of Infinite Words
2008
The complexity of infinite words is considered from the point of view of a transformation with a Mealy machine that is the simplest model of a finite automaton transducer. We are mostly interested in algebraic properties of the underlying partially ordered set. Results considered with the existence of supremum, infimum, antichains, chains and density aspects are investigated.
New insights into Early Celtic consumption practices: Organic residue analyses of local and imported pottery from Vix-Mont Lassois
2019
The rich Mediterranean imports found in Early Celtic princely sites (7th-5th cent. BC) in Southwestern Germany, Switzerland and Eastern France have long been the focus of archaeological and public interest. Consumption practices, particularly in the context of feasting, played a major role in Early Celtic life and imported ceramic vessels have consequently been interpreted as an attempt by the elite to imitate Mediterranean wine feasting. Here we present the first scientific study carried out to elucidate the use of Mediterranean imports in Early Celtic Central Europe and their local ceramic counterparts through organic residue analyses of 99 vessels from Vix-Mont Lassois, a key Early Celti…
Teacher response pursuits in whole class post-task discussions
2020
This paper explores teacher elicitation practices following a perceived absence of a response to an initial inquiry. Specifically, we focus on whole class post-task discussions where a teacher pursues responses in post-first position following students’ non-uptake, and thus makes her orientation toward the expectation of a response publicly available. The data for this study come from 30 h of video-recorded classroom interactions in an English as a medium of instruction university in Turkey. Using Conversation Analysis, this study demonstrates that when confronted with a non-response to her initial elicitation in whole class interaction, in addition to drawing on interactional resources (e.…
Word search sequences in teacher-student interaction in an English as medium of instruction context
2019
This study explores the ways students in a higher education setting engage in word searches. The investigation draws on 30-hour video recordings of content classes in an English as a medium of instruction university in Turkey. Using conversation analysis, the study focuses on the interactionally accomplished functions of vocal and visual practices deployed by the students in the course of a word search. We revealed that word searches are constructed through publicly visible resources (i.e. gaze, body orientation, gestures) and explicit formulaic expressions (i.e. how can I say it?), and accomplished via bilingual resources. It was also observed that the teacher does not orient to word searc…
Thinking and Content Learning of Mathematics and Science as Cognitional Development in Content and Language Integrated Learning (CLIL): Teaching Thro…
2005
This paper presents a study on thinking and learning processes of mathematics and science in teaching through a foreign language, in Finland. The entity of thinking and content learning processes is, in this study, considered as cognitional development. Teaching through a foreign language is here called Content and Language Integrated Learning or CLIL. CLIL refers to all those diverse programmes, including some forms of immersion and bilingual education, where a foreign language is a medium of instruction, affecting the entire learning process of the learner. Thinking and content learning in CLIL manifests itself as analogical CLIL reasoning systems, based on two languages, and is assumed t…