Wyniki wyszukiwania - Biblioteka Nauki

1

Optimal Unification and Learning Algorithms for Categorial Grammars

100%

Dziemidowicz B.

|

tom Vol. 49, nr 4

313-324

EN

In this paper continuing [1], we present a more general approach to restricted optimal unification, introduced and applied to learning algorithms for categorial grammars in [2] and further developed in [7,8,4,5]. We introduce a procedure of finding minimal unifiers with respect to some preordering relation between substitutions and solve a general problem of finding all minimal (in several senses) categorial grammars compatible with a given language sample.

2

A formalism for the computational morphology of multi-word units

80%

Savary A.

|

2005

|

tom Vol. 15, no. 3

437-449

EN

Multi-word units (MWUs) are linguistic objects placed on the frontier between morphology and syntax. A reliable computational treatment of their inflectional morphology requires a fine-grained grammar-based approach allowing a description of general large-coverage phenomena as well as of lexicalized counter-rules. We propose a formalism that answers these requirements. Due to a graph-based description and a simple unification algorithm it allows to compactly and exhaustively describe the inflection paradigm of a MWU in terms of its component words? morphology as well as of some regular-language patterns.

3

From Unification Compactness to Learnability

80%

Marciniec J.

|

tom Vol. 81, nr 4

473-484

EN

In this paper we explain how to derive learnability of some classes of categorial languages as a consequence of the a property that have unifiable infinite sets of types, namely unification compactness. At first we present an alternate (with respect to [6]) proof of learnability of rigid languages, that introduces our method. Then we prove learnability of the class of semi-rigid languages, which lies in between (learnable) class of rigid languages and (not learnable) class of optimal (as defined by Kanazawa in [6]) languages.

4

Prawo spadkowe w Polsce w latach 1918—1964 — główne postulaty badawcze.

80%

Moszyńska A.

|

tom 7(15)

243-255

EN

The aim of this article is to present the main research postulates regarding the issue of evolution of the inheritance law in Poland in the years 1918—1964. The author enumerates several fields which require, in her opinion, extended analysis, such as the Polish inheritance law remaining in force until 1947, the unification works on the Decree Law of Succession of 1946, and a discussion on the inheritance law in the drafts of the Civil Code. On the basis of the outlined areas, the author exposes and justifies further research questions. Simultaneously, the author presents the current state of research on the history of the inheritance law in the abovementioned period, referring to the principal literature, especially monographs and most influential articles, as well as archival sources.

5

Similarity-based unification

80%

Formato F. , Gerla G. , Sessa M. I.

|

tom Vol. 41, Nr 4

393-414

EN

Unification plays a central rule in Logic Programming. We ''soften'' the unification process by admitting that two first order expressions can be ''similar'' up to a certain degree and not necessarly identical. An extension of the classical unification theory is proposed accordingly. Indeed, in our approach, inspirated by the unification algorithm of Martelli-Montanari, the systems of equations go through a series of ''sound'' transformations until a solvable form is found yielding a substitution that is proved to be a most general extended unifier for the given system of equations.

6

Implementing semantic frames as typed feature structures with XMG

70%

Lichte T. , Petitjean S.

|

tom Vol. 3, No. 1

185--228

EN

This work1 presents results on the integration of frame-based representations into the framework of eXtensible MetaGrammar (XMG). Originally XMG allowed for the description of tree-based syntactic structures and underspecified representations of predicate-logical formulae, but the representation of frames as a sort of typed feature structure, particularly type unification, was not supported. Therefore, we introduce an extension that is capable of handling frame representations directly by means of a novel novel -dimension. The aim is not only to make possible a straightforward specification of frame descriptions, but also to offer various ways to specify constraints on types, be it as a connected type hierarchy or a loose set of feature structure constraints. The presented extensions to XMG are fully operational in a new prototype.

7

Globalization and Alternative Thinking: on the Need to Direct the Society Towards Responsible Co-Participation and Cooperation

61%

Cybal-Michalska A.

|

2018

|

nr 47

33-48

PL

Contemporary world has become a global ecumene. The theory of globalization as approached by R. Robertson invokes the world conceptualization which assumes reducing the tension between the dichotomous tendencies. Unification and diversification are complementary processes, they are mutually influential and essential for the contemporary stage of development of the global society. The paradigm of globalization on the social and cultural plane is revealed in the binary scheme of extremes, such as: decontextualization and recontextualization, decomposition and recomposition, deteritorialization and re-teritorialization, transculturation and internalization. The contemporary anti-globalist movement is a reflection of ideological opposition. The criticism of globalization remains in close connection to an increasingly lively discussion regarding alternatives to globalization. Specificity of the quality of global cultural ecumene reveals the need to shape and improve the orientation towards responsible participation and cooperation in the changing and co-dependent global society.

8

Norma a normálne : Canguilhem a Kantovo rozlíšenie školských a svetských pojmov

60%

Vydra A.

|

nr 2

271-283

EN

This article aims to compare the concepts of a norm and the normal in the work of Georges Canguilhem with the duality of scholarly (Schulbegriff) and worldly concepts (Weltbegriff) in the work of Immanuel Kant, against the background of the problematic of sociality and the creation of social structures. Kant’s distinction describes two ways in which philosophical thinking proceeds: either there is a logical, even mechanical or slavish, application of pre-given rules, or thinking is free of such rules and does itself lead to the legislation and determination of new, more effective rules for the attainment of the finite goal of human and social life, which is the general good. Canguilhem, in a similar spirit, proposes that we distinguish between the unification or standardisation of norms which bear on an individual from without, and the creation of individual norms which sometimes depart from the established norms and standards.

DE

Der vorliegende Text befasst sich mit dem Vergleich der Konzepte der Norm und des Normalen bei George Canguilhem mit dem Begriffspaar Schulbegriff/Weltbegriff bei Immanuel Kant vor dem Hintergrund der Problematik der Sozialität und der Bildung gesellschaftlicher Strukturen. Kants Unterscheidung beschreibt zwei philosophische Denkrichtungen: entweder die logische, gar mechanische bis sklavische Anwendung vorgegebener Regeln, oder die Freiheit von diesen Regeln und die eigenständige Entwicklung hin zur Gesetzgebung und zur Bestimmung neuer, effektiver Regeln zur Erreichung des eigentlichen Ziels des menschlichen und gesellschaftlichen Lebens, nämlich des allgemein Guten. Canguilhem schlägt in ähnlichem Geiste eine Unterscheidung zwischen Vereinheitlichung bzw. Standardisierung von Normen vor, die dem Einzelnen von außen vorgegeben werden, und der Bildung individueller Normen, die nicht selten Übertretungen bereist eingeführter Normen sind.

9

Unification of Medical Legal Norms and Criminal Liability in the Context of Globalization of Clinical Research

60%

Karpushyna M. , Veresha R.

|

nr 2

110-118

EN

The relevance of the article is attributed to the swift evolution of the social and state system. With the advancement of the political, economic, and social dimensions of existence, there is a growing need to consider public opinion and enhance public legal awareness in the medical domain. The purpose of the study is to apply correlation analysis in comparing legal sciences and medical sciences, combining them, and subsequently utilizing applied legal dialectics within the realm of medical law knowledge. To achieve this goal, dialectical and logical methods, as well as general scientific methods such as observation and generalization, were employed. Globalization processes are supranational in nature, and under conditions of driving factors are subject to constant development. The medical field is not an exception and is influenced by other sciences, including legal doctrine, informatics, and economics. Clinical research in the medical field is subject to international influence and development, unification and legal regulation. Internationalization processes are making innovative adjustments to the development of medical science, introducing advancements such as artificial intelligence, personalized medicine, predictive medicine, preventive medicine, participatory medicine, and precision medicine. Consequently, personalized patient data is designated as sensitive and necessitates additional legal regulation. Additional attention is paid to the issue of criminal liability of medical workers as special subjects of professional activity. The results of research are reflected in the established search routes of the possibility of improving legal awareness of medical personnel in the context of practical professional activity. Such practical ways can serve as: the creation of informative material of legal content, adapted to the understanding of persons who are not specialists in the field of law, instead, they are professionals of high intellectual level of medical services. The practical importance of the results of creating information and legal content of the medical industry can be reflected in the results of advanced training by medical personnel, in addition, in the elements of self-education of doctors – researchers, private doctors – specialists, etc. Analytical study of the statistical informative material of the medical industry is reflected in legislative and normative legal acts, taken into account in the case law of the national level, taking into account the decisions of the European Court of Human Rights.

10

Koncepcja doboru uniwersalnego zespołu prądotwórczego wraz z agregatem chłodnicznym do ciężkich lokomotyw spalinowych

60%

Szachniewicz B.

|

tom R. 109, z. 9-M

311--320

PL

W artykule przedstawiono propozycję uniwersalnego zespołu prądotwórczego – wraz z agregatem chłodniczym – przeznaczonego do zabudowy na ciężkich lokomotywach spalinowych. W trakcie opracowywania studium budowy przedmiotowego zespołu autor skupił się na lokomotywach serii SM31, SM48, S200 raz SU45. Należy zaznaczyć, że zaproponowane rozwiązanie będzie mogło być wykorzystane podczas modernizacji lokomotyw innych serii oraz w trakcie budowy nowych pojazdów trakcyjnych. Na wstępie artykułu zawarto ogólną charakterystykę ww. lokomotyw manewrowych/ pociągowych. Na podstawie przeprowadzonego bilansu mocy wskazano wartości mocy, jakimi dysponować powinny urządzenia wchodzące w skład przedmiotowego zespołu prądotwórczego. Następnie dokonano wyboru silnika spalinowego oraz zespołu prądnic. W ostatnim etapie podano wymagania dotyczące zespołu chłodniczego, określono jego podstawowe parametry oraz wymiary gabarytowe.

EN

This paper presents an idea of a universal generating set with a refrigerating unit for heavy, modernized diesel – electric locomotives. During analysis the author focused on locomotives class SM31, TEM2, S200 and SU45. However, the proposed solution will be able to be used in modernization of locomotives other classes or construction of new vehicles. First of all, the paper presents general characteristics of locomotives class SM31, TEM2, S200 and SU45. In the next steps author shows results of the energy balance, indicates the diesel engine, main generator and auxiliary generator. In the end the author specifies the requirements for refrigeration unit, sets the parameters and dimensions.

11

Kultura wobec praksis w ujęciu antropologicznym

60%

Saja K.

|

nr 2

59-72

PL

The contemporary anthropology seems to be extremely superficial. Anthropologists do not pay attention to how the studied artifacts arise in the human mind. They tend to watch communities associate with these artifacts, analyze customs, religion, inventions, and other artifacts, but it is not sufficient to achieve the effect of objectivity. Cultural relativism is chosen as a tool to deal with them. It seems that the starting point for a complete rejection of ethnocentrism is the distinction b e tween the cultural sphere praxis and fitness. In turn, in order to achieve the cultural unification one should pay c lose attention to the so-called first principles. The aim of this article is to prove the existence of the first principles as indicators of how do they work in culture. Rules are independent of space and time, and, moreover, they are based in our culture and how we perceive the world around us. We may observe that these rules have existed in human culture from its beginning due to the fact that it was based on them.

12

A comprehensive setting for matching and unification over iterative terms

60%

Intrigila B. , Inverardi P. , Zilli M. V.

|

1999

|

tom Vol. 39, Nr 3

273-304

EN

Terms finitely representing infinite sequences of finite first-order terms have received attention by several authors. In this paper, we consider the class of recurrent terms proposed by H. Chen and J. Hsiang, and we extend it to allow infinite terms. This extension helps in clarifying the relationships between matching and unification over the class of terms we consider, that we call iterative terms. In fact, it holds that if a term s matches a term t by a substitution G, then the limit of iterations of the matching G, if it exists, is a most general unifier of s and t. A crucial feature of iterative terms is the notion of maximally-folded normal form that allows for a comprehensive treatment of both finite and infinite iterative terms. In this setting, infinite terms can be simply characterized as limits of sequences of finite terms. For finite terms we positively settle an open problem of H. Chen and J. Hsiang on the number of most general unifiers for a pair of terms.

13

Kształtowanie placów miejskich na przykładzie miast województwa lubelskiego

51%

Dymek D. , Jóźwik J.

|

tom 76

1-28

EN

The aim of the study is to compare activities undertaken within the framework of shaping the main public spaces of the towns of Lubelskie Voivodeship and to verify the hypothesis of unification of the physiognomy of public town squares. In addition, the authors try to define other trends in the formation of urban public spaces, paying particular attention to the changes that have been made in the development of town squares. The study includes 48 projects assuming a change of spatial development or the creation of town squares in 39 towns of the Lubelskie Voivodeship in the years 2000–2020 (total of 40 town squares). Revitalization activities undertaken as part of the arrangement of town squares are typical for this kind of investments. They include equipping with elements of small architecture, building or modernizing a fountain, modernizing the square’s surface, organizing greenery and locating car parks. For the negative tendencies can be considered the physiognomy unification of town squares, excessive curing of the surface and the departure from the region’s culture, tradition and history.

PL

Celem artykułu jest porównanie działań podjętych w ramach kształtowania kluczowych przestrzeni publicznych miast województwa lubelskiego oraz weryfikacja założenia o powszechnej unifikacji ich fizjonomii. Dodatkowo autorzy starają się określić inne trendy w formowaniu tych miejskich przestrzeni publicznych, zwracając szczególną uwagę na zmiany, jakich dokonano w zagospodarowaniu placów. Analiza obejmuje 48 projektów zakładających zmianę zagospodarowania lub utworzenie placów miejskich w 39 miastach województwa lubelskiego w latach 2000–2020 (łącznie 40 placów). Wyniki wskazują, że działania rewitalizacyjne podjęte w ramach aranżacji tych miejsc są typowe dla tego rodzaju inwestycji. Są to najczęściej: wyposażenie w elementy małej architektury, budowa lub modernizacja fontanny, modernizacja nawierzchni placu, porządkowanie zieleni oraz lokowanie miejsc postojowych. Za negatywne tendencje można uznać unifikację fizjonomii placów miejskich, ich „betonozę” oraz odchodzenie od kultury, tradycji i historii regionu.

14

Pojedynczość w architekturze

51%

Owczarek E.

|

tom nr 18

81--90

PL

Artykuł przedstawia zjawiska zachodzące w architekturze wynikające z idei globalnych. Zjawiska na płaszczyznach kulturowych, ekonomicznych i związanych z technologią oraz ich wpływ na unifikację architektury. W opozycji do teorii jednorodności stawiana jest pojedynczość. Próba definicji architektury pojedynczej ukazuje złożoność jej odniesień. Swoboda interpretacji i szeroka kompleksowość zagadnienia pozwalają na rozpatrywanie wielu przypadków pojedynczości. Od oczywistych, odpowiednich dla funkcjonalizmu po ideowe, czy wyrażane wolną myślą twórczą.

EN

This article presents phenomena taking place in architecture that are a cause of global ideas which are shown on cultural, economic and technology related grounds as well as their impact on unification of architecture. The concept of singleness is opposed to the theory of homogeneity. The attempt at defining single architecture shows the complexity of its references. The freedom of interpretation and vast complexity of this notion enable us to consider many aspects of singleness from obvious ones suitable for functionalism to ideological, expressed by means of free thought.

15

Ujednolicenie unijnej ordynacji wyborczej – mrzonka czy realny projekt na przyszłość?

51%

Pacześniak A.

|

tom 23

7-23

PL

Parlament Europejski jest jedyną instytucją systemu politycznego Unii Europejskiej, której skład wybierany jest bezpośrednio przez wszystkich dorosłych obywateli państw członkowskich. Od czterech dekad nie udało się wypracować jednolitego systemu wyborczego, a wybory do PE organizowane są od samego początku, czyli od 1979 roku, na podstawie ordynacji narodowych. Przedmiotem analizy są wysuwane propozycje reform systemu wyborczego Unii Europejskiej, wychodząc od przedstawienia modelowych rozwiązań systemów wyborczych stosowanych w demokracjach sfragmentaryzowanych. Wskazane są różnice w obecnie obowiązujących krajowych ordynacjach wyborczych do PE oraz przeanalizowane trudności w zakresie ujednolicania unijnego systemu wyborczego.

EN

The European Parliament is the only institution of European Union’ political system, which is elected directly by the adult citizens of the Member States. After four decades from the first direct elections (1979) the EP elections are organized on the basis of national law. The article examines proposals of the EU electoral system’ reforms starting from the analysis of the model solutions used in fragmented democracies. Author indicated differences in the current national EP’ electoral laws and examined difficulties of the convergence and harmonization of the EU voting system.

16

Unification of Equipment for Transporting People, Coal and Materials Produced by Jastrzębskie Zakłady Remontowe Sp. z o. o. and Used in the Mines of the JSW Capital Group

51%

Dyczko A. , Rychter R. , Bosowski A. , Konsek J.

New Trends in Production Engineering

|

2020

|

tom Vol. 3, Iss. 1

303--314

EN

The publication presents the assumptions of the unification process of machines and equipment produced by Jastrzębskie Zakłady Remontowe Sp. z o. o. and operating at the coal mines of the JSW Capital Group. It outlines a solution adopted by JZR Sp. z o. o. addressing this issue. The authors identify the potential benefits of the process to the entire Jastrzębska Spółka Węglowa Capital Group, but they also mention the risks that may arise during its implementation. The publication also presents the first results of the unification, observed on the basis of the unified equipment and machinery of the coal clearance system for transporting people, coal and materials, which has already been put into operation in underground mining excavations. It also includes a chapter devoted to the influence of the unification on the development of “technical thought,” i.e. on the innovativeness of the equipment for transporting people, coal and materials newly produced by Jastrzębskie Zakłady Remontowe Sp. z o. o. which are to be implemented in the near future. New, innovative solutions are presented, which were introduced both in the unified transport devices such as chain and belt conveyors and in devices cooperating with them, i.e. lump breakers, pushing devices and other accessory equipment for the conveyors.

17

International legal regulation of electronic document circulation

51%

KUSHYBEK S.

|

tom 10

365-374

EN

Electronic documents are a type of document that exists only in digital form. These electronic documents are the information product of the latest electronic information technologies such as Internet technologies, WWW technologies, multimedia. Electronic document circulation is known as a system of electronic document management, the relations between the participants of which are regulated by national law and other regulatory legal acts. On the basis of international legislation and legislation of foreign countries, the analysis of the essence and content of electronic document circulation is carried out, the legal relations that make up this concept are defined, the concepts and use of electronic documents and electronic signatures are studied. The unification of rules on electronic documents and their use in contractual relations are the cause of economic and legal issues. The article examines and conducts a comparative analysis of the features and effectiveness of the laws of United Nations Commission on International Trade Law (UNCITRAL), the directives of the European Union and the Convention laws in the emergence of electronic document management.

18

Romania and the Great War: Political, Territorial, Economic and Social Consequences

51%

Radu Sorin R.

|

nr 31

138-167

PL

W artykule przedstawiono syntetyczny obraz najważniejszych, społecznych ekonomicznych i politycznych konsekwencji I wojny światowej dla Rumunii. Mimo atmosfery sprzyjającej przystąpieniu do wojny Rumunia weszła do wielkiego konfliktu nieprzygotowana militarnie, z gospodarczą infrastrukturą niezdolną do poniesienia trudów wojny, polegając jedynie na obietnicach pomocy ze strony Francji i Wielkiej Brytanii. Pod koniec wielkiej wojny Rumunia znacznie zwiększyła swoje terytorium dzięki przyłączeniu prowincji Besarabii, Bukowiny i Siedmiogrodu. Zrealizowano tym samym narodowy projekt „Wielkiej Rumunii”. Nowe granice państwa zostały zaakceptowane podczas konferencji pokojowej w Paryżu. Wielkie Zjednoczenie połączyło w ramach jednego państwa zróżnicowaną ludność, o różnym poziomie edukacji, statusie społecznym i mentalności. Mniejszości etniczne stanowiły około 30 proc. społeczeństwa, a zróżnicowanie religijne stało się nową codziennością w kraju, który był dotychczas w przeważającej części prawosławny. W latach powojennych największym wyzwaniem dla państwa i polityków stała się integracja nowych prowincji pod względem ustawodawczym, instytucjonalnym, administracyjnym, kulturowym i ekonomicznym. Proces ten był długotrwały i towarzyszyły mu dyskusje wśród polityków i elit kulturalnych Starego Królestwa oraz przyłączanych prowincji. Kolejną ważną konsekwencją wojny było przeprowadzenie reform: agrarnej i wyborczej. Podział majątków w sposób zasadniczy zmienił status społeczny chłopów, którzy dzięki powszechnym prawom wyborczym z wasali przekształcili się w obywateli. Nowa polityka oświatowa państwa położyła szczególny nacisk na latynizację i kształtowanie „obywateli Wielkiej Rumunii”, jednocześnie umożliwiając chłopom dostęp do edukacji. W Rumunii, podobnie jak w innych państwach, niezwykle trudno jest ocenić ekonomiczne konsekwencje I wojny światowej. Sytuacja jest tu tym bardziej skomplikowana, że Wielkie Zjednoczenie połączyło Stare Królestwo z prowincjami, które poprzednio rozwijały się pod wpływem różnych systemów ekonomicznych. Wiadomo więc, że zniszczeniom oraz stratom w ludziach towarzyszyły restrukturyzacja i transformacja spowodowane przyłączeniem do rumuńskiego państwa unitarnego nowych prowincji. W tym czasie również kształtowały się i rozwijały nowe prądy ideologiczne (neoliberalizm i doktryna chłopska), które determinowały politykę ekonomiczną oraz strategię rozwoju.

19

Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5

51%

Dzik W. , Wróbel B. , University of Silesia Institute of Mathematics B. , wojciech.dzik@us.edu.pl , kenneb@interia.pl

|

nr 1-2

EN

Unifiability of terms (and formulas) and structural completeness in the variety of relation algebras RA and in the products of modal logic S5 is investigated. Nonunifiable terms (formulas) which are satisfiable in varieties (in logics) are exhibited. Consequently, RA and products of S5 as well as representable diagonal-free n-dimensional cylindric algebras, RDfn, are almost structurally complete but not structurally complete. In case of S5n a basis for admissible rules and the form of all passive rules are provided.

20

Rola wschodniego katolicyzmu w optyce zjednoczenia chrześcijańskiego

51%

Moskałyk J.

|

nr 1

33-45

EN

The historical role of the Eastern Catholicism causes still many contradictions and ambiguities. Like there is this objective reasons, which have completely different base than modern sometimes incredibly attempt to interpret the phenomenon. It must be emphasized that the main factor inspiring attention to the heritage of the Eastern Catholics in recent times is the Ecumenical dialogue in the field of Catholic-Orthodox. On the background of often to exchange views on the historical authenticity and effectiveness of a pragmatic of the Eastern Catholic. Provided here the fundamental method of action is directed on you will achieve real progress in the Catholic-Orthodox unification process, from here completely not by chance the so-called Uniate Church is surrendering to the specific judgement. This judgement assumes different shades and the different weight depending on the degree of employing pages in specific moments.

PL

Cały okres powojenny aż do przemian ustrojowo-społecznych w końcu lat osiemdziesiątych ubiegłego stulecia był bardzo złożony i na długo zdestabilizował struktury wschodniego Kościoła katolickiego we wschodniej Europie. W związku z tym katolicka wspólnota wschodnia pod wieloma względami była postrzegana jako pewna odmienność wspólnotowa wewnątrz Kościoła rzymskiego. Ta forma recepcji obowiązywała m.in. w ówczesnej Polsce, gdzie miejscowych grekokatolików utożsamiano jedynie z zjawiskiem obrządkowym.