Gotowe bibliografie tematyczne / Renal calculus / Rozprawy doktorskie
Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Renal calculus.

Rozprawy doktorskie na temat „Renal calculus”

Autor: Grafiati
Data publikacji: 3 czerwca 2025
Data aktualizacji: 31 lipca 2025

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Sprawdź 50 najlepszych rozpraw doktorskich naukowych na temat „Renal calculus”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Przeglądaj rozprawy doktorskie z różnych dziedzin i twórz odpowiednie bibliografie.

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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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/.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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é
Style APA, Harvard, Vancouver, ISO itp.
22

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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/.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
24

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

Pełny tekst źródła
Streszczenie:
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)
Style APA, Harvard, Vancouver, ISO itp.
25

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
28

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
30

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
42

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

Pełny tekst źródła
Streszczenie:
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 à
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
44

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
Możesz być także zainteresowany bibliografiami na temat „Renal calculus” dla innych typów źródeł:
Artykuły w czasopismach Książki
Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!

Do bibliografii