Number of results to display per page
Search Results
6732. Liturgia cyrilometodskej misie na Veľkej Morave /
- Creator:
- Škoviera, Andrej,
- Type:
- studie
- Subject:
- Křesťanství. Křesťanská církev všeobecně. Eklesiologie, Konstantin,, Metoděj,, Velká Morava, liturgie, misie cyrilometodějská, Velká Morava, Čechy v době velkomoravské (833–906/907), and teologie, ikonografie, zbožnost, hagiografie
- Language:
- Slovak
- Description:
- Lyturgy of Cyrilo-Methodian Mission in Great Moravia
- Rights:
- unknown
6733. Liturgické hnutie ako prelomová sila "modernizácie kresťanskej liturgie pred II. vatikánskym koncilom /
- Creator:
- Caban, Peter,
- Type:
- text and studie
- Subject:
- Křesťanství. Křesťanská církev všeobecně. Eklesiologie, Guéranger, Prosper,, Beauduin, Lambert,, Casel, Odo,, Parsch, Pius,, Guardini, Romano,, Jalovecký, Ján,, hnutí liturgické, liturgie křesťanská, modernizace, koncil tridentský (1545-1563), světové dějiny od r. 1918 do současnosti, světové dějiny novověku (1492-1918), Československo 1918-1992, and teologie, ikonografie, zbožnost, hagiografie
- Language:
- Slovak
- Description:
- The Liturgical Movement as a transformative force in the "modernization" of the Christian liturgy before the Second World War.
- Rights:
- unknown
6734. Local head loss in plastic pipeline joint welded by butt fusion
- Creator:
- Melichar, Jan, Háková, Jaroslava, Veselský, Jaroslav, and Michlík, Luboš
- Format:
- bez média and svazek
- Type:
- model:article and TEXT
- Subject:
- local loss, frictional loss, plastic pipelines, místní ztráta, ztráta třením, and plastové potrub
- Language:
- Slovak
- Description:
- The article deals with experimental determination of local head loss in straight polypropylene pipeline (PP) joint connected by butt-welding. A local loss coefficient is introduced for turbulent flow of water in plastic pipeline of circular cross-section. The value of local loss coefficient has not been experimentally quantified so far and hence its determination is significant for designers of plastic pipeline systems. and Článek pojednává o experimentálním stanovení místní ztráty ve spoji přímého potrubí z polypropylenu (PP), zhotoveného svařováním na tupo. Je uvedena velikost součinitele místní ztráty spoje plastového potrubí kruhového průřezu při turbulentním proudění čisté vody. Místní ztráta doposud nebyla experimentálně kvantifikována, a proto je její stanovení pro projektanty potrubních systémů z plastů významné.
- Rights:
- http://creativecommons.org/licenses/by-nc-sa/4.0/ and policy:public
6735. Local scour around complex pier groups and combined piles at semi-integral bridge
- Creator:
- Akib, Shatirah, Jahangirzadeh, Afshin, and Basser, Hossein
- Format:
- bez média and svazek
- Type:
- model:article and TEXT
- Subject:
- semi-integral bridge, complex pier groups, combined piles, scour, pier, and scour depth
- Language:
- Slovak
- Description:
- This research presents an experimental study on the scouring mechanism at semi-integral bridge piers. Based on laboratory experiments, this study focuses on the relationship between scour depth in complex pier groups and combined piles bridge and various parameters including the variation of inflow velocity, distance, and time. 1 200 data were collected for flow velocity and scour. The flow pattern and scour were analyzed for different flow discharges and flow depths. The results showed that the scour development with respect to time was greater for higher flow depth and bigger flow discharge at semi-integral bridges. In addition, the equilibrium scour depth increased with the approach flow depth around piers at semi-integral bridges. Velocity distribution also affected the scour development. It decreased when approaching the bridge but increased from upstream to downstream of the flume.
- Rights:
- http://creativecommons.org/licenses/by-nc-sa/4.0/ and policy:public
6736. Logic and rational requirements
- Creator:
- Tajer, Diego
- Format:
- bez média and svazek
- Type:
- model:article and TEXT
- Subject:
- ogic and rationality, normativity of logic, and rational requirements
- Language:
- Slovak
- Description:
- In this paper, I discuss the relation between logic and rationality. I develop (formally and conceptually) a rational requirement which can respond to the classic objections by Harman (1986). On the one hand, the requirement pays attention to the relevance of the premises and the conclusion, which is formally expressed by the notion of weak relative closure. The requirement also takes care of the complexity of the inferences. This notion of complexity is formally represented by a partially ordered scale of the difficulty of inferences, which is weaker than the notion of complexity as number of steps., V tomto příspěvku se zabývám vztahem logiky a racionality. Formálně a koncepčně rozvíjím racionální požadavek, který může reagovat na klasické námitky Harmana (1986). Požadavek na jedné straně věnuje pozornost významu prostor a závěru, který je formálně vyjádřen konceptem slabého relativního uzavření. Požadavek se také stará o složitost závěrů. Tento pojem složitosti je formálně reprezentován částečně uspořádaným měřítkem obtížnosti závěrů, což je slabší než pojem složitosti jako počet kroků., and Diego Tajer
- Rights:
- http://creativecommons.org/publicdomain/mark/1.0/ and policy:public
6737. Logic programming and interactive applications
- Creator:
- Šimko, Alexander and Šiška, Jozef
- Format:
- bez média and svazek
- Type:
- model:article and TEXT
- Subject:
- answer set programming, declarative problem solving, interactive applications, logic programming, programování sady odpovědí, deklarativní řešení problémů, interaktivní aplikace, and logické programování
- Language:
- Slovak
- Description:
- Answer Set Programming (ASP) is a logic programming based, truly declarative formalism for general purpose problem solving. Its declarative nature allows users to solve problems by defining what the solutions are instead of how to find them. Complete lack of an imperative component in ASP makes creation of end user applications or integration with other systems demanding. External tools that can process and interpret the output of ASP solvers are needed. To address this issue in the case of simple applications with an input – output interaction loop we introduce a framework for iterative logic applications. Such applications consist of a core logic program that is used to evaluate user actions w.r.t. their current state and to derive a new state of the application. We take care to define the framework in a way that allows it to be used also with other formalism, especially SAT solvers. We also present a web based implementation of such framework for ASP., Programování odpovědí Set (ASP) je logické programování založené na skutečně deklarativním formalismu pro řešení obecných problémů. Jeho deklarativní charakter umožňuje uživatelům řešit problémy definováním toho, jaká řešení jsou namísto toho, jak je najít. Úplný nedostatek imperativní komponenty v ASP umožňuje vytváření aplikací pro koncové uživatele nebo integraci s jinými systémy náročnými. Jsou zapotřebí externí nástroje, které mohou zpracovávat a interpretovat výstupy řešitelů ASP. Pro řešení tohoto problému v případě jednoduchých aplikací se vstupní a výstupní interakční smyčkou představujeme rámec pro iterativní logické aplikace. Tyto aplikace se skládají z jádrového logického programu, který se používá k vyhodnocení akcí uživatele s jejich aktuálním stavem a odvození nového stavu aplikace. Dbáme na to, abychom tento rámec definovali způsobem, který umožní jeho použití i s jiným formalismem, zejména SAT řešiteli. Představujeme také webovou implementaci takového rámce pro ASP., and Alexander Šimko ; Jozef Šiška
- Rights:
- http://creativecommons.org/publicdomain/mark/1.0/ and policy:public
6738. Logika /
- Creator:
- Hegel, Georg Wilhelm Friedrich,
- Type:
- text and studie
- Subject:
- Filozofie, prameny písemné, edice, filozofie, Německo, filozofie, filozofové, and světové dějiny 1789-1918
- Language:
- Slovak
- Description:
- Přeloženo z němčiny
- Rights:
- unknown
6739. Logika a kontext utvárania moderného slovenského národa /
- Creator:
- Škvarna, Dušan,
- Type:
- studie
- Subject:
- Dějiny Česka a Slovenska, historiografie, metodologie, národ slovenský, identita etnická, identita národní, ideologie národní, hnutí národní, slovenské, Slovensko 1780-1918, and Slováci, česko-slovenské vztahy
- Language:
- Slovak
- Description:
- Logic and context of creating the modern Slovak nation.
- Rights:
- unknown
6740. Logika, normativita a konatívne fakty
- Creator:
- Gahér, František
- Format:
- bez média and svazek
- Type:
- model:article and TEXT
- Subject:
- action, attitude, conative normative facts, institutional facts, logic, and norm
- Language:
- Slovak
- Description:
- The paper accounts for options of a useful application of modern logic to the discourse of normative disciplines. We map (selectively) a developement of interplay between logic on the one hand, and the normative discourse on the other hand in the 20th century. We find inspiration in theories explicating the notion of institutional (social) facts and appeal to a category of conative normative facts in order to successfully account for a structure of normative reasoning. It is suggested that an interiorization and acceptance of an imperative by its addressee creates a conative fact. Complex conative facts are construed as complex explicit attitudes. Logical relations among a variety of conative attitudes are taken as consequences of their different meaning. Moreover, we emphasize the importance of several praxeological principles for explaining reasoning based on norms and normative facts. and František Gahér
- Rights:
- http://creativecommons.org/publicdomain/mark/1.0/ and policy:public