Displaying similar documents to “LuaTeX version 1.0.0”

Around stable forking

Byunghan Kim, A. Pillay (2001)

Fundamenta Mathematicae

Similarity:

We discuss various conjectures and problems around the issue of when and whether stable formulas are responsible for forking in simple theories. We prove that if the simple theory T has strong stable forking then any complete type is a nonforking extension of a complete type which is axiomatized by instances of stable formulas. We also give another treatment of the first author's result which identifies canonical bases in supersimple theories.

A Note on the Uniqueness of Stable Marriage Matching

Ewa Drgas-Burchardt (2013)

Discussiones Mathematicae Graph Theory

Similarity:

In this note we present some sufficient conditions for the uniqueness of a stable matching in the Gale-Shapley marriage classical model of even size. We also state the result on the existence of exactly two stable matchings in the marriage problem of odd size with the same conditions.

Decompositions of saturated models of stable theories

M. C. Laskowski, S. Shelah (2006)

Fundamenta Mathematicae

Similarity:

We characterize the stable theories T for which the saturated models of T admit decompositions. In particular, we show that countable, shallow, stable theories with NDOP have this property.

The Lvov years of Wacław Sierpiński

Andrzej Schinzel (2009)

Banach Center Publications

Similarity:

An account is given of Sierpiński's activity in Lvov (1908-1918) interrupted by World War I.

MkIV Hybrid Technology

Hans Hagen (2011)

Zpravodaj Československého sdružení uživatelů TeXu

Similarity:

The paper presents development, new features and tools of LuaTeX and ConTeXtMkIV.

A letter to Bohuš

Mirna Džamonja (2019)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

A few words about an old friend and a long-standing society.

Education of future geography teachers in Slovenia

Tatjana Resnik Planinc (2019)

Annales Universitatis Paedagogicae Cracoviensis Studia Geographica

Similarity:

This paper presents the development of the didactics of geography at the Department of Geography, Faculty of Arts, University of Ljubljana from its beginnings in the 19th century up to the present day. Important milestones are discussed and the present situation described. The author first discusses how different approaches were developed over the years, then focuses on the current situation through the presentation of some selected ways of educating, equipping and developing a good...

Creating a Kanji Stroke Order Font

Timothy Eyre (2010)

Zpravodaj Československého sdružení uživatelů TeXu

Similarity:

This article describes how a font that displays Kanji Stroke Orders can be created from thousands of svg files containing this information.

On SαS density function

Grażyna Mazurkiewicz (2005)

Discussiones Mathematicae Probability and Statistics

Similarity:

In this paper, we study some analytical properties of the symmetric α-stable density function.

Vector Optimization Results for ℓ -Stable Data

Marie Dvorská (2013)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Similarity:

The aim of this paper is to summarize basic facts about ℓ -stable at a point vector functions and existing results for certain vector constrained programming problem with ℓ -stable data.

Compositions of equi-dimensional fold maps

Yoshihiro Hirato, Masamichi Takase (2012)

Fundamenta Mathematicae

Similarity:

According to Ando's theorem, the oriented bordism group of fold maps of n-manifolds into n-space is isomorphic to the stable n-stem. Among such fold maps we define two geometric operations corresponding to the composition and to the Toda bracket in the stable stem through Ando's isomorphism. By using these operations we explicitly construct several fold maps with convenient properties, including a fold map which represents the generator of the stable 6-stem.

ConTeXt for 'Zines

Timothy Eyre (2011)

Zpravodaj Československého sdružení uživatelů TeXu

Similarity:

The article describes the design of the New Escapologist magazine, our motivations for using ConTeXt, some of the typographical features of the magazine and my experiences with using the ConTeXtMark II macro package.

C¹ stable maps: examples without saddles

J. Iglesias, A. Portela, A. Rovella (2010)

Fundamenta Mathematicae

Similarity:

We give here the first examples of C¹ structurally stable maps on manifolds of dimension greater than two that are neither diffeomorphisms nor expanding. It is shown that an Axiom A endomorphism all of whose basic pieces are expanding or attracting is C¹ stable. A necessary condition for the existence of such examples is also given.

Two Applications of SWIGLIB: GraphicsMagick and Ghostscript

Luigi Scarso (2015)

Zpravodaj Československého sdružení uživatelů TeXu

Similarity:

We present two applications of SWIGLIB: a binding to the GraphicsMagick library that under certain conditions can speed up conversion of bitmaps by up to 20% and a binding to the Ghostscript library that simplifies the integration of PostScript programs in ConTeXt with the LuaTeX engine. Examples of TIFF conversion and barcodes in PostScript are shown.