Compositional semantics of dataflow networks with query-driven communication of exact values

We develop and study the concept of dataflow process networks as used for exampleby Kahn to suit exact computation over data types related to real numbers, such as continuous functions and geometrical solids. Furthermore, we consider communicating these exact objectsamong processes using protocols of a query-answer nature as introduced in our earlier work. This enables processes to provide valid approximations with certain accuracy and focusing on certainlocality as demanded by the receiving processes through queries. We define domain-theoretical denotational semantics of our networks in two ways: (1) directly, i. e. by viewing the whole network as a composite process and applying the process semantics introduced in our earlier work; and (2) compositionally, i. e. by a fixed-point construction similarto that used by Kahn from the denotational semantics of individual processes in the network. The direct semantics closely corresponds to the operational semantics of the network (i. e. it iscorrect) but very difficult to study for concrete networks. The compositional semantics enablescompositional analysis of concrete networks, assuming it is correct. We prove that the compositional semantics is a safe approximation of the direct semantics. Wealso provide a method that can be used in many cases to establish that the two semantics fully coincide, i. e. safety is not achieved through inactivity or meaningless answers. The results are extended to cover recursively-defined infinite networks as well as nested finitenetworks. A robust prototype implementation of our model is available.

The role of personal values in corporate social entrepreneurship

The literature acknowledges a distinction between immoral, amoral and moral management (Carroll, 1987; Crane 2000). This paper makes a case for the manager as a moral agent, even though the paper begins by highlighting a body of evidence which suggests that individual moral agency is sacrificed at work and is compromised in deference to other pressures. This leads to a discussion of the notion of managerial discretion and an examination of a separate, contrary body of literature which indicates that some managers in corporations may use their discretion to behave in a socially entrepreneurial manner. The underlying assumption of the study is that CSR isn’t solely driven by economics and that it may also be championed as a result of a personal morality, inspired by an individual’s own socially oriented personal values. A conceptual framework is put forward and it is suggested that individuals may be categorized as Active or Frustrated Corporate Social Entrepreneurs; Conformists or Apathetics: distinguished by individualistic or collectivist personal values. In a discussion of the nature of values, this paper highlights how values may act as drivers of our behavior and pays particular attention to the values of the entrepreneur, thereby linking the existing debate on moral agency with the field of corporate social responsibility.

Perturbations of Critical Values in Nonsmooth Critical Point Theory

* Supported by Ministero dell’Università e della Ricerca Scientifica e Tecnologica (40% – 1993). ** Supported by Ministero dell’Università e della Ricerca Scientifica e Tecnologica (40% – 1993).

A Metaontology for Medical Diagnostics of Acute Diseases. Part 3. A Formal Description of the Causes of Signs’ Values and of Diseases

This article is the final part of the formal description of the metaontology for medical diagnostics in the language of applied logic. It contains a description of the causes of signs’ values and of the causes of diseases.

3D Reconstruction of Cultural Values at the Regional History Museum-Veliko Tarnovo

The project paper presents the work done by the Regional History Museum – Veliko Tarnovo (RHM) on 3D reconstruction of cultural values and objects from the Veliko Tarnovo region – the St Peter and St Paul church in Veliko Tarnovo, the chorus of the metropolitan Nativity church in Arbanassi and the St. Dimitar church in Arbanassi.

The Effect of Sample and Sample Matrix on DNA Processing: Mechanisms for the Detection and Management of Inhibition in Forensic Samples

The presence of inhibitory substances in biological forensic samples has, and continues to affect the quality of the data generated following DNA typing processes. Although the chemistries used during the procedures have been enhanced to mitigate the effects of these deleterious compounds, some challenges remain. Inhibitors can be components of the samples, the substrate where samples were deposited or chemical(s) associated to the DNA purification step. Therefore, a thorough understanding of the extraction processes and their ability to handle the various types of inhibitory substances can help define the best analytical processing for any given sample. A series of experiments were conducted to establish the inhibition tolerance of quantification and amplification kits using common inhibitory substances in order to determine if current laboratory practices are optimal for identifying potential problems associated with inhibition. DART mass spectrometry was used to determine the amount of inhibitor carryover after sample purification, its correlation to the initial inhibitor input in the sample and the overall effect in the results. Finally, a novel alternative at gathering investigative leads from samples that would otherwise be ineffective for DNA typing due to the large amounts of inhibitory substances and/or environmental degradation was tested. This included generating data associated with microbial peak signatures to identify locations of clandestine human graves. Results demonstrate that the current methods for assessing inhibition are not necessarily accurate, as samples that appear inhibited in the quantification process can yield full DNA profiles, while those that do not indicate inhibition may suffer from lowered amplification efficiency or PCR artifacts. The extraction methods tested were able to remove >90% of the inhibitors from all samples with the exception of phenol, which was present in variable amounts whenever the organic extraction approach was utilized. Although the results attained suggested that most inhibitors produce minimal effect on downstream applications, analysts should practice caution when selecting the best extraction method for particular samples, as casework DNA samples are often present in small quantities and can contain an overwhelming amount of inhibitory substances.

Estimation of Sample Size and Power For Quantile Regression

Quantile regression (QR) was first introduced by Roger Koenker and Gilbert Bassett in 1978. It is robust to outliers which affect least squares estimator on a large scale in linear regression. Instead of modeling mean of the response, QR provides an alternative way to model the relationship between quantiles of the response and covariates. Therefore, QR can be widely used to solve problems in econometrics, environmental sciences and health sciences. Sample size is an important factor in the planning stage of experimental design and observational studies. In ordinary linear regression, sample size may be determined based on either precision analysis or power analysis with closed form formulas. There are also methods that calculate sample size based on precision analysis for QR like C.Jennen-Steinmetz and S.Wellek (2005). A method to estimate sample size for QR based on power analysis was proposed by Shao and Wang (2009). In this paper, a new method is proposed to calculate sample size based on power analysis under hypothesis test of covariate effects. Even though error distribution assumption is not necessary for QR analysis itself, researchers have to make assumptions of error distribution and covariate structure in the planning stage of a study to obtain a reasonable estimate of sample size. In this project, both parametric and nonparametric methods are provided to estimate error distribution. Since the method proposed can be implemented in R, user is able to choose either parametric distribution or nonparametric kernel density estimation for error distribution. User also needs to specify the covariate structure and effect size to carry out sample size and power calculation. The performance of the method proposed is further evaluated using numerical simulation. The results suggest that the sample sizes obtained from our method provide empirical powers that are closed to the nominal power level, for example, 80%.

Nitriding in cathodic cage of stainless steel AISI 316: influence of sample position

R.R.M. de Sousa et al. Nitriding in cathodic cage of stainless steel AISI 316: Influence of sample position. Vacuum, [s.l.], n.83, 2009. Disponivel em: . Acesso em: 04 out.2010.

Systems of exchange values as tools for multi-agent organizations

This paper introduces systems of exchange values as tools for the organization of multi-agent systems. Systems of exchange values are defined on the basis of the theory of social exchanges, developed by Piaget and Homans. A model of social organization is proposed, where social relations are construed as social exchanges and exchange values are put into use in the support of the continuity of the performance of social exchanges. The dynamics of social organizations is formulated in terms of the regulation of exchanges of values, so that social equilibrium is connected to the continuity of the interactions. The concept of supervisor of social equilibrium is introduced as a centralized mechanism for solving the problem of the equilibrium of the organization The equilibrium supervisor solves such problem making use of a qualitative Markov Decision Process that uses numerical intervals for the representation of exchange values.

Nitriding in cathodic cage of stainless steel AISI 316: influence of sample position

R.R.M. de Sousa et al. Nitriding in cathodic cage of stainless steel AISI 316: Influence of sample position. Vacuum, [s.l.], n.83, 2009. Disponivel em: . Acesso em: 04 out.2010.

Assessment of the quality of sample labelling for clinical research

Objective: To assess the quality of the labels for clinical trial samples through current regulations, and to analyze its potential correlation with the specific characteristics of each sample. Method: A transversal multicenter study where the clinical trial samples from two third level hospitals were analyzed. The eleven items from Directive 2003/94/EC, as well as the name of the clinical trial and the dose on the label cover, were considered variables for labelling quality. The influence of the characteristics of each sample on labelling quality was also analyzed. Outcome: The study included 503 samples from 220 clinical trials. The mean quality of labelling, understood as the proportion of items from Appendix 13, was of 91.9%. Out of these, 6.6% did not include the name of the sample in the outer face of the label, while in 9.7% the dose was missing. The samples with clinical trial-type samples presented a higher quality (p < 0.049), blinding reduced their quality (p = 0.017), and identification by kit number or by patient increased it (p < 0.01). The promoter was the variable which introduced the highest variability into the analysis. Conclusions: The mean quality of labelling is adequate in the majority of clinical trial samples. The lack of essential information in some samples, such as the clinical trial code and the period of validity, is alarming and might be the potential source for dispensing or administration errors.