نتایج جستجو برای: generic structure

تعداد نتایج: 1632621  

Journal: :Journal of Functional Analysis 2011

2006
Patrik Jansson Johan Jeuring Laurence Cabenda Gerbo Engels Jacob Kleerekoper Sander Mak Michiel Overeem Kees Visser

Software testing is an important part of the software development process. Testing comes in many flavours: unit testing, property testing, regression testing, contract checking, etc. QuickCheck is probably one of the most advanced tools for testing properties of functional programs. It supports the definition of properties and random test-data generators in Haskell, and checks that a property p...

1998
Wendy W. Moe Peter S. Fader

We develop a new model that simultaneously captures two principal sources of heterogeneity: variation across segments of consumers and variation across clusters of products. We focus on the recorded music industry as a managerial context, and construct a flexible duration-time model that can be used to capture the dynamic purchase patterns across a broad portfolio of different albums. Our basic...

2016
ANTON IZOSIMOV

A bi-Hamiltonian structure is a pair of Poisson structures P , Q which are compatible, meaning that any linear combination αP+βQ is again a Poisson structure. A biHamiltonian structure (P,Q) is called flat if P and Q can be simultaneously brought to a constant form in a neighborhood of a generic point. We prove that a generic biHamiltonian structure (P,Q) on an odd-dimensional manifold is flat ...

M. Arjomand, N. Valizadeh , S. Shojaee,

One primary problem in shape optimization of structures is making a robust link between design model (geometric description) and analysis model. This paper investigates the potential of Isogeometric Analysis (IGA) for solving this problem. The generic framework of shape optimization of structures is presented based on Isogeometric analysis. By discretization of domain via NURBS functions, the a...

2004
Artem Alimarine Sjaak Smetsers

Generic functions are defined by induction on the structural representation of types. As a consequence, by defining just a single generic operation, one acquires this operation over any particular type. An instance on a specific type is generated by interpretation of the type’s structure. A direct translation leads to extremely inefficient code that involves many conversions between types and t...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت دبیر شهید رجایی - دانشکده علوم پایه 1392

یک فضای خطی متناهی بر v نقطه با b خط یک فضا است که در آن از هر دو نقطه درست یک خط عبور می کند. در این پایان نامه ما مقالات زیر را که مربوط به فضاهای خطی ایت را بررسی می کنیم. melone, n. (1991). a structure theorem for finite linear spaces. lecture notes math, 2, 231-241. bridges, w.g. (1972). near 1-designs. j. combinatorial theory (a), 13, 116-126. varga, l.e. (1985). a note on the structu...

1997
Misha Verbitsky

Let X be a hyperkähler manifold. Trianalytic subvarieties of X are subvarieties which are complex analytic with respect to all complex structures induced by the hyperkähler structure. Given a K3 surface M , the Hilbert scheme classifying zero-dimensional subschemes of M admits a hy-perkähler structure. We show that for M generic, there are no trianalytic subvarieties of the Hilbert scheme. This...

2002
PIETER H. G. VAN LANGEN JAN TREUR NIEK. J. E. WIJNGAARDS

Not only do generic compositional models of design support the analysis of design processes and the development of practical design support systems, they also provide the basic structure for more specific design process models. The generic design model GDM provides a compositional structure that has been refined for different types of design as illustrated in this paper for a number of practica...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید