Kliniczne zasady planowania i realizacji radioterapii modulacją intensywności wiązki (IMRT) u chorych na nowotwory głowy i szyi - część 1

Intensity modulated radiation therapy is one of the newest method in use in contemporary radiotherapy. In the presented article the authors show the advantages of using IMRT in patients with head and neck cancers. The detailed method´s description, protecting normal tissue and treatment planning were presented.Jedną z najnowocześniejszych technik radioterapii konformalnej jest napromienianie z zastosowaniem modulacji intensywności wiązki (IMRT). W niniejszej pracy przedstawiono korzyści z zastosowania IMRT u pacjentów z nowotworami głowy i szyi. Szczegółowo opisano techniki, według których należy tę metodę stosować, oraz sposoby ochrony narządów krytycznych, a także zasady powstawania planu leczenia metodą IMRT

Modélisation formelle et analyse quantitative de la sécurité à l'aide d'arbres les attaques et de défense

Risk analysis is a very complex process. It requires rigorous representation and in-depth assessment of threats and countermeasures. This thesis focuses on the formal modelling of security using attack and defence trees. These are used to represent and quantify potential attacks in order to better understand the security issues that the analyzed system may face. They therefore make it possible to guide an expert in the choice of countermeasures to be implemented to secure their system. The main contributions of this thesis are as follows: - The enrichment of the attack and defence tree model allowing the analysis of real security scenarios. In particular, we have developed the theoretical foundations and quantitative evaluation algorithms for the model where an attacker's action can contribute to several attacks and a countermeasure can prevent several threats. - The development of a methodology based on Pareto dominance and allowing several quantitative aspects to be taken into account simultaneously (e.g., cost, time, probability, difficulty, etc.) during a risk analysis. - The design of a technique, using linear programming methods, for selecting an optimal set of countermeasures, taking into account the budget available for protecting the analyzed system. It is a generic technique that can be applied to several optimization problems, for example, maximizing the attack surface coverage, or maximizing the attacker's investment. To ensure their practical applicability, the model and mathematical algorithms developed were implemented in a freely available open source tool. All the results were also validated with a practical study on an industrial scenario of alteration of electricity consumption meters.L'analyse de risque est un processus très complexe. Elle nécessite une représentation rigoureuse et une évaluation approfondie des menaces et de leur contre-mesures. Cette thèse porte sur la modélisation formelle de la sécurité à l'aide d'arbres d'attaque et de défense. Ces derniers servent à représenter et à quantifier les attaques potentielles afin de mieux comprendre les enjeux de sécurité auxquels le système analysé peut être confronté. Ils permettent donc de guider un expert dans le choix des contre-mesures à implémenter pour sécuriser son système. - Le développement d'une méthodologie basée sur la dominance de Pareto et permettant de prendre en compte plusieurs aspects quantitatifs simultanément (e.g., coût, temps, probabilité, difficulté, etc.) lors d'une analyse de risques. - La conception d'une technique, utilisant les méthodes de programmation linéaire, pour sélectionner un ensemble de contre-mesures optimal, en tenant compte du budget destiné à la protection du système analysé. C'est une technique générique qui peut être appliquée à plusieurs problèmes d'optimisation, par exemple, la maximisation de la couverture de surface d'attaque, Les principales contributions de cette thèse sont les ou encore la maximisation du investissement de suivantes : l'attaquant. - L'enrichissement du modèle des arbres d'attaque et de défense permettant d'analyser des scénarios de Pour garantir leur applicabilité pratique, le modèle et sécurité réels. Nous avons notamment développé les les algorithmes mathématiques développés ont été fondements théoriques et les algorithmes d'évaluation implémentés dans un outil informatique à source quantitative pour le modèle où une action de ouverte et accès gratuit. Tous les résultats ont l'attaquant peut contribuer à plusieurs attaques et où également été validés lors d'une étude pratique une contre-mesure peut prévenir plusieurs menaces. portant sur un scénario industriel d'altération de compteurs de consommation d'électricité

A Fan-Type Heavy Pair Of Subgraphs For Pancyclicity Of 2-Connected Graphs

Let G be a graph on n vertices and let H be a given graph. We say that G is pancyclic, if it contains cycles of all lengths from 3 up to n, and that it is H-f1-heavy, if for every induced subgraph K of G isomorphic to H and every two vertices u, v ∈ V (K), dK(u, v) = 2 implies min⁡{dG(u),dG(v)}≥n+12$\min \{ d_G (u),d_G (v)\} \ge {{n + 1} \over 2}$ . In this paper we prove that every 2-connected {K1,3, P5}-f1-heavy graph is pancyclic. This result completes the answer to the problem of finding f1-heavy pairs of subgraphs implying pancyclicity of 2-connected graphs

On implicit heavy subgraphs and hamiltonicity of 2–connected graphs

International audienceA graph G of order n is implicit claw–heavy if in every induced copy of K 1,3 in G there are two non–adjacent vertices with sum of their implicit degrees at least n. We study various implicit degree conditions (including, but not limiting to, Ore– and Fan–type conditions) imposing of which on specific induced subgraphs of a 2–connected implicit claw–heavy graph ensures its hamiltonicity. In particular, we improve a recent result of [X. Huang, Implicit degree condition for hamiltonic-ity of 2–heavy graphs, Discrete Appl. Math. 219 (2017) 126–131] and complete the characterizations of pairs of o–heavy and f–heavy sub-graphs for hamiltonicity of 2–connected graphs

On Implicit Heavy Subgraphs and Hamiltonicity of 2-Connected Graphs

A graph G of order n is implicit claw-heavy if in every induced copy of K1,3 in G there are two non-adjacent vertices with sum of their implicit degrees at least n. We study various implicit degree conditions (including, but not limiting to, Ore- and Fan-type conditions) imposing of which on specific induced subgraphs of a 2-connected implicit claw-heavy graph ensures its Hamiltonicity. In particular, we improve a recent result of [X. Huang, Implicit degree condition for Hamiltonicity of 2-heavy graphs, Discrete Appl. Math. 219 (2017) 126–131] and complete the characterizations of pairs of o-heavy and f-heavy subgraphs for Hamiltonicity of 2-connected graphs

Beyond 2014: Formal Methods for Attack Tree-based Security Modeling

International audienc