Relevant bibliographies by topics / Renal calculus / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Renal calculus.

Dissertations / Theses on the topic 'Renal calculus'

Author: Grafiati
Published: 3 June 2025
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Renal calculus.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Golež, Tine. "Toward Calculus via Real-time Measurements." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-79891.

Full text
Abstract:
Several years of my experiences in the use of real-time experiments are now upgraded in order to enhance also the teaching of mathematics. The motion sensor device enables us to get real time x(t) and v(t) graphs of a moving object or person. We can productively use these graphs to introduce differentiation on visual level as well as to show the integration procedure. The students are fully involved in the teaching as they are invited to walk in front of the sensor. This approach motivates them by the realistic aspects of mathematical structures. The method could help to fulfill the credo of t
APA, Harvard, Vancouver, ISO, and other styles
2

Scholefield, David Jason. "A refinement calculus for real-time systems." Thesis, University of York, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.316186.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Leijon, Viktor. "A time constrained real-time process calculus /." Luleå : EISLAB, Department of Computer Science and Electrical Engineering, Luleå University of Technology, 2008. http://epubl.ltu.se/1402-1757/2008/33/.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Wilkerson-Jerde, Michelle H., and Uri Wilensky. "DeltaTick: Applying Calculus to the Real World through Behavioral Modeling." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-81136.

Full text
Abstract:
Certainly one of the most powerful and important modeling languages of our time is the Calculus. But research consistently shows that students do not understand how the variables in calculus-based mathematical models relate to aspects of the systems that those models are supposed to represent. Because of this, students never access the true power of calculus: its suitability to model a wide variety of real-world systems across domains. In this paper, we describe the motivation and theoretical foundations for the DeltaTick and HotLink Replay applications, an effort to address these difficulties
APA, Harvard, Vancouver, ISO, and other styles
5

Llaquet, Bayo Antai. "Computer aided renal calculi detection using Convolutional Neural Networks." Thesis, Örebro universitet, Institutionen för naturvetenskap och teknik, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-52254.

Full text
Abstract:
In this thesis a novel approach is developed to detect urethral stones based on a computer-aided process. The input data is a CT scan from the patient, which is a high-resolution 3D grayscale image. The algorithm developed extracts the regions that might be stones, based on the intensity values of the pixels in the CT scan. This process includes a binarizing process of the image, finding the connected components of the resulting binary image and calculating the centroid of each of the components selected. The regions that are suspected to be stones are used as input of a CNN, a modified versio
APA, Harvard, Vancouver, ISO, and other styles
6

Bezerra, Juliana de Melo. "Mapeamento UML-RT para p-calculus." Instituto Tecnológico de Aeronáutica, 2006. http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=365.

Full text
Abstract:
A UML (Unified Modeling Language) é uma linguagem de modelagem para especificar, construir e documentar artefatos de sistemas de software. A UML-RT, usada pela ferramenta Rational Rose RealTime (RoseRT), é uma extensão da UML que permite a modelagem de sistemas de tempo real distribuídos e guiados por evento. A UML-RT não possui semântica formal, logo não é possível realizar verificação formal do modelo. O presente trabalho propõe o mapeamento dos elementos de comunicação da UML-RT para a álgebra de processos p-calculus, a fim de prover semântica formal à UML-RT. Com objetivo de automatizar o
APA, Harvard, Vancouver, ISO, and other styles
7

EL, BELGHITI EL ALAOUI EL ARABI. "Le traitement chirurgical des grands calculs coralliformes a propos de 40 cas." Saint-Etienne, 1989. http://www.theses.fr/1989STET6232.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

KUWABARA, Hiroaki. "A Timed Extension of the pi-Calculus and Application for Real-Time System Development." INTELLIGENT MEDIA INTEGRATION NAGOYA UNIVERSITY / COE, 2005. http://hdl.handle.net/2237/10403.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Wei, Yiyi. "Toward real-time simulation of aneurysm coil embolization using the discrete exterior calculus method." Thesis, Lille 1, 2012. http://www.theses.fr/2012LIL10034/document.

Full text
Abstract:
Des progrès remarquables ont été réalisés ces dix dernières années dans le traitement des anévrismes endovasculaires. Les avancées technologiques permettent de traiter un nombre croissant de patients atteints d’anévrismes cérébraux par différentes procédures endovasculaires, en particulier par l’utilisation de coils détachables en platine. L’embolisation vasculaire à l’aide de coils reste néanmoins une procédure médicale complexe qui requiert une planification minutieuse est associée à des compétences techniques avancées pour être réussie. Dans ce contexte, un système de planification informat
APA, Harvard, Vancouver, ISO, and other styles
10

Berglund, André. "Evaluating ∫0∞f(x)dx and ∫ab f(x)dx using residue calculus." Thesis, Umeå universitet, Institutionen för matematik och matematisk statistik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-92522.

Full text
Abstract:
In this essay we use complex analysis, in particular modern residue calculus, to compute certain Riemann integrals.<br>I den har uppsatsen använder vi komplex analys, då särskilt modern residykalkyl, for att beräkna vissa Riemann-integraler.
APA, Harvard, Vancouver, ISO, and other styles
11

Anderson, Jennifer Christine. "QUANTITATIVE AND QUALITATIVE INVESTIGATIONS INTO URINARY CALCULI USING INFRARED MICROSPECTROSCOPY." Miami University / OhioLINK, 2007. http://rave.ohiolink.edu/etdc/view?acc_num=miami1173303815.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Heping, H. E. "The cycle calculus and method for the formal development of real-time and hybrid systems." Thesis, University of York, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.241033.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

Caires, Maria Ester Hernandez de Almeida. "Estudo de prevalência da nefrolitíase e ureterolitíase diagnosticada por ecografia em gatos com e sem doença renal crónica." Master's thesis, Universidade de Lisboa, Faculdade de Medicina Veterinária, 2018. http://hdl.handle.net/10400.5/15253.

Full text
Abstract:
Dissertação de Mestrado Integrado em Medicina Veterinária<br>A incidência da litíase renal e ureteral em gatos tem vindo a aumentar significativamente, estando intimamente relacionada com a presença de lesões renais crónicas e irreversíveis. O presente estudo pretende demonstrar a verdadeira expressão da litíase renal numa população de gatos com sinais ecográficos de nefropatia crónica que compareceram à consulta no HVA, independentemente da sua situação clínica, avaliar a relação da nefrolitíase e ureterolitíase com a DRC e demonstrar a importância do exame ecográfico na identificação de alte
APA, Harvard, Vancouver, ISO, and other styles
14

Chau, Hien Nguyet 1977. "Renal calcification in Npt2 knockout mice." Thesis, McGill University, 2002. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=78338.

Full text
Abstract:
Mice homozygous for the disrupted renal type 11a sodium/phosphate (Na/Pi) cotransporter gene, Npt2, (Npt2 KO) exhibit renal Pi wasting and hypercalciuria, predisposing factors for renal stone formation. We observed that Npt2 KO mice, but not wild-type littermates form renal stones. The renal stones were evident in newborn, weanling and adult mice and composed of calcium (Ca) and Pi. The presence of renal calcification correlated with the absence of Npt2 gene expression and the presence of genes responsible for the synthesis (1alpha-hydroxylase) and catabolism (24-hydroxylase) of 1,25-di
APA, Harvard, Vancouver, ISO, and other styles
15

Jacyntho, Luiz Antonio. "Uso de episodios historicos e de geometria dinamica para desenvolvimento de coneitos de integral de Riemann e do teorema fundamental do calculo para funções reais de variavel real." [s.n.], 2008. http://repositorio.unicamp.br/jspui/handle/REPOSIP/305871.

Full text
Abstract:
Orientador: Luiz Mariano Paes de Carvalho Filho<br>Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação<br>Made available in DSpace on 2018-08-11T14:58:23Z (GMT). No. of bitstreams: 1 Jacyntho_LuizAntonio_M.pdf: 8765048 bytes, checksum: d1d39ba51eca5f10f2b9eb3fd48e367c (MD5) Previous issue date: 2008<br>Resumo: Este trabalho tem como objetivos estudar algumas realizações de Arquimedes (287 a.C. - 212 a.C., Grécia) e de Isaac Barrow (1630-1677, Inglaterra), e, também, desenvolver atividades no Geogebra para auxiliar no ensi
APA, Harvard, Vancouver, ISO, and other styles
16

Tiger, Norkvist Axel. "Morphisms of real calculi from a geometric and algebraic perspective." Licentiate thesis, Linköpings universitet, Algebra, geometri och diskret matematik, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-175740.

Full text
Abstract:
Noncommutative geometry has over the past four of decades grown into a rich field of study. Novel ideas and concepts are rapidly being developed, and a notable application of the theory outside of pure mathematics is quantum theory. This thesis will focus on a derivation-based approach to noncommutative geometry using the framework of real calculi, which is a rather direct approach to the subject. Due to their direct nature, real calculi are useful when studying classical concepts in Riemannian geometry and how they may be generalized to a noncommutative setting. This thesis aims to shed light
APA, Harvard, Vancouver, ISO, and other styles
17

Gugliotta, Antonio. "Coagulo fibrotico : nova causa de retenção de fragmentos pos leoc para calculo em calice inferior renal?" [s.n.], 1999. http://repositorio.unicamp.br/jspui/handle/REPOSIP/313395.

Full text
Abstract:
Orientador: Ubirajara Ferreira<br>Dissertação (mestrado) - Univesidade Estadual de Campinas, Faculdade de Ciências Médicas<br>Made available in DSpace on 2018-07-24T23:16:09Z (GMT). No. of bitstreams: 1 Gugliotta_Antonio_M.pdf: 2001234 bytes, checksum: a45a872e7329fe75def2d959d8c60772 (MD5) Previous issue date: 1999<br>Resumo: Estudou-se, prospectivamente, uma população de 20 pacientes com cálculo renal, específicamente localizado no cálice inferior, tratado por meio da litotripsía extracorpórea por ondas de choque (LEGC) e que tiveram os fragmentos retidos no pólo inferior renal. Nesse estu
APA, Harvard, Vancouver, ISO, and other styles
18

Anderson, Jennifer C. "INFRARED MICROSPECTROSCOPIC TECHNIQUES FOR THE QUALITATIVE ANALYSIS OF CROSS-SECTIONED RENAL CALCULI AND EMBEDDED MINERALIZED DEPOSITS." Miami University / OhioLINK, 2004. http://rave.ohiolink.edu/etdc/view?acc_num=miami1083332748.

Full text
APA, Harvard, Vancouver, ISO, and other styles
19

Enfeldt, Viktor. "Real-Time Ray Tracing With Polarization Parameters." Thesis, Blekinge Tekniska Högskola, Institutionen för datavetenskap, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-19667.

Full text
Abstract:
Background. The real-time renderers used in video games and similar graphics applications do not model the polarization aspect of light. Polarization parameters have previously been incorporated in some offline ray-traced renderers to simulate polarizing filters and various optical effects. As ray tracing is becoming more and more prevalent in real-time renderers, these polarization techniques could potentially be used to simulate polarization and its optical effects in real-time applications as well. Objectives. This thesis aims to determine if an existing polarization technique from offline
APA, Harvard, Vancouver, ISO, and other styles
20

Wu, Jianjia. "General schedulability bound analysis and its applications in real-time systems." Diss., Texas A&M University, 2003. http://hdl.handle.net/1969.1/5854.

Full text
Abstract:
Real-time system refers to the computing, communication, and information system with deadline requirements. To meet these deadline requirements, most systems use a mechanism known as the schedulability test which determines whether each of the admitted tasks can meet its deadline. A new task will not be admitted unless it passes the schedulability test. Schedulability tests can be either direct or indirect. The utilization based schedulability test is the most common schedulability test approach, in which a task can be admitted only if the total system utilization is lower than a pre-derived b
APA, Harvard, Vancouver, ISO, and other styles
21

Mangoua, sofack William. "Amélioration des délais de traversée pire cas des réseaux embarqués à l’aide du calcul réseau." Thesis, Toulouse, ISAE, 2014. http://www.theses.fr/2014ESAE0024/document.

Full text
Abstract:
Le calcul réseau (network calculus) est une théorie basée sur l’algèbre min-plus. Il offre un cadre formel de modélisation des réseaux de communication. Il a été utilisé pour certifier le réseau AFDX embarqué dans l’A380 de Airbus. Seulement, les bornes sur le délai annoncés par ces travaux de certification souffrent d’une sur-approximation dans le cas précis de l’agrégation dans un contexte de priorité statique non préemptive.L’objectif de nos travaux est de réduire cette sur-approximation. Dans cette thèse, nous proposons un service résiduel permettant d’obtenir de meilleurs bornes sur le dé
APA, Harvard, Vancouver, ISO, and other styles
22

Sarafian, Annie. "La lithotripsie : appareils et méthodes actuels." Paris 5, 1988. http://www.theses.fr/1988PA05P176.

Full text
APA, Harvard, Vancouver, ISO, and other styles
23

Brancalion, Ana Paula Santin. "Estudo fitoquímico e investigação da atividade antilitiásica do extrato hidroalcoólico das partes aéreas de Copaifera langsdorffii." Universidade de São Paulo, 2010. http://www.teses.usp.br/teses/disponiveis/60/60138/tde-01122010-113501/.

Full text
Abstract:
A nefrolitíase pode ser definida como uma consequência de alterações nas condições de cristalização da urina no trato urinário. A incidência desta patologia nos Estados Unidos é de 5 % em mulheres e 12 % em homens e sua recorrência é de 50 % em 5 a 10 anos e 75 % em 20 anos. Cálculos renais são compostos por porções inorgânicas e orgânicas. Em seres humanos, a porção inorgânica é principalmente composta por sais de cálcio (cerca de 80 %), seguido pelos cálculos de ácido úrico (5-10 %). Estes também podem ser compostos por estruvita, cistina, entre outros.Quanto à matriz orgânica, ela é formada
APA, Harvard, Vancouver, ISO, and other styles
24

Soni, Aakash. "Real-time performance analysis of a QoS based industrial embedded network." Thesis, Toulouse, INPT, 2020. http://www.theses.fr/2020INPT0047.

Full text
Abstract:
L'AFDX est utilisé comme un réseau fédérateur pour la transmission des flux avioniques critiques. Ce réseau est certifié grâce à l'analyse pire-cas utilisant l'approche Network Calculus (NC). Le pessimisme introduit par NC conduit souvent à un réseau surdimensionné et éventuellement sous-utilisé. Les avionneurs envisagent d'augmenter l'utilisation des ressources du réseau AFDX en ajoutant du trafic supplémentaire provenant d'autres fonctions critiques et non critiques. Le partage du réseau AFDX avec des flux de criticité mixtes nécessite l'utilisation d'un mécanisme de qualité de service (QoS)
APA, Harvard, Vancouver, ISO, and other styles
25

Nguena-Timo, Omer. "Synthesis for a weak real-time logic." Thesis, Bordeaux 1, 2009. http://www.theses.fr/2010BOR13931/document.

Full text
Abstract:
Dans cette thèse, nous nous intéressons à la spécification et à la synthèse de contrôleurs des systèmes temps-réels. Les modèles pour ces systèmes sont des Event-recording Automata. Nous supposons que les contrôleurs observent tous les évènements se produisant dans le système et qu'ils peuvent interdirent uniquement des évènements contrôlables. Tous les évènements ne sont pas nécessairement contrôlables. Une première étude est faite sur la logique Event-recording Logic (ERL). Nous proposons des nouveaux algorithmes pour les problèmes de vérification et de satisfaisabilité. Ces algorithmes prés
APA, Harvard, Vancouver, ISO, and other styles
26

Tiger, Norkvist Axel. "The noncommutative torus as a minimal submanifold of the noncommutative 3-sphere." Thesis, Linköpings universitet, Matematik och tillämpad matematik, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-150891.

Full text
Abstract:
In this thesis an algebraic structure, called real calculus, is used as a way to represent noncommutative manifolds in an algebraic setting. Several classical geometric concepts are defined for real calculi, such as metrics and affine connections, and real calculus homomorphisms are introduced. These homomorphisms are then used to define embeddings of real calculi representing manifolds, anda notion of minimal embedding is introduced. The motivating example of the thesis is the noncommutative torus as embedded into a localization of the noncommutative 3-sphere, where it is shown that the nonco
APA, Harvard, Vancouver, ISO, and other styles
27

Robert, Jérémy. "De l'usage d'architectures Ethernet commutées embarquées dans les lanceurs spatiaux." Thesis, Université de Lorraine, 2012. http://www.theses.fr/2012LORR0128.

Full text
Abstract:
Les lanceurs spatiaux actuels, et en particulier Ariane 5, utilisent le réseau déterministe MIL-STD-1553B. Compte tenu des nouveaux objectifs de réduction des coûts et de la masse du système global ainsi que du support de trafic de télémesure multimédia, cette technologie n'est plus forcément optimale. Parmi les différents candidats de remplacement, cette thèse met en évidence les capacités du standard Ethernet à répondre à ces nouveaux objectifs tout en s'appuyant sur une utilisation de composants matériels et d'outils de développement existants à moindre coût (COTS). La première contribution
APA, Harvard, Vancouver, ISO, and other styles
28

Herrero, Vina︢s Pau. "Quantified real constraint solving using modal intervals with applications to control." Angers, 2006. http://www.theses.fr/2006ANGE0041.

Full text
Abstract:
Les contraintes réelles quantifiées (QRC) forment un formalisme mathématique utilisé pour modéliser un très grand nombre de problèmes physiques dans lesquels interviennent des systèmes d'équations non linéaires sur des variables réelles, certaines d'entre elles pouvant être quantifiées. Les QRCs apparaissent dans nombreux contextes comme, l'Automatique, le Génie Electrique, le Génie Mécanique, et la Biologie. La résolution de QRCs est un domaine de recherche très actif pour lequel deux approches radicalement différentes sont proposées: l'élimination symbolique de quantificateurs et les méthode
APA, Harvard, Vancouver, ISO, and other styles
29

Eudes, Alexandre. "Localisation et cartographie simultanées par ajustement de faisceaux local : propagation d'erreurs et réduction de la dérive à l'aide d'un odomètre." Phd thesis, Université Blaise Pascal - Clermont-Ferrand II, 2011. http://tel.archives-ouvertes.fr/tel-00662438.

Full text
Abstract:
Les travaux présentés ici concernent le domaine de la localisation de véhicule par vision artificielle. Dans ce contexte, la trajectoire d'une caméra et la structure3D de la scène filmée sont estimées par une méthode d'odométrie visuelle monoculaire basée sur l'ajustement de faisceaux local. Les contributions de cette thèse sont plusieurs améliorations de cette méthode. L'incertitude associée à la position estimée n'est pas fournie par la méthode d'ajustement de faisceaux local. C'est pourtant une information indispensable pour pouvoir utiliser cette position, notamment dans un système de fusi
APA, Harvard, Vancouver, ISO, and other styles
30

Music, Luka. "Multi-Party Quantum Cryptography : from Folklore to Real-World." Electronic Thesis or Diss., Sorbonne université, 2021. http://www.theses.fr/2021SORUS412.

Full text
Abstract:
La cryptographie quantique a bénéficié des nombreuses avancées de la cryptographie et théorie des réseaux classiques. Cependant, elle n’en est qu’à ses balbutiement en ce qui concerne son application en condition réelles et approfondir la théorie sous-jacente est un prérequis crucial à l’exploitation de l’intégralité de ses possibilités. Pour cela, il faut tout d’abord formaliser rigoureusement les propriétés de sécurité quantiques des techniques importées de la cryptographie classique, pour l’instant souvent utilisées sans justification. Ensuite, les progrès récents des technologies quantique
APA, Harvard, Vancouver, ISO, and other styles
31

Guan, Nan. "New Techniques for Building Timing-Predictable Embedded Systems." Doctoral thesis, Uppsala universitet, Avdelningen för datorteknik, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-209623.

Full text
Abstract:
Embedded systems are becoming ubiquitous in our daily life. Due to close interaction with physical world, embedded systems are typically subject to timing constraints. At design time, it must be ensured that the run-time behaviors of such systems satisfy the pre-specified timing constraints under any circumstance. In this thesis, we develop techniques to address the timing analysis problems brought by the increasing complexity of underlying hardware and software on different levels of abstraction in embedded systems design. On the program level, we develop quantitative analysis techniques to p
APA, Harvard, Vancouver, ISO, and other styles
32

Jose, Matthews. "In-network real-value computation on programmable switches." Electronic Thesis or Diss., Université de Lorraine, 2023. http://docnum.univ-lorraine.fr/ulprive/DDOC_T_2023_0057_JOSE.pdf.

Full text
Abstract:
L'arrivée des switchs ASIC programmables de nouvelle génération a obligé la communauté des réseaux à repenser le fonctionnement des réseaux. La possibilité de reconfigurer la logique de traitement des paquets par le plan de transfert de données sans modifier le matériel sous-jacent et l'introduction de primitives de mémoire à état ont suscité un regain d'intérêt pour les cas d'utilisation qui peuvent être déchargés sur le plan de transfert de données. Cependant, les commutateurs programmables ne prennent toujours pas en charge les calculs à valeur réelle et obligent à utiliser des serveurs ext
APA, Harvard, Vancouver, ISO, and other styles
33

Diouri, Idriss. "Propositions de méthodes pour adapter le réseau aux contraintes d'applicatons temps-réel." Thesis, Nancy 1, 2010. http://www.theses.fr/2010NAN10091/document.

Full text
Abstract:
L'étude des Systèmes Contrôlés en Réseaux (SCR) repose sur l'identification des exigences de fonctionnement de l'application appelées Qualité de Contrôle (QdC) et sur l'évaluation de la Qualité de Service (QdS) offerte par le réseau. Les travaux sur les SCR se repartissent selon deux approches : la commande en réseau et la commande de réseau. Cette thèse se positionne sur la deuxième approche avec une recherche axée sur la modélisation des mécanismes d'ordonnancement implémentés dans les équipements réseau et notamment dans les commutateurs Ethernet qui sont de plus en plus utilisés dans les a
APA, Harvard, Vancouver, ISO, and other styles
34

Soussi, Mohamed Ayet Allah Bilel. "Conception et réalisation d’un système d’information pour le calcul d’itinéraires destiné aux services d’urgence." Thesis, Paris, CNAM, 2013. http://www.theses.fr/2013CNAM0859/document.

Full text
Abstract:
De nos jours, la problématique de recherche du meilleur itinéraire est très étudiée dans diverses applications telles que pour le mode de transport doux (vélo) ou piétonnier, pour l’interception d’un objet mobile ou encore pour la combinaison des modes de transport (multimodal). Dans cette optique, notre objectif consiste à chercher un meilleur itinéraire pour les services d’urgence. Notre étude est réalisée en partenariat avec le SMUR du Mans (Sarthe) qui fournit le contexte opérationnel. Dans un premier temps, ce travail de recherche consiste à exploiter l’historique des trajectoires emprunt
APA, Harvard, Vancouver, ISO, and other styles
35

Javed, Ibrahim Tariq. "A trust framework for real-time web communications." Thesis, Evry, Institut national des télécommunications, 2018. http://www.theses.fr/2018TELE0016/document.

Full text
Abstract:
Les services de conversation Web en temps réel permettent aux utilisateurs d'avoir des appels audio et vidéo et de transférer directement des données sur Internet. Les opérateurs OTT (OTT) tels que Google, Skype et WhatsApp proposent des services de communication économiques avec des fonctionnalités de conversation évoluées. Avec l'introduction de la norme de Web Real Time Communication (WebRTC), n'importe quelle page Web peut désormais offrir des services d'appel. WebRTC est utilisé comme technologie sous-jacente pour déployer de nouvelles plateformes de communication centrées sur le Web. Ces
APA, Harvard, Vancouver, ISO, and other styles
36

Haumont, Dominique. "Calcul et représentation de l'information de visibilité pour l'exploration interactive de scènes tridimensionnelles." Doctoral thesis, Universite Libre de Bruxelles, 2006. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/210880.

Full text
Abstract:
La synthèse d'images, qui consiste à développer des algorithmes pour générer des images à l'aide d'un ordinateur, est devenue incontournable dans de nombreuses disciplines. <p><p>Les méthodes d'affichage interactives permettent à l'utilisateur d'explorer des environnements virtuels en réalisant l'affichage des images à une cadence suffisamment élevée pour donner une impression de continuité et d'immersion. Malgré les progrès réalisés par le matériel, de nouveaux besoins supplantent toujours les capacités de traitement, et des techniques d'accélération sont nécessaires pour parvenir à maintenir
APA, Harvard, Vancouver, ISO, and other styles
37

Javed, Ibrahim Tariq. "A trust framework for real-time web communications." Electronic Thesis or Diss., Evry, Institut national des télécommunications, 2018. http://www.theses.fr/2018TELE0016.

Full text
Abstract:
Les services de conversation Web en temps réel permettent aux utilisateurs d'avoir des appels audio et vidéo et de transférer directement des données sur Internet. Les opérateurs OTT (OTT) tels que Google, Skype et WhatsApp proposent des services de communication économiques avec des fonctionnalités de conversation évoluées. Avec l'introduction de la norme de Web Real Time Communication (WebRTC), n'importe quelle page Web peut désormais offrir des services d'appel. WebRTC est utilisé comme technologie sous-jacente pour déployer de nouvelles plateformes de communication centrées sur le Web. Ces
APA, Harvard, Vancouver, ISO, and other styles
38

Robert, Jérémy. "De l'usage d'architectures Ethernet commutées embarquées dans les lanceurs spatiaux." Electronic Thesis or Diss., Université de Lorraine, 2012. http://www.theses.fr/2012LORR0128.

Full text
Abstract:
Les lanceurs spatiaux actuels, et en particulier Ariane 5, utilisent le réseau déterministe MIL-STD-1553B. Compte tenu des nouveaux objectifs de réduction des coûts et de la masse du système global ainsi que du support de trafic de télémesure multimédia, cette technologie n'est plus forcément optimale. Parmi les différents candidats de remplacement, cette thèse met en évidence les capacités du standard Ethernet à répondre à ces nouveaux objectifs tout en s'appuyant sur une utilisation de composants matériels et d'outils de développement existants à moindre coût (COTS). La première contribution
APA, Harvard, Vancouver, ISO, and other styles
39

Benhamamouch, Bilel. "Calcul du pire temps d'exécution : méthode formelle s'adaptant à la sophistication croissante des architectures matérielles." Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00685866.

Full text
Abstract:
Afin de garantir qu'un programme respectera toutes ses contraintes temporelles, nous devons être capable de calculer une estimation fiable de son temps d'exécution au pire cas (WCET: worst case execution time). Cependant, identifier une borne précise du pire temps d'exécution devient une tâche très complexe du fait de la sophistication croissante des processeurs. Ainsi, l'objectif de nos travaux de recherche a été de définir une méthode formelle qui puisse s'adapter aux évolutions du matériel. Cette méthode consiste à développer un modèle du processeur cible, puis à l'exécuter symboliquement a
APA, Harvard, Vancouver, ISO, and other styles
40

Messaoudi, Farouk. "User equipment based-computation offloading for real-time applications in the context of Cloud and edge networks." Thesis, Rennes 1, 2018. http://www.theses.fr/2018REN1S104/document.

Full text
Abstract:
Le délestage de calcul ou de code est une technique qui permet à un appareil mobile avec une contrainte de ressources d'exécuter à distance, entièrement ou partiellement, une application intensive en calcul dans un environnement Cloud avec des ressources suffisantes. Le délestage de code est effectué principalement pour économiser de l'énergie, améliorer les performances, ou en raison de l'incapacité des appareils mobiles à traiter des calculs intensifs. Plusieurs approches et systèmes ont été proposés pour délester du code dans le Cloud tels que CloneCloud, MAUI et Cyber Foraging. La plupart
APA, Harvard, Vancouver, ISO, and other styles
41

Uhrich, Pierre. "Etude prospective d'un processeur optique en lumiere incoherente pour le traitement temps reel des donnees de radar a vision laterale." Université Louis Pasteur (Strasbourg) (1971-2008), 1988. http://www.theses.fr/1988STR13189.

Full text
Abstract:
On presente une etude prospective pour un nouveau processeur optique effectuant le traitement des donnees de radar a vision laterale (sar) en temps reel. L'etage de correlation du calculateur optique, base sur un fonctionnement particulier des matrices ccd dit "add and shift" est valide experimentalement. On envisage egalement l'utilisation de ce processeur pour le traitement des signaux differents
APA, Harvard, Vancouver, ISO, and other styles
42

Vieillard-Baron, Emmanuel. "From resurgent functions to real resummation through combinatorial Hopf algebras." Thesis, Dijon, 2014. http://www.theses.fr/2014DIJOS005/document.

Full text
Abstract:
Le problème de la resommation réelle consiste à associer à une série divergente réelle unefonction analytique qui lui est asymptotique sur un secteur du plan complexe bissecté par unedes deux demi-directions réelles. Jean Ecalle a esquissé, pour le résoudre, les grandes lignesd’une théorie dite des bonnes moyennes uniformisantes. Celle-ci est basée sur plusieurs de sesdécouvertes : le calcul moulien simple et arborifié, les opérateurs étrangers et les fonctionsrésurgentes.Nous nous proposons dans cette thèse de détailler complètement la théorie des moyennesd’Ecalle. Il s’agit de l’appliquer à
APA, Harvard, Vancouver, ISO, and other styles
43

Allybokus, Zaïd. "Algorithmes distribués dédiés au calcul de l’allocation alpha-équitable en temps réel dans les réseaux SDN." Thesis, Université Côte d'Azur (ComUE), 2019. http://www.theses.fr/2019AZUR4038.

Full text
Abstract:
Dans cette thèse, nous étudions la conception d’algorithmes dédiés au calcul de l’allocation de ressources α-équitable en temps réel dans les réseaux Software Defined Networks (SDN) distribués. En premier lieu, nous définissons trois besoins majeurs établissant les enjeux des algorithmes en temps réel implémentable dans les contrôleurs distribués SDN. Ces enjeux sont la disponibilité de solutions faisables à tout moment, une qualité transitoire acceptable en termes d’écart à l’optimum, une convergence en un nombre raisonnable de tours de communications entre les différents contrôleurs, ainsi q
APA, Harvard, Vancouver, ISO, and other styles
44

Han, Li. "Fault-tolerant and energy-aware algorithms for workflows and real-time systems." Thesis, Lyon, 2020. http://www.theses.fr/2020LYSEN013.

Full text
Abstract:
Cette thèse se concentre sur deux problèmes majeurs dans le contexte du calcul haute performance:la résilience et la consommation d'énergie.Le nombre d'unités de calcul dans les superordinateurs a considérablement augmenté ces dernièresannées, entraînant une augmentation de la fréquence des pannes. Le recours à des mécanismes detolérance aux pannes est maintenant critique pour les applications utilisant un grand nombre decomposants pendant une période de temps significative. Il est par ailleurs nécessaire de minimiserla consommation énergétique pour des raisons budgétaires et environnementales
APA, Harvard, Vancouver, ISO, and other styles
45

Hebbache, Farouk. "Work-conserving dynamic TDM-based memory arbitration for multi-criticality real-time systems." Electronic Thesis or Diss., Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLT044.

Full text
Abstract:
Les architectures multi-cœurs posent de nombreux défis dans les systèmes temps réel, qui découlent des conflits entre les accès simultanés à la mémoire partagée. Parmi les politiques d'arbitrage mémoire disponibles, le multiplexage temporel, en anglais Time-Division Multiplexing (TDM), assure un comportement prédictible en limitant les latences d'accès et en garantissant une bande passante aux tâches indépendamment des autres tâches. Pour ce faire, TDM garantit un accès exclusif à la mémoire partagée dans une fenêtre temporelle fixe. L'approche TDM, cependant, fournit une faible utilisation de
APA, Harvard, Vancouver, ISO, and other styles
46

Nolibé, Gilles. "Developpement d'une methodologie de determination d'operateurs de calcul specifiques dans des problemes d'identification et d'estimation en temps reel." Toulon, 1988. http://www.theses.fr/1988TOUL0001.

Full text
Abstract:
Elaboration d'une description algebrique des flux de donnees representatifs du traitement algorithmique de signal. Pour cela, une formulation de ces flux qui tient compte de l'ordonnancement des processus afin de determiner le parallelisme interne des algorithmes a implanter. Les resultats theoriques obtenus ont ete appliques a des problemes de traitement de signal
APA, Harvard, Vancouver, ISO, and other styles
47

Imafuku, Roberto Seidi. "Sobre a passagem do estudo de função de uma variável real para o caso de duas variáveis." Pontifícia Universidade Católica de São Paulo, 2008. https://tede2.pucsp.br/handle/handle/11354.

Full text
Abstract:
Made available in DSpace on 2016-04-27T16:58:48Z (GMT). No. of bitstreams: 1 Roberto Seidi Imafuku.pdf: 3845972 bytes, checksum: 59d89fa15452f04bf6d1849c648d5105 (MD5) Previous issue date: 2008-10-17<br>Secretaria da Educação do Estado de São Paulo<br>This research was developed with the goal of verifying the difficulties and the knowledge shown by students related to the transition of the study of functions of one variable to the case of two variables, regarding dependent and independent variables well as the interdependence between them, to the dominion and the graphic, to the relation bet
APA, Harvard, Vancouver, ISO, and other styles
48

Prébet, Rémi. "Connexité dans les ensembles algébriques réels : algorithmes et applications." Electronic Thesis or Diss., Sorbonne université, 2023. http://www.theses.fr/2023SORUS664.

Full text
Abstract:
Cette thèse de doctorat porte sur la conception et l'analyse d'algorithmes, relevant du calcul formel, pour la résolution de systèmes polynomiaux. Plus précisément, nous considérons le problème du comptage du nombre de composantes connexes de l'ensemble des solutions réelles de systèmes d'équations polynomiales à variables réelles, ainsi que le problème de décider si deux solutions réelles d'un tel système vivent dans une même composante connexe de son ensemble de solutions réelles. Ces problèmes sont centraux en géométrie algébrique réelle et trouvent des applications en robotique. Le cadre m
APA, Harvard, Vancouver, ISO, and other styles
49

Dimopoulou, Angeliki. "CT with 3D-Image Reconstructions in Preoperative Planning." Doctoral thesis, Uppsala universitet, Enheten för radiologi, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-182080.

Full text
Abstract:
Computed tomography is one of the most evolving fields of modern radiology. The current CT applications permit among other things angiography, 3D image reconstructions, material decomposition and tissue characterization. CT is an important tool in the assessment of specific patient populations prior to an invasive or surgical procedure. The aim of this dissertation was to demonstrate the decisive role of CT with 3D-image reconstructions in haemodialysis patients scheduled to undergo fistulography, in patients undergoing surgical breast reconstructions with a perforator flap and in patients wit
APA, Harvard, Vancouver, ISO, and other styles
50

Lange, Benoît. "Visualisation interactive de données hétérogènes pour l'amélioration des dépenses énergétiques du bâtiment." Thesis, Montpellier 2, 2012. http://www.theses.fr/2012MON20172/document.

Full text
Abstract:
De nos jours, l'économie d'énergie est devenue un enjeu crucial. Les bâtiments des différents pays ont été identifiés comme étant une source importante de perte énergétique. De ce constat a émergé le projet RIDER (Reasearch for IT Driven EneRgy efficiency). Ce projet a pour objectif de développer un système d'information innovant permettant d'optimiser la consommation énergétique d'un bâtiment ou d'un groupe de bâtiments. Ce système est basé sur des composants logiciels, notamment une solution générale de modélisation du bâtiment, une solution de fouille de données, une solution de visualisati
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Renal calculus' for other source types:
Journal articles Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography