100 resultados para HOL


Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Ausgehend von langfristigen Veränderungen im wissenschaftlichen Publikationswesen und in der Informationsvermittlung werden die Bedingungen und möglichen Folgen dieser Entwicklung beleuchtet. Je nach Standpunkt haben Bibliothekare, Verleger oder Wissenschaftsautoren unterschiedliche Wahrnehmungen von dem, was eine (digitale) Bibliothek ausmacht. Bespielhaft wird die Funtionalität des hessischen Digibib-Projektes beschrieben, in dem Standard Such- und Retrieval-Protokolle (Z39.50, HTTP) für den Anschluß von OPAC und Client-Server-Datenbanken mit Volltextsammlungen sorgen.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Bio-molecular computing, 'computations performed by bio-molecules', is already challenging traditional approaches to computation both theoretically and technologically. Often placed within the wider context of ´bio-inspired' or 'natural' or even 'unconventional' computing, the study of natural and artificial molecular computations is adding to our understanding of biology, physical sciences and computer science well beyond the framework of existing design and implementation paradigms. In this introduction, We wish to outline the current scope of the field and assemble some basic arguments that, bio-molecular computation is of central importance to computer science, physical sciences and biology using HOL - Higher Order Logic. HOL is used as the computational tool in our R&D work. DNA was analyzed as a chemical computing engine, in our effort to develop novel formalisms to understand the molecular scale bio-chemical computing behavior using HOL. In our view, our focus is one of the pioneering efforts in this promising domain of nano-bio scale chemical information processing dynamics.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Orbital forcing does not only exert direct insolation effects, but also alters climate indirectly through feedback mechanisms that modify atmosphere and ocean dynamics and meridional heat and moisture transfers. We investigate the regional effects of these changes by detailed analysis of atmosphere and ocean circulation and heat transports in a coupled atmosphere-ocean-sea ice-biosphere general circulation model (ECHAM5/JSBACH/MPI-OM). We perform long term quasi equilibrium simulations under pre-industrial, mid-Holocene (6000 years before present - yBP), and Eemian (125 000 yBP) orbital boundary conditions. Compared to pre-industrial climate, Eemian and Holocene temperatures show generally warmer conditions at higher and cooler conditions at lower latitudes. Changes in sea-ice cover, ocean heat transports, and atmospheric circulation patterns lead to pronounced regional heterogeneity. Over Europe, the warming is most pronounced over the north-eastern part in accordance with recent reconstructions for the Holocene. We attribute this warming to enhanced ocean circulation in the Nordic Seas and enhanced ocean-atmosphere heat flux over the Barents Shelf in conduction with retreat of sea ice and intensified winter storm tracks over northern Europe.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A versenyző együttműködés (co-opetition) népszerű fogalma számos elméleti alátámasztást nyert a versenyképesség elméleti megközelítéseiben is, így a regionális versenyképesség és a klaszterek elméleti alapvetéseinek területén. Maga a fogalom pedig kifejezetten „divatossá” vált hazánk turizmusában: a közelmúltban kerültek a versenyző együttműködést és a turisztikai versenyképességet szolgáló desztináció-menedzsment szervezetek (Turisztikai Desztináció Menedzsment Szervezetek, TDMSZ a továbbiakban) a turisztikai irányításpolitika és a turisztikai szakma figyelmének középpontjába. Jelen cikkben a szerző célja a versenyző együttműködés és a turisztikai desztinációk versenyképessége közötti elméleti összefüggés feltárása. További cél az elméleti alapvetések primer kutatás során való vizsgálata: az együttműködés mintáinak feltárása a desztinációk szereplői között három (egy hazai és két ausztriai) esettanulmány keretében, a hazai és nemzetközi esetek specifikumainak, valamint a desztinációk fejlettsége miatti kritikus különbségeknek a kimutatása által. / === / The popular term of co-opetition gained theoretical support even in the theoretical approaches of the area of competitiveness, particularly in the field of regional competitiveness and the clusters.The term became rather popular in Hungary: as the tools of destination management and the destination management organizations (DMOs) focusing on the development of co-opetition and competitiveness came to the focus of the Hungarian touristic practice, governmental decisions in the recent past. In this article the author’s aim is to describe the theoretical connections among co-opetition, and the competitiveness of the touristic destinations. Further aim is to analyze the theoretical baselines in primary research, to map the samples of cooperation among the actors of touristic destinations in three case studies (made in one Hungarian, and two Austrian destinations) regarding the topic with regard to Hungarian and international cases, as well as the stage of development.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A szerző tanulmányában nyugat-európai és magyarországi termelővállalatok szolgálatosodását vizsgálta. A cél a szolgálatosodás mértékének és megtérülésének elemzése volt. A vizsgálatokat az IMSS kérdőíves felmérés adatain végezte el, stratégiai, operatív és eredményességi dimenziók mentén. Munkájában nemcsak Nyugat-Európa és Magyarország vállalatainak szolgálatosodásáról ad képet külön-külön, hanem az adatok közvetlen összehasonlításával megbízható összehasonlító elemzést is végzett a két térség között, melyet a tanulmány legfőbb hozzáadott értékének tekint. Nyugat-Európában a szolgáltatások kiemelkednek a versenycélok közül, míg Magyarországon gyenge helyezést érnek el a stratégiai prioritási sorrendben. Működési szinten mindkét helyen átlagosnak mondható a szolgáltatások nyújtását támogató akcióprogramokba fektetett erőfeszítés nagysága. Ez azonban nem feltétlenül mond ellent a stratégiai szintnek Nyugat-Európában, hiszen az is mondható, hogy a szolgáltatásokkal kapcsolatos programok nem zárják ki azt, hogy más területen is fejlesszenek (pl. lean programok). Az eredmények mindkét térségben a szolgálatosodás paradoxonát mutatják. ______ The paper focuses on the servitization of manufacturing companies in Western Europe and Hungary. The author's goal was to analyse the degree and the returns of servitization. The investigations were conducted using data of the IMSS, considering the dimensions of strategy, operations and returns. Besides giving a picture of the servitization of Western European and Hungarian companies, the paper also offers a reliable comparative analysis between the two regions, which can be considered as main value added of the paper. Services are among the most important competitive goals in Western Europe, but have a low ranking in Hungary. Regarding the operational level, programs supporting the offering of services are in the average in both places. This does not necessarily contradict the high strategic level in Western Europe, because we can say that programs related to servitization do not rule out improvement initiatives in other areas (e. g. lean programs). The service paradox is experienced in both territories.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We describe an integration of the SVC decision procedure with the HOL theorem prover. This integration was achieved using the PROSPER toolkit. The SVC decision procedure operates on rational numbers, an axiomatic theory for which was provided in HOL. The decision procedure also returns counterexamples and a framework has been devised for handling counterexamples in a HOL setting.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O texto examina as estrat??gias e os sistemas que devem ser considerados para se alcan??ar a melhor gest??o de recursos humanos no setor p??blico. Inicialmente, baseado em tr??s modelos tradicionais de administra????o p??blica, sugere uma abordagem hol??stica para aumentar a efetividade da gest??o. Em seguida, defende a id??ia de um ??rg??o ???guardi??o??? central, que considere o princ??pio do m??rito e que divida com os ??rg??os de linha a responsabilidade sobre a GRH. Mostra, ainda, a import??ncia de institucionalizar os valores da imparcialidade, do profissionalismo e da responsividade. Ao tratar da profissionaliza????o da GRH, ressalta a necessidade de uma pol??tica que defina como a gest??o de pessoas contribuir?? para o alcance de objetivos governamentais. Para isso, prop??e a aplica????o de um modelo integrado baseado em compet??ncias e o desenvolvimento de uma pol??tica salarial que permita a atra????o e reten????o de talentos no setor p??blico. Ao final, o texto apresenta os pr??s e contras da gest??o por desempenho, bem como os desafios de um redimensionamento organizacional no servi??o p??blico.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Continuation elleptique du Tristan en prose, qui s'inscrit dans l'interstice séparant la naissance de Tristan du remariage de Méliadus avec la fille du roi Hoël, le Roman de Meliadus (1235-1240) est une oeuvre fondamentalement ouverte, de par son inachèvement et de par le dialogue constant qu'il instaure avec les autres romans arthuriens. S'il revendique sa filiation et assume son statut de récit puîné, les réminiscences qu'il exhibe masquent aussi les gauchissements, les infléchissements qui lui permettent de faire du neuf avec du vieux. C'est ce jeu - aux deux sens du terme - que cette étude se propose de mettre en lumière et de voir fonctionner, non seulement dans le Roman de Meliadus proprement dit, mais également dans trois de ses relectures, qui actualisent et renouvellent la signification du roman en profondeur. La première est une continuation qui date de la toute fin du XIIIe ou du début du XIVe siècle et qui est aujourd'hui conservée par le seul manuscrit Ferrell 5. La deuxième actualisation retenue est celle qu'offre Meliadus de Leonnoys, l'imprimé publié en 1528 par Galliot du Pré, puis en 1532 par Denis Janot, fruit d'un minutieux travail de découpage et de remontage. La dernière enfin est l'extrait paru en 1776 dans la Bibliothèque Universelle des Romans sous le titre Méliadus de Léonnois. An ellipitic continuation of the Prose Tristan, which inscribes itself in the space separating the birth of Tristan from Meliadus' new marriage with king Hoël's daughter, the Meliadus' romance (1235-1240) is essentially an open text on account of its incompleteness and the dialogue it establishes with other arthurian romances. Even asserting filiation status, the reminiscences also show the reshaping and the inflection that allow the text to transform old into new. Analyzing this game is the central purpose of this work; to observe the operation in the Meliadus' romance, as well as in three of its recuperations that profoundly renew the significance of the novel; beginning with a continuation from the end of the 13th century or the early 14th century, preserved nowadays in only one manuscript (Ferrel 5); followed by the meticulous work of cutting and reassembling offered by the Meliadus of Leonnoys (printed by Galliot du Pré in 1528 first and again by Denis Janot in 1532) and finally an excerpt published in 1776 in the Bibliothèque Universelle des Romans with the title Méliadus of Leonnois.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Continuation elleptique du "Tristan en prose", qui s'inscrit dans l'interstice séparant la naissance de Tristan du remariage de Méliadus avec la fille du roi Hoël, le "Roman de Meliadus" (1235-1240) est une oeuvre demeurée ouverte, de par son inachèvement et de par le dialogue constant qu'il instaure avec les autres romans arthuriens. S'il revendique sa filiation et assume son statut de récit puîné, les réminiscences qu'il exhibe masquent aussi les gauchissements, les infléchissements qui lui permettent de faire du neuf avec du vieux. C'est ce jeu - aux deux sens du terme - que Barbara Wahlen étudie et montre à voir, non seulement dans le "Roman de Meliadus" proprement dit, mais également dans trois de ses relectures, qui actualisent et renouvellent la signification du roman en profondeur. La première est une continuation de la toute fin du XIIIe ou du début du XIVe siècle qui est aujourd'hui conservée par le seul manuscrit Ferrell 5. La deuxième actualisation retenue est celle qu'offre "Meliadus de Leonnoys", l'imprimé publié en 1528 par Galliot du Pré, fruit d'un minutieux travail de découpage et de remontage. La dernière enfin est l'extrait paru en 1776 dans la "Bibliothèque Universelle des Romans".