To see the other types of publications on this topic, follow the link: Atomicita.

Dissertations / Theses on the topic 'Atomicita'

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

Select a source type:

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

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

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

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

1

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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
3

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

Full text
Abstract:
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, and other styles
4

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

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

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

Full text
Abstract:
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, and other styles
6

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.

Full text
Abstract:
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, and other styles
7

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

Full text
Abstract:
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, and other styles
8

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.

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

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.

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

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

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

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

Full text
Abstract:
<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, and other styles
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.

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

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.

Full text
Abstract:
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, and other styles
14

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/.

Full text
Abstract:
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, and other styles
15

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.

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

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.

Full text
Abstract:
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, and other styles
17

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.

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

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.

Full text
Abstract:
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, and other styles
19

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.

Full text
Abstract:
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, and other styles
20

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.

Full text
Abstract:
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, and other styles
21

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.

Full text
Abstract:
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, and other styles
22

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

Full text
Abstract:
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, and other styles
23

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/.

Full text
Abstract:
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, and other styles
24

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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
26

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

Full text
Abstract:
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, and other styles
27

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.

Full text
Abstract:
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, and other styles
28

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.

Full text
Abstract:
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, and other styles
29

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

Full text
Abstract:
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, and other styles
30

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/.

Full text
Abstract:
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, and other styles
31

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/.

Full text
Abstract:
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, and other styles
32

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.

Full text
Abstract:
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, and other styles
33

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.

Full text
Abstract:
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, and other styles
34

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

Full text
Abstract:
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, and other styles
35

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/.

Full text
Abstract:
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, and other styles
36

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/.

Full text
Abstract:
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, and other styles
37

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.

Full text
Abstract:
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, and other styles
38

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.

Full text
Abstract:
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, and other styles
39

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

Full text
Abstract:
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, and other styles
40

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.

Full text
Abstract:
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, and other styles
41

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.

Full text
Abstract:
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, and other styles
42

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.

Full text
Abstract:
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, and other styles
43

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.

Full text
Abstract:
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, and other styles
44

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.

Full text
Abstract:
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, and other styles
45

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.

Full text
Abstract:
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, and other styles
46

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.

Full text
Abstract:
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, and other styles
47

Souza, Alexandre Araújo de. "Cargas atomicas (um novo modelo) : implementação computacional e aplicações." [s.n.], 1994. http://repositorio.unicamp.br/jspui/handle/REPOSIP/248533.

Full text
Abstract:
Orientador: Marcia Miguel Castro Ferreira<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Quimica<br>Made available in DSpace on 2018-07-20T16:59:35Z (GMT). No. of bitstreams: 1 Souza_AlexandreAraujode_M.pdf: 5528376 bytes, checksum: 9abf71d84d25f07c897f751ce2627724 (MD5) Previous issue date: 1994<br>Mestrado
APA, Harvard, Vancouver, ISO, and other styles
48

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.

Full text
Abstract:
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, and other styles
49

Rosini, Gioele. "Ottimizzazione numerica degli impulsi ottici in un interferometro atomico." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2021. http://amslaurea.unibo.it/23395/.

Full text
Abstract:
Per esperimenti di interferometria atomica d’avanguardia risulta sempre più indispensabile un’accurata descrizione analitica degli impulsi laser nel regime di transizione quasi-Bragg. Lo scopo di questa tesi è di mettere a confronto due teorie analitiche per la diffrazione di onde di materia tramite luce laser, andandone a paragonare i risultati. In particolare il recente modello di Siemss et al., che propone un’interpretazione intuitiva basata sul teorema adiabatico, sarà messo a confronto con l’approccio preesistente basato sulle contribuzioni di Mueller et al. Entrambi i modelli sono sta
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!