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

  Lista filtrów

Dostawca treści

Podbaza

Wyrównaj
Wyświetlanie 1-25 z 3063
Tytuł:
Higher order triangular graceful labeling of some graphs
Autorzy:
Sakthi Sankari, R.
Syed Ali Nisaya, M. P.
Powiązania:
https://bibliotekanauki.pl/articles/1193398.pdf
Data publikacji:
2021
Wydawca:
Przedsiębiorstwo Wydawnictw Naukowych Darwin / Scientific Publishing House DARWIN
Tematy:
fifth order
fifth order triangular graceful graph
fifth order triangular graceful labeling
fifth order triangular numbers
fourth order
third order
Opis:
A (p, q) graph G is said to admit higher order triangular graceful labeling if its vertices can be labeled by the integers from 0 to qth higher order triangular numbers such that the induced edge labels obtained by the absolute difference of the labels of end vertices are the first q higher order triangular numbers. A graph G which admits higher order triangular graceful labeling is called a higher order triangular graceful graph. In this paper, third order, fourth order, fifth order triangular graceful labeling are introduced and third order, fourth order, fifth order triangular graceful labeling of star graph, subdivision of star, nK_2, path, comb, bistar, coconut tree, nK_1,3 are studied.
Źródło:
World Scientific News; 2021, 156; 40-61
2392-2192
Pojawia się w:
World Scientific News
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Late Westphalian International Order
Autorzy:
Pietraś, Marek
Powiązania:
https://bibliotekanauki.pl/articles/2028491.pdf
Data publikacji:
2007-12-31
Wydawca:
Wydawnictwo Adam Marszałek
Tematy:
Westphalian order
late Westphalian
international order
Opis:
The international order, denoting in a very general sense the manner of the organization and functioning of the international environment in a given period of time, is a dynamic construction that evolves. The feature of the present stage is a transition from its earlier form called the Westphalian order to the future form with qualitatively new features, sometimes called the post-Westphalian order. This process does however mean that the “parameters” of the Westphalian international order are to be replaced by the parameters of the post-Westphalian order. The qualitatively new features of the organization and functioning of the international environment “coexist” with those characteristic of the Westphalian system of international relations. This “coexistence” determines the distinctive feature of the present stage of international relations, which is a hybridity or combining of solutions, often opposing in their logic, relating to the organization and functioning of the international environment. Hence it seems appropriate to term the present stage of dynamics of and change in international relations as the late Westphalian order.
Źródło:
Polish Political Science Yearbook; 2007, 36; 134-157
0208-7375
Pojawia się w:
Polish Political Science Yearbook
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Correlation dimension for self-similar Cantor sets with overlaps
Autorzy:
Simon, Károly
Solomyak, Boris
Powiązania:
https://bibliotekanauki.pl/articles/1205383.pdf
Data publikacji:
1998
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
Borel partial order
Borel linear order
Opis:
We prove a classification theorem of the "Glimm-Effros" type for Borel order relations: a Borel partial order on the reals either is Borel linearizable or includes a copy of a certain Borel partial order $≤_0$ which is not Borel linearizable.
Źródło:
Fundamenta Mathematicae; 1998, 155, 3; 293-300
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On the Empires Rumble: Toward New Political, Socio-Economical and International Order in Central and Eastern Europe 26-27th October, 2011 University of Lodz Training and Conference Centre
Autorzy:
Słowikowski, Michał
Powiązania:
https://bibliotekanauki.pl/articles/2023700.pdf
Data publikacji:
2012-12-31
Wydawca:
Wydawnictwo Adam Marszałek
Tematy:
international order
socio-economical order
conference report
Opis:
On 26–27th October 2011 at the University of Lodz Training and Conference Centre there took place an international conference “On the Empire Rumble: Toward New Political, Socio-Economical and International Order in Central and Eastern Europe”, organized by the Chair of Political Science, Institute of Political Science Faculty of International Studies and Political Science’s.
Źródło:
Polish Political Science Yearbook; 2012, 41; 503-506
0208-7375
Pojawia się w:
Polish Political Science Yearbook
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Second order inferencje in natural language semantics
Autorzy:
Pulman, S.
Powiązania:
https://bibliotekanauki.pl/articles/103917.pdf
Data publikacji:
2018
Wydawca:
Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:
first order
second order
inference
adjectives
possessives
Opis:
In this paper I look at a number of apparently trivial valid inferences (as well as some invalid and missing inferences) associated with the possessive construction and with different types of adjectival modification of nouns. In the case of possessives, all analyses I know of, whether implemented or not, systematically sanction invalid inferences. In the case of adjectives, there are some model-theoretic linguistic analyses that are adequate at a theoretical level, but no satisfactory practical computational implementations that I am aware of which capture the correct inference patterns. A common thread between the possessive and the adjectival construction is that to derive the correct inferences we need secondo order quantification. This is an uncontroversial move within modeltheoretic formal semantics but a problem for computational semantics, since we have no fully automated theorem provers for anything Rother than first order logic (and only for subsets of first order logic do we have provers that are both fully decidable and efficient). I explore what is needed to provide a proof-theoretic account of the relevant inference patterns, and suggest some analyses requiring second order axioms. In order to make this a practical computational possibility I go on to propose two techniques for approximating such inferences in a first order setting. The suggested analyses have been fully implemented, and in an appendix I provide a small FraCaS-like corpus of relevant examples, all of which are handled correctly by the implementation.
Źródło:
Journal of Language Modelling; 2018, 6, 1; 1-40
2299-856X
2299-8470
Pojawia się w:
Journal of Language Modelling
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The role of urban greenery in the sustainable development of the city Bydgoszcz
Autorzy:
Oleś, Magdalena
Harłoziński, Kazimierz
Powiązania:
https://bibliotekanauki.pl/articles/765469.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Mikołaja Kopernika w Toruniu. Wydział Nauk o Ziemi i Gospodarki Przestrzennej. Katedra Kultury Fizycznej
Tematy:
sustainable development, social order , economic order, environmental order, urban greenery, microclimate, biodiversity, Bydgoszcz.
Opis:
The problem of the development concerns green areas of the city of Bydgoszcz. It determines the extent to which the urban greenery and its functioning in the city pursue the principles of sustainable development. The paper identifies the influence of urban green on important elements of urban life, ie on the society, microclimate and biodiversity of Bydgoszcz.
Źródło:
Journal of Education, Health and Sport; 2016, 6, 13
2391-8306
Pojawia się w:
Journal of Education, Health and Sport
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Second order triangular graceful graphs
Autorzy:
Sakthi Sankari, R.
Syed Ali Nisaya, M. P.
Powiązania:
https://bibliotekanauki.pl/articles/1193377.pdf
Data publikacji:
2021
Wydawca:
Przedsiębiorstwo Wydawnictw Naukowych Darwin / Scientific Publishing House DARWIN
Tematy:
Second order triangular graceful graph
Second order triangular graceful labeling
Second order triangular number
Opis:
Let G=(V,E) be a graph with p vertices and q edges. A second order triangular graceful labeling of a graph G is an one to one function φ:V(G)→{0,1,2,…,B_q} where B_q is the qth second order triangular number, ie., B_q=1/6 q(q+1)(2q+1), that induces a bijection φ^*:E(G)→{B_1,B_2,…,B_q} of the edges of G defined by φ^* (uv) =|φ(u)-φ(v)| ∀ e=uv ∈E(G). A graph which admits such labeling is called a second order triangular graceful graph. In this paper, we introduce second order triangular graceful labeling and we prove that star, subdivision of star, nK_1,3, nK_2, bistar, path, comb, coconut tree, shrub and Y-tree are second order triangular graceful graphs.
Źródło:
World Scientific News; 2021, 155; 140-154
2392-2192
Pojawia się w:
World Scientific News
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Chaos i porządek w przestrzeni szkoły
Chaos and order in school area
Autorzy:
Janukowicz, Maria
Powiązania:
https://bibliotekanauki.pl/articles/629231.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:
chaos
porządek
nieporządek
porządek klasowy
order
disorder
class order
Opis:
Chaos and order are the two categories that are perceived curiously in education. The intention of the author is to show them in different configurations. On one hand the author presents how to go over to legal order from organizational chaos and on the other hand she proves that one can go through chaos to order, for example class order, with the use of appropriate methods. Finally, entering into the process of teaching-learning, the author presents the evidence to support that chaos is not always synonymous with disorder. It also has its order which is a source of infinite possibilities.
Podejmując się próby rozpoznawania chaosu i porządku na gruncie edukacji, pragnęłam dowieść, że oba te pojęcia są immanentnie w nią wpisane. W szerszym kontekście edukacyjnym starałam się pokazać chaos i porządek w sensie prawnym. Przyjęłam konwencję opisu porządku prawnego, który to porządek może doprowadzić do chaosu organizacyjnego, a ten może z kolei okazać się niebezpieczny dla funkcjonowania placówek oświatowych. W przestrzeni sytuacji szkolnej wyartykułowałam sytuację odwrotną, dowodząc, że z chaosu naturalnego można skutecznie przejść do porządku klasowego, który jest warunkiem dyscypliny i ładu na lekcji. Wreszcie w płaszczyźnie procesu nauczania skupiłam się na chaosie, dowodząc, że nie zawsze jest on synonimem nieporządku, ma też wartość porządkującą, organizującą dydaktykę wokół twórczej myśli.
Źródło:
Podstawy Edukacji; 2015, 8; 105-117
2081-2264
Pojawia się w:
Podstawy Edukacji
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Approximation method for a fractional order transfer function with zero and pole
Autorzy:
Oprzędkiewicz, K.
Powiązania:
https://bibliotekanauki.pl/articles/229961.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
fractional order systems
fractional order transfer function
Charef approximation
Opis:
The paper presents an approximation method for elementary fractional order transfer function containing both pole and zero. This class of transfer functions can be applied for example to build model - based special control algorithms. The proposed method bases on Charef approximation. The problem of cancelation pole by zero with useful conditions was considered, the accuracy discussion with the use of interval approach was done also. Results were depicted by examples.
Źródło:
Archives of Control Sciences; 2014, 24, 4; 447-463
1230-2384
Pojawia się w:
Archives of Control Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Higher order efficiency and duality for multiobjective variational problem
Autorzy:
Kumar, P.
Sharma, B.
Powiązania:
https://bibliotekanauki.pl/articles/206150.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
higher order duality
variational problem
efficiency of higher order
Opis:
In this paper, multiobjective variational programming problem is considered. Mond-Weir type higher order duality results are established by using the efficiency of higher order as the optimization tool. In order to prove these results, we propose the notion of generalized higher order (F,ρ,θ,m,h)−invexity.
Źródło:
Control and Cybernetics; 2017, 46, 2; 137-145
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Etyka a kształtowanie rynkowego ładu gospodarczego w Polsce
Ethics and Creation of the Market Order in Poland
Autorzy:
Przybyciński, Tomasz
Powiązania:
https://bibliotekanauki.pl/articles/964209.pdf
Data publikacji:
2010-05-15
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
ethics
market order
Opis:
The social market economy respects economic and social values as well as ethics. However, the ethical dimension of the economic transformation has been neglected in Poland. That is just why positive consequences of the economic transformation have been reduced.
Źródło:
Annales. Etyka w Życiu Gospodarczym; 2010, 13, 1
1899-2226
2353-4869
Pojawia się w:
Annales. Etyka w Życiu Gospodarczym
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Belebtheitseffekte und Subjekterstpräferenz beim Lesen der topikalisierten und gescrambelten V2-Sätze durch polnische Lerner des Deutschen
Autorzy:
Sękowska, Jolanta
Powiązania:
https://bibliotekanauki.pl/articles/605821.pdf
Data publikacji:
2010
Wydawca:
Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Tematy:
syntax
word-order
Opis:
The article considers whether the L2-learners use the analogical mechanisms for transforming the syntax as the native users of the language in question. In the questionnaire survey the stability of the preference to interpret the first nominal phrase observed in transforming L1 to be the subject of a sentence, and its influence on non-structural factors, such as animacy have been analysed. It has been shown that L2-learners, similar to the native users of the language in question, prefer the subject-object word order, and that the general preference should not be covered by the semantic information.
Źródło:
Lublin Studies in Modern Languages and Literature; 2010, 34; 130-142
0137-4699
Pojawia się w:
Lublin Studies in Modern Languages and Literature
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zu den Termini ‚unmarkierte Abfolge‘, ‚normale Wortstellung‘ und ‚Grundfolge‘ – ein Überblick über zentrale Positionen in der germanistischen Forschung
On the usage of the terms ‘unmarked order’, ‘normal order’ and ‘base order’ – an overview of central positions in German linguistics
Autorzy:
Gaweł, Agnieszka
Powiązania:
https://bibliotekanauki.pl/articles/1592425.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Szczeciński. Wydawnictwo Naukowe Uniwersytetu Szczecińskiego
Tematy:
unmarkierte Abfolge
normale Wortstellung
Grundfolge
neutrale Wortfolge
unmarked order
normal order
base order
German word order
szyk nienacechowany
szyk neutralny
szyk podstawowy
Opis:
Die Frage nach der Existenz einer unmarkierten Abfolge und Kriterien ihrer Abgrenzung von anderen Linearisierungsvarianten gehört zu zentralen Problemen der Wortstellungsforschung. Im Beitrag wird das Ziel verfolgt, die bisherigen germanistischen Untersuchungen zur Anwendbarkeit der Markiertheitstheorie in der Wortstellungsforschung zu systematisieren. Dabei fällt das Schwergewicht auf die Abgrenzung und Charakteristik der folgenden Grundpositionen zur unmarkierten Abfolge: der pragmatischen, lexikalischen und strukturellen Zugänge, der Interaktionsmodelle, in denen die Konzepte der markierten und unmarkierten Abfolge abgelehnt werden bzw. wesentlichen Modifikationen unterliegen, sowie der Ansätze, in denen die Erkenntnisse verschiedener Grundpositionen miteinander verknüpft werden.
Kwestia istnienia szyku neutralnego i kryteriów jego wyodrębnienia należy do najistotniejszych do dziś nie rozstrzygniętych problemów opisu składniowego. W artykule podjęto próbę systematyzacji dotychczasowych badań germanistycznych dotyczących wspomnianego zagadnienia. W toku analizy wyodrębniono następujące stanowiska, charakterystyczne dla różnych koncepcji językoznawczych: pragmatyczne, strukturalne i leksykalne ujęcie szyku neutralnego, krytykę oraz modyfikacje opisu szyku nacechowanego i nienacechowanego w modelach interakcyjnych, jak również próbę syntezy różnych stanowisk, przedstawianych w literaturze przedmiotu, ze strony wybranych badaczy językoznawstwa germańskiego.
The question about the existence of an unmarked order and criteria for its distinguishing belongs to the most controversial issues in syntactic description. In this paper, we present an overview of previous research devoted to the potential implementation of markedness theory in word order analysis. We claim that the variety of accounts to the unmarked order in German can be divided into five groups with their unique characteristics: the pragmatic, structural and lexical accounts of the unmarked order, the rejection and modification of the concepts of unmarked order and markedness in models based on interaction between conflicting constraints and – finally – accounts providing a synthesis of proposals found in the linguistic literature.
Źródło:
Colloquia Germanica Stetinensia; 2019, 28; 169-187
2450-8543
2353-317X
Pojawia się w:
Colloquia Germanica Stetinensia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Method of identification of equivalent parameters of the fractional-order transformer
Autorzy:
Jakubowska-Ciszek, Agnieszka
Walczak, Janusz
Powiązania:
https://bibliotekanauki.pl/articles/377133.pdf
Data publikacji:
2019
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
fractional-order mutual inductance
fractional-order parameters identification
phase resonance
Opis:
The paper presents a method for identifying the parameters Lβ1, β1, Lβ2, β2, Mγ, γ of a fractional-order transformer. This method is based on the measurement of the phase resonance frequency in a few systems containing: the investigated fractional-order transformer and two standard capacitors. The dependencies allowing the determination of the fractional-order transformer parameters have been given, on the basis of the described measurements. The obtained results are illustrated by an example.
Źródło:
Poznan University of Technology Academic Journals. Electrical Engineering; 2019, 97; 169-180
1897-0737
Pojawia się w:
Poznan University of Technology Academic Journals. Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analysis of the transient state in a circuit with supercapacitor
Autorzy:
Jakubowska, A.
Walczak, J.
Powiązania:
https://bibliotekanauki.pl/articles/377512.pdf
Data publikacji:
2015
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
fractional-order differential equation
first-order RCα circuit
supercapacitor
Opis:
The paper presents an analysis of the transient state in a simple circuit of RCα class with a supercapacitor. The behavior of supercapacitors differs from that of classic capacitors, which influences voltage and current waveforms in circuits containing them. The waveforms are described by relations of fractional-order integral-differential calculus. A simple fractional-order supercapacitor model, including its series internal resistance, has been assumed for the analysis. The obtained solution of the fractional-order differential equation describing the examined circuit is presented. The impact of different values of the parameter α on the solution has been analyzed too. The derived relations are illustrated by simulation examples for the circuit powered by a DC voltage source. This situation describes the supercapacitor charging process. Its charging time depends mainly on the value of fractional-order parameter α of the supercapacitor.
Źródło:
Poznan University of Technology Academic Journals. Electrical Engineering; 2015, 81; 71-77
1897-0737
Pojawia się w:
Poznan University of Technology Academic Journals. Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On relations among the generalized second-order directional derivatives
Autorzy:
Pastor, Karel
Powiązania:
https://bibliotekanauki.pl/articles/729322.pdf
Data publikacji:
2001
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
generalized second-order directional derivative
convexity
second-order optimality conditions
Opis:
In the paper, we deal with the relations among several generalized second-order directional derivatives. The results partially solve the problem which of the second-order optimality conditions is more useful.
Źródło:
Discussiones Mathematicae, Differential Inclusions, Control and Optimization; 2001, 21, 2; 235-247
1509-9407
Pojawia się w:
Discussiones Mathematicae, Differential Inclusions, Control and Optimization
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Meso-World: Tiny Publics and Political Action
Autorzy:
Fine, Gary Alan
Powiązania:
https://bibliotekanauki.pl/articles/623373.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Meso-Level of Analysis
Interaction Order
Tiny Publics
Political Order
Opis:
In recent decades, sociologists have too often ignored the group level-the meso-level of analysis-in their emphasis on either the individual or the institution. This unfortunate absence misses much of what is central to a sociological analysis of community based on “action.” I draw upon Erving Goffman’s (1983) concept of the interaction order as I argue that a rigorous political sociology requires a focus on group cultures and tiny publics. Group dynamics, idiocultures, and interaction routines are central in creating social order. This approach to civic life draws from the pragmatism of John Dewey, as well as the broad tradition of symbolic interactionist theorists. Ultimately, I argue that a commitment to local action constitutes a commitment to a more extended social system.
Źródło:
Qualitative Sociology Review; 2019, 15, 2; 10-24
1733-8077
Pojawia się w:
Qualitative Sociology Review
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Polish Presidential Election 2015 in the light of first and second order election conception
Autorzy:
Peszyński, Wojciech
Powiązania:
https://bibliotekanauki.pl/articles/514415.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Śląski. Wydział Nauk Społecznych
Tematy:
Polish presidential election 2015
first order election
second order election
Opis:
Among all the elections organized in Poland, presidential elections are not only the ones with a highest turnout, but also most eagerly investigated by the researchers. However, the studies concerning the importance of this particular voting is not often examined. On the one hand, there are arguments to classify it as first-order election, on the other, for certain reasons they ought to be regarded as second-order. The aim of this article is to answer the question whether 2015 Polish presidential election were of first or rather second-order importance. In his analysis, the author focused on the following issues: personal strategies, programme strategies, the course of the campaign in the traditional and new media, the level of electoral participation and the influence of the election on the course and outcome of the parliamentary campaign.
Źródło:
Political Preferences; 2016, 13; 57-72
2449-9064
Pojawia się w:
Political Preferences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
PLC implementation of fractional PI controller in positioning of electrohydraulic servodrive
Autorzy:
Rybarczyk, D.
Powiązania:
https://bibliotekanauki.pl/articles/206664.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
fractional order controller
electrohydraulic drive
electrohydraulic servovalve
fractional order calculus
Opis:
The article describes the implementation of fractional order PI controller with the Programmable Logic Controller (PLC). The control system proposed is used for positioning of an electrohydraulic drive with Bosch Rexroth servo valve. The controller is based on PLC, working under real time operating system Automation Runtime. User interface is equipped with the touch panel of Power Panel 500 type. In the first part of the paper the fractional order calculus theory is introduced. In addition, some examples of fractional controller implementations in different kinds of objects are presented. The subsequent section focuses on author’s own research. The Oustaloup’s method description is recalled along with its computer implementation. Further, the impact of finite order of the approximation function is verified. The article includes the description of test stand structure, code generation and implementation of PI controller on the dedicated PLC.
Źródło:
Control and Cybernetics; 2016, 45, 3; 301-316
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Henkin semantics for reasoning with natural language
Autorzy:
Hahn, M.
Richter, F.
Powiązania:
https://bibliotekanauki.pl/articles/103815.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:
Henkin semantics
reasoning
reducing higher-order reasoning
first-order reasoning
Opis:
The frequency of intensional and non-first-order definable operators in natural languages constitutes a challenge for automated reasoning with the kind of logical translations that are deemed adequate by formal semanticists. Whereas linguists employ expressive higher-order logics in their theories of meaning, the most successful logical reasoning strategies with natural language to date rely on sophisticated first-order theorem provers and model builders. In order to bridge the fundamental mathematical gap between linguistic theory and computational practice, we present a general translation from a higher-order logic frequently employed in the linguistics literature, two-sorted Type Theory, to first-order logic under Henkin semantics. We investigate alternative formulations of the translation, discuss their properties, and evaluate the availability of linguistically relevant inferences with standard theorem provers in a test suite of inference problems stated in English. The results of the experiment indicate that translation from higher-order logic to first-order logic under Henkin semantics is a promising strategy for automated reasoning with natural languages.
Źródło:
Journal of Language Modelling; 2015, 3, 2; 513-568
2299-856X
2299-8470
Pojawia się w:
Journal of Language Modelling
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Relations for moments of generalised order statistics based on Weibull–G family of distributions
Autorzy:
Athar, Haseeb
Alharbi, Yousef F.
Fawzy, Mohamad A.
Powiązania:
https://bibliotekanauki.pl/articles/2204086.pdf
Data publikacji:
2022
Wydawca:
Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:
generalized order statistics
order statistics
record values
expectation identities
characterisation
Opis:
The Weibull distribution is one of the important distributions used in reliability theory and life-testing experiments. The generalised versions of the Weibull distribution give a more flexible model for these studies. The Weibull–G family of distributions is one of the extended versions extensively studied. In this paper, we have studied moments properties of generalised order statistics for the said distribution in terms of a single moment, product moments and characterisation. Several examples and special cases are presented. The results can be applied to all distributions belonging to this family.
Źródło:
Operations Research and Decisions; 2022, 32, 4; 17--31
2081-8858
2391-6060
Pojawia się w:
Operations Research and Decisions
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Remarks on five equivalent forms of the fractional – order backward – difference
Autorzy:
Ostalczyk, P.
Powiązania:
https://bibliotekanauki.pl/articles/202441.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
discrete systems
fractional order backward difference
fractional - order backward sum
Opis:
In this paper a fractional-order backward-difference/sum (FOBD/S) equivalent formulae are considered. From the Gr¨unwald- Letnikov (GL - FOBD) definition formula and its Horner equivalent form one derives the Riemann-Liouville FOBD (RL - FOBD). Also the Caputo and polynomial-like forms are defined. All forms may be useful in real-time calculations (in the evaluation of digital control strategies) due to the reduction of fractional orders. The investigations are illustrated by a numerical example.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2014, 62, 2; 271-278
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Reducing the Number of Higher-order Mutants with the Aid of Data Flow
Autorzy:
Ghiduk, A. S.
Powiązania:
https://bibliotekanauki.pl/articles/384156.pdf
Data publikacji:
2016
Wydawca:
Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:
mutation testing
first-order mutants
higher-order mutants
data-flow analysis
Opis:
Higher-order mutants are created by injecting two or more mutations into the original program, while first-order mutants are generated by seeding single faults in the original program. Mutant generation is a key stage of mutation testing which is computationally very expensive, especially in the case of higher-order mutants. Although many mutation testing techniques have been developed to construct the first-order mutants, a very small number of techniques have been presented to generate the higher-order mutants because of the exponential growth of the number of higher-order mutants, and the coupling effect between higher-order and first-order mutants. To overcome the exponential explosion in the number of higher-order mutants considered, this paper introduces a new technique for generating a reduced set of higher-order mutants. The proposed technique utilizes a data-flow analysis to decrease the number of mutation points through the program under test and consequently reduce the number of higher-order mutants. In this technique only positions of defs and uses are considered as locations to seed the mutation. The generated set of higher-order mutants consists of a reduced number of mutants, which reduces the costs of higher-order mutation testing. In addition, the proposed technique can generate the higher-order mutants directly without generating the first-order mutants or by combining two or more first-order mutants. A set of experiments are conducted to evaluate the effectiveness of the proposed technique. The results of the conducted experiments are presented and compared with the results of the related work. These results showed that the proposed technique is more effective than the earlier techniques in generating higher-order mutants without affecting the efficiency of mutation testing.
Źródło:
e-Informatica Software Engineering Journal; 2016, 10, 1; 31-49
1897-7979
Pojawia się w:
e-Informatica Software Engineering Journal
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On the hyper-order of transcendental meromorphic solutions of certain higher order linear differential equations
Autorzy:
Hamani, K.
Belaidi, B.
Powiązania:
https://bibliotekanauki.pl/articles/255020.pdf
Data publikacji:
2017
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
linear differential equations
transcendental meromorphic function
order of growth
hyper-order
Opis:
In this paper, we investigate the growth of meromorphic solutions of the linear differential equation [formula] where k ≥ 2 is an integer, Pj(z) (j = 0,1,... , k — 1) are nonconstant polynomials and hj(z) are meromorphic functions. Under some conditions, we determine the hyper-order of these solutions. We also consider nonhomogeneous linear differential equations.
Źródło:
Opuscula Mathematica; 2017, 37, 6; 853-874
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Non integer order, discrete, state space model of heat transfer process using Grünwald-Letnikov operator
Autorzy:
Oprzędkiewicz, K.
Dziedzic, K.
Więckowski, Ł.
Powiązania:
https://bibliotekanauki.pl/articles/200257.pdf
Data publikacji:
2019
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
non integer order systems
heat transfer
fractional order state equation
fractional order backward difference
Grünwald-Letnikov operator
convergence
Opis:
The paper is intented to show a new, state space, discrete, non integer order model of a one-dimensional heat transfer process. The proposed model derives directly from time continuous, state space model and it uses the discrete Grünwald-Letnikov operator to express the fractional order difference with respect to time. Stability and spectrum decomposition for the proposed model are recalled, the accuracy and convergence are analyzed too. The convergence of the proposed model does not depend on parameters of heater and measuring sensors. The dimension of the model assuring stability and predefined rate of convergence and stability is estimated. Analytical results are confirmed by experiments.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2019, 67, 5; 905-914
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-25 z 3063

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