173 resultados para HOL


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:

‘Forced marriages’ involve a woman or girl being abducted and declared the ‘wife’ of her captor without her consent or her family’s consent. The practice generally occurs during wartime and the ‘wife’ is normally subjected to rape, forced impregnation and sexual slavery. Moreover, she is coerced into an intimate relationship with a man who is often the perpetrator of crimes against her and her community. While forced marriages have recently been recognised as a crime against humanity, this Article contends that this does not constitute full recognition of the destructive nature of forced marriages. Instead, this Article mirrors and extends the Akayesu decision that rape can be used as a tool of genocide and maintains that forced marriages can also be a form of genocide.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The three-volume Final Report of the Wood inquiry into NSW Police (Royal Commission Into the New South Wales Police Service, 'Final Report, Vol I: Corruption; Vol II: Reform; Vol III: Appendices', May 1997) was publicly released on 15 May 1997, to much media fanfare. The Sydney Morning Herald (SMH) devoted an 8-page special report on I May to the pending release of the Inquiry Report, headed The Police Purge. On the day of the public release of the Report, the SMH five-page 'Special Report' under the banner The Police Verdict was headlined Wood, Carr Split on Drugs. The Australian led with Call for Drug Law Revamp, Force Overhaul to Fight Corruption, Wood Attacks Culture of Greed, and the Daily Telegraph front page 'Final Verdict' was True Blue Strategy for an Honest Police Force...

Relevância:

10.00% 10.00%

Publicador:

Resumo:

On 25 March 1997 the Witness program on Channel 7 screened a story about the conviction of Neil Chidiac in February 1989 for conspiracy to import a trafficable quantity of heroin in NSW. The program questioned the justice of Chidiac's conviction and filmed his recent release from prison on parole after serving over eight years in prison, still protesting his innocence. Witness featured an interview with the chief Crown witness against Chidiac, Alfred Oti, in which Oti completely repudiated the testimony he gave at the trial and admitted to lying at the behest of the police in order to secure advantages for himself...

Relevância:

10.00% 10.00%

Publicador:

Resumo:

It is increasingly apparent that sea-level data (e.g. microfossil transfer functions, dated coral microatolls and direct observations from satellite and tidal gauges) vary temporally and spatially at regional to local scales, thus limiting our ability to model future sea-level rise for many regions. Understanding sealevel response at ‘far-field’ locations at regional scales is fundamental for formulating more relevant sea-level rise susceptibility models within these regions under future global change projections. Fossil corals and reefs in particular are valuable tools for reconstructing past sea levels and possible environmental phase shifts beyond the temporal constraints of instrumental records. This study used abundant surface geochronological data based on in situ subfossil corals and precise elevation surveys to determine previous sea level in Moreton Bay, eastern Australia, a far-field site. A total of 64 U-Th dates show that relative sea level was at least 1.1 m above modern lowest astronomical tide (LAT) from at least ˜6600 cal. yr BP. Furthermore, a rapid synchronous demise in coral reef growth occurred in Moreton Bay ˜5800 cal. yr BP, coinciding with reported reef hiatus periods in other areas around the Indo-Pacific region. Evaluating past reef growth patterns and phases allows for a better interpretation of anthropogenic forcing versus natural environmental/climatic cycles that effect reef formation and demise at all scales and may allow better prediction of reef response to future global change.