Large-scale problem solving algorithms will prove to be critical in implementing the long-term vision of cyberphysical systems (CPS). Such algorithms will be highly modularized -that is, they will use subroutines implemented behind abstract interfaces. A characteristic of many problem solving algorithms is that their performance varies wildly depending on which order subroutines are executed, w...

We present an approach to map Robocup-soccer narratives (in natural language) to a sequence of meaningful events. Our approach takes advantage of an action-centered framework, an inference subroutine, and an iterative learning algorithm. Our framework represents the narrative as a sequence of sentences and each sentence as a probability distribution over deterministic events. Our learning algor...

A new application programming interface for evaluating functions and specifying optimization problems at runtime has been developed. The new interface, named FEFAR, uses a simple language named LEFAR. Compared with other modeling languages such as AMPL or OSil, LEFAR is Fortranlike hence easy to learn and use, in particular for Fortran programmers. FEFAR itself is a Fortran subroutine hence eas...

This paper proposes and analyzes an accelerated inexact dampened augmented Lagrangian (AIDAL) method for solving linearly-constrained nonconvex composite optimization problems. Each iteration of the AIDAL consists of: (i) inexactly a proximal (AL) subproblem by calling gradient (ACG) subroutine; (ii) applying under-relaxed Lagrange multiplier update; (iii) using novel test to check whether pena...

In this paper, we introduce an implementation of the extended finite element method for fracture problems within the finite element software ABAQUSTM. User subroutine (UEL) in Abaqus is used to enable the incorporation of extended finite element capabilities. We provide details on the data input format together with the proposed user element subroutine, which constitutes the core of the finite ...

The subproblem is in a form of L1-regularized least squares. To perform a coordinate update in the CD subroutine, the training data is accessed/used in a feature-wise manner, which is the same as how data is used in CDN for problem (3.2). Thus, the applicability of the naive parallelization to the CD subroutine should hold here and the speedup is predicted to be at a comparable level. In additi...

This report documents a Fortran computer code package that is used for the evaluation of gas-phase multicomponent viscosities, thermal conductivities, diiusion coeecients, and thermal diiusion coeecients. The package is in two parts. The rst is a preprocessor that computes polynomial ts to the temperature dependent parts of the pure species viscosities and binary diiusion coeecients. The coeeci...