Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "compilation" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 33
Tytuł:
Adaptacje biblijne we współczesnym chrześcijańskim teatrze amatorskim
Biblical adaptations in contemporary Christian amateur theatre
Autorzy:
Lach, Mariusz
Powiązania:
https://bibliotekanauki.pl/articles/32083860.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Gdański. Wydział Filologiczny
Tematy:
: Biblia
teatr biblijny
teatr amatorski
dramat
przepisywania
kompilacja
adaptacja
Bible
biblical theatre
amateur theatre
play
drama
rewriting
compilation
adaptation
Opis:
Teatry chrześcijańskie starają się często przenosić na scenę treści biblijne, których celem nadrzędnym jest opowiadana historia wraz z przekazem, jaki ona niesie. Podczas przygotowywania scenariuszy wykorzystywane są takie działania, jak różny stopień redukcji tekstu biblijnego, uaktualnianie wydarzeń czy różnego rodzaju kompilacje. Autorzy tych przedstawień bądź dramaturdzy zaproszeni do współpracy dokonują niejednokrotnie świadomego wyboru tekstów, dzięki którym powstają uniwersalne opowieści mające na celu głoszenie kerygmatu. Zauważa się coraz bardziej zamierzone operowanie różnymi formami stylistycznymi w celu stworzenia dojrzałych i wartościowych spektakli.
Christian theatres often try to transfer biblical content to the stage, the main goal of which is the story told along with the message it carries. During the preparation of scenarios, activities such as text simplification, updating events, and other various types of compilations are used. The authors of these performances or the playwrights invited to cooperate, often make a conscious choice of texts, thanks to which universal stories are created to proclaim the kerygma. There is an increasingly awareness in the use of various stylistic forms in order to create mature and valuable performances.
Źródło:
Język - Szkoła - Religia; 2023, 18; 205-216
2080-3400
Pojawia się w:
Język - Szkoła - Religia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dylematy autora antologii
Dilemmas of the Author of Anthology
Autorzy:
Tomkowski, Jan
Powiązania:
https://bibliotekanauki.pl/articles/2129160.pdf
Data publikacji:
2022-06-12
Wydawca:
Uniwersytet Warszawski. Wydawnictwa Uniwersytetu Warszawskiego
Tematy:
tworzenie antologii
antologista
problemy antologijnego wyboru
warsztat autora antologii
anthology compilation
anthologist
competence of the author of anthology
problematic anthology choices
Opis:
Każda antologia jest wyzwaniem, a oczekiwania autora i czytelnika, nie mówiąc już o specjalistach, historykach czy krytykach literatury, często okazują się trudne do pogodzenia. Zawsze jesteśmy skazani na kompromis między subiektywną wizją a obowiązującym stereotypem, który bywa identyczny z utrwalonym od dawna kanonem. Gruntowna rewizja obrazu epoki, nurtu, prądu czy tematu zwykle graniczy z pewnym ryzykiem.  Tekst Dylematy autora antologii jest pisany z perspektywy humanisty-praktyka, który ma w swoim dorobku kilka prób stworzenia literackich kolekcji, a jeszcze więcej − z rozmaitych powodów − zaplanował, ale nie doczekały się one realizacji. Niestety, wnioski są mało optymistyczne, bo jak się zdaje, w dzisiejszych czasach antologie nie należą do przedsięwzięć popularnych. Wymagają żmudnej pracy, nakładów finansowych, wreszcie odwagi ze strony edytora, który raczej nie może liczyć na szybki komercyjny sukces. Nowym antologiom nie sprzyja również dość powszechna dostępność w sieci tekstów kiedyś mało znanych, starodruków i roczników dawnych czasopism nie wyłączając. Zdaniem autora, ten informacyjny aspekt pracy antologisty schodzi być może na dalszy plan, pozostaje jednak idea antologii jako dzieła artystycznego.
Each and every anthology is a tremendous challenge as the expectations of the author and the reader, let alone the experts, historians, or literary critics, prove to be difficult to meet. We are doomed to accept a compromise between a subjective concept and a binding stereotype which often happens to correspond closely to the long-established canon. Revisiting the epoch, movement, or a subject matter is and has always been a perilous task. The author of the article declares himself an experienced humanist who has already compiled some literary collections and arranged to compile more, but for some reason they still have not been brought into being. The situation does not appear to be optimistic as publishing anthologies is far from being a popular project to take on. Working on an anthology is tedious, financially exhausting and most of all it requires a great deal of courage on the part of an editor as they  cannot expect it to be a thriving business. What makes the situation even more upsetting, current anthology releases are threatened by a widespread Internet access, which offers a wide range of rare texts such as old prints and old year’s issues of journals available at the click of a button. However, the author points out that perhaps the informative function of an anthology may be in eclipse, but the concept of an anthology as an artistic creation remains unshattered.
Źródło:
Prace Filologiczne. Literaturoznawstwo; 2022, 12 (15); 261-273
2084-6045
2658-2503
Pojawia się w:
Prace Filologiczne. Literaturoznawstwo
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Interpretacyjne konstruowanie przestrzeni architektonicznej. Fasada a struktura. Obraz bądź system
Interpretative constructing of architectural space. Façade vs structure. Image or system
Autorzy:
Nawrot, Grzegorz
Powiązania:
https://bibliotekanauki.pl/articles/1848887.pdf
Data publikacji:
2021
Wydawca:
PWB MEDIA Zdziebłowski
Tematy:
architektonika
interpretacja
przestrzeń architektoniczna
dom zwarty
dom kompilacyjny
architectonics
interpretation
architectural space
compact house
compilation house
Opis:
Interpretacje przestrzeni architektonicznej odbywają się na trzech poziomach. Pierwszy, swoiście ponadarchitektoniczny - konstruuje wielodyscyplinarny model Idei, która adekwatnie ukształtuje później również koncept architektury. Drugi - odnosi się do rozwiązań przestrzenno-formalnych i estetycznych. Trzeci - to indywidualnie subiektywne interpretacje dokonywane przez poszczególnych obserwatorów. Pierwszy - abstrakcyjnie kształtuje niematerialną strukturę kompozycji przekazywanej Idei (treści, znaczeń, miejsc, funkcji, estetyki itp.), nadając jej na przykład formę zwartą bądź rozproszoną. Drugi - stanowiąc materialną emanację pierwszego, konstruuje odpowiadającą mu strukturę materialną, na przykład: filozoficznej metafory zwartego gmachu bądź rozproszoną - kompilacyjną. Trzeci - ma odniesienie w doświadczeniach obserwatorów.
Architectural space may be interpreted on three levels. The first, in a way going beyond architecture, constructs a multidisciplinary model of the Idea, which will adequately form the concept of architecture later on. The second relates to spatial-formal and aesthetic solutions. The third is the individually subjective interpretations made by individual observers. The first – abstractly forms the non-material structure of the communicated Idea’s composition (content, meanings, places, functions, aesthetics, etc.), giving it, for example, a compact or dispersed form. The second - being a material emanation of the first - constructs a corresponding material structure, for example, a philosophical metaphor of a compact edifice or dispersed - compilation. The third - is manifested in the experience of the observers.
Źródło:
Builder; 2021, 25, 4; 42-45
1896-0642
Pojawia się w:
Builder
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kompilacja bibliotek iOS w systemie Linux z wykorzystaniem narzędzi open-source
Compilation of iOS frameworks from Linux operating system using open-source tools
Autorzy:
Rutkowski, Łukasz
Kopniak, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/2055119.pdf
Data publikacji:
2021
Wydawca:
Politechnika Lubelska. Instytut Informatyki
Tematy:
iOS frameworks
LLVM compiler
cross-compilation
open source tools
biblioteki iOS
kompilator LLVM
kompilacja skośna
narzędzia open-source
Opis:
W artykule opisano analizę możliwości wykorzystania narzędzi open-source do kompilacji bibliotek iOS w systemie operacyjnym Linux. Celem analizy jest sprawdzenie możliwości przeprowadzenia kompilacji w systemie Linux oraz wykrycie potencjalnych ograniczeń przy wykorzystaniu kompilatora LLVM. Badania przeprowadzono na autorskich bibliotekach napisanych w językach Objective-C oraz Swift, które zawierały pliki graficzne o różnych formatach i rozmiarach, jak również pliki tekstowe. Uzyskano wyniki które wskazują, że kompilacja bibliotek iOS w systemie Linux jest możliwa pod warunkiem, że kompilowane biblioteki nie wykorzystują komponentów opisanych w formacie xib, do kompilacji których na systemie Linux nie istnieje odpowiednik narzędzia kompilacyjnego z systemu macOS.
This paper analyzes possibility of using open-source tools to compile iOS frameworks in Linux operating system. The purpose of this analysis was to determine how compilation in Linux could be performed and identify possible limita-tions when using LLVM compiler. The analysis has been performed on own frameworks written using Objective-C and Swift languages containing graphic and text files in different formats and sizes. Results of the analysis show that compilation of iOS frameworks under Linux operating system is possible unless the compiler frameworks use interface components written in xib format for which there are no compilation tools available on Linux operating system.
Źródło:
Journal of Computer Sciences Institute; 2021, 19; 132--138
2544-0764
Pojawia się w:
Journal of Computer Sciences Institute
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Porównanie szybkości kompilowania kodów preprocesorów SCSS oraz LESS
Comparison of the compilation speed of the SCSS and LESS preprocessors
Autorzy:
Berkovskyy, Andrii
Voskoboinik, Kostiantyn
Badurowicz, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/1837834.pdf
Data publikacji:
2021
Wydawca:
Politechnika Lubelska. Instytut Informatyki
Tematy:
CSS preprocessors
compilation speed comparison
SCSS
LESS
preprocesory CSS
porównanie szybkości kompilowania
Opis:
Ten artykuł jest poświęcony porównaniu szybkości kompilowania kodów preprocesorów SCSS oraz LESS. Każdy preprocesor ma swoją składnię, która w ciągu dalszym tworzenia strony webowej jest transpilowana do składni języka arkuszy stylów CSS. Technologie te służą temu samemu celowi – uproszczeniu i przyśpieszeniu pisania widoków stron, ale bazują się na różnych językach programowania – języku Ruby (SCSS) oraz JavaScript (LESS). W ramach przepro-wadzonych badań dokonano pomiarów czasów kompilacji kodów w formacie SCSS i LESS o rozmiarach 10, 50, 100 i 200 kB, otrzymane wyniki jednoznacznie pokazały, że szybszym narzędziem do przetwarzania kodu na składnię CSS okazał się LESS. W analizach pod uwagę również wzięto wielkość kodu wynikowego CSS.
This article compares the compilation speed of the SCSS and LESS preprocessor codes. Each preprocessor has its own syntax, which is transpiled into the CSS stylesheet language in the further development of the web page. These technol-ogies serve the same purpose - to simplify and speed up the writing of page views, but are based on different program-ming languages - Ruby (SCSS) and JavaScript (LESS). As part of the research, the compilation times of the codes in the SCSS and LESS format with sizes of 10, 50, 100 and 200 kB were measured, the obtained results clearly showed that LESS turned out to be a faster tool for processing the code into CSS syntax. The size of the CSS result code was also taken into account in the analyzes.
Źródło:
Journal of Computer Sciences Institute; 2021, 20; 225-229
2544-0764
Pojawia się w:
Journal of Computer Sciences Institute
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Translation and terminological challenges encountered in the compilation of the English-Polish, Polish-English photogrammetric dictionary
Autorzy:
Kwiatek, Ewelina
Powiązania:
https://bibliotekanauki.pl/articles/1191731.pdf
Data publikacji:
2020
Wydawca:
Uniwersytet Wrocławski. Oficyna Wydawnicza ATUT – Wrocławskie Wydawnictwo Oświatowe
Tematy:
photogrammetric dictionary
terminology
glossary
equivalence
conceptual mismatches
Opis:
This paper describes a terminology project aimed at creating a fully bilingual English-Polish, Polish-English photogrammetric dictionary that is targeted at both field and language experts. The dictionary includes terms, definitions, full names of terms and their abbreviations, indications of the field to which a term belongs, synonyms, cross-references to related concepts, grammatical information, and equivalents. The starting point for the dictionary was the photogrammetric terminology glossary compiled by Granshaw (2016) from texts published in the “Photogrammetric Record” magazine.
Źródło:
Studia Translatorica; 2020, 11; 71-83
2084-3321
2657-4802
Pojawia się w:
Studia Translatorica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Źródła barokowej wiedzy medycznej i ich autorytetu oraz zaufanie wobec leczących w świetle wybranych tekstów z pierwszej połowy XVII w. o zwalczaniu dżumy
Baroque sources of medical knowledge and trust towards physicians in the light of writing on the plague from the first part of the 17th century
Autorzy:
Kuran, Michał
Powiązania:
https://bibliotekanauki.pl/articles/1396429.pdf
Data publikacji:
2020-12-31
Wydawca:
Polska Akademia Nauk. Instytut Historii Nauki im. Ludwika i Aleksandra Birkenmajerów
Tematy:
medycyna w XVII w. w Polsce
autorytet
kompilacja
imitacja
religia wobec medycyny
Marcin z Klecka
Knut Mikaelsson
Sebastian Śleszkowski
Sebastian Petrycy
Walenty Bartoszewski
medicine in 17th-century Poland
authority
compilation
imitation
religion and medicine
Martin from Kleck
Opis:
The article presents the mechanism of imitation and compilation used in the creation of Polish medical texts about the plague on the example of texts “O ziołach i mocy ich” by Stefan Falimirz, “Preserwatywa przeciwko morowemu powietrzu doświadczona” by Martinus Clecensis, “Bezoar z łez ludzkich” by Walenty Bartoszewski, and many others. Old Polish medical texts, regardless of their scientific or popular character, were created in order to popularise medical knowledge and convince the reader of the effectiveness of the proposed cure. Analysed texts showed the strong connection of medicine, astrology and religion, as well as the conviction about a direct link between the medicine of the soul and the body. As such, they were often used to reinforce the religious vision of the world.
Źródło:
Analecta. Studia i Materiały z Dziejów Nauki; 2020, 29, 2; 61-81
1509-0957
Pojawia się w:
Analecta. Studia i Materiały z Dziejów Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Praktyczne aspekty nauki programowania w szkole średniej
The nuts and bolts of programming science in secondary school
Autorzy:
Kisiel, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/446224.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Rzeszowski
Tematy:
programowanie,
kompilacja,
program,
android,
cpp,
nauka programowania
programming,
compilation,
programming learning
Opis:
Korelacja wiedzy zdobytej w procesie edukacji z otaczającym światem ma kluczowe znaczenie. Artykuł przedstawia nie tyle modyfikację treści nauczania programowania na lekcjach rozszerzonej Informatyki, co poprzez dobór środowiska programowania, umożliwienie tworzenia atrakcyjnych i użytkowych aplikacji na urządzenia mobilne wykorzystywane przez uczniów na co dzień.
Correlation of knowledge acquired in the education process with the surrounding world is crucial. The article presents not so much the modification of the teaching content of Programming Science, rather due to the selection of the programming environment, enabling the creation of attractive and utilitarian applications for modern devices.
Źródło:
Dydaktyka informatyki; 2018, (13) 2018; 147-152
2083-3156
Pojawia się w:
Dydaktyka informatyki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Symultaniczność i kompilacja a obraz miejsca
Simultaneity and compilation versus image of a place
Autorzy:
Nawrot, G.
Powiązania:
https://bibliotekanauki.pl/articles/970355.pdf
Data publikacji:
2018
Wydawca:
Politechnika Lubelska. Wydawnictwo Politechniki Lubelskiej
Tematy:
heterotropia
architektura
węzeł
miejsce kompilacyjne
rama dla zdarzeń
heterotrophy
architecture
junction
compilation place
frame for events
Opis:
Architektura – jest wydzielaniem przestrzeni, konstruowanym z tworzywa, będącego kompilacją elementów materialnych i niematerialnych. Życie człowieka ma charakter przestrzenny, odbywa się w przestrzeni jego egzystencji: przez niego wytworzonej i zastanej. Człowiek egzystuje w przestrzeni behawioralnej, wśród architektury miasta, która jest swoistym medium – środkiem przekazu informacji składających się sumarycznie na percepcjonowane przez niego treści. Mieszka w przestrzeni realnej i wirtualnej oraz w przestrzeni będącej synergią zbudowaną z obu. Węzeł – to miejsce spotkań: pasaży, ulic… Konstruowany jako miejsce formalnie i funkcjonalnie ważne: do spotkań w mieście. Ma swoje działanie synergiczne. Budowanie węzłów – to budowanie możliwości do powstawania potencjalnych Miejsc Strategicznej Interwencji. To miejsca: kreowania zdarzeń i swoista furtka do różnorakich doznań, percepcji świata materialnego i wirtualnego oraz fantasmagorii – będących konsekwencja ich wzajemnych relacji. Konstruują je: znaczenie w geografi i miasta, znaczenie użytkowe, uformowanie kubaturowe, wydarzenia historyczne i współcześnie przekazywane informacje. Miasto, to co prawda duży dom – ale przy założeniu, że węzeł miejski jest projektowany, a nie powstaje przypadkowo, jego wybudowanie – jako obiektu architektonicznego, zespołu takich obiektów bądź założenia urbanistycznego – nie musi być krótsze niż konstruowanie w nim treści.
Architecture – is demarcation of space, built of material which is a compilation of tangible and intangible elements. Human life is of spatial nature, it takes place in space of man’s existence: created by him and found by him. A man exists in behavioural space, among architecture of the city which is kind of a medium – means of communicating information cumulating into the contents perceived by him. A man lives in real and virtual space as well as in a space which is a synergy of them both. Junction – is a meeting place: of walkways, streets… Constructed as a place formally and functionally important: for meetings in the city. It has its synergic function. Constructing junctions – means building possibilities for prospective Places for Strategic Intervention. These are places: for creating events and a kind of gate into different sensations, perception of material and virtual world and phantasmagorias – which are a consequence of their interrelationships. They are constructed by: signifi cance in the geography of the city, usability, volumetric form, historical events and contemporarily broadcast information.
Źródło:
Budownictwo i Architektura; 2018, 17, 2; 29-38
1899-0665
Pojawia się w:
Budownictwo i Architektura
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Current State of Deep Ocean Bathymetric Exploration
Autorzy:
Zwolak, K.
Felski, A.
Powiązania:
https://bibliotekanauki.pl/articles/320506.pdf
Data publikacji:
2017
Wydawca:
Polskie Forum Nawigacyjne
Tematy:
bathymetry
ocean
multibeam echosounder
AUV
ASV
satellite altimetry
bathymetric map compilation
Opis:
The paper presents current state of bathymetric survey concerning deep ocean rather than shallow areas, which are better surveyed due to safety of navigation concerns. Rules and requirements of the new challenge, called the Shell Ocean Discovery XPRIZE, became a starting point for a discussion about the possibilities of mapping large areas of the ocean using up-to-date and new technology. The amount of bathymetric data available nowadays and the current state of ocean map compilations are also discussed in the paper as a motivation to inspire the new initiatives in the deep ocean.
W artykule przedstawiono obecny stan pomiarów batymetrycznych głębokowodnych obszarów oceanicznych. Zasady najnowszego konkursu Shell Ocean Discovery XPRIZE stały się punktem wyjścia do dyskusji o obecnych możliwościach pozyskiwania danych niezbędnych do tworzenia map oceanów w oparciu o aktualnie dostępne technologie. W artykule poruszono również zagadnienie ilości i cech danych batymetrycznych znajdujących się i udostępnianych w bazach danych gromadzących tego typu informacje.
Źródło:
Annual of Navigation; 2017, 24; 257-267
1640-8632
Pojawia się w:
Annual of Navigation
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Mecaster batnensis (Coquand, 1862), a late Cenomanian echinoid from New Mexico, with a compilation of Late Cretaceous echinoid records in the Western Interior of the United States and Canada
Autorzy:
Hook, S. C.
Cobban, W. A.
Powiązania:
https://bibliotekanauki.pl/articles/139292.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
Cretaceous
hemiasteridae
North America
biostratigraphy
Bridge Creek Limestone Beds
Tokay Tongue
Rio Salado Tongue
Mancos Shale
Carthage coal field
kreda
Ameryka Północna
biostratygrafia
Opis:
Echinoids are rare in the Upper Cretaceous of the Western Interior, where fewer than 60 unique occurrences are known to date, most of these represented by only a few tests or isolated spines. A notable exception is the Carthage coal field (Socorro County, New Mexico), where more than 200 specimens of Mecaster batnensis, previously referred to as Hemiaster jacksoni Maury, 1925, have been collected from the basal Bridge Creek Limestone Beds of the Tokay Tongue of the Mancos Shale. Prolific occurrences from the same beds are known from elsewhere in west-central and southwest New Mexico. Recorded originally from the Upper Cretaceous of Algeria, M. batnensis is a small- to medium-sized, irregular echinoid that is confined to the upper Cenomanian Euomphaloceras septemseriatum Zone in New Mexico. Measurements on 169 well-preserved specimens from two localities in New Mexico document a species that is, on average, 21.0 mm long, 19.8 mm wide, and 15.1 mm tall, yielding a width/length ratio of 0.94 and a height/length ratio of 0.72. Graphs plotting width against length and height against length are strongly linear. The Western Interior echinoid record spans the entire Late Cretaceous, although there are no records from rocks of Santonian age. Localities are spread from New Mexico on the south to Alberta on the north. Preserva-tion ranges from coarse internal molds in high-energy sandstones to original tests in low-energy limestones.
Źródło:
Acta Geologica Polonica; 2017, 67, 1; 1-30
0001-5709
Pojawia się w:
Acta Geologica Polonica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Cognitive Approach to the Compilation of Test Materials for the Evaluation of Translators Skills
Autorzy:
Berg, Elena
Kit, Mark
Powiązania:
https://bibliotekanauki.pl/articles/677346.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Instytut Slawistyki PAN
Tematy:
translation quality
general cognitive ability
translators’ cognitive ability
evaluation of translators
cognitive ability
Opis:
A Cognitive Approach to the Compilation of Test Materials for the Evaluation of Translator's SkillsThis paper discusses the importance of a cognitive approach to the evaluation of translator’s skills. The authors set forth their recommendations for the compilation of test materials for the evaluation of translators’ cognitive ability. Kognitywne podejście do kompilowania tekstów służących ocenie umiejętności tłumaczaArtykuł porusza wagę kognitywnego podejścia do ewaluacji umiejętności tłumacza. Autorzy przedstawiają swoje zalecenia co do kompilowania materiałów testowych do ewaluacji kognitywnych zdolności tłumacza.
Źródło:
Cognitive Studies; 2016, 16
2392-2397
Pojawia się w:
Cognitive Studies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Revisiting the Futamura Projections: A Diagrammatic Approach
Autorzy:
Williams, B. M.
Perugini, S.
Powiązania:
https://bibliotekanauki.pl/articles/375830.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
compilation
compiler generation
Futamura Projections
Graal; interpretation
partial evaluation
program transformation
PyPy
Truffle
Opis:
The advent of language implementation tools such as PyPy and Truffle/Graal have reinvigorated and broadened interest in topics related to automatic compiler generation and optimization. Given this broader interest, we revisit the Futamura Projections using a novel diagram scheme. Through these diagrams we emphasize the recurring patterns in the Futamura Projections while addressing their complexity and abstract nature. We anticipate that this approach will improve the accessibility of the Futamura Projections and help foster analysis of those new tools through the lens of partial evaluation.
Źródło:
Theoretical and Applied Informatics; 2016, 28, 4; 15-32
1896-5334
Pojawia się w:
Theoretical and Applied Informatics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Sposoby wyrażenia praesens i futurum w Kronice Supraskiej
Ways of expressing present and future tenses in the Supraśl Chronicle
Autorzy:
Grabowska, Katarzyna
Powiązania:
https://bibliotekanauki.pl/articles/956394.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet w Białymstoku. Wydawnictwo Uniwersytetu w Białymstoku
Tematy:
Old Belorussian chronicles
the first Belorussian-Lithuanian compilation
Old Russian language
verb
present tense
future tense
latopisy białorusko-litewskie
i redakcja latopisów
język staroruski
czasownik
czas teraźniejszy
czas przyszły
Opis:
Przedmiotem artykułu jest analiza form praesens oraz futurum dokonanego i niedokonanego wyekscerpowanych z tekstu Kroniki Supraskiej – zabytku należącego do I redakcji latopisów białorusko-litewskich. W analizowanym tekście formy czasu teraźniejszego oraz przyszłego I uzyskują liczne poświadczenie. Nie odnotowano natomiast żadnej formy II typu futurum niedokonanego. Często formy 3 os. sg. futurum dokonanego użyte są w funkcji praesens historicum.
The article focuses on the analysis of forms of praesens and futurum perfect and imperfect excerpted from the Supraśl Chronicle, which belongs to the first Belorussian-Lithuanian compilation. In the examined text the forms of present and future I tenses are frequently observed. However, not a single form of futurum imperfect of type II has been found. The forms of third person singular futurum perfect are used as praesens historicum.
Źródło:
Linguodidactica; 2016, 20; 95-104
1731-6332
Pojawia się w:
Linguodidactica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Statistical models to accelerate software development by means of iterative compilation
Autorzy:
Kamińska, A.
Bielecki, W.
Powiązania:
https://bibliotekanauki.pl/articles/305535.pdf
Data publikacji:
2016
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
program execution time
optimizing compilation
iterative compilation
statistical models
rocessor cache
Opis:
Minimization of data-processing time and reduction of software-development time are important practical problems to be tackled by modern computer science. This paper presents the authors’ proposal of a family of statistical models for the estimation of program execution time, which is an approach focused on both of the above problems at the same time. The family consists of a general model and specific models and has been elaborated based on empirical data collected for pattern-program loops representing some arbitrarily selected features related to the program structure and the specificity of a program-execution environment. The paper presents steps to elaborate the aforementioned family as well as the results of the carried-out experimental research. The paper demonstrates how the elaborated models can be applied in iterative compilation for optimization purposes, allowing us to reduce the time of software development and produce code with minimal execution time.
Źródło:
Computer Science; 2016, 17 (3); 407-435
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 33

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies