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ę "amalgamation" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-10 z 15
Tytuł:
On interpolation in NEXT(KB.Alt(2))
Autorzy:
Kostrzycka, Zofia
Powiązania:
https://bibliotekanauki.pl/articles/749976.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
symmetric Kripke frames
interpolation
amalgamation
Opis:
We prove that there is infinitely many tabular modal logics extending KB.Alt(2) which have interpolation.
Źródło:
Bulletin of the Section of Logic; 2018, 47, 3
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Thickness of Amalgamations and Cartesian Product of Graphs
Autorzy:
Yang, Yan
Chen, Yichao
Powiązania:
https://bibliotekanauki.pl/articles/31341728.pdf
Data publikacji:
2017-08-01
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
thickness
amalgamation
Cartesian product
genus
Opis:
The thickness of a graph is the minimum number of planar spanning subgraphs into which the graph can be decomposed. It is a measurement of the closeness to the planarity of a graph, and it also has important applications to VLSI design, but it has been known for only few graphs. We obtain the thickness of vertex-amalgamation and bar-amalgamation of graphs, the lower and upper bounds for the thickness of edge-amalgamation and 2-vertex-amalgamation of graphs, respectively. We also study the thickness of Cartesian product of graphs, and by using operations on graphs, we derive the thickness of the Cartesian product Kn □ Pm for most values of m and n.
Źródło:
Discussiones Mathematicae Graph Theory; 2017, 37, 3; 561-572
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Modelwise Interpolation Property of Semantic Logics
Autorzy:
Gyenis, Zalán
Molnár, Zalán
Öztürk, Övge
Powiązania:
https://bibliotekanauki.pl/articles/43179744.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
interpolation
algebraic logic
amalgamation
superamalgamation
Opis:
In this paper we introduce the modelwise interpolation property of a logic that states that whenever \(\models\phi\to\psi\) holds for two formulas \(\phi\) and \(\psi\), then for every model \(\mathfrak{M}\) there is an interpolant formula \(\chi\) formulated in the intersection of the vocabularies of \(\phi\) and \(\psi\), such that \(\mathfrak{M}\models\phi\to\chi\) and \(\mathfrak{M}\models\chi\to\psi\), that is, the interpolant formula in Craig interpolation may vary from model to model. We compare the modelwise interpolation property with the standard Craig interpolation and with the local interpolation property by discussing examples, most notably the finite variable fragments of first order logic, and difference logic. As an application we connect the modelwise interpolation property with the local Beth definability, and we prove that the modelwise interpolation property of an algebraizable logic can be characterized by a weak form of the superamalgamation property of the class of algebras corresponding to the models of the logic.
Źródło:
Bulletin of the Section of Logic; 2023, 52, 1; 59-83
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Territorial fragmentation in post-communist Romania: the not so curious case of a de-amalgamation reform
Autorzy:
Stănuș, Cristina
Powiązania:
https://bibliotekanauki.pl/articles/1069051.pdf
Data publikacji:
2021
Wydawca:
Uniwersytet Warszawski. Wydział Geografii i Studiów Regionalnych
Tematy:
Territorial reforms
de-amalgamation
local government
Romania
Opis:
The efficiency-driven trend towards amalgamation characterising local government reforms in Europe seems to have escaped Romania, which displays a significant increase in the number of local governments post- 1989. This is the result of rural first-tier local governments splitting into smaller units. The paper examines objective factors and subjective motivations that have shaped the behaviour of both national and local actors in dealing with territorial reform. First, it explores the rationale and rationality of a central government initiative to facilitate municipal splits against a set of criteria derived from the literature. Second, it examines the municipal splits occurring between 1991 and 2018 against alternative or concurring explanations developed in the literature based on economic, socio-cultural and political elements. The paper argues that in the highly charged political context of the post-communist countries it is reasonable to expect a dominance of subjective rather than objective factors in decision-making on territorial reform.
Źródło:
Miscellanea Geographica. Regional Studies on Development; 2021, 25, 1; 62-70
0867-6046
2084-6118
Pojawia się w:
Miscellanea Geographica. Regional Studies on Development
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On local antimagic total labeling of complete graphs amalgamation
Autorzy:
Lau, Gee-Choon
Shiu, Wai-Chee
Powiązania:
https://bibliotekanauki.pl/articles/29519348.pdf
Data publikacji:
2023
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
local antimagic (total) chromatic number
amalgamation
complete graph
Opis:
Let G = (V,E) be a connected simple graph of order p and size q. A graph G is called local antimagic (total) if G admits a local antimagic (total) labeling. A bijection g : E → {1, 2, . . . , q} is called a local antimagic labeling of G if for any two adjacent vertices u and v, we have $ g^+ (u) \ne g^+ (v) $, where $ g^+ (u) = \Sigma_{e∈E(u)} \text{ } g(e) $, and E(u) is the set of edges incident to u. Similarly, a bijection f : V (G)∪E(G) → {1, 2, . . . , p+q} is called a local antimagic total labeling of G if for any two adjacent vertices u and v, we have $ w_f (u) \ne w_f (v) $, where $ w_f (u) = f(u) + \Sigma_{e∈E(u)} f(e) $. Thus, any local antimagic (total) labeling induces a proper vertex coloring of G if vertex v is assigned the color $g^+ (v) $ (respectively, $ w_f (u) $). The local antimagic (total) chromatic number, denoted $χ_\text{la } (G) $ (respectively $χ_\text{lat } (G) $ ), is the minimum number of induced colors taken over local antimagic (total) labeling of G. In this paper, we determined $ χ_\text{lat } (G) $ where G is the amalgamation of complete graphs. Consequently, we also obtained the local antimagic (total) chromatic number of the disjoint union of complete graphs, and the join of $ K_1 $ and amalgamation of complete graphs under various conditions. An application of local antimagic total chromatic number is also given.
Źródło:
Opuscula Mathematica; 2023, 43, 3; 429-453
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Reshaping local borders in Europe today. A critical reflection founded on an analysis of the case of Finland
Autorzy:
Xavier, Albacete
Joan, Tort
Powiązania:
https://bibliotekanauki.pl/articles/2046850.pdf
Data publikacji:
2017-04-10
Wydawca:
Uniwersytet Warszawski. Wydział Geografii i Studiów Regionalnych
Tematy:
Amalgamation
local reform
Finnish local administration
local policy
Opis:
In Europe, the amalgamation of local authorities is currently used to optimize public resources. Although amalgamation involves several advantages, it needs to fulfil three conditions to be considered successful. First, address local preferences and needs; second, be fair, transparent and accessible to citizens; and third, be a compromise between central and local political elites. In the current paper the fulfilling of these three conditions is analysed using the comprehensive, bottom-up, Finnish reform introduced during the period of 2008-2013. The findings conclude that while the Finnish local reform plan has been successful in reaching a compromise between local and central governments, it has failed insofar as it has not fulfilled the condition of making the process fair, transparent and accessible to citizens. Furthermore, whether the amalgamation has allowed local government to address citizens' preferences and needs in a meaningful and responsive way has yet to be demonstrated.
Źródło:
Miscellanea Geographica. Regional Studies on Development; 2017, 21, 1; 19-24
0867-6046
2084-6118
Pojawia się w:
Miscellanea Geographica. Regional Studies on Development
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Enclisis, mesoclisis and inflection in Italo-Romance varieties: A minimalist analysis
Autorzy:
Savoia, Leonardo M.
Baldi, Benedetta
Powiązania:
https://bibliotekanauki.pl/articles/40228933.pdf
Data publikacji:
2023
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II
Tematy:
object clitics
inflection
enclisis
mesoclisis
morpho-syntax
amalgamation
Opis:
This contribution addresses a central theme in morphological analysis, namely the relationship between clitics and inflectional elements. Important contributions on the point are due to Anderson (1992) and Marantz (1988), who, in different ways, connect clitics and affixes. We will propose a solution based on the idea that clitics are part of the inflectional arrangement of the verbal head. Specifically, we will investigate two types of data coming from some Romance varieties in which enclisis and mesoclisis phenomena interact with word formation. These phenomena affect the expression of the Internal Argument and lead us to rethink the analysis of enclisis and mesoclisis in terms of the ability of the inflected verb to realize Phasal domains. In other words, morphology is part of the syntactic computation, and morphemic elements, endowed with interpretable content, are introduced by the operation of Merge.
Źródło:
Linguistics Beyond and Within; 2023, 9; 172-196
2450-5188
Pojawia się w:
Linguistics Beyond and Within
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The strong 3-rainbow index of some certain graphs and its amalgamation
Autorzy:
Awanis, Zata Yumni
Salman, A.N.M.
Powiązania:
https://bibliotekanauki.pl/articles/2216176.pdf
Data publikacji:
2022
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
amalgamation
rainbow coloring
rainbow Steiner tree
strong k-rainbow index
Opis:
We introduce a strong k-rainbow index of graphs as modification of well-known k-rainbow index of graphs. A tree in an edge-colored connected graph G, where adjacent edge may be colored the same, is a rainbow tree if all of its edges have distinct colors. Let k be an integer with 2 ≤ k ≤ n. The strong k-rainbow index of G, denoted by $srx_k(G)$, is the minimum number of colors needed in an edge-coloring of G so that every k vertices of G is connected by a rainbow tree with minimum size. We focus on k = 3. We determine the strong 3-rainbow index of some certain graphs. We also provide a sharp upper bound for the strong 3-rainbow index of amalgamation of graphs. Additionally, we determine the exact values of the strong 3-rainbow index of amalgamation of some graphs.
Źródło:
Opuscula Mathematica; 2022, 42, 4; 527-547
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Niezwykłe rozszerzenie granic miasta. Przypadek Zielonej Góry w kontekście zjawiska jazdy na gapę
Unusual extension of the city limits. The case of Zielona Góra in the context of the phenomenon of free riding on the common pool
Autorzy:
Swianiewicz, Paweł
Szmigiel-Rawska, Katarzyna
Powiązania:
https://bibliotekanauki.pl/articles/980447.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Warszawski. Instytut Ameryk i Europy. Centrum Europejskich Studiów Regionalnych i Lokalnych (EUROREG)
Tematy:
reforma terytorialna
samorząd lokalny
łączenie gmin
territorial reform
local government
municipal amalgamation
Opis:
Celem badań przedstawionych w artykule była ocena skutków połączenia miasta na prawach powiatu Zielona Góra z gminą wiejską o tej samej nazwie w 2015 roku w kontekście funkcjonowania demokracji lokalnej. A także weryfikacja zjawiska jazdy na gapę z wykorzystaniem wspólnych zasobów w kontekście reformy terytorialnej. Analiza, oparta na quasi-eksperymentalnym schemacie z wykorzystaniem metody synthetic control, nie potwierdziła hipotezy jazdy na gapę z wykorzystaniem wspólnych zasobów, co jest wynikiem odróżniającym to badanie od wcześniej prowadzonych. Wyniki naszego badania wskazują również, że zastosowana w Zielonej Górze strategia może być skuteczna w osiągnięciu pośredniego celu politycznego, jakim było zapewnienie przychylności mieszkańców dla prowadzonej reformy i wysoka legitymizacja jej rezultatów.
The purpose of the research presented in the article is to assess the effects of the 2015 amalgamation of the Zielona Góra city with the rural commune of the same name on the quality of local democracy. The second goal is to examine the phenomenon of free riding on the common pool in the context of the local-level territorial reform. The analysis, based on a quasi-experimental scheme using the synthetic control method, unlike previous studies, did not confirm the free riding hypothesis. The results of the study also indicate that the strategy implemented in Zielona Góra can be useful in achieving an intermediate political goal, which is to ensure the residents’ approval of the reform and legitimization of its results.
Źródło:
Studia Regionalne i Lokalne; 2019, 4(78); 54-74
1509-4995
Pojawia się w:
Studia Regionalne i Lokalne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Interpolation in Normal Extensions of the Brouwer Logic
Autorzy:
Kostrzycka, Zofia
Powiązania:
https://bibliotekanauki.pl/articles/749908.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
normal extensions of the Brouwer logics
Kripke frames
interpolation property
amalgamation property
Opis:
The Craig interpolation property and interpolation property for deducibility are considered for special kind of normal extensions of the Brouwer logic.
Źródło:
Bulletin of the Section of Logic; 2016, 45, 3/4
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-10 z 15

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