This paper considers generic recursion schemes for programs which recurse over multiple inductive structures simultane ously such as equality zip and the nth element of a list function Such schemes have been notably absent from pre vious work This paper de nes a uniform mechanism for de ning such programs and shows that these programs sat isfy generic theorems These theorems are the basis for a...

This paper describes the SDMLib solution to the FIXML case for the TTC2014 [9]. SDMLib provides Java code generation for class models / class diagrams. In addition, SDMLib provides a mechanism for learning class models from generic example object structures. Thus, for the FIXML case we just added an XML reader that reads an example file and creates a generic object structure reflecting its cont...

In this paper, the conceptual frame-based ontology as introduced in Van Kralingen (1995) is described. The backbone of the ontology is constituted by three frame structures. The structures have been coined the norm frame, the act frame and the concept-description frame. A legal-theoretical analysis has determined the form of the structures. In addition to the three frame structures, the ontolog...

It is reasonably well-known in model theory that expansions of countable countablycategorical structures are closely associated with certain compactly metrizable spaces and, further, that a generic orbit in such a space – in the sense of Baire category – corresponds to an expansion with a particularly well-behaved model theory (relative to the base structure). Results of this kind can be found ...

We present a generic programming methodology for expressing data structures and algorithms for high-performance numerical linear algebra. As with the Standard Template Library [14], our approach explicitly separates algorithms from data structures, allowing a single set of numerical routines to operate with a wide variety of matrix types, including sparse, dense, and banded. Through the use of ...

We extended a generic whole-body physiologically based pharmacokinetic (PBPK) model for rats and humans for organs of the reproductive and endocrine systems (i.e., the testes and the thyroid gland). An extensive literature search was performed, first, to determine the most generic organ model structures for testes and thyroid across species, and, second, to identify the corresponding anatomic a...

Decision procedures can be either theory specific, e.g., Presburger arithmetic, or theory-generic, applying to an infinite number of user-definable theories. Variant satisfiability is a theory-generic procedure for quantifier-free satisfiability in the initial algebra of an ordersorted equational theory pΣ,EYBq under two conditions: (i) EYB has the finite variant property and B has a finitary u...

In Direct Computer Mapping the simple building blocks of the conservational and informational processes are mapped onto the generic “active” and “passive” elements of an executable program. The recently developed Generic Bi-layered Net model provides a common framework for the simulation of the hybrid (continuous and discrete, quantitative and qualitative) balance-based and rule-based processes...

Smart adaptive structures and structronic systems have been increasingly investigated and developed in the last two decades. Although smart structures made of piezoelectrics, shape-memory materials, electrostrictive materials, and electro-/magnetorheological fluids have been evaluated extensively, studies of magnetostrictive continua, especially generic mathematical model(s), are still relative...

In today’s competitive world, there are several strategies to deal with the fast changing environment, among which New product development (NPD) is a common strategy. However, almost half of the resources that companies devote to NPD are spent on products that may fail. This issue is particularly highlighted in the pharmaceutical industry mainly because of a long development-time, low success r...