A method based on mathematical programming is proposed for large deformation and contact analysis of cable networks. By explicitly considering these nonsmooth behaviors, we formulate the linear complementarity problems over symmetric cones under some practically acceptable assumptions. We also present the equivalent second-order cone programming (SOCP) problems, which can be regarded as the min...

Microservices is an emerging development paradigm where software is obtained by composing autonomous entities, called (micro)services. However, microservice systems are currently developed using general-purpose programming languages that do not provide dedicated abstractions for service composition. Instead, current practice is focused on the deployment aspects of microservices, in particular b...

This paper describes Knitro 5.0, a C-package for nonlinear optimization that combines complementary approaches to nonlinear optimization to achieve robust performance over a wide range of application requirements. The package is designed for solving large-scale, smooth nonlinear programming problems, and it is also effective for the following special cases: unconstrained optimization, nonlinear...

Both learning how to program and understanding algorithms or data structures are often difficult. This paper presents three complementary approaches that we employ to help our students in learning to program, especially during the first term of their study. We use a web-based programming task database as an easy and risk-free environment for taking the first steps in programming Java. The Anima...

This paper presents a hybrid algorithm for optimal scheduling of multipurpose batch process plants. The algortihm decomposes the scheduling problem into two parts: an aggregate scheduling stage, based on Mixed Integer Linear Programming (MILP), and a detailed scheduling stage, applying Constraint Logic Programming (CLP). This decomposition utilises the complementary strengths of the two solutio...

We combine two complementary ideas for learning supertaggers from highly ambiguous lexicons: grammar-informed tag transitions and models minimized via integer programming. Each strategy on its own greatly improves performance over basic expectation-maximization training with a bitag Hidden Markov Model, which we show on the CCGbank and CCG-TUT corpora. The strategies provide further error reduc...

The central path is the most important concept in the theory of interior point methods. It is an analytic curve in the interior of the feasible set which tends to an optimal point at the boundary. The analyticity properties of the paths are connected with the analysis of the superlinear convergence of the interior point algorithms for semidefinite programming. In this paper we study the analyti...

Broadly speaking, there are two kinds of semantics-aware assistant systems for mathematics: proof assistants express the semantic in logic and emphasize deduction, and computer algebra systems express the semantics in programming languages and emphasize computation. Combining the complementary strengths of both approaches while mending their complementary weaknesses has been an important goal o...

results the mean age in breathing technique with lavender and breathing technique alone were 25.5 ± 4.3 and 26 ± 4.9, respectively .two groups were comparable in this regards (p = 0.6), but the length of active phase in interventional group was 7.85 ± 3.85 hours and in the control group it was 9.88 ± 6.65 hours. the decrease of the length of labor in the active phase was higher in the experimen...

The solution of single-objective unit commitment problems for generation companies participating in deregulated markets may not directly be implementable mainly because of neglecting some conflicting secondary objectives arising from policy-making at internal/external environment. Benefiting an efficient multi-objective approach to improve the applicability of price-based unit commitment soluti...