Thèses sur le sujet « Analisi implicita »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleures thèses pour votre recherche sur le sujet « Analisi implicita ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les thèses sur diverses disciplines et organisez correctement votre bibliographie.
Malheiros, Marcelo de Gomensoro. « Analise topologica de um modelo implicito ». [s.n.], 1999. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260172.
Texte intégralDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação
Made available in DSpace on 2018-07-31T15:13:24Z (GMT). No. of bitstreams: 1 Malheiros_MarcelodeGomensoro_M.pdf: 26877147 bytes, checksum: 59ca5d670223c400cfadc1dc9251d45b (MD5) Previous issue date: 1999
Mestrado
Marziali, Giacomo. « Analisi di 3 microdelezioni implicate nel disturbo autistico ». Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2016. http://amslaurea.unibo.it/11235/.
Texte intégralChernyshova, Elizaveta. « Expliciter et inférer dans la conversation : modélisation de la séquence d’explicitation dans l’interaction ». Thesis, Lyon, 2018. http://www.theses.fr/2018LYSE2132/document.
Texte intégralThis dissertation deals with the co-construction of meaning in interaction and the ways in which conversationalists exhibit their interpretative processes. The focus of this study is the process of explicitation, i.e. the process through which an informational content becomes explicit in conversation. By offering a multi-level analysis of conversational sequences engaged in this practice, the study approaches the co-construction of meaning from the point of view of informational transformation and inference.The analyses presented here have been conducted on a corpus of spoken French in interaction, within the setting of informal encounters between friends around a meal or a drink. The explicitation sequence is defined as a conversational pattern where an inference is being submitted for confirmation. Starting from a collection of these sequences, this study offers a twofold approach: that of conversation analysis, and that of modeling of the conversational sequence. The practice of making a content explicit is here being explored according to three analytical lines: (a) the sequential analysis, focusing on the deployment of the explicitation sequence and its components; (b) the analysis according to a device elaborated by means of modeling information management in these sequences; and (c) the analysis of the linguistic designs used when exhibiting the inference. One of themain challenges of the present study is that of a proposition of a conversationalist model, dealing with information management and its enforcement through analysis of talk in interaction
Péchoux, Romain. « Analyse de la complexité des programmes par interprétation sémantique ». Thesis, Vandoeuvre-les-Nancy, INPL, 2007. http://www.theses.fr/2007INPL084N/document.
Texte intégralThere are several approaches developed by the Implicit Computational Complexity (ICC) community which try to analyze and control program resources. In this document, we focus our study on the resource control with the help of semantics interpretations. After introducing the notion of quasi-interpretation together with its distinct properties and characterizations, we show the results obtained in the study of such a tool: We study the synthesis problem which consists in finding a quasi-interpretation for a given program and we tackle the issue of quasi-interpretation modularity. Modularity allows to decrease the complexity of the synthesis procedure and to capture more algorithms. We present several extensions of quasi-interpretations to reactive programming, bytecode verification or higher-order programming. Afterwards, we introduce the notion of sup-interpretation. This notion strictly generalizes the one of quasi-interpretation and is used in distinct criteria in order to control the resources of more algorithms, including algorithms over infinite data and algorithms using a divide and conquer strategy. We combine sup-interpretations with distinct termination criteria, such as RPO orderings, dependency pairs or size-change principle, and we compare them to the notion of quasi-interpretation. Using the notion of sup-interpretation, we characterize small parallel complexity classes. We provide some heuristics for the sup-interpretation synthesis: we manage to synthesize sup-interpretations without the subterm property, that is, sup-interpretations which are not quasi-interpretations. Finally, we extend sup-interpretations to object-oriented programs, thus obtaining distinct criteria for resource control of object-oriented programs and their methods
Velasquez, Rafael. « The Implicit Function Theorem ». Thesis, Umeå universitet, Institutionen för matematik och matematisk statistik, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-151933.
Texte intégralI denna uppsats ger vi en introduktion till reel analys, med syftet att bevisa den implicita funktionssatsen. Vårt bevis bygger på andra välkända satser i mängdteori och reel analys som Heine-Borels övertäckningssats och inversa funktionssatsen.
Bobadilla, Guadalupe Ulises 1959. « Analise dinamica da interação solo-estrutura para estruturas superficiais utilizando a transformada implicita de Fourier (ImFT) ». [s.n.], 2008. http://repositorio.unicamp.br/jspui/handle/REPOSIP/257862.
Texte intégralTese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Civil, Arquitetura e Urbanismo
Made available in DSpace on 2018-08-11T01:26:45Z (GMT). No. of bitstreams: 1 BobadillaGuadalupe_Ulises_D.pdf: 1151597 bytes, checksum: 005fbfba6e1ebd787b740be4f94cbf34 (MD5) Previous issue date: 2008
Resumo: As características que determinam o comportamento de uma estrutura sob carregamento dinâmico são as massas dos vários elementos, a rigidez dos seus membros e a dissipação de energia. Para avaliar corretamente a resposta dinâmica de uma estrutura levando em conta os efeitos da interação, é necessário incorporar as propriedades dinâmicas do solo dentro da formulação matemática do modelo físico adotado. Referido à superestrutura, os efeitos da interação alteram a resposta estrutural final, devido à inter-relação dinâmica entre o movimento do solo e o movimento da base de fundação. Conseqüentemente, se primeiro se avalia o movimento da base de fundação [produto da interação solo-estrutura (SSI)], a resposta estrutural final poderá ser resolvida depois via análise modal da superestrutura. Esta conceituação é utilizada no presente trabalho. Aqui, todo o processo de análise é feito no domínio da freqüência. A resposta estrutural é avaliada através da chamada Transformada Implícita de Fourier (ImFT), implementando-se para isto um algoritmo computacional que avalia a resposta dinâmica utilizando a ImFT eficientemente. A ImFT é uma avaliação racional das matrizes envolvendo as transformadas discretas de Fourier (DFT), para num mesmo processo matricial achar a resposta dinâmica estrutural diretamente no domínio do tempo. Correntemente, para a análise no domínio da freqüência tem-se utilizado a FFT (Fast Fourier Transform); embora a FFT seja computacionalmente eficiente, apresenta-se aqui a ImFT, um outro processo computacional alternativo à FFT e bastante eficiente para certos tipos de carregamento tais como uma excitação sísmica, que é o carregamento utilizado nesta pesquisa
Abstract: The characteristics that determine the behavior of a structure under dynamic loading are the masses of various elements, the rigidity of its members and the dissipation of energy. To properly evaluate the dynamic response of a structure taking into account the effects of the interaction, it is necessary to incorporate the dynamic properties of the soil within the mathematical formulation of the physical model adopted. Referred to the superstructure, the effects of interaction modify the final structural response due to the dynamic interrelationship between the soil motion and the base of foundation motions. Consequently, if that first assesses the base of foundation motions [product of the soil-structure interaction effects (SSI)], the final structural response can be assessed later by modal analysis of the superstructure. This concept is used in this work. Here, the whole process of analysis is done in frequency domain. The structural response is evaluated by the so-called Implicit Fourier Transform (ImFT), implementing to this a computational algorithm that assesses the structural dynamic response using the ImFT efficiently. The ImFT is a rational assessment of matrices involving the Discrete Fourier Transform (DFT) for a same matrix process find structural dynamics response directly on time domain. Commonly, for the analysis in the frequency domain has been used the FFT (Fast Fourier Transform), although the FFT is efficiently, presents itself here the ImFT, another alternative computational algorithm and quite competent to certain types of loading such as a seismic excitation which is the loading used in this study
Doutorado
Estruturas
Doutor em Engenharia Civil
Smith, Matthew Scott. « Implicit Affinity Networks ». BYU ScholarsArchive, 2007. https://scholarsarchive.byu.edu/etd/1112.
Texte intégralMascali, Loriana Grazia Vanessa. « Caratterizzazione della funzione e del comportamento dell'alfa cellula pancreatica : analisi dei meccanismi fisiopatologici implicati nell'insorgenza del diabete ». Doctoral thesis, Università di Catania, 2013. http://hdl.handle.net/10761/1459.
Texte intégralHUYNH, NGOC MAI MONICA. « Newton-Krylov Dual-Primal Methods for Implicit Time Discretizations in Cardiac Electrophysiology ». Doctoral thesis, Università degli studi di Pavia, 2021. http://hdl.handle.net/11571/1447636.
Texte intégralKermiche, Lamya. « Dynamique de la surface de volatilité implicite ». Grenoble 2, 2007. http://www.theses.fr/2007GRE21036.
Texte intégralThe Black and Scholes Formula is very popular among market practitioners, despite the differences between reality and the hypothesis. Market models have been proposed to expand this model, by modelling implied volatility. The aim of this research is the empirical study of the dynamics of the implied volatility surface. After studying each dimension of the surface separately, we incorporated the interactions between them. To perform that, we used a functional form of Principal Component Analysis, based on a Karhunen-Loève decomposition. We isolate and study the most important shocks factors driving the implied volatility surface. Our results suggest different behaving for short and long term volatilities. Studying the time series of the obtained factors, we show that these are well represented by jump processes, particularly the first factor, which represents the global variation of the implied volatility surface. We then analyse the informational content of the implied volatility surface, by estimating and studying risk neutral densities. We find that the same jumps phenomenons are present in changes of investors' anticipations. There are many applications of the proposed models, particularly for Vega hedging of options portfolios, and for the valuation and risk management of exotic options and volatility derivatives
Fountain, David Wilkes. « Implicit systems : orthogonal functions analysis and geometry ». Diss., Georgia Institute of Technology, 1991. http://hdl.handle.net/1853/15750.
Texte intégralChang, Jen-Chien Jack. « Implicit solid modeling using interval methods / ». Thesis, Connect to this title online ; UW restricted, 2000. http://hdl.handle.net/1773/10690.
Texte intégralSavarino, Simona. « Proposta di traduzione e analisi di parti del libro "Per dieci minuti" di Chiara Gamberale ». Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2014. http://amslaurea.unibo.it/7187/.
Texte intégralPischedda, Francesca. « La violenza contro le donne e il sessismo implicito nel discorso giornalistico scritto. Analisi di due micro-corpora in lingua italiana e francese ». Master's thesis, Alma Mater Studiorum - Università di Bologna, 2013. http://amslaurea.unibo.it/5895/.
Texte intégralSengers, Arnaud. « Schémas semi-implicites et de diffusion-redistanciation pour la dynamique des globules rouges ». Thesis, Université Grenoble Alpes (ComUE), 2019. http://www.theses.fr/2019GREAM032/document.
Texte intégralIn this work, we propose new semi-implicit schemes to improve the numerical simulations of the motion of an immersed red blood cell. We consider the levelset method where the interface is described as the 0 isoline of an auxiliary function and the fluid-structure coupling is done by adding a source term in the fluid equation.The idea of these semi-implicit scheme is to predict the position and the shape of the structure through a heat equation and to use this prediction to improve the accuracy of the source term in the fluid equation. This type of semi-implicit scheme has firstly been implemented in the case of a multiphase flow and a immersed elastic membrane and has shown better temporal stability than an explicit scheme, resulting in an improved global efficiency.In order extend this method to the case of a red blood cell, we propose an algorithm to compute the Willmore flow in dimenson 2 and 3. In the spirit of the diffusion generated motion methods, our method simulate a non linear four order flow by only solving heat equations. To ensure the conservation of the volume and area of the the vesicle, we add to the method a correction step that slightly moves the interface so that we recover the constraints.Combnation of these two steps allows to compute the behavior of a red blood cell left at rest. We validate this method by obtaining the convergence to an equilibrium shape in both 2D and 3D. Finaly we introduce a semi-implicit scheme in the case of a red blood cell that shows how we can use this method as a prediction in the complete coupling model
Ciuca, Diana M. « Reducing Subjectivity : Meditation and Implicit Bias ». Scholarship @ Claremont, 2015. http://scholarship.claremont.edu/cmc_theses/1213.
Texte intégralMatsangos, Apostolos. « La conversation ordinaire : son lexique et ses implicites ». Aix-Marseille 1, 2003. http://www.theses.fr/2003AIX10049.
Texte intégralAyelén, Biscarra María, Karina Conde et Mariana Cremonte. « Trends in the study of implicit alcohol related cognition ». Pontificia Universidad Católica del Perú, 2017. http://repositorio.pucp.edu.pe/index/handle/123456789/101166.
Texte intégralDe acuerdo al modelo del doble procesamiento, la interacción entre cogniciones explícitas (controladas) e implícitas (automáticas) permitiría entender acciones irracionales, tales como los comportamientos adictivos. Este modelo ha ganado mucha popularidad entre quienes investigan el consumo de sustancias, produciéndose un crecimiento exponencial de las publicaciones sobre Cogniciones Implícitas hacia el Alcohol (CIA). Por ello, el objetivo de este artículo es describir las tendencias en el estudio de la CIA mediante un análisis bibliométrico y de contenido de los estudios empíricos publicados hasta mayo del 2013. A lo largo de este trabajo se caracterizan las temáticas de las CIA encontradas y se identifican los países, autores y revistas más productivas, las publicaciones más citadas y los métodos más utilizados.
De acordo com o modelo de processamento dual, a interação entre cognições explícitas (controladas) e implícitas (automáticas) audaría as ações irracionais, tais como os comportamentos aditivos. Este modelo ganhou muita popularidade entre os pesquisadores do consumo de substâncias, produzindo um crescimento exponencial de as publicações sobre cognições implícitas relacionadas com o álcool (CIA). Portanto, o objetivo deste artigo é descrever as tendências no estudo da CIA através de um análise bibliométrico e de conteúdo de estudos empíricos publicados até maio de 2013. Ao longo deste artigo são caracterizados os temas da CIA encontrados e são identificados países, autores e revistas mais produtivos, as publicações mais citadas e os métodos mais utilizados.
Vigani, G. « Regolazione dei meccanismi di acquisizione e di omeostasi del ferro in piante a strategia I : analisi biochimica e molecolare degli aspetti metabolici implicati ». Doctoral thesis, Università degli Studi di Milano, 2008. http://hdl.handle.net/2434/49106.
Texte intégralSiu, Mei-ling Jacqueline. « Would students' causal attributions and implicit theories of intelligence be mediated by teachers' feedback on their performance ». Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2000. http://hub.hku.hk/bib/B29791261.
Texte intégralMACCA, Emanuele. « Shock-Capturing methods : Well-Balanced Approximate Taylor and Semi-Implicit schemes ». Doctoral thesis, Università degli Studi di Palermo, 2022. https://hdl.handle.net/10447/556029.
Texte intégralBoaretto, Francesca. « Individuazione e caratterizzazione di geni implicati nelle paraparesi spastiche ereditarie ». Doctoral thesis, Università degli studi di Padova, 2009. http://hdl.handle.net/11577/3426096.
Texte intégralLe paraparesi spastiche ereditarie (HSP) sono un gruppo di disordini neurodegenerativi caratterizzate da progressiva spasticità e debolezza degli arti inferiori. Nelle forme complicate si possono osservare altre manifestazioni neurologiche o non neurologiche associate alla spasticità. I dati presenti in letteratura sulle HSP ad oggi riportano 39 loci mappati su diversi cromosomi e sono descritte sia forme a trasmissione autosomica dominante, che recessiva, che X-linked. Nei pazienti affetti da HSP sono state trovate mutazioni in 18 diversi geni coinvolti nel trafficking intracellulare, nel trasporto assonale e in anomalie nel funzionamento dei mitocondri. In un tale scenario in cui la quantità di informazioni raccolte sono molte, non è facile scegliere quale strada intraprendere per determinare da quale forma di HSP un paziente risulti affetto, né tanto meno accrescere, con dati di rilievo, le conoscenze generali. In questi tre anni sono stati studiati molti casi isolati ed alcuni casi familiari che presentavano un fenotipo di HSP complicata, con l’intenzione di individuare il locus e/o il gene coinvolto nei diversi pazienti. In primo luogo è stato analizzato un campione di 10 soggetti con uno grave fenotipo caratterizzato da spasticità agli arti inferiori, idrocefalo, ritardo mentale e pollici addotti (sindrome di CRASH). In questi individui, mediante sequenziamento diretto sono state studiate le regioni codificanti del gene L1CAM, associato alla sindrome di CRASH. Cinque nuove mutazioni sono state trovate in altrettanti pazienti non correlati, più una descritta in precedenza. La maggior parte delle mutazioni identificate in questo studio sono localizzate nella porzione extracellulare della proteina matura che svolge un ruolo primario nelle iterazioni omo- ed etero-filiche proteina-proteina. Nei pazienti privi di mutazioni puntiformi nelle regioni codificanti è stata condotta un’analisi di duplicazione del gene L1CAM mediante differenti metodiche (Multiplex Ligation-dependent Probe Amplification e Real Time-PCR). Nessuno degli individui analizzati si è dimostrato essere portatore di tali riarrangiamenti. Nella seconda parte di questo lavoro si è proceduto con un’indagine molecolare su 3 famiglie affette da paraparesi spastica complicata a trasmissione autosomica recessiva. Nella prima famiglia (Fam. 1) con HSP associata a deficit cognitivo è stata eseguita un’indagine preliminare di esclusione dei loci coinvolti nella HSP. Sono stati valutati geni candidati nella regione di linkage più promettente, ma non sono state trovate mutazioni causative. Ulteriori analisi saranno necessarie per comprendere quale forma di paraparesi spastica sia responsabile della patologia negli affetti di questa famiglia. Nella seconda famiglia (Fam. 2) a cui è stata diagnosticata, in due fratelli, una forma di HSP complicata da sospetto assottigliamento del corpo calloso si è proceduto con la caratterizzazione della regione 15q21.1 dove mappa il geneSPG11 tra i marcatori D15S994 e D15S978. Data la condivisione del genotipo negli individui affetti si è proceduto con il sequenziamento del gene SPG11. Apparentemente i due fratelli affetti risultavano omozigoti per un’inserzione di tre paia di basi a livello del sito di splicing dell’esone 39 (c.7000-3_-4insAGG; NM_025137). Ulteriori analisi hanno dimostrato che sono invece portatori di due mutazioni diverse, la mutazione descritta inizialmente ed una delezione di 2,76 kb tra gli introni 36 e 39 (c.6754_7152del1397). Per il terzo nucleo familiare, 11 fratelli nati da genitori consanguinei (Fam. 3), in passato erano già state eseguite delle analisi (genome-wide search e fine mapping) per cui era stata individuata una regione di omozigosità sul cromosoma 21. Solo gli individui affetti, tre fratelli con HSP complicata da un lieve ritardo mentale e neuropatia periferica, in questa regione condividevano l’assetto genotipico. L’analisi dei geni candidati ha portato all’individuazione di una sostituzione di un singolo nucleotide (T?C) sul 3’UTR del gene STCH (Heat shock protein 70 family member 13) localizzato in posizione 21q11.2 che cosegrega con la patologia e non risulta presente in 300 individui sani analizzati. Uno studio funzionale preliminare ha permesso di valutare gli effetti di questa variazione nella linea cellulare murina motoneurone-simile NSC34. Usando un vettore modificato esprimente il gene della luciferasi fuso con il 3’UTR del gene STCH si è potuto osservare una differente attività trascrizionale evidenziata come minor attività della luciferasi in presenza dell’allele mutato. Tenuto conto che tale sostituzione nucleotidica potrebbe attivare un sito target di appaiamento criptico per un microRNA è stata eseguita un’analisi in silico ed in vitro per selezionare i microRNA che potrebbero interagire con il trascritto di tale gene. Al momento appaiono candidati i miRNA: hsa-miR-134, hsa-miR-194, hsa-miR-637, hsa-miR-758 e hsa-miR-924.
Kaloč, Jiří. « Hodnocení vlivu znečištění ovzduší na cenu bydlení v Praze ». Master's thesis, Vysoká škola ekonomická v Praze, 2011. http://www.nusl.cz/ntk/nusl-149893.
Texte intégralRenaudeau, Julien. « Continuous formulation of implicit structural modeling discretized with mesh reduction methods ». Thesis, Université de Lorraine, 2019. http://www.theses.fr/2019LORR0075/document.
Texte intégralImplicit structural modeling consists in approximating geological structures into a numerical model for visualization, estimations, and predictions. It uses numerical data interpreted from the field to construct a volumetric function on the domain of study that represents the geology. The function must fit the observations, interpolate in between, and extrapolate where data are missing while honoring the geological concepts. Current methods support this interpolation either with the data themselves or using a mesh. Then, the modeling problem is posed depending on these discretizations: performing a dual kriging between data points or defining a roughness criterion on the mesh elements. In this thesis, we propose a continuous formulation of implicit structural modeling as a minimization of a sum of generic functionals. The data constraints are enforced by discrete functionals, and the interpolation is controlled by continuous functionals. This approach enables to (i) develop links between the existing methods, (ii) suggest new discretizations of the same modeling problem, and (iii) modify the minimization problem to fit specific geological issues without any dependency on the discretization. Another focus of this thesis is the efficient handling of discontinuities, such as faults and unconformities. Existing methods require either to define volumetric zones with complex geometries, or to mesh volumes with conformal elements to the discontinuity surfaces. We show, by investigating local meshless functions and mesh reduction concepts, that it is possible to reduce the constraints related to the discontinuities while performing the interpolation. Two discretizations of the minimization problem are then suggested: one using the moving least squares functions with optic criteria to handle discontinuities, and the other using the finite element method functions with the concept of ghost nodes for the discontinuities. A sensitivity analysis and a comparison study of both methods are performed in 2D, with some examples in 3D. The developed methods in this thesis prove to have a great impact on computational efficiency and on handling complex geological settings. For instance, it is shown that the minimization problem provides the means to manage under-sampled fold structures and thickness variations in the layers. Other applications are also presented such as salt envelope surface modeling and mechanical restoration
SILVA, FILHO Paulo de Barros e. « Static analysis of implicit control flow : resolving Java reflection and Android intents ». Universidade Federal de Pernambuco, 2016. https://repositorio.ufpe.br/handle/123456789/17637.
Texte intégralMade available in DSpace on 2016-08-08T12:21:17Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) 2016-pbsf-msc.pdf: 596422 bytes, checksum: be9375166fe6e850180863e08b7997d8 (MD5) Previous issue date: 2016-03-04
FACEPE
Implicit or indirect control flow allows a transfer of control to a procedure without having to call the procedure explicitly in the program. Implicit control flow is a staple design pattern that adds flexibility to system design. However, it is challenging for a static analysis to compute or verify properties about a system that uses implicit control flow. When a static analysis encounters a procedure call, the analysis usually approximates the call’s behavior by a summary, which conservatively generalizes the effects of any target of the call. In previous work, a static analysis that verifies security properties was developed for Android apps, but failed to achieve high precision in the presence of implicit control flow. This work presents static analyses for two types of implicit control flow that frequently appear in Android apps: Java reflection and Android intents. In our analyses, the summary of a method is the method’s signature. Our analyses help to resolve where control flows and what data is passed. This information improves the precision of downstream analyses, which no longer need to make conservative assumptions about implicit control flow, while maintaining the soundness. We have implemented our techniques for Java. We enhanced an existing security analysis with a more precise treatment of reflection and intents. In a case study involving ten real-world Android apps that use both intents and reflection, the precision of the security analysis was increased on average by two orders of magnitude. The precision of two other downstream analyses was also improved.
Fluxo de controle implícito, ou indireto, permite que haja uma transferência de controle para um procedimento sem que esse procedimento seja invocado de forma explícita pelo programa. Fluxo de controle implícito é um padrão de projeto comum e bastante utilizado na prática, que adiciona flexibilidade no design de um sistema. Porém, é um desafio para uma análise estática ter que computar e verificar propriedades sobre um sistema que usa fluxos de controle implícito. Quando uma análise estática encontra uma chamada a uma procedimento, geralmente a análise aproxima o comportamento da chamada de acordo com o sumário do método, generalizando de uma forma conservadora os efeitos da chamada ao procedimento. Em trabalho anterior, uma análise estática de segurança foi desenvolvida para aplicações Android, mas falhou em obter uma alta precisão na presença de fluxos de controle implícito. Este trabalho apresenta uma análise estática para dois tipos de fluxos de controle implícito que aparecem frequentemente em aplicações Android: Java reflection e Android intents. Nas nossas análises, o sumário de um método é a assinatura do método. Nossas análises ajudam a descobrir para onde o controle flui e que dados estão sendo passados. Essa informação melhora a precisão de outras análises estáticas, que não precisam mais tomar medidas conservadoras na presença de fluxo de controle implícito. Nós implementamos a nossa técnica em Java. Nós melhoramos uma análise de segurança existente através de um tratamento mais preciso em casos de reflection e intents. Em um estudo de caso envolvendo dez aplicações Android reais que usam reflection e intents, a precisão da análise de segurança aumentou em duas ordens de magnitude. A precisão de outras duas análises estáticas também foi melhorada.
Gamber, Edward. « Empirical identification of the risk shifting aspect of labor market implicit contracts ». Diss., Virginia Polytechnic Institute and State University, 1986. http://hdl.handle.net/10919/50019.
Texte intégralPh. D.
incomplete_metadata
Alahmadi, Dimah. « Recommender systems based on online social networks : an Implicit Social Trust And Sentiment analysis approach ». Thesis, University of Manchester, 2017. https://www.research.manchester.ac.uk/portal/en/theses/recommender-systems-based-on-online-social-networks-an-implicit-social-trust-and-sentiment-analysis-approach(ac03f7e5-4fc0-4c4a-bace-82188823eb84).html.
Texte intégralMorgan, William Edmund. « A fully implicit stochastic model for hydraulic fracturing based on the discontinuous deformation analysis ». Diss., Georgia Institute of Technology, 2014. http://hdl.handle.net/1853/53073.
Texte intégralGriffay, Gérard. « Modélisation thermique globale du procédé de cokéfaction. Résolution numérique par différences finies implicites bidimensionnelles ». Aix-Marseille 1, 1988. http://www.theses.fr/1988AIX11145.
Texte intégralHietala, Jonas. « A Comparison of Katz-eig and Link-analysis for Implicit Feedback Recommender Systems ». Thesis, Linköpings universitet, Artificiell intelligens och integrerad datorsystem, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-119169.
Texte intégralRekommendationer blir viktigare och viktigare i en värld där det finns ett överflöd av möjliga val och där e-handel och innehållsleverantörer använder rekommendationer flitigt. Rekommendationer baserad på explicit återkoppling, där användare ger återkoppling med till exempel betyg, har varit ett populärt forskningsområde. Rekommendationssystem med implicit återkoppling som passivt samlar in information om användarna är ett område som blir mer och mer intressant. Det gör det möjligt att generera rekommendationer endast baserat på en användares interaktionshistoria utan krav på explicit input från användarna, vilket är kommersiellt användbart för en rad olika versamheter. Den här uppsatsen bygger ett rekommendationssystem med implicit återkoppling med rekommendationsalgoritmerna katz-eig och link-analysis och analyserar och implementerar optimeringsstrategier för inlärning av optimerade parameterar för olika dataset. Systemet lägger grunden för Comordo Technologies kommersiella rekommendationssystem.
Haynes, Cody D. « Examining the Relationship Between Functions of Self-Directed Violence and the Suicide Implicit Association Test ». TopSCHOLAR®, 2015. http://digitalcommons.wku.edu/theses/1544.
Texte intégralOnay, Oguz Kaan. « Approximate Factorization Using Acdi Method On Hybrid Grids And Parallelization Of The Scheme ». Master's thesis, METU, 2013. http://etd.lib.metu.edu.tr/upload/12615589/index.pdf.
Texte intégralTriquet, Frédéric Chaillou Christophe Meseure Philippe. « Habillage de modèles mécaniques facettisation temps réel de surfaces implicites / ». [S.l.] : [s.n.], 2001. http://www.univ-lille1.fr/bustl-grisemine/pdf/extheses/50376-2001-255-256.pdf.
Texte intégralRoy, Thomas. « Time-Stepping Methods in Cardiac Electrophysiology ». Thesis, Université d'Ottawa / University of Ottawa, 2015. http://hdl.handle.net/10393/32626.
Texte intégralMcNelis, Kathleen. « The underlying dimensionality of people's implicit job theories across cognitive sets : implications for comparable worth / ». The Ohio State University, 1985. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487262513406512.
Texte intégralChristie, Michael Alexander. « Multiple memory systems : contributions of human and animal serial reaction time tasks ». Thesis, University of Canterbury. Psychology, 2001. http://hdl.handle.net/10092/1379.
Texte intégralTécourt, Jean-Pierre. « Sur le calcul effectif de la topologie de courbes et surfaces implicites ». Nice, 2005. http://www.theses.fr/2005NICE4057.
Texte intégralIn this thesis, we got interested into the effective computation of the topology of implicit curves and surfaces. One can distinguish four different works: In a first part, we present an algorithm for computing the topology of a curve of R3 defined as the intersection of two implicit surfaces. More precisely, we compute a graph of points isotopic to the original curve. Then we detail a sweeping algorithm to compute an arrangement of quadrics based on a ``trapezoidal'' decomposition of the sweeping plane. The third part is devoted to an algorithm of triangulation of algebraic surfaces. This algorithm based on the computation of a Whitney stratification of the surface is the first one providing an isotopic meshing of the original surface even for singular surfaces. Finally, we study a family of parametrized surfaces, the Steiner surfaces, providing answers to the problems of effective classification, implicitization and search of preimages
Fournier, Marc. « Nouvelles représentations volumiques implicites appliquées au traitement de maillages ». Université Louis Pasteur (Strasbourg) (1971-2008), 2008. https://publication-theses.unistra.fr/restreint/theses_doctorat/2008/FOURNIER_Marc_2008.pdf.
Texte intégralRaw data produced by 3D scanners need to be processed to reconstruct the surface of scanned objects. Mesh filtering to reduce acquisition noise introduced by the scanner and mesh fusion to integrate multiple scans of an object into a complete description of the object are two important steps in the reconstruction process of a scanned object. The scalar field distance transform (SDT) of a 3D mesh is a volumetric representation of the mesh which implicitly describes the surface of a scanned object. This alternative representation is used in the literature to perform many mesh operations such as mesh fusion. This thesis introduces new implicit representations based on the SDT to improve the precision of this alternative representation. A new vector field distance transform (VDT) is proposed and triangulation algorithms used to reconstruct the SDT resulting mesh are adapted to the new VDT. The mesh fusion method applied to the SDT is also adapted to the VDT to improve the results quality of this mesh operation using the distance transform alternative representations. Two adaptive filtering methods applied on the VDT are designed to reduce acquisition noise while preserving the meshes geometric features. A new reversible distance transform (RDT) is also proposed to preserve the initial meshes topology when processing meshes in the implicit distance transform domain. Mesh filtering and mesh fusion applications designed for the VDT are adapted to the RDT
Balez, Ralph. « Pygmalion au laboratoire : contribution à la modélisation de l'influence implicite des attentes théoriques de l'expérimentateur sur les participants ». Paris 10, 2007. http://www.theses.fr/2007PA100193.
Texte intégralThe researcher's expectations, and his/her explicit and implicit behaviour combine to form a certain definition of the experimental situation. The researcher may transmit his/her theoretical expectations to the subjects of his/her research during the course of an experiment. The subjects may be susceptible to reconstructing these perceived demands and behave in ways that confirm them. This phenomenon is currently referred to as either confirmation bias, researcher's effect, or the "Pygmalion effect". This thesis is a critical presentation of the theories and studies developed by some social psychologists. We focus on the relationship established between the researcher and the participant. We analyze the experimental situation through the study of its three components: context, topic and researcher (Lemaine, 1975). We subsequently use three kinds of basic precautions to limit the manner in which this artefact could be integrated into the research protocol. The investigation before/after, and the initial and formal steps method are explained and discussed here. These methods apply to all experimental situations that involve interaction between a researcher and each participant. The various elements are synthesized in an operating model called "EMIR", which proposes to use a meta-experiment in order to study "the researcher's effect", not as a bias but as a separate psychological phenomenon. Next, we present five empirical studies of this phenomenon. We conclude this thesis by questioning the psychosocial role of the researcher in the experimental situation. To approach this question we rely on the contributions of the meta-experiment problematics
Triquet, Frédéric. « Habillage de modèles mécaniques : facettisation temps réel de surfaces implicites ». Lille 1, 2001. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2001/50376-2001-255-256.pdf.
Texte intégralZhang, Hong. « Efficient Time Stepping Methods and Sensitivity Analysis for Large Scale Systems of Differential Equations ». Diss., Virginia Tech, 2014. http://hdl.handle.net/10919/50492.
Texte intégralPh. D.
Salman, Lubna Hussein. « L'implicite dans "A la recherche du temps perdu" : étude sur un aspect du discours proustien ». Phd thesis, Université de Bourgogne, 2013. http://tel.archives-ouvertes.fr/tel-00984982.
Texte intégralLindén, David. « Exploration of implicit weights in composite indicators : The case of resilience assessment of countries’ electricity supply ». Thesis, KTH, Hållbar utveckling, miljövetenskap och teknik, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-239687.
Texte intégralKompositindikatorer (eller index) är populära verktyg som ofta används vid rankning och benchmarking av olika alternativ utifrån komplexa koncept. Syftet med att konstruera ett index är, bland annat, att förenkla och sammanfatta informationen från ett flertal underliggande indikatorer. För att undvika missvisande resultat är det därmed viktigt att konstruera index på ett transparent och representativt sätt. Med detta i åtanke, avser denna uppsats att stödja konstruktionen av Electricity Supply Resilience Index (ESRI) – vilket är ett nyutvecklat energiindex, framtaget inom Future Resilient Systems (FRS) programmet på Singapore-ETH Centre (SEC). Detta görs genom att studera ett vanligt fenomen (s.k. implicita vikter) som gör sig gällande i ett av konstruktionsstegen, då de underliggande indikatorerna ska viktas och aggregeras till ett index. I detta steg tilldelas vanligtvis vikter till de enskilda indikatorerna som ska spegla deras relativa betydelse i indexet. Det har dock nyligen visats att datastrukturen och korrelationer mellan indikatorerna har en avgörande påverkan på varje indikators betydelse i indexet, vilket ibland kan vara helt oberoende av vikten de tilldelats. Detta fenomen kallas ibland för implicita vikter, då de ej är explicit tilldelade utan uppkommer från datastrukturen. Syftet med denna uppsatts är således att undersöka de implicita vikterna i aggregationen av ESRI. För detta ändamål sker en tillämpning och utökning av en nyutvecklad variansbaserad känslighetsanalys, baserad på olinjär regression, för bedömning av implicita vikter i kompositindikatorer. Resultaten från denna analys visar att statistiska beroenden mellan ESRIs underliggande indikatorer har direkt inverkan på varje indikators betydelse i indexet. Detta medför att vikterna ej överensstämmer med indikatorernas betydelse. Följaktligen utförs en vikt-optimering, för att balansera bidraget från varje indikator. Utifrån resultaten av denna vikt-optimering kan det konstateras att det inte är tänkbart att balansera bidraget från varje indikator genom att justera vikterna. Om så görs, skulle det ske på bekostnad av att kunna representera varje indikator på ett effektivt sätt. Därmed kan slutsatsen dras att det finns tydliga beroenden mellan indikatorer och att deras korrelationerna måste tas i hänsyn för att uppnå en balanserad och representativ indexkonstruktion. Utifrån dessa insikter presenteras tre rekommendationer för att förbättra den statistiska representationen och konceptuella samstämmigheten i ESRI. Dessa innefattar: (1) Undvik att aggregera en negativt korrelerad indikator - behåll den vid sidan av, (2) ta bort en konceptuellt problematisk indikator - revidera dess konstruktion eller konceptuella bidrag, och (3) sammanställ tre kollinära och konceptuellt överlappande indikatorer i ett sub-index, före aggregering - begränsa deras överrepresentation. När dessa rekommendationer implementerats står det klart att den reviderade ESRI påvisar en förbättrad konceptuell och statistisks samstämmighet. Därmed kan det fastställas att det analytiska verktyg som presenteras i denna uppsats kan bidra till utvecklingen av representativa index.
Jakobsson, Ina, et Emmalinn Knutsson. « Explicit or Implicit Grammar ? - Grammar Teaching Approaches in Three English 5 Textbooks ». Thesis, Malmö universitet, Fakulteten för lärande och samhälle (LS), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:mau:diva-34559.
Texte intégralLeprovost, Damien. « Découverte et analyse des communautés implicites par une approche sémantique en ligne : l'outil WebTribe ». Phd thesis, Université de Bourgogne, 2012. http://tel.archives-ouvertes.fr/tel-00866489.
Texte intégralKoobus, Bruno. « Algorithmes multigrille et algorithmes implicites pour les écoulements compressibles turbulents ». Nice, 1994. http://www.theses.fr/1994NICE4808.
Texte intégralTimesli, Abdelaziz. « Simulation du soudage par friction et malaxage à l'aide de méthodes sans maillage ». Thesis, Université de Lorraine, 2013. http://www.theses.fr/2013LORR0111/document.
Texte intégralFriction stir welding is a recent process that has been developed by the British Welding Institute TWI "The Welding Institute" since 1990s. This process, generally used in aerospace, does not need additional material and allows mainly joining plates of aluminum alloys which are difficult to weld by the classical welding processes. It consists in mixing the base material using a tool comprising a pin and a shoulder which heats the plates to be welded by friction. The modeling of this process is very complex since it involves the coupling between mechanical, thermal and metallurgical phenomena. The mixing in welding process FSW is difficult to simulate using finite element method in lagrangian framework since the area near the welding tool is submitted to large deformations. So remeshing procedure is often required. However, remeshing can be very expensive and difficult to perform for three-dimensional problems. Moreover, after remeshing step, it is necessary to interpolate the fields (velocities, constraints ...) corresponding to the current solution, which may lead to additional errors in the calculation (called numerical diffusion). We propose in this work models based on meshless methods called "Smoothed Particle Hydrodynamics SPH" and Moving Least Square method for the simulation of this welding process. These models are formulated in lagrangian framework and use the strong form of partial differential equations. The first model based on SPH considers the welding zone as a weakly compressible non-newtonian fluid and whose viscosity depends on the temperature. This model is proposed for the numerical simulation of thermo-mechanical behavior of a welded material by FSW process. The second model is a first order implicit iterative algorithm proposed to simulate material mixing in the case a visco-plastic behavior using the MLS method and the collocation technique. The third model is a high order implicit algorithm based on the coupling of MLS method and Asymptotic Numerical Method (ANM). This algorithm allows reducing the computation time by comparison with the first order implicit iterative algorithm. The validation of these three proposed models was done by the industrial code Fluent
Moussaoui, Kamal. « Implicites idéologiques des manuels de français au Maroc : 1979-1993 ». Rouen, 1996. http://www.theses.fr/1996ROUEL264.
Texte intégralStarting from several elements found in the proposed texts for the first cycle moroccan pupils, the reconstitution of the didactic and sociological aims shed light on some latent preoccupations. In this thesis, we have shown through many significant examples the values that the french textbooks want to install in those they are adressed to. The fact to make the pupil ingrained in his sociocultural environment does not allow a real knowledge of the civilisation of the target language and consequently contributes to the ignorance of oneself and that of the other
Prévost, Stéphanie. « Modélisation implicite et visualisation multi-échelle par squelette à union de boules et graphe de recouvrement ». Reims, 2001. http://www.theses.fr/2001REIMS014.
Texte intégralPechoux, Romain. « Analyse de la complexité des programmes par interprétation sémantique ». Phd thesis, Institut National Polytechnique de Lorraine - INPL, 2007. http://tel.archives-ouvertes.fr/tel-00321917.
Texte intégralAprès avoir rappelé brièvement la notion de quasi-interprétation ainsi que les différentes propriétés et caractérisations qui en découlent, nous présentons les différentes avancées obtenues dans l'étude de cet outil : nous étudions le problème de la synthèse qui consiste à trouver une quasi-interprétation pour un programme donné, puis, nous abordons la question de la modularité des quasi-interprétations. La modularité permet de diminuer la complexité de la procédure de synthèse et de capturer un plus grand nombre d'algorithmes. Après avoir mentionné différentes extensions des quasi-interprétations à des langages de programmation réactif, bytecode ou d'ordre supérieur, nous introduisons la sup-interprétation. Cette notion généralise la quasi-interprétation et est utilisée dans des critères de contrôle des ressources afin d'étudier la complexité d'un plus grand nombre d'algorithmes dont des algorithmes sur des données infinies ou des algorithmes de type diviser pour régner. Nous combinons cette notion à différents critères de terminaison comme les ordres RPO, les paires de dépendance ou le size-change principle et nous la comparons à la notion de quasi-interprétation. En outre, après avoir caractérisé des petites classes de complexité parallèles, nous donnons quelques heuristiques permettant de synthétiser des sup-interprétations sans la propriété sous-terme, c'est à dire des sup-interprétations qui ne sont pas des quasi-interprétations. Enfin, dans un dernier chapitre, nous adaptons les sup-interprétations à des langages orientés-objet, obtenant ainsi différents critères pour contrôler les ressources d'un programme objet et de ses méthodes.