Limit Theorems for Maxima of Heavy-Tailed Terms with Random Dependent Weights

2000 Mathematics Subject Classification: Primary 60F17, 60G52, 60G70 secondary 60E07, 62E20.

Measuring and tracking quality factors in Free and Open Source Software projects

Free and Open Source Software (FOSS) has gained increased interest in the computer software industry, but assessing its quality remains a challenge. FOSS development is frequently carried out by globally distributed development teams, and all stages of development are publicly visible. Several product and process-level quality factors can be measured using the public data. This thesis presents a theoretical background for software quality and metrics and their application in a FOSS environment. Information available from FOSS projects in three information spaces are presented, and a quality model suitable for use in a FOSS context is constructed. The model includes both process and product quality metrics, and takes into account the tools and working methods commonly used in FOSS projects. A subset of the constructed quality model is applied to three FOSS projects, highlighting both theoretical and practical concerns in implementing automatic metric collection and analysis. The experiment shows that useful quality information can be extracted from the vast amount of data available. In particular, projects vary in their growth rate, complexity, modularity and team structure.

Lymphatic vascular maturation : Roles of FOXC2, NFATc1 and liprin ß1

The blood vascular system is a closed circulatory system, responsible for delivering oxygen and nutrients to the tissues. In contrast, the lymphatic vascular system is a blind-ended transport system that collects the extravasated tissue fluid from the capillary beds, and transports it back to the blood circulation. Failure in collecting or transporting the lymph, due to defects in the lymphatic vasculature, leads to accumulation of extra fluid in the tissues, and consequently to tissue swelling lymphedema. The two vascular systems function in concert. They are structurally related, but their development is regulated by separate, however overlapping, molecular mechanisms. During embryonic development, blood vessels are formed by vasculogenesis and angiogenesis, processes largely mediated by members of the vascular endothelial growth factor (VEGF) family and their tyrosine kinase receptors. The lymphatic vessels are formed after the cardiovascular system is already functional. This process, called lymphangiogenesis, is controlled by distinct members of the VEGF family, together with the transcription factors Prox1 and Sox18. After the primary formation of the vessels, the vasculature needs to mature and remodel into a functional network of hierarchically organized vessels: the blood vasculature into arteries, capillaries and veins; and the lymphatic vasculature into lymphatic capillaries, responsible for the uptake of the extravasated fluid from the tissues, and collecting vessels, responsible for the transport of the lymph back to the blood circulation. A major event in the maturation of the lymphatic vasculature is the formation of collecting lymphatic vessels. These vessels are characterized by the presence of intraluminal valves, preventing backflow of the lymph, and a sparse coverage of smooth muscle cells, which help in pumping the lymph forward. In our study, we have characterized the molecular and morphological events leading to formation of collecting lymphatic vessels. We found that this process is regulated cooperatively by the transcription factors Foxc2 and NFATc1. Mice lacking either Foxc2 or active NFATc1 fail to remodel the primary lymphatic plexus into functional lymphatic capillaries and collecting vessels. The resulting vessels lack valves, display abnormal expression of lymphatic molecules, and are hyperplastic. Moreover, the lymphatic capillaries show aberrant sprouting, and are abnormally covered with smooth muscle cells. In humans, mutations in FOXC2 lead to Lymphedema-Distichiasis (LD), a disabling disease characterized by swelling of the limbs due to insufficient lymphatic function. Our results from Foxc2 mutant mice and LD patients indicate that the underlying cause for lymphatic failure in LD is agenesis of collecting lymphatic valves and aberrant recruitment of periendothelial cells and basal lamina components to lymphatic capillaries. Furthermore, we show that liprin β1, a poorly characterized member of the liprin family of cytoplasmic proteins, is highly expressed in lymphatic endothelial cells in vivo, and is required for lymphatic vessel integrity. These data highlight the important role of FOXC2, NFATc1 and liprin β1 in the regulation of lymphatic development, specifically in the maturation and formation of the collecting lymphatic vessels. As damage to collecting vessels is a major cause of lymphatic dysfunction in humans, our results also suggest that FOXC2 and NFATc1 are potential targets for therapeutic intervention.

On solvability of linear differential equations in ${\Bbb R}^{\Bbb N}$

We construct $x^0$ in ${\Bbb R}^{\Bbb N}$ and a row-finite matrix $T=\{T_{i,j}(t)\}_{i,j\in\N}$ of polynomials of one real variable $t$ such that the Cauchy problem $\dot x(t)=T_tx(t)$, $x(0)=x^0$ in the Fr\'echet space $\R^\N$ has no solutions. We also construct a row-finite matrix $A=\{A_{i,j}(t)\}_{i,j\in\N}$ of $C^\infty(\R)$ functions such that the Cauchy problem $\dot x(t)=A_tx(t)$, $x(0)=x^0$ in ${\Bbb R}^{\Bbb N}$ has no solutions for any $x^0\in{\Bbb R}^{\Bbb N}\setminus\{0\}$. We provide some sufficient condition of solvability and of unique solvability for linear ordinary differential equations $\dot x(t)=T_tx(t)$ with matrix elements $T_{i,j}(t)$ analytically dependent on $t$.

Sequentially continuous non-linear fundamental systems of solutions of affine equations in locally convex spaces

According to the Mickael's selection theorem any surjective continuous linear operator from one Fr\'echet space onto another has a continuous (not necessarily linear) right inverse. Using this theorem Herzog and Lemmert proved that if $E$ is a Fr\'echet space and $T:E\to E$ is a continuous linear operator such that the Cauchy problem $\dot x=Tx$, $x(0)=x_0$ is solvable in $[0,1]$ for any $x_0\in E$, then for any $f\in C([0,1],E)$, there exists a continuos map $S:[0,1]\times E\to E$, $(t,x)\mapsto S_tx$ such that for any $x_0\in E$, the function $x(t)=S_tx_0$ is a solution of the Cauchy problem $\dot x(t)=Tx(t)+f(t)$, $x(0)=x_0$ (they call $S$ a fundamental system of solutions of the equation $\dot x=Tx+f$). We prove the same theorem, replacing "continuous" by "sequentially continuous" for locally convex spaces from a class which contains strict inductive limits of Fr\'echet spaces and strong duals of Fr\'echet--Schwarz spaces and is closed with respect to finite products and sequentially closed subspaces. The key-point of the proof is an extension of the theorem on existence of a sequentially continuous right inverse of any surjective sequentially continuous linear operator to some class of non-metrizable locally convex spaces.

A short proof of existence of disjoint hypercyclic operators

We give a short proof of existence of disjoint hypercyclic tuples of operators of any given length on any separable infinite dimensional Fr\'echet space. Similar argument provides disjoint dual hypercyclic tuples of operators of any length on any infinite dimensional Banach space with separable dual.

Le chemin créateur de Job : étude exégétique du premier chapitre du livre de Job à la lumière de l'herméneutique du procès

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Från ensamhet till gemenskap och hur det kommer sig : En studie om faktorer som kan påverka äldre personers väg från ensamhet till gemenskap

Syftet med studien är att öka förståelsen för vilka faktorer som kan leda till och påverka äldre personers deltagande i en social gruppaktivitet riktad till ensamma äldre. Då känslan av ensamheten kan ge stora negativa effekter för den äldre är det viktigt att öka förståelsen och kunskapen om de fenomen och faktorer som påverkar och leder till mer gemenskap och välbefinnande. Studien är en kvalitativ intervjustudie och det insamlade materialet har analyserats genom kvalitativ innehållsanalys med en induktiv ansats. Antonovskys salutogena perspektiv har använts som teoretisk referensram. Sex personer i åldern 75-90 år har deltagit i semistrukturerade intervjuer. Deltagarna ingick i frivilligorganisationen Äldrekontakts sociala gruppaktivitet vilket är riktad till ensamma äldre som söker gemenskap. I resultatet framkom tre olika teman vilket sammanfattar de faktorer som ledde till och påverkade de äldres deltagande i den sociala gruppaktiviteten. De teman som ingår är: förändringsgrunder, förutsättningar och fördelar. Temat förändringsgrunder belyser att motivet för de äldre att delta i aktiviteten grundar sig i en önskan om en ökad gemenskap då relationerna blivit färre och att det hade uppstått en känsla av ensamhet. Vidare framkommer att deltagarnas förhållningssätt riktades mot välbefinnande genom att vara aktiv, att ha en stärkande inställning och att våga exponera sig. Temat förutsättningar beskriver villkor för ett deltagande i aktiviteten. Yttre faktorer var stödet att komma till och från aktiviteten och att det var anspråkslöst att delta. Den inre faktorn var att deltagarna hade tillräckligt med ork så att aktiveten gick att genomföra. Temat fördelar visar på de vinster som uppkom i och med deltagandet i denna gruppaktivitet. Denna aktivitet berikade vardagen genom att det blev ett avbrott i det vardagliga livet och att det fanns något att se fram emot. Deltagarna blev sedda och hörda då det fanns någon att samtala med och något att prata om samt att det skapades nya bekantskaper. En känsla av att bli omhändertagen uppstod vilket uttrycktes genom en tacksamhet att få delta och att det kändes tryggt att medverka i aktiviteten. Resultatet har analyserats genom Antonovskys salutogena perspektiv och tre slutsatser har framtagits. Dessa tre teman har identifierats som en process. Temat förändringsgrunder har visat sig vara en grundförutsättning för resterande process och det har också framkommit att deltagarna har en hög känsla av sammanhang. Denna kunskap kan hjälpa de äldre och de som vill stödja ensamma äldre att ta steget från ensamhet till gemenskap.

Systemförvaltning hos Banverket – design av gemensam process för ändringshantering

Vår uppdragsgivare för detta arbete var IT-avdelningen på Banverkets huvudkontor. Deras upp-drag till oss var att kartlägga nuläget i ändringshanteringen i systemförvaltningen. Utifrån den kartläggningen skulle vi även utveckla en gemensam process med tillhörande processbeskrivning för ändringshanteringen. Ändringshantering är alla de aktiviteter som uppstår från det att ett förändringsbehov inkommer till dess att förändringen är införd. Banverket har under 2003 arbetat fram en metodik för systemförvaltning, som fortfarande är under utveckling. Metodikens stöd för det operativa arbetet, i synnerhet ändringshanteringen, är inte tillräcklig. Förvaltningsledare har hittills skapat sina egna processer kring hur ändringshan-teringen ska gå till och de finns inte dokumenterade, utan existerar som enskild kunskap. Detta leder till att systemförvaltningen blir personbunden och konsekvensen blir bland annat att det är resurskrävande att byta ut personen i förvaltningen samt att det tar längre tid vid överlämning av förvaltningen till ny person. Vi genomförde semistrukturerade intervjuer med nio systemförvaltare och förvaltningsledare för att kunna beskriva deras arbetssätt i nuläget. Till hjälp i beskrivningen av arbetssättet använde vi handlingsgrafer enligt metoden FA/SIM. Med handlingsgraferna kunde vi jämföra de olika arbetssätten. Vid jämförelsen kunde vi se att det fanns ett antal handlingar som är återkommande i de flesta nulägesbeskrivningarna. Vi analyserade dessa handlingar med hjälp av affärsaktsteorin för att få svar på om ändringshanteringen är affärstydlig. Vi kunde se att förvaltningsledarna saknar ett bra stöd för vilken information som bör komma in med varje förändringsbehov. Detta leder till att förvaltningsledaren känner en osäkerhet i om den prioriterat rätt och kan leda till att han/hon hamnar i ett underläge i en eventuell förhandling med leverantören. I acceptanstestningen märkte vi att den inte utförs på ett strukturerat sätt samt att det finns en tendens till att förvaltningsledaren i vissa fall förlitar sig på den testning leverantören utför. Den ändringshanteringsprocess vi utvecklat är en grund till ett gemensamt arbetssätt, men en viss fördjupning av detaljnivån i processen måste ske mot varje förvaltningsobjekt. Vi menar att för att säkerställa att rätt och jämförbar information om de olika förändringsbehoven kommer in behöver förvaltningsledaren arbeta fram någon form av frågemall. Genom att genomföra en nyt-tovärdering enligt PENG-modellen tror vi att förvaltningsledaren hittar de frågor som han/hon behöver ha svar på i prioriteringsfasen och som bör ingå i frågemallen. Acceptanstestningen bör ske på ett strukturerat sätt och vi föreslår att förvaltningsledaren arbetar fram ett testprotokoll för sitt förvaltningsobjekt samt identifierar några för verksamheten kritiska funktionaliteter som också bör ingå i testprotokollet.

Optimal Workflow and Process-Based Performance Measures for Endovascular Therapy in Acute Ischemic Stroke: Analysis of the Solitaire FR Thrombectomy for Acute Revascularization Study.

BACKGROUND AND PURPOSE We report on workflow and process-based performance measures and their effect on clinical outcome in Solitaire FR Thrombectomy for Acute Revascularization (STAR), a multicenter, prospective, single-arm study of Solitaire FR thrombectomy in large vessel anterior circulation stroke patients. METHODS Two hundred two patients were enrolled across 14 centers in Europe, Canada, and Australia. The following time intervals were measured: stroke onset to hospital arrival, hospital arrival to baseline imaging, baseline imaging to groin puncture, groin puncture to first stent deployment, and first stent deployment to reperfusion. Effects of time of day, general anesthesia use, and multimodal imaging on workflow were evaluated. Patient characteristics and workflow processes associated with prolonged interval times and good clinical outcome (90-day modified Rankin score, 0-2) were analyzed. RESULTS Median times were onset of stroke to hospital arrival, 123 minutes (interquartile range, 163 minutes); hospital arrival to thrombolysis in cerebral infarction (TICI) 2b/3 or final digital subtraction angiography, 133 minutes (interquartile range, 99 minutes); and baseline imaging to groin puncture, 86 minutes (interquartile range, 24 minutes). Time from baseline imaging to puncture was prolonged in patients receiving intravenous tissue-type plasminogen activator (32-minute mean delay) and when magnetic resonance-based imaging at baseline was used (18-minute mean delay). Extracranial carotid disease delayed puncture to first stent deployment time on average by 25 minutes. For each 1-hour increase in stroke onset to final digital subtraction angiography (or TICI 2b/3) time, odds of good clinical outcome decreased by 38%. CONCLUSIONS Interval times in the STAR study reflect current intra-arterial therapy for patients with acute ischemic stroke. Improving workflow metrics can further improve clinical outcome. CLINICAL TRIAL REGISTRATION: URL http://www.clinicaltrials.gov. Unique identifier: NCT01327989.

Early Detection of Emergent Events Based on an Extremal Process Approach

2000 Mathematics Subject Classification: Primary 60G70, 62F03.

Relationship between Extremal and Sum Processes Generated by the same Point Process

2000 Mathematics Subject Classification: Primary 60G51, secondary 60G70, 60F17.

A FR.E.S.H idea

This paper explores the possibility of including human factoring in a business process model. The importance of doing so is twofold: (1) The organization becomes transparent in its processes as all participants (human, activities and events) are identifiable. (2) Including human factoring allows organizations to hire accordingly to the process needs. (3) Human factoring alleviates the current work related stress that is being encountered. (4) Enable quicker transition for newer employees into job scope. This was made possible by including a human behaviour layer in between pools within a process to depict human behaviour and feeling. Future work includes having a human thought symbol and a human interaction symbol included into the Business Process Modelling Notation (BPMN).