Results 41 to 50 of about 2,875 (123)
Biblioteka Uniwersytecka w Poznaniu jako „trzecie miejsce”
W artykule omawiam kulturotworczą, wydawniczą i promocyjną dzialalnośc Biblioteki Uniwersyteckiej w Poznaniu, glownie na przestrzeni ostatnich 20 lat. Przedstawiam najwazniejsze przejawy dzialalności kulturotworczej, takie jak: Tydzien Bibliotek, Festiwal Nauki i Sztuki, Noc Naukowcow, wystawy, Żywa Biblioteka, Poznanska Dyskusyjna Akademia Komiksu ...
openaire +4 more sources
Otwarty dostęp do piśmiennictwa naukowego. Przegląd funkcjonujących form – legalnych i nielegalnych
Artykuł prezentuje nowy podział form otwartego dostępu (OD), począwszy od zielonej i złotej drogi poprzez diamentowe, brązowe i hybrydowe ścieżki aż do zjawisk patologicznych funkcjonujących w obszarze OD.
Małgorzata Rychlik, Monika Theus
doaj +1 more source
Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages [PDF]
Fourth of a series of articles laying down the bases for classical first order model theory. This paper supplies a toolkit of constructions to work with languages and interpretations, and results relating them.
Andrzej Trybulec +25 more
core +1 more source
Jak odstraszyć czytelnika, czyli strony internetowe bibliotek [PDF]
Pierwotną wersję artykułu opublikowano w serwisie bibliosfera.net w dniu 3.07.2014; Milewska P. (2014), Jak odstraszyć czytelnika, czyli strony internetowe bibliotek. [W:] bibliosfera.net.
Milewska, Paulina
core +2 more sources
Szkaplerz zakonny początkowo w regule benedyktyńskiej używany był jako fartuch chroniący habit podczas prac fizycznych. Wraz z powstaniem cystersów stał się integralną częścią ubioru zakonnego. Szkaplerz przyjęli m.in.
Elwira Warda
doaj +1 more source
Szkaplerz – Ikonografia przedstawień
Powstanie małego szkaplerza było wynikiem zrzeszania się wiernych w bractwa i tercjarstwa. Dzięki temu osoby świeckie mogły na co dzień nosić szkaplerz jako zewnętrzny znak nawiązujący do ubrania zakonnego, który stał się symbolem okrycia szatą ...
Jolanta Wasilewska
doaj +1 more source
Differentiable Functions on Normed Linear Spaces [PDF]
In this article, we formalize differentiability of functions on normed linear spaces. Partial derivative, mean value theorem for vector-valued functions, continuous differentiability, etc. are formalized.
Agata Darmochwał +31 more
core +2 more sources
A Test for the Stability of Networks [PDF]
A complex polynomial is called a Hurwitz polynomial, if all its roots have a real part smaller than zero. This kind of polynomial plays an all-dominant role in stability checks of electrical (analog or digital) networks.
Rowinska-Schwarzweller, Agnieszka +1 more
core +1 more source
Isomorphisms of Direct Products of Finite Commutative Groups [PDF]
We have been working on the formalization of groups. In [1], we encoded some theorems concerning the product of cyclic groups. In this article, we present the generalized formalization of [1].
Okazaki, Hiroyuki +2 more
core +2 more sources

