Wyniki wyszukiwania - Biblioteka Nauki

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 7

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Complexity of Type Inference

100%

Tyszkiewicz J.

tom Vol. 103, nr 1-4

289-301

This paper contains the English version of my Master's thesis [6] written about 22 years ago under supervision of Jerzy Tiuryn. Its main result is the proof of PTIME-completeness of the type reconstruction problem for simply typed lambda calculus. About the time I had the English paper ready, a much simpler proof [3] by John Mitchell (later published in [4]) was announced. Therefore my thesis remained an unpublished manuscript, but has been referenced to in a number of other papers. The TEX sources went lost in the meantime, so the present paper has been re-typed from scratch, but is almost identical to the original one written many years ago.

Turkolodzy polscy w czasie II wojny światowej

100%

Tyszkiewicz J.

tom R. 63, nr 4

71--92

There were eight Turcologists in 1939 in Poland, including three professors: Władysław Kotwicz at the University of Lvov, Tadeusz Kowalski at the Jagiellonian University and Ananiasz Zajączkowski at the University of Warsaw. Muslim mufti in Poland Jakub Szynkiewicz and Marian Lewicki (University of Lvov) had a PhD in Oriental studies. Stanisław Szachno-Romanowicz, employee at the Main Archives in Warsaw, had an MA in Arabic studies and a PhD in Semitic studies. Master’s degrees in Oriental studies received: Ali Woronowicz (Lvov) and Turcologist Seraja Szapszał (St. Petersburg). A distinguished author and organizer of cultural life of the Karaites was Aleksander Mardkowicz (magazine “Karaj Awazy”) and of Tartars - Leon and Olgierd Kryczyński (magazine “Rocznik Tatarski”). Stanisław Kryczyński, with an MA in history, co-operated with the Tartars. Some of them were executed for political reasons,- Leon Kryczyński by the Germans (1939), Olgierd Kryczyński by the Soviet secret police NKVD (1942), Ali Woronowicz died in NKVD prison (1941); the last two for co-operation with the “Prometeusz” movement. Tadeusz Kowalski together with other Jagiellonian University professors was imprisoned in the Sachsenhausen camp (until 8.2.1940). Jobless and emaciated, the following died of natural causes: Stanisław Kryczyński (1941), Aleksander Mardkowicz (1944) and Władysław Kotwicz (1944). The following survived the war: Jakub Szynkiewicz (emigrated in 1944), Seraja Szapszał was detained in the Lithuanian Socialist Republic, Stanisław Szachno-Romanowicz, evacuated in 1939, remained as an expatriate in London. Doing odd jobs, the following survived the war: Tadeusz Kowalski, Ananiasz Zajączkowski, Marian Lewicki. After 1945 they took up scientific work.

Computability by Sequences of Queries

100%

Tyszkiewicz J.

2001

tom Vol. 48, nr 4

389-414

We consider a model of querying remote databases, in which we compute results of queries not supported by the database system, by using sequences of supported queries and analysing locally their results. We study the expressiveness of this model of computation, as well as its complexity, measured in terms of the number of queries used.

Czlowiek w Pieninach

75%

Tyszkiewicz J.

tom 01

11-16

'Magik': a scholar's modern tool

63%

Barczuk M. , Tyszkiewicz J.

nr 3(105)

224-228

This article presents our programme written in view of it being taken advantage of by the literary scholars' milieu, particularly, those dealing with textology and scientific editorship. The programme enables clear presentation of differences between various versions of a text. We try to describe to the reader a general idea of how the program may operate and to make them aware of the barriers limiting the programme.

Puszcze nad Narwią w średniowieczu

51%

Tyszkiewicz J.

nr 12

Korespondencya Wszechświata. Meteoryt

23%

Tyszkiewicz J.

nr 10