Assignment markets with the same core

[spa] En el contexto de los juegos de asignación bilaterales, estudiamos el conjunto de matrices asociadas a mercados de asignación con el mismo nucleo. Se proporcionan condiciones sobre las entradas de la matriz que aseguran que los juegos de asignación asociados tienen el mismo núcleo. Se prueba que este conjunto de matrices que dan lugar al mismo núcleo forman un semirretículo con un número finito de elementos minimales y un único máximo. Se da una caracterización de estos elementos minimales. También se proporciona una condición suficiente para obtener un retículo.

Assignment markets with the same core

[spa] En el contexto de los juegos de asignación bilaterales, estudiamos el conjunto de matrices asociadas a mercados de asignación con el mismo nucleo. Se proporcionan condiciones sobre las entradas de la matriz que aseguran que los juegos de asignación asociados tienen el mismo núcleo. Se prueba que este conjunto de matrices que dan lugar al mismo núcleo forman un semirretículo con un número finito de elementos minimales y un único máximo. Se da una caracterización de estos elementos minimales. También se proporciona una condición suficiente para obtener un retículo.

Hypercentral unit groups and the hyperbolicity of a modular group algebra

We classify groups G such that the unit group U-1 (ZG) is hypercentral. In the second part, we classify groups G whose modular group algebra has hyperbolic unit groups U-1 (KG).

Adjoint modular Galois representations and their Selmer groups

In the last 15 years, many class number formulas and main conjectures have been proven. Here, we discuss such formulas on the Selmer groups of the three-dimensional adjoint representation ad(φ) of a two-dimensional modular Galois representation φ. We start with the p-adic Galois representation φ0 of a modular elliptic curve E and present a formula expressing in terms of L(1, ad(φ0)) the intersection number of the elliptic curve E and the complementary abelian variety inside the Jacobian of the modular curve. Then we explain how one can deduce a formula for the order of the Selmer group Sel(ad(φ0)) from the proof of Wiles of the Shimura–Taniyama conjecture. After that, we generalize the formula in an Iwasawa theoretic setting of one and two variables. Here the first variable, T, is the weight variable of the universal p-ordinary Hecke algebra, and the second variable is the cyclotomic variable S. In the one-variable case, we let φ denote the p-ordinary Galois representation with values in GL2(Zp[[T]]) lifting φ0, and the characteristic power series of the Selmer group Sel(ad(φ)) is given by a p-adic L-function interpolating L(1, ad(φk)) for weight k + 2 specialization φk of φ. In the two-variable case, we state a main conjecture on the characteristic power series in Zp[[T, S]] of Sel(ad(φ) ⊗ ν−1), where ν is the universal cyclotomic character with values in Zp[[S]]. Finally, we describe our recent results toward the proof of the conjecture and a possible strategy of proving the main conjecture using p-adic Siegel modular forms.

Congruences between modular forms and lowering the level mod l^n

In this article we study the behavior of inertia groups for modularGalois mod l^n representations and in some cases we give a generalizationof Ribet s lowering the level result (cf. [Rib90]).

FM127: Systemic metal ion levels in patients with modular neck total hip arthroplasties: a prospective cohort study

There is increasing evidence that modular neck stems are prone to corrosion-related complications. Recent studies showed elevated metal ions levels and occasional pseudotumor formation in patients with such implants. The purpose of this study was to compare systemic metal-ion levels in patients after primary THA with modular neck stems to those of patients after non-modular implants. To our knowledge, this is the first cohort study including a control group, THA without CoCr heads and dry-assembled neck-stem connections. Methods: 50 patients after THA at a minimum follow-up of 1 year have been selected for the study. Patients with multiple prosthesis or other implants have been deselected. All received a cementless SPS stem from Symbios (Ti6Al4V). 40 patients have the modular neck (CoCr) version and 10 a monobloc version. All bearings were either ceramic-ceramic or ceramic-polyethylene to minimize other sources of CoCr ion release. In the modular group, the neck was chosen pre-operatively based on a 3D planning, allowing for a dry assembly of the stem and neck on the back table before implantation. A plasma system coupled to mass spectrometry was used for a complete elementary quantification in blood and serum separately. Clinical outcome was measured using the Oxford Hip Score. Results : Complete data sets of 29 patients (24 in the modular neck-group (10male, mean age 63y, 35-84y) and 5 in the monobloc-group (3 male, 69 y, 51-83y) are available to date. Mean Co blood levels were .95 ug/L (.14-12.4) in the modular group vs .27 ug/L (.10-.73) in the monobloc group (p=.2). Respective values for Cr were significantly higher in the modular group (.99 g/L; range .75-1.21) compared to those in the monobloc group (.74 g/L ;.62-.86; p=.001). No significant difference was found when comparing serum levels. 5/24 patients had Co levels above 1 g/L (12/24 for Cr), which is by some considered as a relevant elevation. The maximum Co level was measured in an asymptomatic patient. The Oxford Hip Scores were similar in both groups. Conclusion: Cr levels were significantly elevated in the modular neck group compared to those in the monobloc group. 1/24 patients with a modular prosthesis exhibited Co levels, which are beyond the threshold accepted even for metal-on-metal bearing couples. These results have contributed to our decision to abandon the use of modular neck stems. Routine follow-up including annual measurements of systemic CoCr concentrations should be considered.

Harmonising the Modular Product Range

Työn tavoitteena on analysoida KONEen hissien ovituoteperheitä ja harmonisoida modulaarista ovituotevalikoimaa niin, että tulos olisi mahdollisimman suotuisa KONEelle sekä sen sidosryhmille. Harmonisointi toteutetaan, koska KONEen tuotevalikoima on erittäin laaja ja monimutkainen ja siitä syystä erittäin kallis ja vaikea hallita ja ylläpitää. Tavoitteena on selvittää myös termejä modulaarisuus ja tuotealusta olennaisen kirjallisuuden pohjalta. Nykyään yritysten täytyy kehittää tuotevalikoimaa jatkuvasti. Yrityksen koko tuotevalikoiman varioituvuus tulisi kuitenkin pitää järkevissä rajoissa. Moduuleita ja tuotealustoja pitäisi käyttää jakamaan tuotteiden avainelementtejä ja lisäämään varioituvuutta helposti hallittavalla tavalla. Kannattamattomat ja matalavolyymiset tuotteet kuluttavat yrityksen niukkoja resursseja. Tällaiset tuotteet tulisi poistaa tuotevalikoimasta, mutta ei ilman harkintaa. Kannattama-tonkin tuote voi olla erittäin arvokas asiakkaalle ja tällaisen tuotteen hylkääminen voi olla yritykselle pitkällä tähtäimellä erittäin kohtalokasta. Työn tuloksena oli harmonisointiehdotus KONEen AMD-oville ja selvitys harmonisoinnin vaikutuksista. Harmonisointi KONEella päätettiin toteuttaa siten, että matalavolyymiset tuotteet siirrettiin erikoistuotteiden valikoimaan. Myös kustannusanalyysi tukee harmonisointipäätöstä laskentajärjestelmän puutteista huolimatta.

Cost estimation framework for modular product

Cost estimation is an important, but challenging process when designing a new product or a feature of it, verifying the product prices given by suppliers or planning a cost saving actions of existing products. It is even more challenging when the product is highly modular, not a bulk product. In general, cost estimation techniques can be divided into two main groups - qualitative and quantitative techniques - which can further be classified into more detailed methods. Generally, qualitative techniques are preferable when comparing alternatives and quantitative techniques when cost relationships can be found. The main objective of this thesis was to develop a method on how to estimate costs of internally manufactured and commercial elevator landing doors. Because of the challenging product structure, the proposed cost estimation framework is developed under three different levels based on past cost information available. The framework consists of features from both qualitative and quantitative cost estimation techniques. The starting point for the whole cost estimation process is an unambiguous, hierarchical product structure so that the product can be classified into controllable parts and is then easier to handle. Those controllable parts can then be compared to existing past cost knowledge of similar parts and create as accurate cost estimates as possible by that way.

Towards a modular robotics standard for AGV design and programming

Across the world there are many bodies currently involved in researching into the design of autonomous guided vehicles (AGVs). One of the greatest problems at present however, is that much of the research work is being conducted in isolated groups, with the resulting AGVs sensor/control/command systems being almost completely nontransferable to other AGV designs. This paper describes a new modular method for robot design which when applied to AGVs overcomes the above problems. The method is explained here with respect to all forms of robotics but the examples have been specifically chosen to reflect typical AGV systems.

L1 acquisition across Portuguese dialects: modular and interdisciplinary interfaces as sources of explanation

This study investigates the child (L1) acquisition of properties at the interfaces of morpho-syntax, syntax-semantics and syntax-pragmatics, by focusing on inflected infinitives in European Portuguese (EP). Three child groups were tested, 6–7-year-olds, 9–10-year-olds and 11–12-year-olds, as well as an adult control group. The data demonstrate that children as young as 6 have knowledge of the morpho-syntactic properties of inflected infinitives, although they seem at first glance to show partially insufficient knowledge of their syntax–semantic interface properties (i.e. non-obligatory control properties), differently from children aged 9 and older, who show clearer evidence of knowledge of both types of properties. However, in general, both morpho-syntactic and syntax–semantics interface properties are also accessible to 6–7-year-old children, although these children give preference to a range of interpretations partially different from the adults; in certain cases, they may not appeal to certain pragmatic inferences that permit additional interpretations to adults and older children. Crucially, our data demonstrate that EP children master the two types of properties of inflected infinitives years before Brazilian Portuguese children do (Pires and Rothman, 2009a and Pires and Rothman, 2009b), reasons for and implications of which we discuss in detail.

L1 Acquisition of interface properties across Portuguese dialects: modular and interdisciplinary interfaces as sources of explanation

This study investigates the child (L1) acquisition of properties at the interfaces of morphosyntax, syntax-semantics and syntax-pragmatics, by focusing on inflected infinitives in European Portuguese (EP). Three child groups were tested, 6–7-year-olds, 9–10-year-olds and 11–12-year-olds, as well as an adult control group. The data demonstrate that children as young as 6 have knowledge of the morpho-syntactic properties of inflected infinitives, although they seem at first glance to show partially insufficient knowledge of their syntax–semantic interface properties (i.e. non-obligatory control properties), differently from children aged 9 and older, who show clearer evidence of knowledge of both types of properties. However, in general, both morpho-syntactic and syntax–semantics interface properties are also accessible to 6–7-year-old children, although these children give preference to a range of interpretations partially different from the adults; in certain cases, they may not appeal to certain pragmatic inferences that permit additional interpretations to adults and older children. Crucially, our data demonstrate that EP children master the two types of properties of inflected infinitives years before Brazilian Portuguese children do (Pires and Rothman, 2009a,b), reasons for and implications of which we discuss in detail.

On invariant Rings of Sylow subgroups of finite classical groups

In this thesis we study the invariant rings for the Sylow p-subgroups of the nite classical groups. We have successfully constructed presentations for the invariant rings for the Sylow p-subgroups of the unitary groups GU(3; Fq2) and GU(4; Fq2 ), the symplectic group Sp(4; Fq) and the orthogonal group O+(4; Fq) with q odd. In all cases, we obtained a minimal generating set which is also a SAGBI basis. Moreover, we computed the relations among the generators and showed that the invariant ring for these groups are a complete intersection. This shows that, even though the invariant rings of the Sylow p-subgroups of the general linear group are polynomial, the same is not true for Sylow p-subgroups of general classical groups. We also constructed the generators for the invariant elds for the Sylow p-subgroups of GU(n; Fq2 ), Sp(2n; Fq), O+(2n; Fq), O-(2n + 2; Fq) and O(2n + 1; Fq), for every n and q. This is an important step in order to obtain the generators and relations for the invariant rings of all these groups.

Modular extensions for modular (Logic) languages

We address the problem of developing mechanisms for easily implementing modular extensions to modular (logic) languages. By(language) extensions we refer to different groups of syntactic definitions and translation rules that extend a language. Our use of the concept of modularity in this context is twofold. We would like these extensions to be modular, in the sense above, i.e., we should be able to develop different extensions mostly separately. At the same time, the sources and targets for the extensions are modular languages, i.e., such extensions may take as input sepárate pieces of code and also produce sepárate pieces of code. Dealing with this double requirement involves interesting challenges to ensure that modularity is not broken: first, combinations of extensions (as if they were a single extensión) must be given a precise meaning. Also, the sepárate translation of múltiple sources (as if they were a single source) must be feasible. We present a detailed description of a code expansion-based framework that proposes novel solutions for these problems. We argüe that the approach, while implemented for Ciao, can be adapted for other Prolog-based systems and languages.

Towards modular extensions for a modular language

Modularity allows the construction of complex designs from simpler, independent units that most of the time can be developed separately. In this paper we are concerned with developing mechanisms for easily implementing modular extensions to modular (logic) languages. By (language) extensions we refer to different groups of syntactic definitions and translation rules that extend a language. Our application of the concept of modularity in this context is twofold. We would like these extensions to be modular, in the above sense, i.e., we should be able to develop different extensions mostly separately. At the same time, the sources and targets for the extensions are modular languages, i.e., such extensions may take as input separate pieces of code and also produce separate pieces of code. Dealing with this double requirement involves interesting challenges to ensure that modularity is not broken: first, combinations of extensions (as if they were a single extension) must be given a precise meaning. Also, the separate translation of multiple sources (as if they were a single source) must be feasible. We present a detailed description of a code expansion-based framework that proposes novel solutions for these problems. We argue that the approach, while implemented for Ciao, can be adapted for other languages and Prolog-based systems.

Isomorphism of Commutative Modular Group Algebras

∗ The work was supported by the National Fund “Scientific researches” and by the Ministry of Education and Science in Bulgaria under contract MM 70/91.