n/a

The solution of the Conic Quadratic Eigenvalue Complementarity Problem (CQEiCP) is first investigated without assuming symmetry on the matrices defining the problem. A new sufficient condition for existence of solutions of CQEiCP is presented, extending to arbitrary pointed, closed and convex cones a condition known to hold when the cone is the nonnegative orthant. We also address the symmetric CQEiCP where all its defining matrices are symmetric. We show that, assuming that two of its defining matrices are positive definite, this symmetric CQEiCP reduces to the computation of a stationary point of an appropriate merit function on a convex set. Furthermore, we discuss the use of the so called Spectral Projected Gradient (SPG) algorithm for solving CQEiCP when the cone of interest is the second-order cone (SOCQEiCP). A new algorithm is designed for the computation of the projections required by the SPG method to deal with SOCQEiCP. Numerical results are included to illustrate the efficiency of the SPG method and the new projection technique in practice.

Theropods form a taxonomically and morphologically diverse group of dinosaurs that include extant birds. Inferred relationships between theropod clades are complex and have changed dramatically over the past thirty years with the emergence of cladistic techniques. Here, we present a brief historical perspective of theropod discoveries and classification, as well as an overview on the current systematics of non-avian theropods. The first scientifically recorded theropod remains dating back to the 17th and 18th centuries come from the Middle Jurassic of Oxfordshire and most likely belong to the megalosaurid Megalosaurus. The latter was the first theropod genus to be named in 1824, and subsequent theropod material found before 1850 can all be referred to megalosauroids. In the fifty years from 1856 to 1906, theropod remains were reported from all continents but Antarctica. The clade Theropoda was erected by Othniel Charles Marsh in 1881, and in its current usage corresponds to an intricate ladder-like organization of ‘family’ to ‘superfamily’ level clades. The earliest definitive theropods come from the Carnian of Argentina, and coelophysoids form the first significant theropod radiation from the Late Triassic to their extinction in the Early Jurassic. Most subsequent theropod clades such as ceratosaurs, allosauroids, tyrannosauroids, ornithomimosaurs, therizinosaurs, oviraptorosaurs, dromaeosaurids, and troodontids persisted until the end of the Cretaceous, though the megalosauroid clade did not extend into the Maastrichtian. Current debates are focused on the monophyly of deinonychosaurs, the position of dilophosaurids within coelophysoids, and megaraptorans among neovenatorids. Some recent analyses have suggested a placement of dilophosaurids outside Coelophysoidea, Megaraptora within Tyrannosauroidea, and a paraphyletic Deinonychosauria with troodontids placed more closely to avialans than dromaeosaurids.

The objective of this paper is to study the monoid of all partial
transformations of a finite set that preserve a uniform partition. In addition
to proving that this monoid is a quotient of a wreath product with respect to a
congruence relation, we show that it is generated by 5 generators, we compute
its order and determine a presentation on a minimal generating set.

Software developers are expected to protect concurrent accesses to shared regions of memory with some mutual exclusion primitive that ensures atomicity properties to a sequence of program statements. This approach prevents data races but may fail to provide all necessary correctness properties.The composition of correlated atomic operations without further synchronization may cause atomicity violations. Atomic violations may be avoided by grouping the correlated atomic regions in a single larger atomic scope. Concurrent programs are particularly prone to atomicity violations when they use services provided by third party packages or modules, since the programmer may fail to identify which services are correlated. In this paper we propose to use contracts for concurrency, where the developer of a module writes a set of contract terms that specify which methods are correlated and must be executed in the same atomic scope. These contracts are then used to verify the correctness of the main program with respect to the usage of the module(s). If a contract is well defined and complete, and the main program respects it, then the program is safe from atomicity violations with respect to that module. We also propose a static analysis based methodology to verify contracts for concurrency that we applied to some real-world software packages. The bug we found in Tomcat 6.0 was immediately acknowledged and corrected by its development team.

Event-Condition-Action languages are the commonly accepted para- digm to express and model the behavior of reactive systems. While numerous Event-Condition-Action languages have been proposed in the literature, differing e.g. on the expressivity of the language and on its operational behavior, existing Event-Condition-Action languages do not generally support the action compo- nent to be formulated as a transaction. In this paper, sustaining that it is important to execute transactions in reactive languages, we propose an Event-Condition- Transaction language, based on an extension of Transaction Logic. This exten- sion, called Transaction Logic with Events (T Rev ), combines reasoning about the execution of transactions with the ability to detect complex events. An impor- tant characteristic of T Rev is that it takes a choice function as a parameter of the theory, leaving open the behavioral decisions of the logic, and thereby allowing it to be suitable for a wide-spectrum of application scenarios like Semantic Web, multi-agent systems, databases, etc. We start by showing how T Rev can be used as an Event-Condition-Action language where actions are considered as transac- tions, and how to differently instantiate this choice function to achieve different operational behaviors. Then, based on a particular operational instantiation of the logic, we present a procedure that is sound and complete w.r.t. the semantics and that is able to execute T Rev programs

n/a

In this paper we consider various classes of monoids of transformations of a finite chain,
including those of transformations that preserve or reverse either the order or the orientation.
In line with Howie and McFadden (1990),
we complete the study of the ranks (and of idempotent ranks, when applicable) of all their ideals.

n/a

This paper studies complete rewriting systems and biautomaticity for three interesting classes of finite-rank homogeneous monoids: Chinese monoids, hypoplactic monoids, and sylvester monoids. For Chinese monoids, we first give new presentations via finite complete rewriting systems, using more lucid constructions and proofs than those given independently by Chen & Qui and Güzel Karpuz; we then construct biautomatic structures. For hypoplactic monoids, we construct finite complete rewriting systems and biautomatic structures. For sylvester monoids, which are not finitely presented, we prove that the standard presentation is an infinite complete rewriting system, and construct biautomatic structures. Consequently, the monoid algebras corresponding to monoids of these classes are automaton algebras in the sense of Ufnarovskij.

Robotics technology has been applied to a wide variety of sectors and with a higher economic and social impact. In the last decades it has been one of the main elements of industrial manufacturing automation where about 1.5 million robots are currently operating, which means that 4 to 5 million workers are operating those systems. From 2014 to 2016, robot installations are estimated to increase by 6% on average per year. Besides this, in recent years the number of professional service robots has increased enormously in military and civil applications (around 130 thousand units).