Cooperative games with size-truncated information

[Eng] We study the marginal worth vectors and their convex hull, the socalled Weber set, from the original coalitional game and the transformed one, which is called the Weber set of level k. We prove that the core of the original game is included in each of the Weber set of level k, for any k, and that the Weber sets of consecutive levels form a chain if and only if the original game is 0-monotone. Even if the game is not 0-monotone, the intersection of the Weber sets for consecutive levels is always not empty, what is not the case for non-consecutive ones. Spanish education system.

Cooperative games with size-truncated information

[Eng] We study the marginal worth vectors and their convex hull, the socalled Weber set, from the original coalitional game and the transformed one, which is called the Weber set of level k. We prove that the core of the original game is included in each of the Weber set of level k, for any k, and that the Weber sets of consecutive levels form a chain if and only if the original game is 0-monotone. Even if the game is not 0-monotone, the intersection of the Weber sets for consecutive levels is always not empty, what is not the case for non-consecutive ones. Spanish education system.

Intermittent atrial tachycardia facilitates atrial fibrillation by a shortening of activation recovery interval

Introduction: We recently observed in a chronic ovine model that a shortening of action potential duration (APD) as assessed by the activation recovery interval (ARI) may be a mechanism whereby pacing-induced atrial tachycardia (PIAT) facilitates atrial fibrillation (AF), mediated by a return to 1:1 atrial capture after the effective refractory period has been reached. The aim of the present study is to evaluate the effect of long term intermittent burst pacing on ARI before induction of AF.Methods: We specifically developed a chronic ovine model of PIAT using two pacemakers (PM) each with a right atrial (RA) lead separated by ∼2cm. The 1st PM (Vitatron T70) was used to record a broadband unipolar RA EGM (800 Hz, 0.4 Hz high pass filter). The 2nd was used to deliver PIAT during electrophysiological protocols at decremental pacing CL (400 beats, from 400 to 110ms) and long term intermittent RA burst pacing to promote electrical remodeling (5s of burst followed by 2s of sinus rhythm) until onset of sustained AF. ARI was defined as the time difference between the peak of the atrial repolarization wave and the first atrial depolarization. The mean ARIs of paired sequences (before and after remodeling), each consisting of 20 beats were compared.Results: As shown in the figure, ARIs (n=4 sheep, 46 recordings) decreased post remodeling compared to baseline (86±19 vs 103±12 ms, p<0.05). There was no difference in atrial structure as assessed by light microscopy between control and remodeled sheep.Conclusions: Using standard pacemaker technology, atrial ARIs as a surrogate of APDs were successfully measured in vivo during the electrical remodeling process leading to AF. The facilitation of AF by PIAT mimicking salvos from pulmonary veins is heralded by a significant shortening of ARI.

Axiomatization of the nucl eolus of assignment games

On the domain of general assignment games (with possible reservation prices) the core is axiomatized as the unique solution satisfying two consistency principles: projection consistency and derived consistency. Also, an axiomatic characterization of the nucleolus is given as the unique solution that satisfies derived consistency and equal maximum complaint between groups. As a consequence, we obtain a geometric characterization of the nucleolus. Maschler et al. (1979) provide a geometrical characterization for the intersection of the kernel and the core of a coalitional game, showing that those allocations that lie in both sets are always the midpoint of certain bargaining range between each pair of players. In the case of the assignment game, this means that the kernel can be determined as those core allocations where the maximum amount, that can be transferred without getting outside the core, from one agent to his / her optimally matched partner equals the maximum amount that he / she can receive from this partner, also remaining inside the core. We now prove that the nucleolus of the assignment game can be characterized by requiring this bisection property be satisfied not only for optimally matched pairs but also for optimally matched coalitions. Key words: cooperative games, assignment game, core, nucleolus

The role of interval nodes in sentinel lymph node mapping and dissection for melanoma patients.

In sentinel node (SN) biopsy, an interval SN is defined as a lymph node or group of lymph nodes located between the primary melanoma and an anatomically well-defined lymph node group directly draining the skin. As shown in previous reports, these interval SNs seem to be at the same metastatic risk as are SNs in the usual, classic areas. This study aimed to review the incidence, lymphatic anatomy, and metastatic risk of interval SNs. METHODS: SN biopsy was performed at a tertiary center by a single surgical team on a cohort of 402 consecutive patients with primary melanoma. The triple technique of localization was used-that is, lymphoscintigraphy, blue dye, and gamma-probe. Otolaryngologic melanoma and mucosal melanoma were excluded from this analysis. SNs were examined by serial sectioning and immunohistochemistry. All patients with metastatic SNs were recommended to undergo a radical selective lymph node dissection. RESULTS: The primary locations of the melanomas included the trunk (188), an upper limb (67), or a lower limb (147). Overall, 97 (24.1%) of the 402 SNs were metastatic. Interval SNs were observed in 18 patients, in all but 2 of whom classic SNs were also found. The location of the primary was truncal in 11 (61%) of the 18, upper limb in 5, and lower limb in 2. One patient with a dorsal melanoma had drainage exclusively in a cervicoscapular area that was shown on removal to contain not lymph node tissue but only a blue lymph channel without tumor cells. Apart from the interval SN, 13 patients had 1 classic SN area and 3 patients 2 classic SN areas. Of the 18 patients, 2 had at least 1 metastatic interval SN and 2 had a classic SN that was metastatic; overall, 4 (22.2%) of 18 patients were node-positive. CONCLUSION: We found that 2 of 18 interval SNs were metastatic: This study showed that preoperative lymphoscintigraphy must review all known lymphatic areas in order to exclude an interval SN.

Différences induites par la définition des périodes diurnes et nocturnes sur la pression artérielle et le dipping lors d'une mesure ambulatoire de la pression artérielle [Effects of nighttime and daytime interval definition on blood pressure and dipping in patients referred for ambulatory blood pressure measurement].

Ambulatory blood pressure monitoring (ABPM) has become indispensable for the diagnosis and control of hypertension. However, no consensus exists on how daytime and nighttime periods should be defined. OBJECTIVE: To compare daytime and nighttime blood pressure (BP) defined by an actigraph and by body position with BP resulting from arbitrary daytime and nighttime periods. PATIENTS AND METHOD: ABPM, sleeping periods and body position were recorded simultaneously using an actigraph (SenseWear Armband(®)) in patients referred for ABPM. BP results obtained with the actigraph (sleep and position) were compared to the results obtained with fixed daytime (7a.m.-10p.m.) and nighttime (10p.m.-7a.m.) periods. RESULTS: Data from 103 participants were available. More than half of them were taking antihypertensive drugs. Nocturnal BP was lower (systolic BP: 2.08±4.50mmHg; diastolic BP: 1.84±2.99mmHg, P<0.05) and dipping was more marked (systolic BP: 1.54±3.76%; diastolic BP: 2.27±3.48%, P<0.05) when nighttime was defined with the actigraph. Standing BP was higher (systolic BP 1.07±2.81mmHg; diastolic BP: 1.34±2.50mmHg) than daytime BP defined by a fixed period. CONCLUSION: Diurnal BP, nocturnal BP and dipping are influenced by the definition of daytime and nighttime periods. Studies evaluating the prognostic value of each method are needed to clarify which definition should be used.

Advertising in Mobile Games - A Business Model Evaluation

Tämän tutkimuksen tavoitteena oli selvittää kuinka houkuttelevan liiketoimintamahdollisuuden mobiilipelit tarjoavat mainostusalustana. Tutkimus suoritettiin tapaustutkimuksena. Tutkimus aloitettiin määrittelemällä liiketoimintamalli, jonka jälkeen suoritettiin yleinen katsaus Suomen mobiilipelimarkkinoille. Tämän jälkeen arvoketju-, arvoverkko- sekä markkina-analyysin avulla selvitettiin liiketoimintamallin mahdollisuudet sekä rajoitukset. Tutkimukseen käytettiinteorettista viitekehystä joka pohjautui Hamelin liiketoimintamalliin, Porterin arvoketjuun sekä Alleenin arvoverkoon. Tutkimuksen tuloksena todettiin, että mainostaminen mobiilipeleissä tarjoaa liiketoimintamahdollisuuden ilman esteitä sentoteuttamiselle. Suomalaiset mobiilipelimarkkinat ovat kuitenkin pirstoutuneet,minkä johdosta tutkittu 'mainosten hallinta-alusta'-liiketoimintamalli aiheuttaa liian suuret integraatiokustannukset. Myös suuri määrä pelitoimittajia heikentää mallin tehokkuutta.

A mathematical study of fuzzy logic; an algebraic approach

Fuzzy set theory and Fuzzy logic is studied from a mathematical point of view. The main goal is to investigatecommon mathematical structures in various fuzzy logical inference systems and to establish a general mathematical basis for fuzzy logic when considered as multi-valued logic. The study is composed of six distinct publications. The first paper deals with Mattila'sLPC+Ch Calculus. THis fuzzy inference system is an attempt to introduce linguistic objects to mathematical logic without defining these objects mathematically.LPC+Ch Calculus is analyzed from algebraic point of view and it is demonstratedthat suitable factorization of the set of well formed formulae (in fact, Lindenbaum algebra) leads to a structure called ET-algebra and introduced in the beginning of the paper. On its basis, all the theorems presented by Mattila and many others can be proved in a simple way which is demonstrated in the Lemmas 1 and 2and Propositions 1-3. The conclusion critically discusses some other issues of LPC+Ch Calculus, specially that no formal semantics for it is given.In the second paper the characterization of solvability of the relational equation RoX=T, where R, X, T are fuzzy relations, X the unknown one, and o the minimum-induced composition by Sanchez, is extended to compositions induced by more general products in the general value lattice. Moreover, the procedure also applies to systemsof equations. In the third publication common features in various fuzzy logicalsystems are investigated. It turns out that adjoint couples and residuated lattices are very often present, though not always explicitly expressed. Some minor new results are also proved.The fourth study concerns Novak's paper, in which Novak introduced first-order fuzzy logic and proved, among other things, the semantico-syntactical completeness of this logic. He also demonstrated that the algebra of his logic is a generalized residuated lattice. In proving that the examination of Novak's logic can be reduced to the examination of locally finite MV-algebras.In the fifth paper a multi-valued sentential logic with values of truth in an injective MV-algebra is introduced and the axiomatizability of this logic is proved. The paper developes some ideas of Goguen and generalizes the results of Pavelka on the unit interval. Our proof for the completeness is purely algebraic. A corollary of the Completeness Theorem is that fuzzy logic on the unit interval is semantically complete if, and only if the algebra of the valuesof truth is a complete MV-algebra. The Compactness Theorem holds in our well-defined fuzzy sentential logic, while the Deduction Theorem and the Finiteness Theorem do not. Because of its generality and good-behaviour, MV-valued logic can be regarded as a mathematical basis of fuzzy reasoning. The last paper is a continuation of the fifth study. The semantics and syntax of fuzzy predicate logic with values of truth in ana injective MV-algerba are introduced, and a list of universally valid sentences is established. The system is proved to be semanticallycomplete. This proof is based on an idea utilizing some elementary properties of injective MV-algebras and MV-homomorphisms, and is purely algebraic.

On reduced games and the lexmax solution

For a family of reduced games satisfying a monotonicity property, we introduced the reduced equal split-off set, an extension of the equal split-off set (Branzei et. al, 2006), and study its relation with the core. Regardless of the reduction operation we consider, the intersection between both sets is either empty or a singleton containing the lexmax solution (Arin et al., 2008). We also provide a procedure for computing the lexmax solution for a class of games that includes games with large core (Sharkey, 1982). [JEL Classification: C71]