The Evolution of the Demand for Temporary Help Supply Employment in the United States

The Bureau of Labor Statistics has reported an extraordinary increase in temporary help supply (THS) employment during the late 1980s and the 1990s. However, little is known about the venues where these THS employees actually work. Our estimates indicate that the proportion of THS employees in each major American industry, except the public sector, increased during 1977-97. By 1997, close to 4 percent of the employees in manufacturing and services were THS workers. In the service sector, the increase was accompanied by a large increase in direct hires. In manufacturing, however, it was accompanied by a decline in direct hiring from its peak in 1989 even though output increased substantially in the 1990s. Practically, all of the growth in THS employment is attributed to a change in the hiring behavior of firms, rather than to a disproportional increase in the size of more THS-intensive industries.

An LTL Semantics of Business Workflows with Recovery

We describe a business workflow case study with abnormal behavior management (i.e. recovery) and demonstrate how temporal logics and model checking can provide a methodology to iteratively revise the design and obtain a correct-by construction system. To do so we define a formal semantics by giving a compilation of generic workflow patterns into LTL and we use the bound model checker Zot to prove specific properties and requirements validity. The working assumption is that such a lightweight approach would easily fit into processes that are already in place without the need for a radical change of procedures, tools and people's attitudes. The complexity of formalisms and invasiveness of methods have been demonstrated to be one of the major drawback and obstacle for deployment of formal engineering techniques into mundane projects

Neural Machine Translation into Language Varieties

Both research and commercial machine translation have so far neglected the importance of properly handling the spelling, lexical and grammar divergences occurring among language varieties. Notable cases are standard national varieties such as Brazilian and European Portuguese, and Canadian and European French, which popular online machine translation services are not keeping distinct. We show that an evident side effect of modeling such varieties as unique classes is the generation of inconsistent translations. In this work, we investigate the problem of training neural machine translation from English to specific pairs of language varieties, assuming both labeled and unlabeled parallel texts, and low-resource conditions. We report experiments from English to two pairs of dialects, EuropeanBrazilian Portuguese and European-Canadian French, and two pairs of standardized varieties, Croatian-Serbian and Indonesian-Malay. We show significant BLEU score improvements over baseline systems when translation into similar languages is learned as a multilingual task with shared representations.Comment: Published at EMNLP 2018: third conference on machine translation (WMT 2018

Determination of the stability and control derivatives of the F/A-18 HARV from flight data using the maximum likelihood method

The research being conducted pertains to the determination of the stability and control derivatives of the F/A-18 High Alpha Research Vehicle (HARV) from flight data using the Maximum Likelihood Method. The document outlines the approach used in the parameter estimation (PID) process and briefly describes the mathematical modeling of the F/A-18 HARV and the maneuvers designed to generate a sufficient data base for the PID research

Model and Design of a Power Driver for Piezoelectric Stack Actuators

A power driver has been developed to control piezoelectric stack actuators used in automotive application. A FEM model of the actuator has been implemented starting from experimental characterization of the stack and mechanical and piezoelectric parameters. Experimental results are reported to show a correct piezoelectric actuator driving method and the possibility to obtain a sensor-less positioning contro

Presenting Distributive Laws

Distributive laws of a monad T over a functor F are categorical tools for specifying algebra-coalgebra interaction. They proved to be important for solving systems of corecursive equations, for the specification of well-behaved structural operational semantics and, more recently, also for enhancements of the bisimulation proof method. If T is a free monad, then such distributive laws correspond to simple natural transformations. However, when T is not free it can be rather difficult to prove the defining axioms of a distributive law. In this paper we describe how to obtain a distributive law for a monad with an equational presentation from a distributive law for the underlying free monad. We apply this result to show the equivalence between two different representations of context-free languages

Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms

Complex systems typically have many different parts and facets, with different characteristics. In a multi-paradigm approach to modeling, formalisms with different natures are used in combination to describe complementary parts and aspects of the system. This can have a beneficial impact on the modeling activity, as different paradigms an be better suited to describe different aspects of the system. While each paradigm provides a different view on the many facets of the system, it is of paramount importance that a coherent comprehensive model emerges from the combination of the various partial descriptions. In this paper we present a technique to model different aspects of the same system with different formalisms, while keeping the various models tightly integrated with one another. In addition, our approach leverages the flexibility provided by a bounded satisfiability checker to encode the verification problem of the integrated model in the propositional satisfiability (SAT) problem; this allows users to carry out formal verification activities both on the whole model and on parts thereof. The effectiveness of the approach is illustrated through the example of a monitoring system.Comment: 27 page

The gluon splitting function at moderately small x

It is widely believed that at small x, the BFKL resummed gluon splitting function should grow as a power of 1/x. But in several recent calculations it has been found to decrease for moderately small-x before eventually rising. We show that this `dip' structure is a rigorous feature of the P_gg splitting function for sufficiently small alpha_s, the minimum occurring formally at ln 1/x of order 1/sqrt(alpha_s). We calculate the properties of the dip, including corrections of relative order sqrt(alpha_s), and discuss how this expansion in powers of sqrt(alpha_s), which is poorly convergent, can be qualitatively matched to the fully resummed result of a recent calculation, for realistic values of alpha_s. Finally, we note that the dip position, as a function of alpha_s, provides a lower bound in x below which the NNLO fixed-order expansion of the splitting function breaksdown and the resummation of small-x terms is mandatory.Comment: 10 pages, LaTeX, 3 figure

General models of Einstein gravity with a non-Newtonian weak-field limit

We investigate Einstein theories of gravity, coupled to a scalar field \vphi and point-like matter, which are characterized by a scalar field-dependent matter coupling function e^{H(\vphi)}. We show that under mild constraints on the form of the potential for the scalar field, there are a broad class of Einstein-like gravity models -characterized by the asymptotic behavior of H- which allow for a non-Newtonian weak-field limit with the gravitational potential behaving for large distances as ln r. The Newtonian term GM/r appears only as sub-leading. We point out that this behavior is also shared by gravity models described by f(R) Lagrangians. The relevance of our results for the building of infrared modified theories of gravity and for modified Newtonian dynamics is also discussed.Comment: 9 page