Advanced

 
  Search
    Simple search


Results

12 results
1 - 10 / 12
First pagePrevious page12Next pageLast page
1. Deutsche Phraseme mit der Komponente Nase und ihre Entsprechungen im Slowenischen
Melanija Miceska, 2021, bachelor thesis/paper

Keywords: German, Slovene, phraseology, phraseological units, levels of equivalence, contrastive analysis, body parts
Full text (file, 1,40 MB)

2. Behavioural equivalence via modalities for algebraic effects
Alex Simpson, Niels Voorneveld, 2018, published scientific conference contribution

Keywords: computer science, behavioural equivalence, call-by-value functional language, openness, decomposability
Full text (file, 640,49 KB) This document has more files! More...

3. Classifying homogeneous cellular ordinal balleans up to coarse equivalence
Taras Banakh, Igorʹ Vladimirovič Protasov, Dušan Repovš, Sergiy Slobodianiuk, 2017, original scientific article

Keywords: coarse space, ballean, cellular ballean, ordinal ballean, homogeneous ballean, coarse equivalence, cellular entourage, asymptotic dimension, Cantor macro-cube
Full text (file, 600,69 KB)

4. On the Alexandroff-Borsuk problem
Matija Cencelj, Umed H. Karimov, Dušan Repovš, 2017, original scientific article

Keywords: ANR, finite polyhedron, homotopy equivalence, ▫$\varepsilon$▫-map, cellular map, almost-smooth manifold, ▫$|E_8|$▫-manifold, Kirby-Siebenmann class, Galewski-Stern obstruction, non-triangulable manifold, Alexandroff-Borsuk Manifold Problem
Full text (file, 563,72 KB)

5. Classifying homogeneous ultrametric spaces up to coarse equivalence
Taras Banakh, Dušan Repovš, 2016, original scientific article

Keywords: ultrametric space, isometrically homogeneous metric space, coarse equivalence
Full text (file, 598,34 KB)

6. ▫$s$▫-Cobordism classification of 4-manifolds through the group of homotopy self-equivalences
Friedrich Hegenbarth, Mehmetcik Pamuk, Dušan Repovš, 2015, original scientific article

Keywords: s-cobordism, 4-manifold, cohomological dimension, homotopy self-equivalence
Full text (file, 634,43 KB)

7. Equality between programs with effects
Niels Frits Willem Voorneveld, 2020, doctoral dissertation

Keywords: Program equivalence, functional programming, call-by-push-value, behavioural logic, modalities, algebraic effects, applicative bisimilarity, Howe’s method, complete lattices
Full text (file, 2,42 MB)

8. Deutsche Phraseme mit Komponenten „grün“ und „blau“ und ihre slowenischen Entsprechungen
Pina Verena Pečuh, 2021, bachelor thesis/paper

Keywords: German language, Slovenian language, phraseology, phraseological units, equivalence, contrastive analysis, colours, blue, green.
Full text (file, 1,29 MB)

9. A symmetry-breaking node equivalence for pruning the search space in backtracking algorithms
Uroš Čibej, Luka Fürst, Jurij Mihelič, 2019, original scientific article

Keywords: graph equivalence, symmetry breaking, backtracking, monomorphism search, search tree pruning, graph algorithm
Full text (file, 472,07 KB) This document has more files! More...

10. Idioms in Translation: Translation Strategies in Two Slovene Translations of Harry Potter and the Half-Blood Prince by J. K. Rowling
Maruša Lampreht, 2022, master's thesis/paper

Keywords: idioms, idiom translation, translation strategies, translation, cross-linguistic equivalence, phraseology
Full text (file, 1,34 MB)
Search done in 0.05 sec.
Back to top