scholarly journals Hyperbolicity of high-order systems of evolution equations

2015 ◽  
Vol 12 (01) ◽  
pp. 1-35 ◽  
Author(s):  
David Hilditch ◽  
Ronny Richter
Keyword(s):  
Evolution Equations ◽  
Arbitrary Order ◽  
Order Reduction ◽  
High Order ◽  
First Order ◽  
Definition Of ◽  
The Relationship

We study properties of evolution equations which are first order in time and arbitrary order in space (FTNS). Following Gundlach and Martín-García (2006) we define strong and symmetric hyperbolicity for FTNS systems and examine the relationship between these definitions, and the analogous concepts for first-order systems. We demonstrate equivalence of the FTNS definition of strong hyperbolicity with the existence of a strongly hyperbolic first-order reduction. We also demonstrate equivalence of the FTNS definition, up to N = 4, of symmetric hyperbolicity with the existence of a symmetric-hyperbolic first-order reduction.

scholarly journals Linear Hyperbolic Systems on Networks: well-posedness and qualitative properties

2020 ◽  
Author(s):  
Marjeta Kramar ◽  
Delio Mugnolo ◽  
Serge Nicaise
Keyword(s):  
Boundary Conditions ◽  
Evolution Equations ◽  
Hyperbolic Systems ◽  
Sufficient Conditions ◽  
Order Reduction ◽  
Well Posedness ◽  
Qualitative Properties ◽  
Local Boundary ◽  
First Order ◽  
Necessary And Sufficient

We study hyperbolic systems of one - dimensional partial differential equations under general , possibly non-local boundary conditions. A large class of evolution equations, either on individual 1- dimensional intervals or on general networks , can be reformulated in our rather flexible formalism , which generalizes the classical technique of first - order reduction . We study forward and backward well - posedness ; furthermore , we provide necessary and sufficient conditions on both the boundary conditions and the coefficients arising in the first - order reduction for a given subset of the relevant ambient space to be invariant under the flow that governs the system. Several examples are studied . p, li { white-space: pre-wrap; }

New Extension of Affine Arithmetic: Complex Form

2012 ◽  
Vol 3 (1) ◽  
pp. 11
Author(s):  
Ahmed Elaraby Ahmed ◽  
Hassan El-Owny
Keyword(s):  
Arbitrary Order ◽  
Complex Form ◽  
Higher Order ◽  
Computational Approach ◽  
High Order ◽  
Affine Arithmetic ◽  
First Order ◽  
Order Extension

In this paper we present the new complex form for affine arithmetic (AA) which is a self-verifying computational approach that keeps track of first-order correlation between uncertainties in the data and intermediate and final results. In this paper we propose a higher-order extension satisfying the requirements of genericity, arbitrary-order and self-verification, comparing the resulting method with other wellknown high-order extensions of AA

scholarly journals Verifying Tight Logic Programs with anthem and vampire

2020 ◽  
Vol 20 (5) ◽  
pp. 735-750
Author(s):  
JORGE FANDINNO ◽  
VLADIMIR LIFSCHITZ ◽  
PATRICK LÜHNE ◽  
TORSTEN SCHAUB
Keyword(s):  
Software Tools ◽  
Program Completion ◽  
Logic Programs ◽  
Input Language ◽  
First Order ◽  
Input And Output ◽  
Definition Of ◽  
Correctness Of Programs ◽  
The Relationship ◽  
Stable Models

AbstractThis paper continues the line of research aimed at investigating the relationship between logic programs and first-order theories. We extend the definition of program completion to programs with input and output in a subset of the input language of the ASP grounder gringo, study the relationship between stable models and completion in this context, and describe preliminary experiments with the use of two software tools, anthem and vampire, for verifying the correctness of programs with input and output. Proofs of theorems are based on a lemma that relates the semantics of programs studied in this paper to stable models of first-order formulas.

Nonlinear Analysis of Visual Evoked Potentials Elicited by Color Stimulation

1997 ◽  
Vol 36 (04/05) ◽  
pp. 315-318 ◽  
Author(s):  
K. Momose ◽  
K. Komiya ◽  
A. Uchiyama
Keyword(s):  
Visual System ◽  
Evoked Potentials ◽  
Visual Evoked Potentials ◽  
Normal Subjects ◽  
Second Order ◽  
First Order ◽  
The Relationship ◽  
Perceived Color ◽  
Second Order Nonlinearity ◽  
Visual Evoked

Abstract:The relationship between chromatically modulated stimuli and visual evoked potentials (VEPs) was considered. VEPs of normal subjects elicited by chromatically modulated stimuli were measured under several color adaptations, and their binary kernels were estimated. Up to the second-order, binary kernels obtained from VEPs were so characteristic that the VEP-chromatic modulation system showed second-order nonlinearity. First-order binary kernels depended on the color of the stimulus and adaptation, whereas second-order kernels showed almost no difference. This result indicates that the waveforms of first-order binary kernels reflect perceived color (hue). This supports the suggestion that kernels of VEPs include color responses, and could be used as a probe with which to examine the color visual system.

ADMINISTRATIVE AND LEGAL STATUS OF THE CAPITAL OF UKRAINE - THE HERO CITY OF KYIV AS A GUARANTEE OF THE RIGHTS OF CITIZENS OF UKRAINE AND THE TERRITORIAL COMMUNITY OF THE CITY

2017 ◽  
Author(s):  
Oleksii Chepov ◽  
Keyword(s):  
Legal Status ◽  
Modern World ◽  
Legal Regime ◽  
Legal Doctrine ◽  
City Councils ◽  
The Social ◽  
District Management ◽  
Definition Of ◽  
The Relationship ◽  
The City

The qualitative and clear definition of the legal regime of the capital of Ukraine, the hero city of Kyiv, is influenced by its legislative enshrinement, however, it should be noted that discussions are ongoing and one of the reasons for the unclear legal status of the capital is the ambiguity of current legislation in this area. Separation of the functions of the city of Kyiv, which are carried out to ensure the rights of citizens of Ukraine and the functions that guarantee the rights of the territorial community of the city of Kyiv. In the modern world, in legal doctrine and practice, the capital is understood as the capital of the country, which at the legislative level received this status and, accordingly, is the administrative and political center of the state, which houses the main state bodies and diplomatic missions of other states. It is the identification of the boundaries of the relationship between the competencies of state administrations and local self-government, in practice, often raises questions about their delimitation and ways of regulatory solution. Peculiarities of local self-government in Kyiv city districts are defined in the provisions of the Law on the Capital, which reveal the norms of the Constitution in these legal relations, according to which the issue of organizing district management in cities belongs to city councils. Likewise, it is unregulated by law to lose the particularity of the legal status of the territory of the city. It should be emphasized that the subject of administrative-legal relations is not a certain administrative-territorial entity, but the social group is designated - the territorial community of the city of Kiev, kiyani. Thus, the provisions on the city of Kyiv partially ignore the potential of the territorial community.

Compliance and Conflict of Value in Public Policy Implementation: Comparison between the New Order and the Reformation Era

2018 ◽  
Vol 2 (2) ◽  
pp. 99 ◽  
Author(s):  
Dwiyanto Indiahono ◽  
Erwan Purwanto ◽  
Agus Pramusinto
Keyword(s):  
Public Policy ◽  
Policy Implementation ◽  
Local Level ◽  
Group Discussion ◽  
New Order ◽  
The Reformation ◽  
Public Policy Implementation ◽  
Definition Of ◽  
Conflict Of Value ◽  
The Relationship

This research aims to examine differences in the relationship of bureaucratic and political officials during the New Order (Soeharto’s era) and the Reformation (post-Soeharto) era within the arena of public policy implementation. This is a matter of importance given that there is a change in relations between the two from integration in the New Order to bureaucratic impartiality in the Reformation Era. This study attempts to answer the question: How were the relations of bureaucratic and political officials in the implementation of local level public policy during the New Order and the Reformation Era? A qualitative research has been conducted in Tegal Municipality using the following data collection techniques: interview, focus group discussion, documentation, and observation. Tegal Municipality was selected as the study location because of the unique relationship shown between the mayor and the bureaucracy. Its uniqueness lies in the emergence of bureaucratic officials who dare to oppose political officials, based on their convictions that bureaucratic/public values should be maintained even if it means having to be in direct conflict with political officials. This research indicates that the relationship between bureaucratic and political officials in the arena of local level policy implementation during the New Order was characterized as being full of pressure and compliance, whereas during the Reformation Era bureaucrats have the audacity to hinder policy implementation. Such audacity to thwart policies is considered to have developed from a stance that aims to protect public budget and values in policies. The occurring conflict of values here demonstrates a dichotomy of political and bureaucratic officials that is different from the prevailing definition of politics-administration dichotomy introduced at the onset of Public Administration studies.

The Concept of Europeanization and Possibilities of its Application to the Analysis of Ukraine-EU Relations

2017 ◽  
pp. 149-160
Author(s):  
Natalia Popova
Keyword(s):  
European Integration ◽  
Theoretical Research ◽  
Member States ◽  
External Governance ◽  
Definition Of ◽  
The Relationship ◽  
Eu Studies ◽  
The Eu

The concept of Europeanization has become quite fashionable in EU studies in recent years. It is often used for the analysis of the relations between the EU and non-member states. The aim of the article is to examine the possibilities of its application in explaining the relationship between the EU and Ukraine. The structure of the article is as follows: firstly, the concept of Europeanization is defined considering such two disputable issues as distinguishing among concepts of Europeanization and European integration as well as Europeanization and EU-ization. Next, the evolution of the theoretical research of Europeanization and definition of this concept are analyzed. Two main mechanisms of Europeanization (conditionality and socialization) are examined. The author considers main approaches to the analysis of the "external" Europeanization emphasizing the concept of "external governance". Three groups of factors which influence the effectiveness of Europeanization are briefly analyzed. And finally, the peculiarities of application of the Europeanization concept to the Ukraine-EU relations are outlined. Keywords: EU, Ukraine, Europeanization, EU-ization, ‘external’ Europeanization, conditionality, socialization, concept of ‘external governance’

О вопросах фольклоризма в письменной литературе

2019 ◽  
pp. 31-33
Author(s):  
Суусар Искендерова
Keyword(s):  
Modern Science ◽  
Folk Songs ◽  
Point Of View ◽  
The Past ◽  
Scientific Term ◽  
Literature Culture ◽  
Definition Of ◽  
The Relationship

Аннотация: Исследование проблемы фольклоризма является наиболее актуальной в современной науке о фольклоре. На разных этапах развития художественной литературы для формирования индивидуального творчества писателя особенно значимым становятся фольклорные жанры, сюжетные мотивы и художественные средства. В статье рассматривается связь письменной литературы и фольклора, особенно точка зрения проблеме фольклоризма в прошлом и их анализ. Термин «фольклоризм» начал использоваться советскими исследователями учеными как научный термин еще в 1930-х гг. Термин «фольклоризм» используется в различных сферах культуры, а в этой статье мы будем рассматривать в литературе. Несмотря на то, что на протяжении многих лет этот вопрос изучается литературоведами, фольклористами, все -таки нет единого теоретического определения понятия. Ключевые слова: фольклор, фольклоризм, литература, культура, письменная литература, художественная литература, оседлый народ, пословицы и поговорки, фольклорные песни. Аннотация: Көркөм адабияттын өнүгүүсүнүн ар кайсы баскычтарында сүрөткердин жеке чыгармачылыгынын калыптанышы үчүн фольклордук жанрлар, сюжеттер, мотивдер жана көркөм каражаттар айрыкча мааниге ээ. Макалада жазма адабият менен фольклордук карым-катышы, айрыкча фольклоризм маселеси жөнүндө мурдагы көз караштарга кайрылып, аларга талдоо жүргүзүү менен бирге автор өз байкоолорунда келтирет. “Фольклоризм” деген илимий термин 1930-жылы баштап колдонула баштаган. “Фольклоризм” термини маданияттын түрдүү сфераларында кеңири колдо- нулат, бул жерде адабияттагы колдонулушун каралат. Макалада адабий материал менен фольклордук байланышын терең түшүнүү үчүн адабий фольклоризм маселесинин талаштуу жактары каралат. Түйүндүү сөздөр: фольклор, фольклоризм, адабият, маданият, жазма адабият, көркөм адабият, көчмөн калк, макал-лакап, фольклордук ырлар. Annotation: The study of the problem of folklore is the most relevant in the modern science of folklore. At various stages in the development of fiction, folklore genres, plot motifs, and artistic means become especially significant for the formation of the writer's individual creativity. The article examines the relationship between written literature and folklore, especially the point of view of the problem of folklorism in the past and their analysis. The term "folklorism" began to be used by Soviet scholars as a scientific term back in the 1930s. The term "folklorism" is used in various fields of culture, and in this article we will consider in the literature. Despite the fact that for many years this issue has been studied by literary scholars, folklorists, all the same there is no single theoretical definition of the concept. Keywords: folklore, folklorism, literature, culture, written literature, fiction, settled people, proverbs and sayings, folk songs.

Sifat-sifat Submodul Prima dan Submodul Prima Lemah

2020 ◽  
Vol 2 (2) ◽  
pp. 183
Author(s):  
Hisyam Ihsan ◽  
Muhammad Abdy ◽  
Samsu Alam B
Keyword(s):  
Prime Ideal ◽  
Literature Study ◽  
Prime Submodules ◽  
Unitary Module ◽  
Prime Submodule ◽  
Definition Of ◽  
The Relationship

Penelitian ini merupakan penelitian kajian pustaka yang bertujuan untuk mengkaji sifat-sifat submodul prima dan submodul prima lemah serta hubungan antara keduanya. Kajian dimulai dari definisi submodul prima dan submodul prima lemah, selanjutnya dikaji mengenai sifat-sifat dari keduanya. Pada penelitian ini, semua ring yang diberikan adalah ring komutatif dengan unsur kesatuan dan modul yang diberikan adalah modul uniter. Sebagai hasil dari penelitian ini diperoleh beberapa pernyataan yang ekuivalen, misalkan  suatu -modul ,  submodul sejati di  dan ideal di , maka ketiga pernyataan berikut ekuivalen, (1)  merupakan submodul prima, (2) Setiap submodul tak nol dari   -modul memiliki annihilator yang sama, (3) Untuk setiap submodul  di , subring  di , jika berlaku  maka  atau . Di lain hal, pada submodul prima lemah jika diberikan  suatu -modul,  submodul sejati di , maka pernyataan berikut ekuivalen, yaitu (1) Submodul  merupakan submodul prima lemah, (2) Untuk setiap , jika  maka . Selain itu, didapatkan pula hubungan antara keduanya, yaitu setiap submodul prima merupakan submodul prima lemah.Kata Kunci: Submodul Prima, Submodul Prima Lemah, Ideal Prima. This research is literature study that aims to examine the properties of prime submodules and weakly prime submodules and the relationship between  both of them. The study starts from the definition of prime submodules and weakly prime submodules, then reviewed about the properties both of them. Throughout this paper all rings are commutative with identity and all modules are unitary. As the result of this research, obtained several equivalent statements, let  be a -module,  be a proper submodule of  and  ideal of , then the following three statetments are equivalent, (1)  is a prime submodule, (2) Every nonzero submodule of   -module has the same annihilator, (3) For any submodule  of , subring  of , if  then  or . In other case, for weakly prime submodules, if given  is a unitary -module,  be a proper submodule of , then the following statements are equivalent, (1)  is a weakly prime submodule, (2) For any , if  then . In addition, also found the relationship between both of them, i.e. any prime submodule is weakly prime submodule.Keywords: Prime Submodules, Weakly Prime Submdules, Prime Ideal.

Two Theories of Effective Government

2017 ◽  
Author(s):  
Johannes Lindvall
Keyword(s):  
Political Science ◽  
Political Institutions ◽  
Public Policies ◽  
Methodological Approach ◽  
Decision Makers ◽  
Precise Definition ◽  
Policy Changes ◽  
Political Decision ◽  
Definition Of ◽  
The Relationship

This chapter introduces the problem of “reform capacity” (the ability of political decision-makers to adopt and implement policy changes that benefit society as a whole, by adjusting public policies to changing economic, social, and political circumstances). The chapter also reviews the long-standing discussion in political science about the relationship between political institutions and effective government. Furthermore, the chapter explains why the possibility of compensation matters greatly for the politics of reform; provides a precise definition of the concept of reform capacity; describes the book's general approach to this problem; and discusses the ethics of compensating losers from reform; and presents the book's methodological approach.

Sign in / Sign up

Export Citation Format

Share Document