Navigation in highly polygon-populated ship environments using the visibility octree

This work is focused on the interactive navigation through highly polygon-populated ship environments. A conservative visibility algorithm is presented that hierarchically computes visibility for different observer positions and stores it in a new octree based structure, the Visibility Octree (VO) The VO is used during the navigation. Its main contribution is the ability to provide an effective control over the coarseness of the visibility approximation. Some results are presented for indoor ship scenes that show that the VO is efficient on densely occluded scenes.Postprint (published version

KCNA1 gain‐of‐function epileptic encephalopathy treated with 4‐aminopyridine

Abstract Precision medicine for Mendelian epilepsy is rapidly developing. We describe an early infant with severely pharmacoresistant multifocal epilepsy. Exome sequencing revealed the de novo variant p.(Leu296Phe) in the gene KCNA1, encoding the voltage‐gated K+ channel subunit KV1.1. So far, loss‐of‐function variants in KCNA1 have been associated with episodic ataxia type 1 or epilepsy. Functional studies of the mutated subunit in oocytes revealed a gain‐of‐function caused by a hyperpolarizing shift of voltage dependence. Leu296Phe channels are sensitive to block by 4‐aminopyridine. Clinical use of 4‐aminopyridine was associated with reduced seizure burden, enabled simplification of co‐medication and prevented rehospitalization

Peut-on dire ce qui n'est pas ? (objets mathématiques et autres fictions)

Si les philosophes ont produit quantité de conceptions anti-réalistes des mathématiques (formalisme, intuitionnisme...), et même édicté des interdits de limitant telle ou telle variante de mathématique non réaliste, la plupart des mathématiciens y sont restés indifférents : spontanément réalistes, au sens où ils vivent leur pratique comme la découverte d'aspects d'une réalité autonome, ils n'en sont pas pour autant nécessairement platonistes quand, par un retour réflexif sur leur propre pratique, ils en viennent à statuer sur l'ontologie de cette prétendue " réalité ". Il s'agit donc d'articuler deux moments qui apparaissent en décalage, au point d'être parfois contradictoires : " l'ontologie spontanée " ou la phénoménologie du mathématicien et son " ontologie réfléchie ". d'un point de vue logique, l'objectif est celui de rendre compatible le plus grand libéralisme quant aux règles de construction des théories avec une ontologie nominaliste extrême, le fictionnalisme mathématique. Une approche structuraliste, inspirée par la notion de contenu formel de Granger, permet d'adosser l'ontologie des mathématiques à l'objectivité de la syntaxe, en privilégiant la forme sur le contenu. Dans un second temps, à partir d'une réflexion sur la logique des fictions ordinaires, on réhabilite le contenu en tant qu'objet mental à un niveau proprement sémantique, en rupture avec le paradigme logico-ontologique de Quine. L'approche modèle-théorétique et l'étude de différentes conceptions des quantificateurs (quantifications substitutionnelle et objectuelle, théorie sémantique des jeux de Hintikka) incitent à séparer nettement deux aspects, sémantique et ontologie, alors que la tradition de l'universalisme logique incluait la seconde dans la première. Le désengagement ontologique des théories sémantiques permet alors de retourner à certains débats des théoriciens de la référence, en y discernant les traits irréductiblement pragmatiques, par la même rétifs à toute théorisation.Whereas philosophers have proposed many anti-realistic conceptions of mathematics (formalism, intuitionism...) and have even enacted restrictions so as to set boundaries to different variants of non-realistic mathematics, most mathematicians have ignored them ; being spontaneously realistic, because they experience their research as the discovery of aspects of an autonomous reality, they do not, however, necessarely adopt a Platonistic stance when, thinking back on their own practice, they eventually decide on the ontology of this so-called "reality". Therefore, one must articulate two moments between which there appears to be a discrepancy, not to say a contradiction : the mathematician's "spontaneous ontology" and his/her "sophisticated ontology". From a logical point of view, the purpose of this work is to reconcile the utmost liberalism concerning the rules of theory construction, and a radical nominalist ontology, mathematical fictionalism. A structuralist approach based on Granger's "formal content" notion makes it possible to back mathematical ontology onto the objectivity of syntax, thereby favouring form over content. Next, starting from a study on the logic of ordinary fictions, the notion of content as a mental object is rehabilitated at a strictly semantic level, in opposition to Quine's logical-ontological paradigm. The model-theoretic approach, supported by the study of substitutional and objectual quantifiers, Hintikka's Game-Theoretical Semantics, etc., leads one to draw a clear divide between semantics and ontology, as against the tradition of logical universalism according to which the latter was included in the former. Once semantics is freed from its ontological commitments, it is possible to return to some issues raised by the theory of reference and point out some irreducible pragmatic features of it, which naturally withstand any theorization.NANCY2-BU Lettres (543952103) / SudocNANTES-UFR Lettres - Philosophie (441092211) / SudocSudocFranceF