Thematische Bibliographien / Atomicita / Dissertationen
Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Atomicita.

Dissertationen zum Thema „Atomicita“

Autor: Grafiati
Veröffentlicht am 28. Juni 2021
Zuletzt aktualisiert am 29. Juli 2025

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit Top-50 Dissertationen für die Forschung zum Thema "Atomicita" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Sehen Sie die Dissertationen für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.

1

Harmim, Dominik. "Pokročilá statická analýza atomičnosti v paralelních programech v prostředí Facebook Infer." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2021. http://www.nusl.cz/ntk/nusl-445592.

Der volle Inhalt der Quelle
Annotation:
Nástroj Atomer je statický analyzátor založený na myšlence, že pokud jsou některé sekvence funkcí vícevláknového programu prováděny v některých bězích pod zámky, je pravděpodobně zamýšleno, že mají být vždy provedeny atomicky. Analyzátor Atomer se tudíž snaží takové sekvence hledat a poté zjišťovat, pro které z nich může být v některých jiných bězích programu porušena atomicita. Autor této diplomové práce ve své bakalářské práci navrhl a implementoval první verzi nástroje Atomer jako zásuvný modul aplikačního rámce Facebook Infer. V této diplomové práci je navržena nová a výrazně vylepšená ver
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Sifakis, Emmanuel. "Programmation efficace et sécurisé d'applications à mémoire partagée." Phd thesis, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00823054.

Der volle Inhalt der Quelle
Annotation:
L'utilisation massive des plateformes multi-cœurs et multi-processeurs a pour effet de favoriser la programmation parallèle à mémoire partagée. Néanmoins, exploiter efficacement et de manière correcte le parallélisme sur ces plateformes reste un problème de recherche ouvert. De plus, leur modèle d'exécution sous-jacent, et notamment les modèles de mémoire "relâchés", posent de nouveaux défis pour les outils d'analyse statiques et dynamiques. Dans cette thèse nous abordons deux aspects importants dans le cadre de la programmation sur plateformes multi-cœurs et multi-processeurs: l'optimisation
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

Wohlmuth, Kata. "Atomicity and distributive reference." Doctoral thesis, Universitat Pompeu Fabra, 2019. http://hdl.handle.net/10803/667116.

Der volle Inhalt der Quelle
Annotation:
Mereological models are often used to account for distributive reference, which arises when the denotation of a linguistic expression holds of certain parts of the plurality to which it is applied. It is general praxis in the theory of distributivity to employ structural atoms, which are entities that lack proper parts, to represent the base entities of which pluralities are formed. This thesis offers a revision of the notion of atom used in the theory of distributivity and argues in favor of employing relative atoms, which are entities that are atomic only with respect to a certain property.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

Sousa, Diogo Miguel Gaspar de. "Preventing atomicity violations with contracts." Master's thesis, Faculdade de Ciências e Tecnologia, 2013. http://hdl.handle.net/10362/11471.

Der volle Inhalt der Quelle
Annotation:
Concurrent programming is a difficult and error-prone task because the programmer must reason about multiple threads of execution and their possible interleavings. A concurrent program must synchronize the concurrent accesses to shared memory regions, but this is not enough to prevent all anomalies that can arise in a concurrent setting. The programmer can misidentify the scope of the regions of code that need to be atomic, resulting in atomicity violations and failing to ensure the correct behavior of the program. Executing a sequence of atomic operations may lead to incorrect results when
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Hasenauer, Richard Erwin. "Almost Dedekind Domains and Atomicity." Diss., North Dakota State University, 2012. https://hdl.handle.net/10365/26692.

Der volle Inhalt der Quelle
Annotation:
The objective of this dissertation was to determine the class of domains that are both almost Dedekind and atomic. To investigate this question we constructed a global object called the norm, and used it to determine properties that a domain must have to be both atomic and almost Dedekind. Additionally we use topological notions on the spectrum of a domain to determine atomicity. We state some theorems with regard to ACCP and class groups. The lemmas and theorems in this dissertation answer in part the objective. We conclude with a chapter of future study that aims to approach a complete answe
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Ye, Chunyang. "Atomicity analysis for service composition /." View abstract or full-text, 2008. http://library.ust.hk/cgi/db/thesis.pl?CSED%202008%20YE.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Trentham, Stacy Michelle. "Atomicity in Rings with Zero Divisors." Diss., North Dakota State University, 2011. https://hdl.handle.net/10365/28905.

Der volle Inhalt der Quelle
Annotation:
In this dissertation, we examine atomicity in rings with zero divisions. We begin by examining the relationship between a ring’s level of atomicity and the highest level of irreducibility shared by the ring’s irreducible elements. Later, we chose one of the higher forms of atomicity and identify ways of building large classes of examples of rings that rise to this level of atomicity but no higher. Characteristics of the various types of irreducible elements will also be examined. Next, we extend our view to include polynomial extensions of rings with zero divisors. In particular, we focus on p
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Mohd, Nor Rizal. "ROBUST LOW ATOMICITY PEER-TO-PEER SYSTEMS." Kent State University / OhioLINK, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=kent1340903594.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Goodell, Brandon G. "Assessing Non-Atomicity in Groups of Divisibility." Thesis, Clemson University, 2017. http://pqdtopen.proquest.com/#viewpdf?dispub=10275474.

Der volle Inhalt der Quelle
Annotation:
<p> An integral domain <i>D</i> is <i>atomic</i> if every non-zero non-unit is a product of irreducibles. More generally, <i>D </i> is <i>quasi-atomic</i> if every non-zero non-unit divides some product of atoms. Arbitrary integral domains, however, cannot be assumed to be quasi-atomic in general; factorization in a non-atomic <i> D</i> can be subtle. We outline a novel method of qualifying the quasi-atomicity of <i>D</i> by studying ascending filtrations of localizations of <i> D</i> and the associated groups of divisibility. This approach yields structure theorems, cochain complexes, and coh
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Bryant, H. Victoria. "Modeling atomicity and isolation in workflow systems." Laramie, Wyo. : University of Wyoming, 2007. http://proquest.umi.com/pqdweb?did=1400971431&sid=1&Fmt=2&clientId=18949&RQT=309&VName=PQD.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
11

Li, Hongjiang. "Classifying atomicity violation warnings using machine learning." Laramie, Wyo. : University of Wyoming, 2008. http://proquest.umi.com/pqdweb?did=1654502111&sid=1&Fmt=2&clientId=18949&RQT=309&VName=PQD.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
12

Lo, Yuet Mei. "Business process atomicity analysis supporting late task property bindings /." View abstract or full-text, 2005. http://library.ust.hk/cgi/db/thesis.pl?COMP%202005%20LO.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
13

Manenti, Sara <1991&gt. "La bomba atomica nell'arte." Master's Degree Thesis, Università Ca' Foscari Venezia, 2016. http://hdl.handle.net/10579/8916.

Der volle Inhalt der Quelle
Annotation:
Ho deciso di focalizzare la mia tesi sul ruolo della bomba atomica nelle opere successive alla Seconda Guerra Mondiale, dopo il bombardamento delle città di Hiroshima e Nagasaki. Ho analizzato alcune opere artistiche in diversi ambiti: pittura, scultura, architettura, cinema, fotografia e manga; focalizzandomi sui fini ultimi degli artisti e sulle varie tecniche utilizzate dagli stessi per esprimere la propria creatività, il proprio essere e il proprio punto di vista sull'argomento.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
14

Pierce, Kenneth George. "Enhancing the usability of rely-guarantee conditions for atomicity refinement." Thesis, University of Newcastle Upon Tyne, 2009. http://hdl.handle.net/10443/686.

Der volle Inhalt der Quelle
Annotation:
Formal methods are a useful tool for increasing the confidence in the correctness of computer programs with respect to their specifications. Formal methods allow designers to model specifications and these formal models can then be reasoned about in a rigourous way. Formal methods for sequential processes are well-understood, however formal methods for concurrent programs are more difficult, because of the interference which may arise when programs run concurrently. Rely-guarantee reasoning is a well-established formal method for modelling concurrent programs. Rely-guarantee conditions offer a
APA, Harvard, Vancouver, ISO und andere Zitierweisen
15

Salehi, Fathabadi Asieh. "An approach to atomicity decomposition in the Event-B formal method." Thesis, University of Southampton, 2012. https://eprints.soton.ac.uk/340357/.

Der volle Inhalt der Quelle
Annotation:
Formal methods are mathematically based techniques and tools to model software and hardware systems. Event-B is a formal method that emerged over the last decade as an evolution of classical B. Event-B is supported by an open and extensible Eclipse-based tool-set, called Rodin. Rodin provides an integrated environment supporting the whole process of multi-stage modelling and handling of the associated proofs. Rodin extensibility is exploited by developing a number of plug-ins to extend the main platform capabilities. During recent years, Event-B and Rodin have been used to model some real-worl
APA, Harvard, Vancouver, ISO und andere Zitierweisen
16

Gheith, Ahmed M. "Support for multi-weight object, invocations and atomicity in real-time systems." Diss., Georgia Institute of Technology, 1990. http://hdl.handle.net/1853/8173.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
17

Puglia, Gianlucca Oliveira. "Exploring atomicity on memory mapped files based on non-volatile memory file systems." Pontif?cia Universidade Cat?lica do Rio Grande do Sul, 2017. http://tede2.pucrs.br/tede2/handle/tede/7768.

Der volle Inhalt der Quelle
Annotation:
Submitted by PPG Ci?ncia da Computa??o (ppgcc@pucrs.br) on 2017-12-11T16:00:35Z No. of bitstreams: 1 Gianlucca_Oliveira_Puglia_dis.pdf: 2043630 bytes, checksum: f7fc70f33d1d15b56eded8458fbed2fa (MD5)<br>Approved for entry into archive by Tatiana Lopes (tatiana.lopes@pucrs.br) on 2017-12-18T11:25:26Z (GMT) No. of bitstreams: 1 Gianlucca_Oliveira_Puglia_dis.pdf: 2043630 bytes, checksum: f7fc70f33d1d15b56eded8458fbed2fa (MD5)<br>Made available in DSpace on 2017-12-18T11:49:55Z (GMT). No. of bitstreams: 1 Gianlucca_Oliveira_Puglia_dis.pdf: 2043630 bytes, checksum: f7fc70f33d1d15b56eded8458fbed
APA, Harvard, Vancouver, ISO und andere Zitierweisen
18

Obaid, Abdellatif. "A calculus of communicating systems with atomicity and recovery, for protocol specification and design." Thesis, University of Ottawa (Canada), 1991. http://hdl.handle.net/10393/7774.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
19

Parreira, Daniel Luis Landeiroto. "Data-centric concurrency control on the java programming language." Master's thesis, Faculdade de Ciências e Tecnologia, 2013. http://hdl.handle.net/10362/10814.

Der volle Inhalt der Quelle
Annotation:
Dissertação para obtenção do Grau de Mestre em Engenharia Informática<br>The multi-core paradigm has propelled shared-memory concurrent programming to an important role in software development. Its use is however limited by the constructs that provide a layer of abstraction for synchronizing access to shared resources. Reasoning with these constructs is not trivial due to their concurrent nature. Data-races and deadlocks occur in concurrent programs, encumbering the programmer and further reducing his productivity. Even though the constructs should be as unobtrusive and intuitive as possibl
APA, Harvard, Vancouver, ISO und andere Zitierweisen
20

Haiduke, Roberto Luiz Andrade. "Investigação de energias de ionização e intensidades vibracionais (IV) utilizando o modelo potencial simples." [s.n.], 2003. http://repositorio.unicamp.br/jspui/handle/REPOSIP/249368.

Der volle Inhalt der Quelle
Annotation:
Orientador: Roy Edward Bruns<br>Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Quimica<br>Made available in DSpace on 2018-08-03T12:09:22Z (GMT). No. of bitstreams: 1 Haiduke_RobertoLuizAndrade_D.pdf: 2680501 bytes, checksum: f3c3720268089811f1de7744220a9d0f (MD5) Previous issue date: 2003<br>Doutorado
APA, Harvard, Vancouver, ISO und andere Zitierweisen
21

Motta, Luiz Frederico 1971. "Estudo teorico das relações estrutura-atividade biologica de uma serie de derivados de chalcona (1,3-difenil-2propen-1-ona) como agentes anti-plasmodium falciparum (agentes antimalaricos)." [s.n.], 2004. http://repositorio.unicamp.br/jspui/handle/REPOSIP/249727.

Der volle Inhalt der Quelle
Annotation:
Orientador : Yuji Takahata<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Quimica<br>Made available in DSpace on 2018-08-03T22:49:06Z (GMT). No. of bitstreams: 1 Motta_LuizFrederico_M.pdf: 15694240 bytes, checksum: 6ce69cbd7eff6e70570485ab3b611cbc (MD5) Previous issue date: 2004<br>Mestrado
APA, Harvard, Vancouver, ISO und andere Zitierweisen
22

Jing, Guo Zhao. "Caracterização de amostras rugosas por microscopia de força atomica." [s.n.], 2003. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260318.

Der volle Inhalt der Quelle
Annotation:
Orientador: Vitor Baranauskas<br>Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação<br>Made available in DSpace on 2018-08-03T16:29:19Z (GMT). No. of bitstreams: 1 JingGuo_Zhao_D.pdf: 1072525 bytes, checksum: 187cf6bcaca16a2f362527ac4d87c3d5 (MD5) Previous issue date: 2003<br>Doutorado
APA, Harvard, Vancouver, ISO und andere Zitierweisen
23

Matoso, Erika 1973. "Determinação de contaminantes inorganicos em latex utilizando espectrometria atomica." [s.n.], 2009. http://repositorio.unicamp.br/jspui/handle/REPOSIP/249409.

Der volle Inhalt der Quelle
Annotation:
Orientador: Solange Cadore<br>Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Quimica<br>Made available in DSpace on 2018-08-13T13:12:41Z (GMT). No. of bitstreams: 1 Matoso_Erika_D.pdf: 946241 bytes, checksum: 56f70c56da8e0c3fb10d01d26c121fb7 (MD5) Previous issue date: 2009<br>Resumo: Os polímeros são um grupo importante de materiais de engenharia pela sua facilidade de produção e uma larga faixa de propriedades e aplicações. O acetato de polivinila (PVAc) é produzido pela polimerização do acetato de vinila em presença de um catalisador. Suas principais aplicações estão na
APA, Harvard, Vancouver, ISO und andere Zitierweisen
24

Castellaro, Lisa <1987&gt. "Vedere, Ricordare: Analisi delle Fonti Fotografiche della Bomba Atomica." Master's Degree Thesis, Università Ca' Foscari Venezia, 2012. http://hdl.handle.net/10579/1630.

Der volle Inhalt der Quelle
Annotation:
La tesi presenta un'analisi della fotografia della bomba atomica, dal 1945 sino ad oggi. La prima parte prende in esame le fonti fotografiche, il loro sviluppo ed evoluzione seguendo un percorso cronologico. Si prosegue con un'analisi più tecnica delle fotografie, confrontandole e considerando il loro ruolo nella formazione e manipolazione della memoria collettiva. Successivamente si passa a trattare degli hibakusha, del loro rapporto con la fotografia dell'atomica e della loro condizione psicologica. Infine, è stato scelto di presentare quattro fotografi giapponesi con le loro opere fotografi
APA, Harvard, Vancouver, ISO und andere Zitierweisen
25

Letko, Zdeněk. "Dynamická detekce a léčení časově závislých chyb nad daty v prostředí Java." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2008. http://www.nusl.cz/ntk/nusl-235989.

Der volle Inhalt der Quelle
Annotation:
Finding concurrency bugs in complex software is difficult. As a contribution to coping with this problem the thesis proposes an architecture for a fully automated dynamic detection and healing of data races and atomicity violations in Java. Two distinct algorithms for detecting of data races are presented. One of them is a novel algorithm called AtomRace which detects data races as a special case of atomicity violations. The healing is based on suppressing a recurrence of the detected problem and can be performed by introducing an additional synchronization or by legally influencing the Java s
APA, Harvard, Vancouver, ISO und andere Zitierweisen
26

Di, Meco Lorenzo. "Teoria variazionale con alcune applicazioni in fisica atomica e nucleare." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2019. http://amslaurea.unibo.it/18374/.

Der volle Inhalt der Quelle
Annotation:
Il metodo variazionale è uno schema computazionale che permette il calcolo approssimato dell’energia e della funzione d’onda dello stato fondamentale di una grande varietà di sistemi quantistici che compaiono in fisica molecolare, atomica e nucleare. In questa tesi vengono illustrati il metodo variazionale e le sue modalità di implementazione. Vengono poi descritte diverse applicazioni: lo studio di alcuni sistemi atomici, quali l’atomo di idrogeno, di elio e l’atomo muonico, e del deutone, per ricavarne un’approssimazione dell’autovalore di energia dello stato fondamentale; si studia infine
APA, Harvard, Vancouver, ISO und andere Zitierweisen
27

Braga, Adriana Franco Bueno. "Determinação de impurezas em silicio por espectroscopia de absorção atomica." [s.n.], 1993. http://repositorio.unicamp.br/jspui/handle/REPOSIP/265188.

Der volle Inhalt der Quelle
Annotation:
Orientador: Roberto de Toledo Assumpção<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica<br>Made available in DSpace on 2018-07-18T05:29:08Z (GMT). No. of bitstreams: 1 Braga_AdrianaFrancoBueno_M.pdf: 1709458 bytes, checksum: 8599ea64042c078ec0b9cde17d4f444a (MD5) Previous issue date: 1993<br>Resumo: o Brasil possui uma posição de destaque como segundo maior produtor mundial de silício. Este material tem emprego em setores industriais variados, como, o metalúrgico (na produção de ligas de aço e de aluminio), a produção de organosilanos e uma peq
APA, Harvard, Vancouver, ISO und andere Zitierweisen
28

Madiraju, Sugandhi. "An Agent Based Transaction Manager for Multidatabase Systems." Digital Archive @ GSU, 2006. http://digitalarchive.gsu.edu/cs_theses/36.

Der volle Inhalt der Quelle
Annotation:
A multidatabase system (MDBMS) is a facility that allows users to access data located in multiple autonomous database management systems (DBMSs) at different sites. To ensure global atomicity for multidatabase transactions, a reliable global atomic commitment protocol is a possible solution. In this protocol a centralized transaction manager (TM) receives global transactions, submits subtransactions to the appropriate sites via AGENTS. An AGENT is a component of MDBS that runs on each site; AGENTS after receiving subtransactions from the transaction manager perform the transaction and send the
APA, Harvard, Vancouver, ISO und andere Zitierweisen
29

Chang, Dahge Chiadin. "Caracterização da superficie do silicio poroso por microscopia de força atomica." [s.n.], 1995. http://repositorio.unicamp.br/jspui/handle/REPOSIP/261662.

Der volle Inhalt der Quelle
Annotation:
Orientadores: Vitor Baranauskas, Ioshiaki Doi<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica<br>Made available in DSpace on 2018-07-20T11:56:28Z (GMT). No. of bitstreams: 1 Chang_DahgeChiadin_M.pdf: 6030293 bytes, checksum: 5ec0e1b1c28ec83130ec230e8ef7412a (MD5) Previous issue date: 1995<br>Resumo: Após se descobrir que o silício pode emitir luz visível em uma condição bem particular, ou seja, através de uma excitação no estado poroso, foram feitos estudos sobre o fenômeno e se verificou que há uma relação da porosidade do silício com o compri
APA, Harvard, Vancouver, ISO und andere Zitierweisen
30

Melo, Marlene Rios. "Estrutura atomica e ligações quimicas : uma abordagem para o esino medio." [s.n.], 2002. http://repositorio.unicamp.br/jspui/handle/REPOSIP/249086.

Der volle Inhalt der Quelle
Annotation:
Orientador: Pedro Faria dos Santos Filho<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Quimica<br>Made available in DSpace on 2018-08-03T18:13:30Z (GMT). No. of bitstreams: 1 Melo_MarleneRios_M.pdf: 6694927 bytes, checksum: 9e5b4e7905f948ff41a80844998fe398 (MD5) Previous issue date: 2002<br>Mestrado
APA, Harvard, Vancouver, ISO und andere Zitierweisen
31

Park, Sang Min. "Effective fault localization techniques for concurrent software." Diss., Georgia Institute of Technology, 2014. http://hdl.handle.net/1853/53010.

Der volle Inhalt der Quelle
Annotation:
Multicore and Internet cloud systems have been widely adopted in recent years and have resulted in the increased development of concurrent programs. However, concurrency bugs are still difficult to test and debug for at least two reasons. Concurrent programs have large interleaving space, and concurrency bugs involve complex interactions among multiple threads. Existing testing solutions for concurrency bugs have focused on exposing concurrency bugs in the large interleaving space, but they often do not provide debugging information for developers to understand the bugs. To address the problem
APA, Harvard, Vancouver, ISO und andere Zitierweisen
32

Giunchi, Francesco. "Misura delle proprietà meccaniche su scala nanometrica tramite microscopia a forza atomica." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/13096/.

Der volle Inhalt der Quelle
Annotation:
Nell’ultima decade, il microscopio a forza atomica, non solo si è distinto come strumento di indagine topografica, ma sempre più spesso è utilizzato dai ricercatori come nano indentatore per misurare le proprietà meccaniche su scala nanometrica tramite la produzione di curve di forza puntuali, pratica utile soprattutto in campioni come i tessuti biologici. Un’interessante applicazione della misura delle proprietà meccaniche su scala nanometrica è la realizzazione di imaging che possano caratterizzare la superficie del campione a seconda della proprietà prescelta. Per realizzare un imaging dell
APA, Harvard, Vancouver, ISO und andere Zitierweisen
33

D'Emilio, Gianluca. "Applicazioni del metodo variazionale ad alcuni problemi di fisica atomica e nucleare." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2018. http://amslaurea.unibo.it/15411/.

Der volle Inhalt der Quelle
Annotation:
Utilizzando il metodo variazionale si studiano alcuni sistemi con l’obiettivo di approssimare l’energia del loro stato fondamentale. I casi trattati in questa tesi vertono su problemi di natura atomica, quali la descrizione degli atomi di idrogeno, elio e dell’atomo muonico, e su problemi di carattere nucleare, quali la stima dell’ampiezza del potenziale di Yukawa e la descrizione del deutone.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
34

Thomas-Wilhelm, Dakota J. "It's definitely atomic: the acquisition of atomicity & countability by speakers of Mandarin in an instructed second language acquisition context." Doctoral thesis, Universitat Autònoma de Barcelona, 2020. http://hdl.handle.net/10803/671666.

Der volle Inhalt der Quelle
Annotation:
La investigació recent en adquisició de segones llengües des d’una perspectiva generativista (GenSLA) ha intentat donar compte del reacoblament dels trets sintàctics i semàntics dels articles (Cho & Slabakova, 2014) i els noms (Choi, Ionin, & Zhu, 2018) en anglès L2, però no ha convertit aquests resultats en una pedagogia pràctica (Whong, Whong, Marsden, & Gil, 2013). L’objectiu d’aquesta tesi és examinar propostes prèvies (Lopez, 2017; Sabir, 2018) que recomanen materials didàctics (Marsden & Slabakova, 2019) per investigar l’adquisició dels articles i els tipus de noms en anglès L2 per part
APA, Harvard, Vancouver, ISO und andere Zitierweisen
35

Montero, Larisse. "Detecção por emissão atomica : comparação de celas de detecção utilizadas em analise cromatografica." [s.n.], 1996. http://repositorio.unicamp.br/jspui/handle/REPOSIP/249573.

Der volle Inhalt der Quelle
Annotation:
Orientador: Antonio Luiz Pires Valente<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Quimica<br>Made available in DSpace on 2018-07-21T18:33:56Z (GMT). No. of bitstreams: 1 Montero_Larisse_M.pdf: 3956813 bytes, checksum: c8ee78b679471cde209b666586c90473 (MD5) Previous issue date: 1996<br>Mestrado
APA, Harvard, Vancouver, ISO und andere Zitierweisen
36

Portilla-Flores, Alberto. "Une approche à base de contrats pour la coordination fiable des services." Grenoble, 2010. http://www.theses.fr/2010GRENM068.

Der volle Inhalt der Quelle
Annotation:
Ce travail de recherche aborde la fiabilité de la coordination de services exprimée comme des propriétés non-fonctionnelles (e. G. La performance, la sécurité, l'atomicité, la persistance, etc. ) qui doivent être assurées et renforcées en cours d'exécution. Les systèmes existants, les modèles et les langages fournissent aujourd'hui des solutions ad hoc qui tissent la logique applicative avec les aspects non-fonctionnels, conduisant à des applications difficiles à faire évoluer et à maintenir. Notre approche favorise la séparation et la personnalisation d'aspects tels que la fiabilité. Nous pro
APA, Harvard, Vancouver, ISO und andere Zitierweisen
37

Caproni, Daniel. "Analisi del raffreddamento evaporativo per la condensazione di Bose-Einstein di una miscela atomica." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2018. http://amslaurea.unibo.it/16363/.

Der volle Inhalt der Quelle
Annotation:
Questo elaborato affronta il processo di raffreddamento di una miscela di gas, composta da atomi di Rubidio e Potassio, ponendo particolare attenzione alla fase di evaporazione. Viene studiato il raffreddamento simpatetico ed in particolare vengono analizzati tutti i processi fisici che hanno luogo all'interno della trappola ibrida.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
38

Moreira, Antonio Luciano Seabra. "Analise do processo de difusão atomica no estado solido em sistemas unidirecionais e radiais." [s.n.], 1991. http://repositorio.unicamp.br/jspui/handle/REPOSIP/265161.

Der volle Inhalt der Quelle
Annotation:
Orientador: Rezende Gomes dos Santos<br>Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica<br>Made available in DSpace on 2018-07-14T00:01:43Z (GMT). No. of bitstreams: 1 Moreira_AntonioLucianoSeabra_D.pdf: 3747561 bytes, checksum: e505c7e4042aee622064de7bc8634fe5 (MD5) Previous issue date: 1991<br>Resumo: Este trabalho apresenta um método analítico para o estudo da difusão atômica no estado sólido em sistemas binários com fluxos atômicos uni¬direcional, radial cilíndrico e radial esférico com somente uma fase, nos quais nã.o ocorram transformações de fase
APA, Harvard, Vancouver, ISO und andere Zitierweisen
39

Windmoller, Claudia Carvalhinho. "Especiação de mercurio em solos contaminados por analise de termodessorção acoplada a absorção atomica." [s.n.], 1996. http://repositorio.unicamp.br/jspui/handle/REPOSIP/249637.

Der volle Inhalt der Quelle
Annotation:
Orientador: Wilson de Figueiredo Jardim<br>Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Quimica<br>Made available in DSpace on 2018-07-21T09:43:18Z (GMT). No. of bitstreams: 1 Windmoller_ClaudiaCarvalhinho_D.pdf: 3136554 bytes, checksum: 5c92be66556b1873f44c96fdda3b07ca (MD5) Previous issue date: 1996<br>Doutorado
APA, Harvard, Vancouver, ISO und andere Zitierweisen
40

Boni, Alessandro. "Studio nanomorfologico di superficie tramite microscopia a forza atomica di grafite minerale e grafene." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2015. http://amslaurea.unibo.it/8612/.

Der volle Inhalt der Quelle
Annotation:
L’obiettivo di questa tesi è esfoliare mediante tecnica LPE qualche layer di grafite ed analizzare il campione ottenuto mediante la tecnica AFM. Negli studi sperimentali svolti nell’ambito di questa tesi sono state condotte tre tipologie di esperimenti: 1) analisi della grafite minerale prima del trattamento di esfoliazione; 2) esfoliazione LPE di grafite fissata su substrato di muscovite, in bagno ultrasonico con acqua bidistillata; 3) esfoliazione LPE di grafite fissata su muscovite, in bagno ultrasonico con azoto liquido. L’ultrasonicazione ha portato al distacco ed isolamento di frammenti
APA, Harvard, Vancouver, ISO und andere Zitierweisen
41

Balbinot, Leoberto. "Mapas auto-organizaveis na classificação de dados em quimica analitica." [s.n.], 2003. http://repositorio.unicamp.br/jspui/handle/REPOSIP/249338.

Der volle Inhalt der Quelle
Annotation:
Orientador: Roney J. Poppi<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Quimica<br>Made available in DSpace on 2018-08-03T21:55:15Z (GMT). No. of bitstreams: 1 Balbinot_Leoberto_M.pdf: 4559423 bytes, checksum: ae1594b628c06ed33d229de50ee4b67b (MD5) Previous issue date: 2003<br>Resumo: Redes neurais artificiais são algoritmos que tentam imitar o comportamento do cérebro humano. Mapas auto-organizáveis (SOM) de Kohonen consistem de um tipo de rede neural artificial não-supervisionada constituída por uma única camada de neurônios. Seu objetivo é projetar dados de
APA, Harvard, Vancouver, ISO und andere Zitierweisen
42

Candido, Lígia Colares. "Estratégias analíticas para determinação de elementos traço via espectrometria de absorção atômica de alta resolução com fonte contínua." reponame:Repositório Institucional da UFSC, 2015. https://repositorio.ufsc.br/xmlui/handle/123456789/156537.

Der volle Inhalt der Quelle
Annotation:
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas, Programa de Pós-Graduação em Química, Florianópolis, 2015.<br>Made available in DSpace on 2015-11-24T03:10:26Z (GMT). No. of bitstreams: 1 336122.pdf: 1784794 bytes, checksum: fa72ea520524bfd2f79dd33a1ba0aa45 (MD5) Previous issue date: 2015<br>Este trabalho está subdividido em dois estudos. O primeiro estudo descreve uma nova abordagem para a análise direta de amostra sólida utilizando plataformas termoplásticas de amido (TPS) para a determinação de Mo e V por HR-CS GF AAS. A plataforma
APA, Harvard, Vancouver, ISO und andere Zitierweisen
43

Pinsard, Thomas. "Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation." Thesis, Orléans, 2014. http://www.theses.fr/2014ORLE2075/document.

Der volle Inhalt der Quelle
Annotation:
La mémoire transactionnelle est un mécanisme de plus en plus populaire pour la programmation parallèle et concurrente. Dans la plupart des implantations, l’emboîtement de transactions n’est pas possible ce qui pénalise la modularité. Plutôt que les transactions, qui sont un choix possible d’implantation, nous considérons directement la notion de section atomique. Dans un objectif d’améliorer la modularité et l’expressivité, nous considérons un langage impératif simple étendu avec des instructions de parallélisme avec lancement et attente de processus légers et une instruction de section atomiq
APA, Harvard, Vancouver, ISO und andere Zitierweisen
44

Matos, Geraldo Domingues. "Ampliação das potencialidades da espectrometria de absrorção atomica baseada em spray termico (TS-FF-AAS)." [s.n.], 2007. http://repositorio.unicamp.br/jspui/handle/REPOSIP/248583.

Der volle Inhalt der Quelle
Annotation:
Orientador: Marco Aurelio Zezzi Arruda<br>Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Quimica<br>Made available in DSpace on 2018-08-08T22:29:56Z (GMT). No. of bitstreams: 1 Matos_GeraldoDomingues_D.pdf: 2963776 bytes, checksum: 63761ac61fa005bd6133cb5e9831941d (MD5) Previous issue date: 2007<br>Resumo: O objetivo desta Tese foi a ampliação das potencialidades do método TS-FF-AAS, no que diz respeito à melhora da sensibilidade para Cd e Co. Com relação ao Cd, foi desenvolvido um procedimento de pré-concentração em linha em uma minicoluna contendo bagaço de uva. Inicial
APA, Harvard, Vancouver, ISO und andere Zitierweisen
45

Fortunato, Felipe Manfroi. "Avaliação do método de adição de padrão interno em técnicas espectroscópicas /." Araraquara, 2017. http://hdl.handle.net/11449/149764.

Der volle Inhalt der Quelle
Annotation:
Orientador: José Anchieta Gomes Neto<br>Banca: Paulo Clairmont Feitosa de Lima<br>Banca: Mirian Cristina dos Santos<br>Banca: Silvana Ruella de Oliveira<br>Banca: Carolina Lourencetti<br>Resumo: O objetivo desta Tese de Doutorado foi avaliar o método de adição de padrão interno empregando técnicas espectroscópicas. Inicialmente o método de adição de padrão interno foi aplicado no modo convencional na determinação de Ca e Mg em amostras biodiesel e urina por espectrometria de absorção atômica em chama de alta resolução e fonte contínua e na determinação de ureia em urina por espectroscopia Rama
APA, Harvard, Vancouver, ISO und andere Zitierweisen
46

Dias, Vera Maria da Costa. "Quantificação de baixos teores de selenio em alimentos por espectrometria de absorção atomica com atomização eletrotermica." [s.n.], 2002. http://repositorio.unicamp.br/jspui/handle/REPOSIP/248971.

Der volle Inhalt der Quelle
Annotation:
Orientadores : Nivaldo Baccan, Solange Cadore<br>Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Quimica<br>Made available in DSpace on 2018-08-03T15:24:31Z (GMT). No. of bitstreams: 1 Dias_VeraMariadaCosta_D.pdf: 3913829 bytes, checksum: 37f6784fb5950cd92289b5b9695576a5 (MD5) Previous issue date: 2002<br>Doutorado
APA, Harvard, Vancouver, ISO und andere Zitierweisen
47

Rossin, Ricardo. "Especiação de arsenio inorganico em aguas por espectrometria de absorção atomica acoplada com gerador de hidretos." [s.n.], 2005. http://repositorio.unicamp.br/jspui/handle/REPOSIP/287172.

Der volle Inhalt der Quelle
Annotation:
Orientador: Bernardino Ribeiro de Figueiredo<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Geociencias<br>Made available in DSpace on 2018-08-04T03:39:11Z (GMT). No. of bitstreams: 1 Rossin_Ricardo_M.pdf: 638276 bytes, checksum: dbc3ed410cb58a3cbb0250def39fe7c5 (MD5) Previous issue date: 2005<br>Resumo: As diferentes toxicidades das espécies de arsênio (As) tornam a sua determinação individual essencial para uma acurada avaliação de riscos. Neste trabalho foram avaliadas as condições experimentais sob distintas concentrações ácidas, presença de agente pré-reduto
APA, Harvard, Vancouver, ISO und andere Zitierweisen
48

GONCALVES, JOSEMARY A. C. "Pesquisas propriedades e aplicacoes de detectores de faisca em problemas de fisica nuclear de energia atomica." reponame:Repositório Institucional do IPEN, 1993. http://repositorio.ipen.br:8080/xmlui/handle/123456789/10321.

Der volle Inhalt der Quelle
Annotation:
Made available in DSpace on 2014-10-09T12:37:18Z (GMT). No. of bitstreams: 0<br>Made available in DSpace on 2014-10-09T14:09:06Z (GMT). No. of bitstreams: 1 02029.pdf: 4740189 bytes, checksum: ff05d787c5ab98b675cc36bbe2b0c062 (MD5)<br>Tese (Doutoramento)<br>IPEN/T<br>Instituto de Pesquisas Energeticas e Nucleares - IPEN/CNEN-SP
APA, Harvard, Vancouver, ISO und andere Zitierweisen
49

Oliveira, Adriana Paiva de [UNESP]. "Determinação direta e simultânea de 'AL', 'AS', 'CU', 'FE', 'MN' e 'NI' em álcool etílico hidratado combustível por espectrometria de absorção atômica em forno de grafite." Universidade Estadual Paulista (UNESP), 2002. http://hdl.handle.net/11449/97873.

Der volle Inhalt der Quelle
Annotation:
Made available in DSpace on 2014-06-11T19:29:09Z (GMT). No. of bitstreams: 0 Previous issue date: 2002-07Bitstream added on 2014-06-13T19:38:10Z : No. of bitstreams: 1 oliveira_ap_me_araiq.pdf: 969605 bytes, checksum: 08894db2e370b558f0425c8e9627ff5d (MD5)<br>Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)<br>Este trabalho propõe um método para a determinação direta e simultânea de Al, As, Cu, Fe, Mn e Ni em álcool etílico hidratado combustível (AEHC) por espectrometria de absorção atômica em forno de grafite (GFAAS), empregando tubo de grafite com aquecimento transversal (THGA
APA, Harvard, Vancouver, ISO und andere Zitierweisen
50

Morais, Carla Pereira de. "Desenvolvimento de métodos para a determinação de macronutrientes em fertilizantes de biocarvão por LIBS /." Araraquara, 2017. http://hdl.handle.net/11449/149749.

Der volle Inhalt der Quelle
Annotation:
Orientadora: Edilene Cristina Ferreira<br>Banca: Clóvis Augusto Ribeiro<br>Banca: Débora Marcondes Bastos Pereira Milori<br>Resumo: O biocarvão tem grande importância agrícola como condicionador de solo porque é produzido a partir da pirólise de diferentes biomassas, até mesmo as consideradas descartáveis do ponto de vista alimentar ou energético e apresenta propriedades agrícolas importantes, tais como retenção de água, fornecimento de nutrientes para as plantas, auxilia no crescimento de microrganismos e atua sobre sequestro de CO2 atmosférico, retornando C ao solo. Além disso, devido aos se
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Die Auswahlen zum Thema "Atomicita" für andere Quellenarten können Sie auch interessieren:
Zeitschriftenartikel Bücher
Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!

Zur Bibliographie