Informacja

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

Wyszukujesz frazę "Normalization" wg kryterium: Temat


Tytuł:
“…noxiousness of my work:” Miroslav Macháček’s 1971 "Henry V" at the Normalized National Theatre
Autorzy:
Pšenička, Martin
Powiązania:
https://bibliotekanauki.pl/articles/39775280.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
William Shakespeare
'Henry V'
Miroslav Macháček
Břetislav Hodek
National Theatre
Vasil Biľak
normalization
Norman Rabkin
production
Opis:
The essay focuses on the 1971 production of William Shakespeare’s rarely staged historical drama Henry V, directed by Czech director Miroslav Macháček at the Prague National Theatre in a new translation by Czech literary historian and translator Břetislav Hodek. Macháček staged the play shortly after the 1968 occupation of Czechoslovakia by Warsaw Pact troops. The premiere of the play provoked negative reactions from influential Communist officials, including the leading post-1968 politician Vasil Biľak. Macháček’s performance, which, in the director’s words, was intended as a universal anti-war parable, became a political topicality that the newly emerging normalisation authorities understood as a deliberate political, anti-socialist provocation. The essay traces the background of the production, including the translation of the play, and the consequences of the staging for Macháček. At the same time, it attempts to unravel a number of ambiguities and ambivalences associated with the period of normalization (1970s and 1980s) and its research. A special focus is given to the production itself as it disturbed the audience with its ambivalence. In this analytical section, the essay works with Norman Rabkin’s conception of Henry V, as presented in his essay “Rabbits, Ducks, and Henry V,” which traces Shakespeare’s complex grasp of the historical figure and the events associated with Henry. Macháček, who staged the play several years before this essay by Rabkin, pursued similar intentions with his stage concept. It was this unsettling ambivalence that carried within it the features of both a parable and a political gesture that spoke out against the communist occupation.
Źródło:
Multicultural Shakespeare: Translation, Appropriation and Performance; 2023, 28, 43; 153-176
2083-8530
2300-7605
Pojawia się w:
Multicultural Shakespeare: Translation, Appropriation and Performance
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
„Normalizacja” relacji państwo–Kościół w latach siedemdziesiątych XX wieku z perspektywy prymasa Stefana Wyszyńskiego – nieznany dokument z Sekretariatu Prymasa Polski
“Normalisation” of the State-Church-Relations in the 1970s from the Point of View of Primate Stefan Wyszyński – an Unknown Document from the Secretariat of the Primate of Poland
Autorzy:
Łatka, Rafał
Powiązania:
https://bibliotekanauki.pl/articles/477943.pdf
Data publikacji:
2018
Wydawca:
Instytut Pamięci Narodowej, Komisja Ścigania Zbrodni przeciwko Narodowi Polskiemu
Tematy:
prymas
Kościół
państwo
normalizacja
episkopat
primate
Church
state
normalization
episcope
Opis:
Kardynał Stefan Wyszyński zapowiedzianą w grudniu 1970 r. przez władze „normalizację” stosunków państwo–Kościół przyjmował z ostrożnością i dystansem, choć także z pewnym optymizmem. Liczył, że przynajmniej część postulatów episkopatu zostanie zrealizowana, szczególnie w zakresie budownictwa sakralnego. Już wiosną 1971 r. wiedział jednak, że „normalizacja” jest jedynie propagandowym wybiegiem. W 1972 r. w dokumencie przygotowanym na posiedzenie Rady Głównej Episkopatu Polski z 4 maja 1972 r. zatytułowanym „Sytuacja polityczna w Polsce a normalizacja stosunków między państwem a Kościołem” podsumowywał niejako stan relacji państwo–Kościół w pierwszych dwóch latach rządów ekipy Edwarda Gierka. Kardynał Wyszyński wnikliwie omówił w nim sytuację społeczno-polityczną w 1972 r. w kontekście całego bloku wschodniego. Najważniejszym spostrzeżeniem było wyczerpywanie się „dynamiki pogrudniowej odnowy”. Prymas omówił w dokumencie także koncepcję „normalizacji” propagowanej przez władze, głównie na przykładzie najważniejszych – w jego przekonaniu – wypowiedzi czołowych dygnitarzy Polski „ludowej”, skonfrontowanych z ich realnymi działaniami. Wspomniany materiał udowadnia, że kardynał Wyszyński wnikliwie analizował rzeczywistość polityczną PRL, nie dając się zwieść propagandzie władz.
Cardinal Stefan Wyszynski treated the “normalisation” of the State-Church relations, announced in December 1970 by the authorities, with caution and distance, though also with some optimism. He hoped that at least some of the postulates of the Episcopate would be implemented, especially regarding sacral construction. However, already in the spring of 1971, he knew that the “normalisation” is merely a propaganda evasion. In 1972, in a document prepared for the meeting of the Main Council of the Polish Episcopate of 4 May 1972 entitled “Political situation in Poland and the normalisation of relations between the State and the Church,” he summarised the State-Church relations in the first two years of government of Edward Gierek’s team. In it, Cardinal Wyszyński thoroughly discussed the social and political situation in 1972 in the context of the entire Eastern bloc. The most important observation was the exhaustion of the “dynamics of post-December renewal.” In the document, the Primate also discussed the concept of “normalisation” propagated by the authorities, mainly on the example of the most important – in his opinion – statements of the leading dignitaries of the “People’s” Poland, confronted with their real actions. The material in question proves that Cardinal Wyszyński thoroughly analysed the political reality of the PPR, not being misled by the propaganda of the authorities.
Źródło:
Pamięć i Sprawiedliwość; 2018, 32; 530-545
1427-7476
Pojawia się w:
Pamięć i Sprawiedliwość
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation
Autorzy:
Kürbis, Nils
Powiązania:
https://bibliotekanauki.pl/articles/749954.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
definite descriptions
negative intuitionist free logic
natural deduction
normalization
Opis:
This paper presents a way of formalising definite descriptions with a binary quantifier ℩, where ℩x[F, G] is read as `The F is G'. Introduction and elimination rules for ℩ in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ℩x[F, G] are given, and it is shown that deductions in the system can be brought into normal form.
Źródło:
Bulletin of the Section of Logic; 2019, 48, 2; 81-97
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Adaptacja i wykorzystanie testu fluencji słownej na świecie
Adaptation and usage of the verbal fluency test in the world
Autorzy:
Ponichtera-Kasprzykowska, Monika
Sobów, Tomasz
Powiązania:
https://bibliotekanauki.pl/articles/944289.pdf
Data publikacji:
2014
Wydawca:
Medical Communications
Tematy:
normalizacja
fluencja literowa
test FAS
fas test
letter fluency
normalization
Opis:
Aim: The verbal fluency test is one of the best known and useful neuropsychological tools based on the language functions diagnosis. The study was aimed at analysis and evaluation of adaptation and use of this test in the world, with a special emphasis on the situation in Poland. Material and methods: The research material was completed due to a survey of electronic databases. Some of the studies were singled out manually. Among other, the following key words were used: verbal fluency, adaptation of verbal fluency test, FAS, COWAT (Controlled Oral Word Association Test). Finally, included into the basic analysis were 33 research articles from 23 countries. Additionally, the detailed evaluation included 18 Polish tests, using the verbal fluency test. Results: The greatest group among the analysed studies was that of standardization studies. Far less frequently included is complete linguistic adaptation. A high freedom is observed within selection of the phonetic variant letters, even among researchers from one country. Conclusions: Basically, the use of the verbal fluency test in Poland does not diverge from international tendencies. There is a considerable diversity as regards the way of adaptation of the tool for the demand of a given population and within it. Because of too few comparative data within the applied phonetic variants of the test, we cannot explicitly indicate a predominance of original version of the tool or simultaneously applied lists of letters.
Cel: Test fluencji słownej to jedno z najbardziej znanych i użytecznych narzędzi neuropsychologicznych opierających się na diagnozie funkcji językowych. Celami pracy były analiza i ewaluacja adaptacji i wykorzystania tego testu na świecie, ze szczególnym uwzględnieniem sytuacji w Polsce. Materiał i metody: Materiał badawczy skompletowano w wyniku przeglądu elektronicznych baz danych. Część prac wyodrębniono w sposób manualny. Używano m.in. następujących słów kluczowych: verbal fluency, adaptation of verbal fluency test, FAS, COWAT (Controlled Oral Word Association Test). Ostatecznie do podstawowej analizy włączono 33 prace badawcze z 23 krajów. Dodatkowo szczegółowej ewaluacji poddano 18 polskich prac wykorzystujących test fluencji słownej. Wyniki: Wśród analizowanych prac najliczniejszą grupę stanowią badania normalizacyjne. Znacznie rzadziej uwzględnia się pełną adaptację lingwistyczną. Obserwuje się dużą dowolność pod względem wyboru liter wariantu fonetycznego, nawet wśród badaczy z jednego kraju. Wnioski: Wykorzystanie testu fluencji słownej w Polsce nie odbiega zasadniczo od tendencji międzynarodowych. Występuje znaczna różnorodność, jeśli chodzi o sposób zaadaptowania narzędzia do potrzeb danej populacji i w jej obrębie. Ze względu na małą ilość danych porównawczych w zakresie stosowanych wariantów fonetycznych testu nie można jednoznacznie wykazać przewagi oryginalnej wersji narzędzia bądź równolegle wykorzystywanych zestawów liter.
Źródło:
Psychiatria i Psychologia Kliniczna; 2014, 14, 3; 178-187
1644-6313
2451-0645
Pojawia się w:
Psychiatria i Psychologia Kliniczna
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Adapting a constituency parser to user-generated content in polish opinion mining
Autorzy:
Pluwak, A.
Korczynski, W.
Kisiel-Dorohinicki, M.
Powiązania:
https://bibliotekanauki.pl/articles/305485.pdf
Data publikacji:
2016
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
user generated content
text normalization
parsing
sentiment analysis
Opis:
The paper focuses on the adjustment of NLP tools for Polish; e.g., morphological analyzers and parsers, to user-generated content (UGC). The authors discuss two rule-based techniques applied to improve their efficiency: pre-processing (text normalization) and parser adaptation (modified segmentation and parsing rules). A new solution to handle OOVs based on inflectional translation is also offered.
Źródło:
Computer Science; 2016, 17 (1); 23-44
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
ADVANTAGES AND DISADVANTAGES OF MANAGEMENT SYSTEM NORMALIZATION
Za i przeciw normalizacji systemów zarzadzania
Autorzy:
Ejdys, Joanna
Powiązania:
https://bibliotekanauki.pl/articles/598567.pdf
Data publikacji:
2010
Wydawca:
Instytut Pracy i Spraw Socjalnych
Tematy:
ENVIRONMENTAL MANAGEMENT
HEALTH & SAFETY MANGEMENT
MANAGEMENT SYSTEM NORMALIZATION
QUALITY MANAGEMENT
Opis:
Popularyzacja normalizacji w zarządzaniu spowodowała zainteresowanie organizacji systemami zarządzania jakością (ISO 9001), zarządzania środowiskowego (ISO 14001) ora zarządzania bhp (PN-N 18001). Praktyka stosowania systemów wskazuje na wiele problemów, z jakimi borykają się organizacje. Już sam Juran [1974] wyrażał swoje obawy, że zorientowane na certyfikację przedsiębiorstwa będą za bardzo koncentrowały swoją uwagę na zdobyciu formalnego potwierdzenia funkcjonowania systemu zarządzania jakością, zamiast doskonalić swoje procesy. W pracy zaprezentowano wyniki badań własnych opartych na studiach przypadków (casy studies) w pięciu przedsiębiorstwach posiadających zintegrowany system zarządzania jakością, zarządzania środowiskowego i zarządzania bhp. Celem badań było zidentyfikowanie mocnych i słabych stron znormalizowanego podejścia do zarządzania. Na podstawie uzyskanych wyników zaproponowano kierunki doskonalenia znormalizowanych systemów zarządzania.
This paper presents the results of the research conducted by the authoress on the basis of case studies in five companies with their own integrated systems of quality management, environmental management, and occupational health and safety management. The purpose of the research was to identify strong and weak points of the normalized approach to management. Directions for improving the normalized management systems are suggested on the basis of the received results.
Źródło:
Zarządzanie Zasobami Ludzkimi; 2010, 3-4(74-75); 67-80
1641-0874
Pojawia się w:
Zarządzanie Zasobami Ludzkimi
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
Autorzy:
Braüner, Torben
Powiązania:
https://bibliotekanauki.pl/articles/2142755.pdf
Data publikacji:
2022-01-07
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
hybrid logic
natural deduction systems
sequent systems
normalization
cut-elimination
analycity
Opis:
This paper is about non-labelled proof-systems for hybrid logic, that is, proofsystems where arbitrary formulas can occur, not just satisfaction statements. We give an overview of such proof-systems, focusing on analytic systems: Natural deduction systems, Gentzen sequent systems and tableau systems. We point out major results and we discuss a couple of striking facts, in particular that nonlabelled hybrid-logical natural deduction systems are analytic, but this is not proved in the usual way via step-by-step normalization of derivations.
Źródło:
Bulletin of the Section of Logic; 2022, 51, 2; 143-162
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
APPLICATION OF CHOSEN NORMALIZATION METHODS IN THE PROCESS OF CONSTRUCTION OF SYNTHETIC MASURURE IN INDIRECT CONSUMPTION RESEARCH
Autorzy:
Czech, Artur
Powiązania:
https://bibliotekanauki.pl/articles/655915.pdf
Data publikacji:
2014
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
normalization
indirect consumption
synthetic measure
Opis:
The main purpose of this paper is to find the most effective method for the normalization of a final set of diagnostic variables for indirect consumption research with the use of synthetic consumption measures. The chosen normalization methods (standardization, unitarization and ratio transformation) were analyzed, both in the classical and the order approaches, with the use of different methods for multidimensional median vector construction (border and Weber median). Implementation of the multidimensional median construction is very important in the case of research objects with atypical characteristics of diagnostic variables (a separate analysis of Warsaw from the Mazowieckie Voivodeship). This kind of research units can cause asymmetry in empirical distribution of diagnostic variables which has a significant impact on the result of the linear order set of research objects. Additionally, implementation of the Weber median allows for considering the interactions in a set of diagnostic variables, which is crucial from the point of view of economic analysis.
Źródło:
Acta Universitatis Lodziensis. Folia Oeconomica; 2014, 3, 302
0208-6018
2353-7663
Pojawia się w:
Acta Universitatis Lodziensis. Folia Oeconomica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Application of modular computing technology to number normalization in floating point arithmetic
Autorzy:
Selianinau, M.
Powiązania:
https://bibliotekanauki.pl/articles/951852.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:
arytmetyka zmiennoprzecinkowa
numerowanie normalizacji
modułowa technologia obliczeniowa
floating point arithmetic
number normalization
modular computing technology
Opis:
In the present paper, we deal with the methodology of mantissa normalization on the basis of parallel algorithmic structures of modular arithmetic. The use of interval-modular form and basic integral characteristics of modular code is fundamental for construction of floating-point modular computing arithmetic. The proposed method of mantissa normalization in the minimal redundant modular number system is based on the parallel algorithm of multiplication by constant with overflow check.
Źródło:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2015, 20; 57-67
2450-9302
Pojawia się w:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Badania i ocena zgodności maszyn do obróbki i ścinki drewna w Polsce i w Unii Europejskiej
Testing and conformity assessment of woodworking machines in Poland and in the European Union
Autorzy:
Dąbrowski, M.
Dąbrowski, A.
Powiązania:
https://bibliotekanauki.pl/articles/179823.pdf
Data publikacji:
2004
Wydawca:
Centralny Instytut Ochrony Pracy
Tematy:
maszyny
normalizacja
przemysł drzewny
machines
normalization
wood industry
Opis:
W artykule porównano systemy oceny zgodności maszyn do obróbki i ścinki drewna w Polsce i w UE. Przedstawiono procedury oceny zgodności oraz wymagania wobec producentów oraz jednostek zajmujących się oceną zgodności, wg dyrektywy 98/37/WE. Wymieniono również obowiązujące przepisy prawne oraz normy zharmonizowane dotyczące maszyn do obróbki i ścinki drewna.
This article compares Polish and EU systems of conformity assessment. It also presents conformity assessment procedures and requirements in relation to manufacturers and bodies involved in conformity assessment, according to directive 98/37/EC. Up-to-date Polish legal regulations and harmonized standards concerned woodworking machines are also listed.
Źródło:
Bezpieczeństwo Pracy : nauka i praktyka; 2004, 2; 7-11
0137-7043
Pojawia się w:
Bezpieczeństwo Pracy : nauka i praktyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Classes of meromorphic multivalent functions with Montel’s normalization
Autorzy:
Dziok, Jacek
Powiązania:
https://bibliotekanauki.pl/articles/747206.pdf
Data publikacji:
2012
Wydawca:
Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Tematy:
Meromorphic functions
varying arguments
fixed points
Montel’s normalization
subordination
Hadamard product
Opis:
In the paper we define classes of meromorphic multivalent functions with Montel’s normalization. We investigate the coefficients estimates, distortion properties, the radius of starlikeness, subordination theorems and partial sums for the defined classes of functions. Some remarks depicting consequences of the main results are also mentioned.
Źródło:
Annales Universitatis Mariae Curie-Skłodowska, sectio A – Mathematica; 2012, 66, 2
0365-1029
2083-7402
Pojawia się w:
Annales Universitatis Mariae Curie-Skłodowska, sectio A – Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Comparison of soil texture classification according to the new Polish Standard, PTG and international classifications [FAO and USDA]
Autorzy:
Drzymala, S
Powiązania:
https://bibliotekanauki.pl/articles/1401861.pdf
Data publikacji:
2000
Wydawca:
Polska Akademia Nauk. Instytut Agrofizyki PAN
Tematy:
Polish Soil Science Society
classification
Polish Normalization Committee
soil fraction
international classification
Polish standard PN-R-04033
soil texture
textural group
Opis:
The classification into soil fractions found in the new Polish Standard PN-R-04033 is fully comparable- with the international classifications (FAO/USDA) in question. The following diameters were adopted as the main groups of soil fractions: stones >75 mm, gravel 75-2 mm, sand 2.0-0.05 mm, silt 0.05-0.002 mm and clay <0.002 mm. On the other hand, soil fractions classification according to the Polish Soil Science Society (PTG), including so-called fine particles (<0.02 mm), is not compatible with both the new Polish Standard and the discussed international classifications. This also refers lo the classification into textural groups according to PTG. However, the classification into textural groups according lo Polish Standard is quite similar to international classifications.
Źródło:
Acta Agrophysica; 2000, 35; 49-53
1234-4125
Pojawia się w:
Acta Agrophysica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Comparison of the influence of standardization and normalization of data on the effectiveness of spongy tissue texture classification
Porównanie wpływu standaryzacji i normalizacji danych na skuteczność klasyfikacji tekstury tkanki gąbczastej kręgosłupa
Autorzy:
Dzierżak, Róża
Powiązania:
https://bibliotekanauki.pl/articles/407656.pdf
Data publikacji:
2019
Wydawca:
Politechnika Lubelska. Wydawnictwo Politechniki Lubelskiej
Tematy:
texture analysis
standardization
normalization
classification
analiza tekstury
standaryzacja
normalizacja
klasyfikacja
Opis:
The aim of this article was to compare the influence of the data pre-processing methods – normalization and standardization – on the results of the classification of spongy tissue images. Four hundred CT images of the spine (L1 vertebra) were used for the analysis. The images were obtained from fifty healthy patients and fifty patients with diagnosed with osteoporosis. The samples of tissue (50×50 pixels) were subjected to a texture analysis to obtain descriptors of features based on a histogram of grey levels, gradient, run length matrix, co-occurrence matrix, autoregressive model and wavelet transform. The obtained results were set in the importance ranking (from the most important to the least important), and the first fifty features were used for further experiments. These data were normalized and standardized and then classified using five different methods: naive Bayes classifier, support vector machine, multilayer perceptrons, random forest and classification via regression. The best results were obtained for standardized data and classified by using multilayer perceptrons. This algorithm allowed for obtaining high accuracy of classification at the level of 94.25%.
Celem niniejszego artykułu było porównanie wpływu metod wstępnego przetwarzania danych - normalizacji i standaryzacji - na wyniki klasyfikacji obrazów tkanki gąbczastej. Do analiz wykorzystano czterysta obrazów tomografii komputerowej kręgosłupa (kręg L1). Obrazy pochodziły od pięćdzisięciu zdrowych pacjentów oraz pięćdziesięciu pacjentów ze zdiagnozowaną osteoporozą. Uzyskane próbki tkanki (50×50 pikseli) poddano analizie tekstury w wyniku czego otrzymano deskryptory cech oparte na histogramie poziomów szarości, macierzy gradientu, macierzy RL, macierzy zdarzeń, modelu autoregresji i transformacie falkowej. Otrzymane wyniki ustawiono w rankingu ważności (od najistotniejszej do najmniej ważnej), a pięćdziesiąt pierwszych cech wykorzystano do dalszych eksperymentów. Dane zostały poddane normalizacji oraz standaryzacji, a następnie klasyfikowane przy użyciu pięciu różnych metod: naiwny klasyfikator Bayesa, maszyna wektorów wspierających, wielowarstwowe perceptrony, las losowy oraz klasyfikacji poprzez regresje. Najlepsze wyniki uzyskano dla danych na których przeprowadzono standaryzacje i poddano klasyfikacji za pomocą wielowarstwowych perceptronów. Taki algorytm postępowania pozwolił na uzyskanie wysokiej skuteczności klasyfikacji na poziomie 94,25%.
Źródło:
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska; 2019, 9, 3; 66-69
2083-0157
2391-6761
Pojawia się w:
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Contexts and Consequences of Sentence Splitting in Translation (English-French-Czech)
Autorzy:
Nádvorníková, Olga
Powiązania:
https://bibliotekanauki.pl/articles/2129722.pdf
Data publikacji:
2021-09-30
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
sentence splitting
translation
non-finite verb forms
coordination
simplification
normalization
Opis:
The present paper examines the contexts and consequences of sentence splitting in English, Czech and French translated fiction. In the data extracted from a parallel (multilingual) corpus, we analyze first a language-specific context of sentence splitting (sententialization of non-finite verb forms in translations from English and French into Czech), and second, contexts of splitting occurring in all directions of translation. We conclude that sentence boundaries are usually introduced at the point of a sentence entailing the fewest modifications in the target sentence, especially between two coordinate clauses; and that a systematic sentence splitting, deeply modifying the style of the source text, involves the effect of simplification and normalization.
Źródło:
Research in Language; 2021, 19, 3; 229-250
1731-7533
Pojawia się w:
Research in Language
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Core Type Theory
Autorzy:
van Dijk, Emma
Ripley, David
Gutierrez, Julian
Powiązania:
https://bibliotekanauki.pl/articles/43181538.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
core logic
type theory
strong normalization
Opis:
Neil Tennant’s core logic is a type of bilateralist natural deduction system based on proofs and refutations. We present a proof system for propositional core logic, explain its connections to bilateralism, and explore the possibility of using it as a type theory, in the same kind of way intuitionistic logic is often used as a type theory. Our proof system is not Tennant’s own, but it is very closely related, and determines the same consequence relation. The difference, however, matters for our purposes, and we discuss this. We then turn to the question of strong normalization, showing that although Tennant’s proof system for core logic is not strongly normalizing, our modified system is.
Źródło:
Bulletin of the Section of Logic; 2023, 52, 2; 145-186
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł

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