the proceedings contain 29 papers. the topics discussed include: exploiting algebraic laws to improve mechanized axiomatizations;positive fragments of coalgebraic logics;many-valued relation lifting and moss' coal...
ISBN:
(纸本)9783642402050
the proceedings contain 29 papers. the topics discussed include: exploiting algebraic laws to improve mechanized axiomatizations;positive fragments of coalgebraic logics;many-valued relation lifting and moss' coalgebraic logic;saturated semantics for coalgebraic logicprogramming;presenting distributive laws;interaction and observation: categorical semantics of reactive systems trough dialgebras;homomorphisms of coalgebras from predicate liftings;trace semantics via generic observations;full abstraction for fair testing in CCS;a simple case of rationality of escalation;coalgebras with symmetries and modeling quantum systems;from operational chu duality to coalgebraic quantum symmetry;noninterfering schedulers: when possibilistic noninterference implies probabilistic noninterference;and simulations and bisimulations for coalgebraic modal logics.
the predictive accuracy of a learning algorithm can be split into specificity and sensitivity, amongst other decompositions. Sensitivity, also known as completeness, is the ratio of true positives to the total number ...
详细信息
In this paper, we consider the problem of scheduling n jobs in an m-machine permutation flowshop with time lags between consecutive operations of each job. the processing order of jobs is the same for each machine. th...
详细信息
ISBN:
(纸本)9781467358125
In this paper, we consider the problem of scheduling n jobs in an m-machine permutation flowshop with time lags between consecutive operations of each job. the processing order of jobs is the same for each machine. the time lag is defined as the waiting time between consecutive operations. We used logic-based Benders decomposition to minimize the total number of tardy jobs with long time horizon defined on the last machine. We combine Mixed Integer Linear programming (MILP) to allocate jobs to time intervals of the time horizon and scheduled using Constraint programming (CP). Also, a lower bound based on Moore's algorithm is developed. then, computational results are reported.
Web services are modular, self-descriptive and loosely coupled applications;they provide a simple programming and deployment model. Besides, they are designed to interact with other services to form larger application...
详细信息
ISBN:
(纸本)9781467358125
Web services are modular, self-descriptive and loosely coupled applications;they provide a simple programming and deployment model. Besides, they are designed to interact with other services to form larger applications. From a software engineering point of view, the construction of new services by composing existing services raises a number of challenges. One of them is the ability to efficiently and effectively select and integrate inter-organizational and heterogeneous services on the Web at runtime. Recently, several formal methods, most of them with a semantics based on transition systems, have been used to guarantee correct service compositions without insisting on its automation. the main goal of this work is to propose a Rewriting logic based framework in order to enhance automatic Web services composition. the proposed model execution allows to discover services automatically and guarantee the correct interaction of independent pieces of software in a transparent manner.
In the present paper, new modeling approach is developed to improve the electrical behavior of the submicron Dual-Material-gate (DM) Gallium Arsenide (GaAs)-MESFETs for analog applications. the electrical parameters s...
详细信息
ISBN:
(纸本)9781467358125
In the present paper, new modeling approach is developed to improve the electrical behavior of the submicron Dual-Material-gate (DM) Gallium Arsenide (GaAs)-MESFETs for analog applications. the electrical parameters such as transconductance, output conductance, current-voltage characteristics and drain to source resistance of the device have been determined and analytical expressions have been developed. the developed models are used to elaborate the objective functions. Analog electrical parameters are also built for the three points sampled from the different locations of the Pareto space, and an interpretation is presented for the Pareto relation between the small signal device behavior and the design parameters. Hence, the developed approach is explored to search for optimal dimensional and electrical parameters to get better electrical performance for analog circuit applications. the proposed models have been validated using 2-D numerical simulations (SILVACO).
In this paper we continue the work on our extension of Answer Set programming by non-Herbrand functions and add to the language support for arithmetic expressions and various inequality relations over non-Herbrand fun...
详细信息
the proceedings contain 11 papers. the topics discussed include: translating NP-SPEC into ASP;SPARC – sorted asp with consistency restoring rules;utilizing asp for generating and visualizing argumentation frameworks;...
the proceedings contain 11 papers. the topics discussed include: translating NP-SPEC into ASP;SPARC – sorted asp with consistency restoring rules;utilizing asp for generating and visualizing argumentation frameworks;planning and scheduling in hybrid domains using answer set programming;eliminating unfounded set checking for HEX-programs;backdoors to normality for disjunctive logic programs;answer set programming for stream reasoning;and two new definitions of stable models of logic programs with generalized quantifiers.
We present alternative definitions of the first-order stable model semantics and its extension to incorporate generalized quantifiers by referring to the familiar notion of a reduct instead of referring to the SM oper...
详细信息
Previous research into the relation between ASP and classical logic has identified at least two different ways in which the former extends the latter. First, ASP program typically contain sets of rules that can be nat...
详细信息
In this paper we present an Action Language-Answer Set programming based approach to solving planning and scheduling problems in hybrid domains - domains that exhibit both discrete and continuous behavior. We use acti...
详细信息
暂无评论