Stochastic logic programs (SLPs) provide an efficient representation for complex tasks such as modelling metabolic pathways. In recent years, methods have been developed to perform parameter and structure learning in ...
详细信息
ISBN:
(纸本)3540298967
Stochastic logic programs (SLPs) provide an efficient representation for complex tasks such as modelling metabolic pathways. In recent years, methods have been developed to perform parameter and structure learning in SLPs. these techniques have been applied for estimating rates of enzyme-catalyzed reactions with success. However there does not exist any method that can provide statistical inferences and compute confidence in the learned SLP models. We propose a novel approach for drawing such inferences and calculating confidence in the parameters on SLPs. Our methodology is based on the use of a popular technique, the bootstrap. We examine the applicability of the bootstrap for computing the confidence intervals for the estimated SLP parameters. In order to evaluate our methodology we concentrated on computation of confidence in the estimation of enzymatic reaction rates in amino acid pathway of Saccharomyces cerevisiae. Our results show that our bootstrap based methodology is useful in assessing the characteristics of the model and enables one to draw important statistical and biological inferences.
Computing the winners of an election is an important task in voting and preference aggregation. the declarative nature of answer-set programming (ASP) and the performance of state-of-the-art solvers render ASP very we...
详细信息
ISBN:
(纸本)9783319231143;9783319231136
Computing the winners of an election is an important task in voting and preference aggregation. the declarative nature of answer-set programming (ASP) and the performance of state-of-the-art solvers render ASP very well-suited to tackle this problem. In this work we present a novel, reduction-based approach for a variety of voting rules, ranging from tractable cases to problems harder than NP. the encoded voting rules are put together in the extensible tool Democratix, which handles the computation of winners and is also available as a web application. To learn more about the capabilities and limits of the approach, the encodings are evaluated thoroughly on real-world data as well as on random instances.
this book constitutes the refereed post-conference proceedings of the 4thinternational Workshop on Accelerator programming Using Directives, WACCPD 2017, held in Denver, CO, USA, in November 2017.;the 9 full papers p...
详细信息
ISBN:
(数字)9783319748962
ISBN:
(纸本)9783319748955
this book constitutes the refereed post-conference proceedings of the 4thinternational Workshop on Accelerator programming Using Directives, WACCPD 2017, held in Denver, CO, USA, in November 2017.;the 9 full papers presented have been carefully reviewed and selected from 14 submissions. the papers share knowledge and experiences to program emerging complex parallel computing systems. they are organized in the following three sections: applications; environments; and program evaluation.
the proceedings contain 15 papers. the special focus in this conference is on Decade of Concurrency. the topics include: Data-Flow synchronous languages;process algebra with backtracking;some chemical abstract machine...
ISBN:
(纸本)9783540586487
the proceedings contain 15 papers. the special focus in this conference is on Decade of Concurrency. the topics include: Data-Flow synchronous languages;process algebra with backtracking;some chemical abstract machines;verification tools for finite-state concurrent systems;linear logic on petri nets;an introduction to the theoretical aspects of coloured petri nets;temporal verification of simulation and refinement;verification and specification of concurrent programs;simulation techniques for proving properties of real-time systems;relationships between models of concurrency;interaction diagrams;algebraictheories for name-passing calculi;initial algebra and final coalgebra semantics for concurrency;logical specifications of infinite computations and partial order based design of concurrent systems.
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. the approach is based on the assumption that information about the communication language and proto...
详细信息
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. the approach is based on the assumption that information about the communication language and protocols available in a multiagent system is provided in the form of dialogue sequence patterns, possibly tagged withlogical conditions and instance information. We describe an integrated social reasoning architecture m2InFFrA that is capable of (i) processing such patterns, (ii) making communication decisions in a boundedly rational way, and (iii) learning patterns and their strategic application from observation. Copyright 2005 ACM.
We use a temporal model to express temporal relationships among diseases that may have mutual affect potentially. the temporal model defines six types of relationships: before, after, contained, contains, start-overla...
详细信息
ISBN:
(纸本)0769528740
We use a temporal model to express temporal relationships among diseases that may have mutual affect potentially. the temporal model defines six types of relationships: before, after, contained, contains, start-overlap, and end-overlap. First, the temporal relationship between diseases of each patient is searched, and then, the temporal relationships of all patients are analyzed to determine the correlation of these diseases. the timestamped diagnostic data are built as facts and the physician specified rules of diseases are built as inference rules of the inference engine. the temporal relationship model is implemented as a rule based system using the Java based expert system, Jess. the rules for determining disease diagnoses and temporal relationships are written as text files and are input to the system. the major goal of this paper is to provide a system kernel for applications of medical diagnosis system.
this book constitutes the refereed proceedings of the 4thinternationalconference on logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. the 20 full and 10 short papers presented toget...
详细信息
ISBN:
(数字)9783030893910
ISBN:
(纸本)9783030893903
this book constitutes the refereed proceedings of the 4thinternationalconference on logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. the 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. the topics of accepted papers cover the focus of the CLAR series, including formal models of argumentation, a variety of logic formalisms, nonmonotonic reasoning, dispute and dialogue systems, formal treatment of preference and support, and well as applications in areas like vaccine information and processing of legal texts.
Automotive Industries were aiming at building fully automated machines to obtain increased production without compromising in the quality of the product. Building an automatic machine is one of the most efficient tech...
详细信息
Automotive Industries were aiming at building fully automated machines to obtain increased production without compromising in the quality of the product. Building an automatic machine is one of the most efficient technologies to overcome defects resulted due to trimming process of valve stem seals. the existing system includes semi-automatic machine with punching system results in improper trimming. Hence in order to reduce these defects the system aims at building an automatic trimming machine for valve stem seals used in vehicles. the semi-automatic machine was ended with few defects which affect the product quality. the customer satisfaction is an important factor for industry growth. the system focuses on building a simple machine and control panel design with Programmable logic Controller (PLC) as the controller. PLC will be most suitable controllers for the automotive industries. PLC was programmed using the CX-Programmer software with ladder logic as the programming language. the operation of the results was also displayed using HMI (Human Machine Interface) screen, which will provide information to the operator about machine production and its status. (c) 2020 Elsevier Ltd. Selection and peer-review under responsibility of the scientific committee of the internationalconference on Advances in Materials and Manufacturing Applications.
Isostatic pressing in the 90's covers a wide range of complex equipment involving many and varied types and sizes. Stansted Fluid Power Ltd. do all types of CIP, HIP, WIP and DIP. Common factors across the whole r...
详细信息
ISBN:
(纸本)0948579072
Isostatic pressing in the 90's covers a wide range of complex equipment involving many and varied types and sizes. Stansted Fluid Power Ltd. do all types of CIP, HIP, WIP and DIP. Common factors across the whole range are: Safe management of high pressure;Automatic operation to ensure both operator safety and efficient production. Both factors are control functions and the control systems are Programmable logic. In order to cope withthe variety of operational and customer requirements, and to keep the costs down the company produces its own PLC software In House. during the period of designing the software it was established that there are two kind of programs. One, which can be simply programmed in step ladder and others which cannot. Step ladder programming is user fiendly with simple listing of instructions in coherent program language. the paper presents this program entirely.
this paper extends propositional linear time temporal logic (PTL) to propositional dense time logic (PDTL). While a PTL model is a single sequence of states, a PDTL model, cMled an omega-tree, consists of a nested seq...
详细信息
暂无评论