On efficient fixpoint computation of deductive databases with uncertainty

Uncertainty management has been identified as an important challenge in AI and database research. Many frameworks of logic programming have been proposed to manage uncertain information in deductive databases and expert systems. These proposals address fundamental issues of modeling, semantics, query processing and optimization. However, there have been fewer reports on efficient implementation of such frameworks. In this research, we study this issue in the context of a fragment of the parametric framework [19] over the certainty domain of [0, 1]. It has been shown that the standard Semi-Naive fixpoint evaluation method does not have a counterpart when uncertainty is present [32]. We have refined a Semi-Naive method, originally proposed in [32], and developed a Semi-Naive evaluation engine that takes into account the multiplicity of derivations of the same atom. We also introduced a refinement of this evaluation, called Semi-Naive with Partition, which further improves the efficiency of the Semi-Naive method with uncertainty. Finally, we adopt "stratification" from Datalog, which is shown to make a significance efficiency for certain input programs with uncertainty. We have conducted numerous experiments to assess the benefits of the collection of optimizations proposed in this research. Our experiments and benchmarks indicate that the proposed techniques and tricks yield a useful, efficient evaluation engine for deductive databases with uncertainty

Modeling Business Process: Analysis of Goal-Oriented Approaches

A crucial management issue for most corporations is the effective design and implementation of their business process. However, existing approaches describe an enterprise in terms of activities and tasks view without offering sufficient guidance towards a process-centric description of the organization. Goals have long been recognized to be essential components involved in the business process. Business process engineering research has increasingly recognized the leading role played by goals in the business process. Such recognition has led to a whole stream of research on goaloriented approaches. The study of goal-oriented methodologies indicates that modeling of organizational goals constitutes a central activity of the business process. In this paper we advocate the use of goal-oriented approaches to business process modeling. Some systematic approaches to developing and documenting business processes on the basis of the explicit or implicit business objectives are discussed. From the representation view of model, the way that models are expressed is demonstrated

Model of Information Security Engineering Based on SSE-CMM

On the basis of the project thought of SSECMM, this paper presents a kind of information security engineering model based on SSE-CMM. And it expounds the concrete work at each stage in the course of security engineering in detail

Expression levels of microRNAs are not associated with their regulatory activities

MicroRNAs (miRNAs) regulate their targets by triggering mRNA degradation or translational repression. The negative relationship between miRNAs and their targets suggests that the regulatory effect of a miRNA could be determined from the expression levels of its targets. Here, we investigated the relationship between miRNA activities determined by computational programs and miRNA expression levels by using data in which both mRNA and miRNA expression from the same samples were measured. We found that different from the intuitive expectation one might have, miRNA activity shows very weak correlation with miRNA expression, which indicates complex regulating mechanisms between miRNAs and their target genes

4-(Imidazol-1-yl)benzoic acid

In the title mol­ecule, C10H8N2O2, the imidazole and benzene rings form a dihedral angle of 14.5 (1)°. In the crystal, inter­molecular O—H⋯N hydrogen bonds link the mol­ecules into chains extending in [01], which are further linked into sheets parallel to (102) through weak C—H⋯O inter­actions

Práticas em gerenciamento ágil de projetos

Com o ambiente de projetos atual cada vez mais competitivo, dinâmico e turbulento, abordagens tradicionais de gestão que sejam plan-driven estão se tornando menos eficazes e eficientes. Neste contexto, com clientes e consumidores cada vez mais exigentes, surge uma corrente de gestão ágil de projetos. Um dos objetivos deste trabalho é identificar quais são as práticas associadas à gestão ágil de projetos e agrupá-las em grandes categorias. Procurou-se também entender se existem diferenças na adoção de práticas ágeis em projetos executados em empresas de grande porte, e de pequeno/médio porte. Para tanto, foram estudadas três empresas, por meio da aplicação de um questionário, baseado nas práticas de gestão ágil identificadas na literatura. Observou -se que práticas e valores pregados pela corrente são generalizáveis para outras áreas (boa comunicação, foco no cliente, desenvolvimento de competências soft e hard, planejamento e controle), e por isso, mesmo empresas que não possuem o conceito implantado adota posturas consideradas “ágeis”. Dentre as práticas listadas, as três empresas analisadas são mais deficitárias na comunicação, e são mais “ágeis” na relação com o cliente. Embora o trabalho não tenha identificado diferenças significativas, em função de algumas de suas limitações, ele fornece alguns insights e sugestões de áreas dentro da gestão ágil de projetos que ainda podem ser explorado