Real-time and Probabilistic Temporal Logics: An Overview

Over the last two decades, there has been an extensive study on logical formalisms for specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction. Although numerous logics have been introduced for the formal specification of real-time and complex systems, an up to date comprehensive analysis of these logics does not exist in the literature. In this paper we analyse real-time and probabilistic temporal logics which have been widely used in this field. We extrapolate the notions of decidability, axiomatizability, expressiveness, model checking, etc. for each logic analysed. We also provide a comparison of features of the temporal logics discussed

The Effectiveness of Guided Discovery Learning to Teach Integral Calculus for the Mathematics Students of Mathematics Education Widya Dharma University

The objectives of this research are (1) to develop Guided Discovery Learning in integral calculus subject; (2) to identify the effectiveness of Guided Discovery Learning in improving the students' understanding toward integral calculus subject. This research was quasy experimental research with the students of even semester in Mathematics Education Widya Dharma University as the sample. Cluster Random sampling was conducted to determine control group that was taught using Conventional model and experimental group that was taught using Guided Discovery Learning model. The instruments of this research included pre-test, post-test, and student's response questionnaire. The data of post-test was analyzed using T-test. The result was H0 was rejected for the level of significance The result of this data analysis found out that Guide Discovery Learning was more effective than Conventional Model. It was supported by the result questionnaire. The result of questionnaire that more than 75% questionnaire items got 67.65% positive response. It means Guided Discovery Learning can increase students' interest in joining integral calculus class

THE SUBSTANTIATION OF STRATEGICAL DECISIONS IN UNCERTAINLY CONDITIONS FOR A EUROPEAN FINANCE INVESTITIONAL PROJECT: “SETTING UP OF A TURISTIC PENSION WITH 20 PLACES: SC TEONELIS AGROTURISM SRL”

The strategically investments decisions determine the structure of the company dues and directly influence their liquidation degree. The global analyze of the investment is very important to have in view and to achieve the major objective of company valueinvestment; the investment decision; initially investment expenses; the financial actualization rate; cash flow

Process algebra for performance evaluation

This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined by a random variable. A huge class of resource-sharing systems – like large-scale computers, client–server architectures, networks – can accurately be described using such stochastic specification formalisms. The main emphasis of this paper is the treatment of operational semantics, notions of equivalence, and (sound and complete) axiomatisations of these equivalences for different types of Markovian process algebras, where delays are governed by exponential distributions. Starting from a simple actionless algebra for describing time-homogeneous continuous-time Markov chains, we consider the integration of actions and random delays both as a single entity (like in known Markovian process algebras like TIPP, PEPA and EMPA) and as separate entities (like in the timed process algebras timed CSP and TCCS). In total we consider four related calculi and investigate their relationship to existing Markovian process algebras. We also briefly indicate how one can profit from the separation of time and actions when incorporating more general, non-Markovian distributions

The Complexity of Synthesizing Uniform Strategies

We investigate uniformity properties of strategies. These properties involve sets of plays in order to express useful constraints on strategies that are not \mu-calculus definable. Typically, we can state that a strategy is observation-based. We propose a formal language to specify uniformity properties, interpreted over two-player turn-based arenas equipped with a binary relation between plays. This way, we capture e.g. games with winning conditions expressible in epistemic temporal logic, whose underlying equivalence relation between plays reflects the observational capabilities of agents (for example, synchronous perfect recall). Our framework naturally generalizes many other situations from the literature. We establish that the problem of synthesizing strategies under uniformity constraints based on regular binary relations between plays is non-elementary complete.Comment: In Proceedings SR 2013, arXiv:1303.007

The Rise of Liberal Utilitarianism: Bentham and Mill

My aim in this chapter is to push back against the tendency to emphasize Mill’s break from Bentham rather than his debt to him. Mill made important advances on Bentham’s views, but I believe there remains a shared core to their thinking—over and above their commitment to the principle of utility itself—that has been underappreciated. Essentially, I believe that the structure of Mill’s utilitarian thought owes a great debt to Bentham even if he filled in that structure with a richer conception of human nature and developed it in more liberal directions. This commonality is revealed, in particular, in Mill’s own institutional designs and practical reform proposals in Considerations on Representative Government and related writings. If this is right, then the tendency of interpreters to highlight their differences rather than their similarities has been to the detriment of both Mill and Bentham scholarship, and so to our understanding of the rise of liberal utilitarianism