Bibliografías temáticas / Pointer Analysi / Tesis
Siga este enlace para ver otros tipos de publicaciones sobre el tema: Pointer Analysi.

Tesis sobre el tema "Pointer Analysi"

Autor: Grafiati
Publicado: 11 de marzo de 2023
Última modificación: 31 de julio de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores tesis para su investigación sobre el tema "Pointer Analysi".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

Ghiya, Rakesh. "Putting pointer analysis to work." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape10/PQDD_0002/NQ44439.pdf.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Sims, Elodie-Jane. "Pointer analysis and separation logic." Diss., Manhattan, Kan. : Kansas State University, 2007. http://hdl.handle.net/2097/506.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Fu, Zhoulai. "Static analysis of numerical properties in the presence of pointers." Phd thesis, Université Rennes 1, 2013. http://tel.archives-ouvertes.fr/tel-00918593.

Texto completo
Resumen
The fast and furious pace of change in computing technology has become an article of faith for many. The reliability of computer-based systems cru- cially depends on the correctness of its computing. Can man, who created the computer, be capable of preventing machine-made misfortune? The theory of static analysis strives to achieve this ambition. The analysis of numerical properties of programs has been an essential research topic for static analysis. These kinds of properties are commonly modeled and handled by the concept of numerical abstract domains. Unfor- tunately, lifting these domains
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Sims, Elodie-Jane. "Analyses de Pointeurs et Logique de Séparation." Phd thesis, Ecole Polytechnique X, 2007. http://pastel.archives-ouvertes.fr/pastel-00003506.

Texto completo
Resumen
Le cadre de cette thèse est l'analyse statique modulaire par interprétation abstraite de logiciels en vue de leur vérification automatique. Nous nous intéressons en particulier aux programmes comportant des objets alloués dynamiquement sur un tas et repérés par des pointeurs. Le but final étant de trouver des erreurs dans un programme (problèmes de déréférencements et d'alias) ou de prouver qu'un programme est correct (relativement à ces problèmes) de façon automatique. Isthiaq, Pym, O'Hearn et Reynolds ont développé récemment des logiques de fragmentation (separation logics) qui sont des logi
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Raiskup, Pavel. "Vylepšení analýzy živých proměnných pomocí points-to analýzy." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2012. http://www.nusl.cz/ntk/nusl-236511.

Texto completo
Resumen
Languages such as C use pointers very heavily. Implementation of operations on dynamically linked structures is, however, quite difficult. This can cause the programmer to make more mistakes than usual. One method for dealing with this situation is to use the static analysis tools. This thesis elaborates on the extension to the Code Listener architecture which is an interface for building static analysis tools. Code Listener is able to construct a call-graph or a control flow graph for a given source code and send it to the analyzing tool. One ability of the architecture is that it can conduct
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

GARIBOLDI, BIANCA MARIA. "Norms of the lattice point discrepancy." Doctoral thesis, Università degli Studi di Milano-Bicocca, 2017. http://hdl.handle.net/10281/151708.

Texto completo
Resumen
Main topic is the discrepancy, studied for different kind of sets under different hypothesis (curvature, dimensions,..). In particular we try to estimate the norms of the discrepancy respect to translations, rotations and dilations.<br>Main topic is the discrepancy, studied for different kind of sets under different hypothesis (curvature, dimensions,..). In particular we try to estimate the norms of the discrepancy respect to translations, rotations and dilations.
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Rombourg, Romain. "Analyse, modélisation et détection de bruits pour scanners laser terrestres." Thesis, Université Grenoble Alpes (ComUE), 2019. http://www.theses.fr/2019GREAM064.

Texto completo
Resumen
Dans cette thèse, nous nous sommes concentrés sur plusieurs sujets liés à la détection du bruit dans les nuages de points générés par les scanners laser terrestres (TLS). Premièrement, les méthodes de projection pour calculer une image à partir d'un balayage TLS. Deuxièmement, la détection du bruit du ciel, c'est-à-dire le bruit produit lorsqu'une mesure d'un TLS à onde continue modulée en amplitude n'est effectuée que sur du rayonnement ambiant. Et enfin, la détection du bruit de points mixtes, c'est-à-dire les points acquis lorsque le TLS reçoit des signaux de retour de plusieurs surfaces di
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Sălcianu, Alexandru D. (Alexandru Doru) 1975. "Pointer analysis and its applications for Java programs." Thesis, Massachusetts Institute of Technology, 2001. http://hdl.handle.net/1721.1/86781.

Texto completo
Resumen
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2001.<br>Includes bibliographical references (p. 135-137).<br>by Alexandru D. Sălcianu.<br>S.M.
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Whaley, John. "Context-sensitive pointer analysis using binary decision diagrams /." May be available electronically:, 2007. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Mensi, Amira. "Analyse des pointeurs pour le langage C." Phd thesis, Ecole Nationale Supérieure des Mines de Paris, 2013. http://pastel.archives-ouvertes.fr/pastel-00944703.

Texto completo
Resumen
Les analyses statiques ont pour but de déterminer les propriétés des programmes au moment de la compilation. Contrairement aux analyses dynamiques, le comportement exact du programme ne peut être connu. Par conséquent, on a recours à des approximations pour remédier à ce manque d'information. Malgré ces approximations, les analyses statiques permettent des optimisations et des transformations efficaces pour améliorer les performances des programmes. Parmi les premières analyses du processus d'optimisation figure l'analyse des pointeurs. Son but est d'analyser statiquement un programme en entré
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

Forkéus, Ted. "Distribution of Critical Points of Polynomials." Thesis, Karlstads universitet, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-82941.

Texto completo
Resumen
This thesis studies the relationship between the zeroes of complexpolynomials in one variable and the critical points of those polynomials. Our methods are both analytical and statistical in nature, usingtechniques from both complex analysis and probability theory. Wepresent an alternative proof for the famous Gauss-Lucas theorem aswell as proving that the distribution for the critical points of a randompolynomial with real zeroes will converge in probability to the distribution of the zeroes. A simulation of the case with complex zeroesis also presented, which gives statistical support that t
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

Hedén, Isac. "Russell’s hypersurface from a geometric point of view." Licentiate thesis, Uppsala universitet, Algebra, geometri och logik, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-144688.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

Wang, Jian. "Pointer analysis in Java programs using execution path information /." View abstract or full-text, 2008. http://library.ust.hk/cgi/db/thesis.pl?CSED%202008%20WANG.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

Sălcianu, Alexandru D. (Alexandru Doru) 1975. "Pointer analysis for Java programs : novel techniques and applications." Thesis, Massachusetts Institute of Technology, 2006. http://hdl.handle.net/1721.1/38311.

Texto completo
Resumen
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2006.<br>Includes bibliographical references (p. 193-200).<br>This dissertation presents a pointer analysis for Java programs, together with several practical analysis applications. For each program point, the analysis is able to construct a points-to graph that describes how local variables and object fields point to objects. Each points-to graph also contains escape information that identifies the objects that are reachable from outside the analysis scope. Our pointer analysis can ex
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

Gutzmann, Tobias. "Benchmarking Points-to Analysis." Doctoral thesis, Linnéuniversitetet, Institutionen för datavetenskap (DV), 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-25298.

Texto completo
Resumen
Points-to analysis is a static program analysis that, simply put, computes which objects created at certain points of a given program might show up at which other points of the same program. In particular, it computes possible targets of a call and possible objects referenced by a field. Such information is essential input to many client applications in optimizing compilers and software engineering tools. Comparing experimental results with respect to accuracy and performance is required in order to distinguish the promising from the less promising approaches to points-to analysis. Unfortunate
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

Lejemble, Thibault. "Analyse multi-échelle de nuage de points." Thesis, Toulouse 3, 2020. http://www.theses.fr/2020TOU30184.

Texto completo
Resumen
Les techniques d'acquisition numérique 3D comme la photogrammétrie ou les scanners laser sont couramment utilisées dans de nombreux domaines d'applications tels que l'ingénierie inverse, l'archéologie, la robotique, ou l'urbanisme. Le principal objectif est d'obtenir des versions virtuels d'objets réels afin de les visualiser, analyser et traiter plus facilement. Ces techniques d'acquisition deviennent de plus en plus performantes et accessibles, créant un besoin important de traitement efficace des données 3D variées et massives qui en résultent. Les données sont souvent obtenues sont sous la
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

Ben, Cheikh Bassem. "Morphologie mathématique sur les graphes pour la caractérisation de l’organisation spatiale des structures histologiques dans les images haut-contenu : application au microenvironnement tumoral dans le cancer du sein." Thesis, Paris 6, 2017. http://www.theses.fr/2017PA066286/document.

Texto completo
Resumen
L'un des problèmes les plus complexes dans l'analyse des images histologiques est l'évaluation de l¿organisation spatiale des structures histologiques dans le tissu. En fait, les sections histologiques peuvent contenir un très grand nombre de cellules de différents types et irrégulièrement réparties dans le tissu, ce qui rend leur contenu spatial indescriptible d'une manière simple. Les méthodes fondées sur la théorie des graphes ont été largement explorées dans cette direction, car elles sont des outils de représentation efficaces ayant la capacité expressive de décrire les caractéristiques s
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

Pearce, David James. "Some directed graph algorithms and their application to pointer analysis." Thesis, Imperial College London, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.417921.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

Mellado, Nicolas. "Analysis of 3D objects at multiple scales : application to shape matching." Thesis, Bordeaux 1, 2012. http://www.theses.fr/2012BOR14685/document.

Texto completo
Resumen
Depuis quelques années, l’évolution des techniques d’acquisition a entraîné une généralisation de l’utilisation d’objets 3D très dense, représentés par des nuages de points de plusieurs millions de sommets. Au vu de la complexité de ces données, il est souvent nécessaire de les analyser pour en extraire les structures les plus pertinentes, potentiellement définies à plusieurs échelles. Parmi les nombreuses méthodes traditionnellement utilisées pour analyser des signaux numériques, l’analyse dite scale-space est aujourd’hui un standard pour l’étude des courbes et des images. Cependant, son adap
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

Zhang, Kun. "Dynamic pointer tracking and its applications." Diss., Georgia Institute of Technology, 2010. http://hdl.handle.net/1853/33936.

Texto completo
Resumen
Due to the significant limitations of static analysis and the dynamic nature of pointers in weakly typed programming languages like C and C++, the points-to sets obtained at compile time are quite conservative. Most static pointer analysis methods trade the precision for the analysis speed. The methods that perform the analysis in a reasonable amount of time are often context and/or flow insensitive. Other methods that are context, flow, and field sensitive have to perform the whole program inter-procedural analysis, and do not scale with respect to the program size. A large class of problems
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

Gutzmann, Tobias. "Comparison of Points-to Analyses." Thesis, Växjö University, School of Mathematics and Systems Engineering, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:vxu:diva-2401.

Texto completo
Resumen
<p>Points-to analysis is a static program analysis which computes possible reference relations between different parts of a program. It serves as input to many high-level analyses. Points-to analyses differ, among others, in flow- and context-sensitivity, program representation, and object abstraction. Most program representations used for points-to analysis are sparse representations which abstract from, e.g., primitive data types and intra-procedural control-flow. Thus, a certain degree of information is sacrificed for compact program representation, which results in scalable performance. In
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

Bonthonneau, Yannick. "Résonances du laplacien sur les variétés à pointes." Thesis, Paris 11, 2015. http://www.theses.fr/2015PA112141/document.

Texto completo
Resumen
Cette thèse à pour objet l’étude des résonances du laplacien sur les variétés à pointes. Ce sont des variétés dont les bouts sont des pointes hyperboliques réelles. Ces objets ont été introduits par Selberg pour les surfaces à pointes de courbure constante dans les années 50. Leur définition a ensuite été étendue en courbure variable par Lax et Phillips. Les résonances sont les poles d’une famille méromorphe de fonctions propres généralisées du laplacien. Elles sont associées au spectre continu du laplacien. Pour analyser ce spectre continu, plusieurs directions de recherche sont explorées ici
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

Späth, Johannes [Verfasser]. "Synchronized pushdown systems for pointer and data-flow analysis / Johannes Späth." Paderborn : Universitätsbibliothek, 2019. http://d-nb.info/1182422713/34.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

Gutzmann, Tobias. "Towards a Gold Standard for Points-to Analysis." Licentiate thesis, Växjö University, School of Mathematics and Systems Engineering, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:vxu:diva-7381.

Texto completo
Resumen
<p>Points-to analysis is a static program analysis that computes reference informationfor a given input program. It serves as input to many client applicationsin optimizing compilers and software engineering tools. Unfortunately, the Gold Standard – i.e., the exact reference information for a given program– is impossible to compute automatically for all but trivial cases, and thus, little can been said about the accuracy of points-to analysis.</p><p>This thesis aims at paving the way towards a Gold Standard for points-to analysis. For this, we discuss theoretical implications and practical cha
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

Middleton, Neil 1977. "Fading points." Thesis, McGill University, 2004. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=81476.

Texto completo
Resumen
Fading Points is a piece of music for large wind ensemble. The work is concerned with time perception and is designed to convey to the listener a long temporal progression from slow music to fast music. To this end, the work is written using musical gestures specifically designed for their portrayal of musical time. The work consists of four sections, each of which is described in detail in the analytical part of the thesis. The analysis also describes the rhythmic language, which is created around short rhythmic cells. These cells are based on ratios and are used in all levels of the p
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

Ben, Cheikh Bassem. "Morphologie mathématique sur les graphes pour la caractérisation de l’organisation spatiale des structures histologiques dans les images haut-contenu : application au microenvironnement tumoral dans le cancer du sein." Electronic Thesis or Diss., Paris 6, 2017. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2017PA066286.pdf.

Texto completo
Resumen
L'un des problèmes les plus complexes dans l'analyse des images histologiques est l'évaluation de l¿organisation spatiale des structures histologiques dans le tissu. En fait, les sections histologiques peuvent contenir un très grand nombre de cellules de différents types et irrégulièrement réparties dans le tissu, ce qui rend leur contenu spatial indescriptible d'une manière simple. Les méthodes fondées sur la théorie des graphes ont été largement explorées dans cette direction, car elles sont des outils de représentation efficaces ayant la capacité expressive de décrire les caractéristiques s
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

Haouas, Nabiha. "Wind energy analysis and change point analysis." Thesis, Clermont-Ferrand 2, 2015. http://www.theses.fr/2015CLF22554.

Texto completo
Resumen
L’énergie éolienne, l’une des énergies renouvelables les plus compétitives, est considérée comme une solution qui remédie aux inconvénients de l’énergie fossile. Pour une meilleure gestion et exploitation de cette énergie, des prévisions de sa production s’avèrent nécessaires. Les méthodes de prévisions utilisées dans la littérature permettent uniquement une prévision de la moyenne annuelle de cette production. Certains travaux récents proposent l’utilisation du Théorème Central Limite (TCL), sous des hypothèses non classiques, pour l’estimation de la production annuelle moyenne de l’énergie é
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

Zhou, Huajun. "Multivariate compound point processes with drifts." Online access for everyone, 2006. http://www.dissertations.wsu.edu/Dissertations/Summer2006/h%5Fzhou%5F051606.pdf.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

Serna, Morales Andrés Felipe. "Analyse sémantique de nuages de points 3D dans le milieu urbain : sol, façades, objets urbains et accessibilité." Thesis, Paris, ENMP, 2014. http://www.theses.fr/2014ENMP0052/document.

Texto completo
Resumen
Les plus grandes villes au monde disposent de plans 2D très détaillés des rues et des espaces publics. Ces plans contiennent des informations relatives aux routes, trottoirs, façades et objets urbains tels que, entre autres, les lampadaires, les panneaux de signalisation, les poteaux, et les arbres.De nos jours, certaines autorités locales, agences nationales de cartographie et sociétés privées commencent à adjoindre à leurs cartes de villes des informations en 3D, des choix de navigation et d'accessibilité.En comparaison des premiers systèmes de scanning en 3D d'il y a 30 ans, les scanners la
Los estilos APA, Harvard, Vancouver, ISO, etc.
30

Misner, Scottie, and Carol Curtis. "HACCP - Hazard Analysis Critical Control Points." College of Agriculture and Life Sciences, University of Arizona (Tucson, AZ), 2008. http://hdl.handle.net/10150/146434.

Texto completo
Resumen
1p.<br>HACCP, pronounced has-up, is a food safety self-inspection system that combines up-to-date technical information with step-by-step procedures to evaluate and monitor the flow of food throughout a food establishment from receiving to service. This publication introduces this system to readers and outlines 6 simple HACCP principles to reduce the occurrence of food-borne illness at home.
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

MORGERA, ANDREA. "Dominant points detection for shape analysis." Doctoral thesis, Università degli Studi di Cagliari, 2012. http://hdl.handle.net/11584/266073.

Texto completo
Resumen
The growing interest in recent years towards the multimedia and the large amount of information exchanged across the network involves the various fields of research towards the study of methods for automatic identification. One of the main objectives is to associate the information content of images, using techniques for identifying composing objects. Among image descriptors, contours reveal are very important because most of the information can be extracted from them and the contour analysis offers a lower computational complexity also. The contour analysis can be restricted to the study of
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

Soon, Shih Chung. "On detection of extreme data points in cluster analysis." Connect to resource, 1987. http://rave.ohiolink.edu/etdc/view.cgi?acc%5Fnum=osu1262886219.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
33

Sims, Elodie-Jane. "Analyse statique de pointeurs et logique de séparation." Palaiseau, Ecole polytechnique, 2007. http://www.theses.fr/2007EPXX0038.

Texto completo
Resumen
Le cadre de cette thèse est l'analyse statique modulaire par interprétation abstraite de logiciels en vue de leur vérification automatique. Nous nous intéressons en particulier aux programmes comportant des objets alloués dynamiquement sur un tas et repérés par des pointeurs. Le but final étant de trouver des erreurs dans un programme (problèmes de déréférencements et d'alias) ou de prouver qu'un programme est correct (relativement à ces problèmes) de façon automatique. Isthiaq, Pym, O'Hearn et Reynolds ont développé récemment des logiques de fragmentation (separation logics) qui sont des logi
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

Jabbour, Chirelle. "Développement de l'ablation laser en champ proche couplée à l'ICPMS pour l'analyse sub-micrométrique d'échantillons solides." Thesis, Paris 6, 2016. http://www.theses.fr/2016PA066282/document.

Texto completo
Resumen
Une technique d'ablation laser dite en champ proche a été développée pour l'analyse chimique d'échantillons solides à l'échelle sub-micrométrique. Cette technique combine un laser Nd:YAG nanoseconde, un microscope à force atomique AFM et un spectromètre de masse à plasma à couplage inductif (ICPMS). Afin d'améliorer la résolution spatiale de la technique d'ablation laser classique, l'effet de champ proche, consistant à amplifier l'énergie du laser très localement a été mis à profit. Cet effet est obtenu par illumination, par un faisceau laser, de la pointe conductrice de l'AFM placée à quelque
Los estilos APA, Harvard, Vancouver, ISO, etc.
35

Å, imÅ ek Alp. "Analysis of critical points for nonconvex optimization." Thesis, Massachusetts Institute of Technology, 2005. http://hdl.handle.net/1721.1/32108.

Texto completo
Resumen
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2005.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Includes bibliographical references (leaves 121-125).<br>In this thesis, we establish sufficient conditions under which an optimization problem has a unique local optimum. Motivated by the practical need for establishing the uniqueness of the optimum in an optimization problem in fields such as global optimization, equilibrium a
Los estilos APA, Harvard, Vancouver, ISO, etc.
36

Edvinsson, Marcus. "Towards a Framework for Static Analysis Based on Points-to Information." Licentiate thesis, Växjö University, School of Mathematics and Systems Engineering, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:vxu:diva-1687.

Texto completo
Resumen
<p>Static analysis on source code or binary code retrieves information about a software program. In object-oriented languages, static points-to analysis retrieves information about objects and how they refer to each other. The result of the points-to analysis is traditionally used to perform optimizations in compilers, such as static resolution of polymorphic calls, and dead-code elimination. More advanced optimizations have been suggested specifically for Java, such as synchronization removal and stack-allocation of objects. Recently, software engineering tools using points-to analysis have a
Los estilos APA, Harvard, Vancouver, ISO, etc.
37

Lindahl, Karl-Olof. "On the linearization of non-Archimedean holomorphic functions near an indifferent fixed point." Doctoral thesis, Växjö : Växjö University Press, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:vxu:diva-1713.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
38

Menin, Aline. "eSTIMe : un environnement de visualisation pour l'analyse multi-points de vue des mobilités quotidiennes." Thesis, Université Grenoble Alpes, 2020. http://www.theses.fr/2020GRALS010.

Texto completo
Resumen
Le domaine de recherche de la mobilité urbaine vise l'observation et la conception des déplacements humains dans un environnement urbain, dont les informations aident à la prise de décision et à la résolution de problèmes dans le cadre des politiques publiques. De nombreux experts - pas nécessairement spécialistes des transports - doivent traiter des données urbaines plus ou moins standardisées pour en extraire des connaissances synthétiques et facilement exploitables. De ce fait, les agences de transport public mènent couramment des enquêtes de déplacements pour recueillir des informations su
Los estilos APA, Harvard, Vancouver, ISO, etc.
39

Lartey, Ebenezer. "Change-point analysis using score functions." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape10/PQDD_0009/NQ40269.pdf.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
40

Soale, Abdul-Nasah. "Spatio-Temporal Analysis of Point Patterns." Digital Commons @ East Tennessee State University, 2016. https://dc.etsu.edu/etd/3120.

Texto completo
Resumen
In this thesis, the basic tools of spatial statistics and time series analysis are applied to the case study of the earthquakes in a certain geographical region and time frame. Then some of the existing methods for joint analysis of time and space are described and applied. Finally, additional research questions about the spatial-temporal distribution of the earthquakes are posed and explored using statistical plots and models. The focus in the last section is in the relationship between number of events per year and maximum magnitude and its effect on how clustered the spatial distribution is
Los estilos APA, Harvard, Vancouver, ISO, etc.
41

Lawson, Andrew B. "The statistical analysis of point events associated with a fixed point." Thesis, University of St Andrews, 1991. http://hdl.handle.net/10023/7294.

Texto completo
Resumen
This work concerns the analysis of point events which are distributed on a planar region and are thought to be related to a fixed point. Data examples are considered from Epidemiology, where morbidity events are thought to be related to a pollution source, and Ecology and Geology where events associated with a central point are to be modelled. We have developed a variety of Heterogeneous Poisson Process (HEPP) models for the above examples. In particular, I have developed interaction and 8-dependence models for angular-linear correlation, with their ML estimation and associated score/W aId tes
Los estilos APA, Harvard, Vancouver, ISO, etc.
42

Pérez, Aros Pedro Antonio. "Subdifferential calculus in the framework of Epi-pointed variational analysis, integral functions, and applications." Tesis, Universidad de Chile, 2018. http://repositorio.uchile.cl/handle/2250/150762.

Texto completo
Resumen
Tesis para optar al grado de Doctor en Ciencias de la Ingeniería, Mención Modelación Matemática<br>La investigación de esta tesis es presentada en seis capítulos, desde el Capítulo 2 al Capítulo 7. El capítulo 2 proporciona una demostración directa de una caracterización reciente de convexidad dada en el marco de los espacios de Banach en [J. Saint Raymond, J. Convexo no lineal Anal., 14 (2013), pp. 253-262]. Estos resultados también extienden esta caracterización a espacios localmente convexos bajo condiciones más débiles y se basa en la definición de una función epi-puntada. El
Los estilos APA, Harvard, Vancouver, ISO, etc.
43

Walter, Nicolas. "Détection de primitives par une approche discrète et non linéaire : application à la détection et la caractérisation de points d'intérêt dans les maillages 3D." Phd thesis, Université de Bourgogne, 2010. http://tel.archives-ouvertes.fr/tel-00808216.

Texto completo
Resumen
Ce manuscrit est dédié à la détection et la caractérisation de points d'intérêt dans les maillages. Nous montrons tout d'abord les limitations de la mesure de courbure sur des contours francs, mesure habituellement utilisée dans le domaine de l'analyse de maillages. Nous présentons ensuite une généralisation de l'opérateur SUSAN pour les maillages, nommé SUSAN-3D. La mesure de saillance proposée quantifie les variations locales de la surface et classe directement les points analysés en cinq catégories : saillant, crête, plat, vallée et creux. Les maillages considérés sont à variété uniforme av
Los estilos APA, Harvard, Vancouver, ISO, etc.
44

Solà, Belda Carles. "Economic action and reference points: an experimental analysis." Doctoral thesis, Universitat Autònoma de Barcelona, 2001. http://hdl.handle.net/10803/4019.

Texto completo
Resumen
Aquesta tesi analitza diversos aspectes de les motivacions individuals i de les seves implicacions en processos econòmics. Específicament, analitzo en detall criteris normatius que poden aplicar els individus com són els de justícia i reciprocitat. En la Introducció defineixo l'ús que en faig de conceptes com la reciprocitat, la justícia, la "dependència del menú" i els "punts de referència" donat que s'empren en el desenvolupament dels diferents capítols. També es descriu la metodologia emprada, que consisteix en alguns models teòrics sobre el comportament dels individus en situacions estratè
Los estilos APA, Harvard, Vancouver, ISO, etc.
45

Connolley, Michael J. (Michael Joseph). "An empirical study of function points analysis reliability." Thesis, Massachusetts Institute of Technology, 1990. http://hdl.handle.net/1721.1/37704.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
46

Moloi, K. D., and P. C. N. Groenewald. "Bayesian analysis of change-points in poisson processes." Interim : Interdisciplinary Journal, Vol 3, Issue 2: Central University of Technology, Free State, Bloemfontein, 2004. http://hdl.handle.net/11462/449.

Texto completo
Resumen
Published Article<br>Change-point analysis deals with the situation where an abrupt change has possibly taken place in the underlying mechanism that generates random variables. In a parametric setting, this means a change in the parameters of the underlying distribution. The interest is in whether such a change has actually taken place, and if it has, at which point in time. Also, there may have been more than one change during the period of interest. Application of change-point analysis is wide, but is particularly relevant in finance, the environment and medicine. The violability of m
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

Allali, Sébastien. "Le freudo-marxisme : analyse des points de rupture." Sorbonne Paris Cité, 2015. http://www.theses.fr/2015USPCC066.

Texto completo
Resumen
Les pères du freudo-marxisme, Otto Gross et Wilhelm Reich, s'éloignèrent de bien des idées de Freud, ce qui obligea ce dernier à prendre ses distances avec des disciples devenus indésirables. Les points de rupture concernent l'étiologie des névroses, la possibilité d'une « psychothérapie populaire », les modalités de la cure, les rapports entre psychanalyse et politique, la famille, l'éducation, la religion, le travail ou encore la création artistique. La pensée de Gross et celle de Reich ont néanmoins eu un rôle de taille, non seulement dans l'histoire de la psychanalyse mais encore dans l'él
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

Ding, Xinli. "Generalized critical points analysis of acetylene vibrational dynamics /." view abstract or download file of text, 2004. http://wwwlib.umi.com/cr/uoregon/fullcit?p3120621.

Texto completo
Resumen
Thesis (Ph. D.)--University of Oregon, 2004.<br>Typescript. Includes vita and abstract. Includes bibliographical references (leaves 145-154). Also available for download via the World Wide Web; free to University of Oregon users.
Los estilos APA, Harvard, Vancouver, ISO, etc.
49

Kovalov, Ievgen. "Context-sensitive Points-To Analysis : Comparing precision and scalability." Thesis, Linnéuniversitetet, Institutionen för datavetenskap, fysik och matematik, DFM, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-18225.

Texto completo
Resumen
Points-to analysis is a static program analysis that tries to predict the dynamic behavior of programs without running them. It computes reference information by approximating for each pointer in the program a set of possible objects to which it could point to at runtime. In order to justify new analysis techniques, they need to be compared to the state of the art regarding their accuracy and efficiency. One of the main parameters influencing precision in points-to analysis is context-sensitivity that provides the analysis of each method separately for different contexts it was called on. The
Los estilos APA, Harvard, Vancouver, ISO, etc.
50

Trickey, Robert V. "Critical points of discrete potentials in the plane and in space." Thesis, University of Nottingham, 2008. http://eprints.nottingham.ac.uk/14362/.

Texto completo
Resumen
This thesis looks at various problems relating to the value distribution of certain discrete potentials. Chapter 1 - Background material is introduced, the motivation behind this work is explained, and existing results in the area are presented. Chapter 2 - By using a method based on a result of Cartan, the existence of zeros is shown for potentials in both the complex plane and real space. Chapter 3 - Using an argument of Hayman, we expand on an established result concerning these potentials in the complex plane. We also look at the consequences of a spacing of the poles. Chapter 4 - We exten
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías sobre el tema "Pointer Analysi" para otros tipos de fuentes:
Artículos de revistas Libros
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía