3134890 documents found, page 313128 of 313489

Rand-FaSE: fast approximate subgraph census

Determining the frequency of small subgraphs is an important graph mining primitive. One major class of algorithms for this task is based upon the enumeration of all sets of k connected nodes. These are known as network-centric algorithms. FAst Subgraph Enumeration (FaSE) is a exact algorithm for subgraph counting that contrasted with its past approaches by performing the isomorphism tests while doing the enume...

Controller System Design Using the Coefficient Diagram Method

Coefficient diagram method is a controller design technique for linear time-invariant systems. This design procedure occurs into two different domains: an algebraic and a graphical. The former is closely paired to a conventional pole placement method and the latter consists on a diagram whose reading from the plotted curves leads to insights regarding closed-loop control system time response, stability and robu...

A modified particle swarm optimisation algorithm to solve the part feeding prob...

The Assembly Line Part Feeding Problem (ALPFP) is a complex combinatorial optimisation problem concerned with the delivery of the required parts to the assembly workstations in the right quantities at the right time. Solving the ALPFP includes simultaneously solving two sub-problems, namely tour scheduling and tow-train loading. In this article, we first define the problem and formulate it as a multi-objective ...

Mach-Zehnder Based on Large Knot Fiber Resonator for Refractive Index Measurement

A Mach-Zehnder sensor based on a large knot fiber resonator with a diameter of a few millimeters is designed using a single long taper. The long taper of some centimeters is fabricated with a CO2 laser technique. In air, light cannot couple between adjacent sections in the knot, and no signal is observed. However, in liquid, light is less confined and there is coupling between adjacent sections of the knot, res...

A Hilbert-Style Axiomatisation for Equational Hybrid Logic

This paper introduces an axiomatisation for equational hybrid logic based on previous axiomatizations and natural deduction systems for propositional and first-order hybrid logic. Its soundness and completeness is discussed. This work is part of a broader research project on the development a general proof calculus for hybrid logics. © 2014 Springer Science+Business Media Dordrecht.

Multidimensional test coverage analysis: PARADIGM-COV tool

Currently, software tends to assume increasingly critical roles in our society so assuring its quality becomes ever more crucial. There are several tools and processes of software testing to help increase quality in virtually any type of software. One example is the so calledmodel-based testing (MBT) tools, that generate test cases from models. Pattern Based Graphical User Interface Testing (PBGT) is an example...

International Conference on Technology and Innovation in Sports, Health and Wel...

Pushouts in Software Architecture Design

A classical approach to program derivation is to progressively extend a simple specification and then incrementally refine it to an implementation. We claim this approach is hard or impractical when reverse engineering legacy software architectures. We present a case study that shows optimizations and pushouts-in addition to refinements and extensions-are essential for practical stepwise development of complex ...

A multidisciplinary framework to support the design of injection mold tools

The design of injection mold tools is a complex process for which market pressures demand ever-shorter development time and higher quality level. Thus, it is considered imperative to adopt new methods and tools to support the design process, in order to achieve a more effective mold design solution. Based on this assumption, a multidisciplinary framework was developed, centered on Design for Six Sigma methodolo...

Optimal life insurance purchase, consumption and investment on a financial mark...

We introduce an extension to Merton's famous continuous time model of optimal consumption and investment, in the spirit of previous works by Pliska and Ye, to allow for a wage earner to have a random lifetime and to use a portion of the income to purchase life insurance in order to provide for his estate, while investing his savings in a financial market comprised of one risk-free security and an arbitrary numb...