This paper describes a software package for the solution of Nonlinear Programming (NLP) problems. The package implements a Sequential Quadratic Programming solver with a \\lter" to promote global convergence. The solver runs with a dense or a sparse linear algebra package and a robust QP solver.

1.1. Roadmap. Section 2 introduces the directory structure of the code base, as well as the third-party libraries used by Cayuga. Section 3 and 4 provides guidances for compiling and running Cayuga. Section 5 serves as a reference to the Cayuga config options. Section 6 explains the input/output system components in Cayuga and the message formats they use. Section 7 describes the regression tes...

Large amounts of data for metagenomics, especially the earliest studies on 16S ribosomal RNA gene, are produced by high-throughput screening methods. These are processed in the form of quantitative comparisons (between two microbiomes’ conditions) of reads’ counts. Reads’ counts are interpreted as a taxon’s abundance in a microbial community under given conditions, such as a medical treatments ...

We present here the user manual of Imitator II, a tool implementing the “inverse method” in the framework of parametric timed automata: given a reference valuation of the parameters, its generates a constraint such that the system behaves the same as under the reference valuation in terms of traces, i.e., alternating sequences of locations and actions. This is useful for safely relaxing some va...

FIELD Friendly Integrated Environment for Learning and Develop ment is an integrated programming environment for UNIX It is based on a simple but powerful integration mechanism that allows a wide variety of tools to interact to assist the user in constructing and debuging UNIX programs The tools include editors debuggers cross referencing pro l ing con guration management data structure display...

– Visualize the textual input POMDP using the DOT language. – Reduce a POMDP with a parity objective, to an equivalent POMDP with a coBüchi objective (a parity objective with only 2 priorities), and visualize the POMDP. – Given a POMDP, with a coBüchi objective, it constructs its belief-observation POMDP Ĝ, and visualizes it. – Given the belief-observation POMDP Ĝ, if there exists an almost-sur...

These files must be imperatively located in the same folder. There is no other requirement for the installation. However, creating a specific directory for these files may be a good practice. Indeed, the program creates a few temporary files in this directory. They are normally deleted, but if the program fails to reach its end for any reasons, some of these files may remain on the hard disk (n...

action t tti r t tti r t tti r think1 t i t i t i tau ta ta ta eat1 t ea t eat ea ~tau ta ta ta think2 t i t i t i tau ta ta ta eat2 t ea t eat ea ~tau ta ta ta think3 t i t i t i tau ta ta ta bad-philo il il il il il il il il Figure 8: philosophers abstract-action structs 1 :0 "abstract-action" behavs 6 :0 "eat1" :1 "eat2" :2 "think1" :3 "think2" :4 "think3" :5 "bad-philo" struct 0 logic "init...