| | SLO | ENG | Piškotki in zasebnost

Večja pisava | Manjša pisava

Iskanje po katalogu digitalne knjižnice Pomoč

Iskalni niz: išči po
išči po
išči po
išči po
* po starem in bolonjskem študiju


1 - 4 / 4
Na začetekNa prejšnjo stran1Na naslednjo stranNa konec
ACTLW - an action-based computation tree logic with unless operator
Robert Meolic, Tatjana Kapus, Zmago Brezočnik, 2008, izvirni znanstveni članek

Opis: Model checkers for systems represented by labelled transition systems are not as extensively used as those for systems represented by Kripke structures. This is partially due to the lack of an elegant formal language for property specification which would not be as raw as, for example, HML yet also not as complex as, for example, -calculus. This paper proposes a new action-based propositional branching-time temporal logic ACTLW, which enhances popular computation tree logic (CTL) with the notion of actions in a similar but more comprehensive way than action-based CTL introduced by De Nicola and Vaandrager [R. De Nicola, F.W. Vaandrager, Action versus logics for transition systems, in: Semantics of Systems of Concurrent Processes, Proceedings LITP Spring School on Theoretical Computer Science, LNCS 469, 1990, pp. 407-419]. ACTLW is defined by using temporal operators until and unless only, whereas all other temporal operators are derived from them. Fixed-point characterisation of the operators together with symbolic algorithms for globalmodel checking are shown. Usage of this new logic is illustrated by an example of verification of mutual-exclusion algorithms.
Ključne besede: formal verification, model checking, action-based temporal logic, fixed point, mutual-exclusion algorithm
Objavljeno: 01.06.2012; Ogledov: 1356; Prenosov: 65
URL Povezava na celotno besedilo

Van Gulick's solution of the exclusion problem revisited
Janez Bregant, 2004, izvirni znanstveni članek

Opis: The anti-reductionist who wants to preserve the causal efficacy of mental phenomena faces several problems in regard to mental causation, i. e. mental events which cause other events, arising from her desire to accept the ontological primacy of the physical and at the same time save the special character of the mental. Psychology tries to persuade us of the former, appealing thereby to the results of experiments carried out in neurology; the latter is, however, deeply rooted in our everyday actions and beliefs and despite the constant opposition of science still very much alive. Difficulties, however, arise from a combination of two claims that are widely accepted in philosophy of mind, namely, physical monism and mental realism, the acceptance of which leads us to the greatest problem of mental causation: the problem of causal exclusion. Since physical causes alone are always sufficient for physical effects mental properties are excluded from causal explanations of our behaviour, which makes them "epiphenomenal". The article introduces Van Gulick's solution to the exclusion problem which tries to prove that physical properties, in contrast to mental properties, do not have as much of a privileged status with respect to event causation as usually ascribed. Therefore, it makes no sense to say that physical properties are causally relevant whereas mental properties are not. This is followed by my objection to his argument for levelling mental and physical properties with respect to causation of events. I try to show that Van Gulick's argument rests on a premise that no serious physicalist can accept
Ključne besede: antireductionism, mental causation, exclusion, token physicalism, causal exclusion, epiphenomenalism, explanatory practice
Objavljeno: 07.06.2012; Ogledov: 704; Prenosov: 51
URL Povezava na celotno besedilo

Anita Šimundža, 2016, doktorska disertacija

Opis: SUMMARY Living in a time of materialism, when the ethical component of business is almost completely ignored, is the main challenge for all activists of different thinking, to offer ideas that can lead to new and important changes. Social entrepreneurship is an idea that has awakened much interest in recent decades, because it is based on different approaches of classical economic understanding. This concept in the cold logic of modern business brings warmth, a note of humanity and altruism, and contributes to the promotion of moral and ethical practices and standards. Initiatives of social entrepreneurship are always associated with humane ideas, aiming at the general social well-being, as opposed to traditional entrepreneurship, in which the profit is the primary goal and the main measure of success. Social entrepreneurship, as a model, in its ideological and practical function, aims to create a stable structure based on full utilization of human resources, offering new ways of resolving the numerous social and economic problems. A significant number of the population in Bosnia and Herzegovina is strongly affected by social exclusion. Among the most vulnerable are persons with disabilities, Roma and youth, while women in all groups are particulary vulnerable. The European Union practice shows that social entrepreneurship is a good instrument for eliminating poverty, social exclusion and unemployment. Compared to the European Union model, the potential for the development of social entrepreneurship is not being utilized enough in Bosnia and Herzegovina. Bearing in mind these findings, the main objectives of this work is to explore and present theoretical approaches and concepts of social entrepreneurship and possible ways of overcoming social exclusion through social entrepreneurship, based on primary and secondary research. The strongest arguments for commitment to the development of social entrepreneurship in Bosnia and Herzegovina show facts: • Citizens of the Bosnia and Herzegovina recognize that entrepreneurship can contribute to the reduction of social problems, especially social exclusion. • The development of small and medium enterprises significantly influences the increase of social inclusion. The practical part included exploration of the needs for solving social exclusion, poverty and unemployment problems, and the possible ways of overcoming these problems through social entrepreneurship. Research of the situation and possibilities of development of social entrepreneurship included: 1. Survey with target groups, based on prepared questionnaire, which covered 400 unemployed persons from marginalized groups: women, youth, persons with disabilities and Roma, throughout Republic of Srpska (40 municipalities), in cooperation with non-governmental organizations and Employment Service of the Republic of Srpska. 2. Findings of survey with institutions, non-governmental organizations and small and medium enterprises Based on theoretical part of doctoral dissertation we confirm the sub-hypotheses: • H1.1: Human capital is the most important resource for achieving sustainable development goals; • H1.2: Gender is a significant predictor of socio-economic status of citizens, and • H1.5: By introducing special measures and support programs, it is possible to significantly improve the development of social entrepreneurship. Based on empirical research we partially confirm the sub-hypotheses: • H1.3: Citizens perceive entrepreneurship as a mechanism for overcoming social exclusion and • H1.4: Development of small and medium enterprises significantly influences the increase of social inclusion. In final, we partially confirm our main hypothesis H.1: Sustainable Community Development, viewed through the paradigm of social inclusion, is significantly associated with the development of social entrepreneurship.
Ključne besede: social entrepreneurship, social enterprises, employment, social exclusion, non-governmental organizations
Objavljeno: 01.06.2016; Ogledov: 818; Prenosov: 51
.pdf Celotno besedilo (18,11 MB)

Determination of major phenolic acids, phenolic diterpenes and triterpenes in Rosemary (Rosmarinus Officinalis L.) by gas chromatography and mass spectrometry
Maša Islamčević Razboršek, Darinka Brodnjak-Vončina, Valter Doleček, Ernest Vončina, 2007, izvirni znanstveni članek

Opis: A gas chromatographic-mass spectrometric (GC-MS) method for the simultaneous identification and quantification of seven major phenolic and terpenic compounds in Rosmarinus officinalis L. was developed. The compounds were identified as trimethylsilyl (TMS) derivatives of phenolic acids (caffeic and rosmarinic acid), phenolic diterpene (carnosic acid), and pentacyclic triterpenes (ursolic, oleanolic, betulinic acid and betulin). These compounds have been identified by retention time and comparison of mass spectra. The procedure involves ultrasonic extraction using solvent mixture of tetrahydrofuran and ethanol. Extracts were fractionated by size exclusion chromatography (SEC) after purifying on graphitised carbon. The fraction with phenolic and terpenic compounds was derivatised prior to GC-MS analysis using N-methyl-N-trimethylsilyl trifluoroacetamide (MSTFA) as a derivatisation reagent. The derivatisation process was optimized regarding temperature and reaction time. The linearity of the method was tested in concentration range 4-25 mg L$^{–1}$. The correlation coefficients ($r^2$) were in the range of 0.997 to 0.999. The average recoveries for all compounds ranged from 80 to 82%. The GC-MS technique is specific and sensitive, and can be used for simultaneous identification and determination of a wide range of phenolic and terpenic compounds in different plants even at trace levels.
Ključne besede: Rosmarinus officinalis, diterpenes, triterpenes, size exclusion chromatography, gas chromatography, mass spectrometry
Objavljeno: 21.12.2015; Ogledov: 719; Prenosov: 42
.pdf Celotno besedilo (227,83 KB)
Gradivo ima več datotek! Več...

Iskanje izvedeno v 0.06 sek.
Na vrh
Logotipi partnerjev Univerza v Mariboru Univerza v Ljubljani Univerza na Primorskem Univerza v Novi Gorici