Relevant bibliographies by topics / Lotofa / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Lotofa.

Dissertations / Theses on the topic 'Lotofa'

Author: Grafiati
Published: 2 June 2025
Last updated: 31 July 2025

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 'Lotofa.'

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

Robertsson, Annika, Cecilia Johansson, and Katja Nilsson. "Lotta och Gittan." Thesis, Halmstad University, School of Teacher Education (LUT), 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-1397.

Full text
Abstract:
<p>Studera hur flickan konstrueras i de</p><p>båda barnböckerna för att sedan se hur</p><p>dessa speglar sig i 1970-talet respektive</p><p>2000-talets samhälles syn på barn. Studiens valda teori är genusvetenskap.</p><p>I analysen använder vi</p><p>Nikolajevas och Edströms metoder</p><p>om barnbokens struktur, dessa är</p><p>studiens analysverktyg. Med dessa</p><p>metoder tittar vi på flickans</p><p>konstruktion i de båda barnböckerna.</p><p>Flickans konstruktion i barnböckerna</p><p>återspeglas i hur samhällets syn är på</p><p>barn då boken är skriven.</p><p>Dessutom är det tydligt att flicka
APA, Harvard, Vancouver, ISO, and other styles
2

Gallouzi, M. Souheil. "Trace analysis of LOTOS behaviours." Thesis, University of Ottawa (Canada), 1989. http://hdl.handle.net/10393/5831.

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

Ashkar, Pierre. "Symbolic execution of LOTOS specifications." Thesis, University of Ottawa (Canada), 1994. http://hdl.handle.net/10393/6679.

Full text
Abstract:
LOTOS (Language Of Temporal Ordering Specification) is a Formal description Technique (FDT) based on the temporal ordering of observational behaviour. It was developed by ISO (International Organization for Standardization) for the specification of OSI (Open System Interconnection) services and protocols. This thesis presents a method of translating a LOTOS specification written in any given style into either of two simpler forms, known as the Monolithic Style Specification and the Parameterized Tree. A method of applying LOTOS expansion theorems to derive an intermediary form, known as the Be
APA, Harvard, Vancouver, ISO, and other styles
4

Amyot, Daniel. "Formalization of timethreads using LOTOS." Thesis, University of Ottawa (Canada), 1994. http://hdl.handle.net/10393/6832.

Full text
Abstract:
Timethreads are a new notation for visual description of the different causality paths of a system. They illustrate causality sequences of activities through systems. A design process based on the use of timethreads has already been defined. The Formal Description Technique LOTOS (Language Of Temporal Ordering Specification) is a specification language based on the temporal ordering of observational behaviour. This thesis aims at the integration of formal methods in the design of real-time and distributed systems by presenting a LOTOS interpretation of timethreads. With the help of a timethrea
APA, Harvard, Vancouver, ISO, and other styles
5

Ghribi, Brahim. "A model checker for LOTOS." Thesis, University of Ottawa (Canada), 1992. http://hdl.handle.net/10393/7536.

Full text
Abstract:
LOTOS (Language Of Temporal Ordering Specification) is a Formal Description Technique (FDT) based on the temporal ordering of observational behaviour. It was developed by ISO (International Organization for Standardization) for the specification of OSI (Open Systems Interconnections) services and protocols. CTL (Computation Tree Logic) is a branching-time temporal logic, which can be used to express properties of the system being designed. Efficient algorithms were reported in the literature which make it possible to check whether a given behaviour tree enjoys a property expressed in CTL. Such
APA, Harvard, Vancouver, ISO, and other styles
6

Haj-Hussein, Mazen. "Guided search technique for LOTOS." Thesis, University of Ottawa (Canada), 1996. http://hdl.handle.net/10393/10085.

Full text
Abstract:
The dynamic behaviour of a LOTOS specification can be described as a tree, called behaviour tree, where the nodes represent the states of the behaviour, and the branches represent the possible next actions. Unfortunately, the behaviour tree for a realistic size LOTOS specification can be very large and often has no finite representation. This is the major limitation for the existing LOTOS verification techniques. The main goal of this thesis is to provide a new behaviour tree exploration technique, called Goal-Oriented Execution, that can be used to check properties of LOTOS specifications by
APA, Harvard, Vancouver, ISO, and other styles
7

Stragliotto, Eleonora <1992&gt. "ORIGINE E SVILUPPO DEL PENSIERO SOCIALISTA NELLA RUSSIA TARDO IMPERIALE - Dalla "lotta sociale" alla "lotta politica"." Master's Degree Thesis, Università Ca' Foscari Venezia, 2017. http://hdl.handle.net/10579/10239.

Full text
Abstract:
L’elaborato di tesi si propone di analizzare approfonditamente il passaggio dalla "lotta sociale" alla "lotta politica" del movimento populista russo, ovvero le sue diverse fasi. L’analisi viene condotta attraverso i riferimenti della fonte di P.A. Kropotkin 'Memorie di un rivoluzionario'. L’elaborato viene suddiviso in due parti, la prima contiene una presentazione del quadro istituzionale e sociale caratteristico dell’autocrazia nella Russia tardo imperiale, lo zar riformatore Alessandro II, l’epoca della reazione, il popolo oppresso, l’iniziativa guidata dall’intelligencija russa e dai gio
APA, Harvard, Vancouver, ISO, and other styles
8

Lima, Humberto Maia. "Ferramentas para linguagem de especificação LOTOS." [s.n.], 1992. http://repositorio.unicamp.br/jspui/handle/REPOSIP/259633.

Full text
Abstract:
Orientador: Mauricio Ferreira Magalhães<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica<br>Made available in DSpace on 2018-07-19T03:46:57Z (GMT). No. of bitstreams: 1 Lima_HumbertoMaia_M.pdf: 6282762 bytes, checksum: 38c8a0eb30331b118dd48a4a19ad9b52 (MD5) Previous issue date: 1992<br>Resumo: Este trabalho propõe a implementação de um ambiente de auxílio ao desenvolvimento de especificações de sistema que utilizam LOTOS como linguagem. Tal ambiente é formado de um conjunto integrado de ferramentas composto de um editor de texto, um analisador s
APA, Harvard, Vancouver, ISO, and other styles
9

Garavel, Hubert. "Compilation et vérification de programmes LOTOS." Grenoble 1, 1989. http://tel.archives-ouvertes.fr/tel-00004339.

Full text
Abstract:
LOTOS (Language Of Temporal Ordering Specification) est un langage de description de systèmes parallèles communicants, normalisé par l'ISO et le CCITT afin de permettre la définition formelle des protocoles et des services de télécommunications. Le langage utilise des types abstraits algébriques pour spécifier les données et un calcul de processus proche de CSP et CCS pour exprimer le contrôle. Cette thèse propose une technique de compilation permettant de traduire un sous-ensemble significatif de LOTOS vers un modele reseau de Petri interprete (pouvant servir a produire du code executable) pu
APA, Harvard, Vancouver, ISO, and other styles
10

Garavel, Hubert Voiron Jacques. "Compilation et vérification de programme LOTOS." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00004339.

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

Lambolais, Thomas. "Modélisation du développement de spécifications LOTOS." Vandoeuvre-les-Nancy, INPL, 1997. http://www.theses.fr/1997INPL106N.

Full text
Abstract:
Notre travail s'inscrit dans les premières étapes du développement de logiciels concernant le passage d'un cahier des charges à une spécification formelle, dans le domaine des réseaux de télécommunications. Notre sujet consiste à étudier la modélisation des étapes de développement de spécifications en langage LOTOS. Le modèle utilisé, PROPLANE, a été préalablement établi pour d'autres domaines. Par le biais d'un nouveau domaine d'application, l'objectif à long terme de notre étude est d'évaluer le modèle PROPLANE et de proposer des améliorations si nécessaire. LOTOS est constitué d'une algèbre
APA, Harvard, Vancouver, ISO, and other styles
12

Scremin, Simone Medianeira. "Emergência lotada : percepções dos residentes sobre o trabalho multiprofissional." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2017. http://hdl.handle.net/10183/158621.

Full text
Abstract:
A superlotação dos serviços de emergência em hospitais gerais é notícia constante nos mais diversos meios de divulgação. O trabalho desenvolvido no setor que atende acima da sua capacidade é difícil e rodeado de tensão. Os profissionais que atuam nos Serviços de emergência, bem como, nos hospitais de ensino, em função da exigência e das dificuldades encontradas, precisam ter identificação profissional e motivação para o trabalho. Refletir sobre essa realidade é a principal missão desse trabalho. O cenário escolhido para o estudo foi o Serviço de Emergência de um Hospital de Ensino, que além de
APA, Harvard, Vancouver, ISO, and other styles
13

Scheda, Riccardo. "Master Equation per modelli di Lotka-Volterra." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2018. http://amslaurea.unibo.it/16823/.

Full text
Abstract:
Capire i fattori che controllano la dinamica di specie interagenti è un problema fondamentale in ecologia. La natura delle interazioni verso le diverse specie non è sempre compresa a pieno, ma si assume che le varie interazioni tra le specie giochino un ruolo importante nelle proprietà dell'ecosistema. Recenti studi mostrano che l'ipotesi neutrale proposta da Hubbell delle specie non interagenti con una sorgente esterna, permette di spiegare le Abbondanze Relative di Specie (RSA) quando l'ecosistema ha raggiunto una situazione stazionaria. In questo lavoro viene utilizzato il concetto di fitn
APA, Harvard, Vancouver, ISO, and other styles
14

Haj-Hussein, Mazen. "An interactive system for LOTOS applications, ISLA." Thesis, University of Ottawa (Canada), 1989. http://hdl.handle.net/10393/5796.

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

Bryans, Jeremy William. "Denotational semantic models for real-time LOTOS." Thesis, University of Reading, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.360755.

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

Alzahrani, Ebraheem. "Travelling waves in Lotka-Volterra competition models." Thesis, University of Dundee, 2011. https://discovery.dundee.ac.uk/en/studentTheses/1e432558-a3eb-40ee-81ae-4f0af74718d0.

Full text
Abstract:
In this thesis, we study a class of multi-stable reaction-diffusion systems used to model competing species. Systems in this class possess uniform stable steady states representing semi-trivial solutions. We start by considering a bistable, interaction, where the interactions are of classic “Lotka-Volterra” type and we consider a particular problem with relevance to applications in population dynamics: essentially, we study under what conditions the interplay of relative motility (diffusion) and competitive strength can cause waves of invasion to be halted and reversed. By establishing rigorou
APA, Harvard, Vancouver, ISO, and other styles
17

Serhrouchni, Ahmed. "Pil : outil de pre-implementation de lotos." Paris 6, 1990. http://www.theses.fr/1990PA066686.

Full text
Abstract:
Lotos (language of temporal ordering specification) et estelle (extended state transition language) sont les deux techniques de description formelles normalisees a l'iso et au ccitt. Cette these propose une methodologie pour aller d'une specification lotos vers des implementations. Pour cela nous avons introduit le concept de pre-implementation comme etape intermediaire entre le monde formel represente par lotos et les mondes informels representes par les differents types d'implementations que nous pouvons envisager pour lotos. La pre-implementation se base sur un modele/langage nomme primol q
APA, Harvard, Vancouver, ISO, and other styles
18

KIM, SUNG-UN. "Generation de tests pour les specificatins lotos." Paris 7, 1993. http://www.theses.fr/1993PA077174.

Full text
Abstract:
Cette these presente une methode automatique de generation de sequences de test a partir de la specification en lotos d'un protocole, dans l'optique des tests de conformite faible. Il s'agit d'une methode formelle basee sur les automates a etats finis (aef) obtenus a partir de specifications lotos au moyen de l'outil caesar et sur des algorithmes permettant d'automatiser la generation de tests. Nous avons defini une nouvelle sequence de caracterisation, la sequence unique d'evenement (sequence ue), en adaptant le concept de sequence unique d'entree/sortie (sequence uio) aux aef obtenus. Les se
APA, Harvard, Vancouver, ISO, and other styles
19

Battaglia, Luca <1988&gt. "Il contributo dell'UIF nella lotta al riciclaggio." Master's Degree Thesis, Università Ca' Foscari Venezia, 2013. http://hdl.handle.net/10579/3107.

Full text
Abstract:
Il d.lgs. 231 del 2007, che recepisce la terza direttiva comunitaria in materia antiriciclaggio, affida all’Unità di informazione finanziaria, entità autonoma istituita nell’ambito della Banca d’Italia, il compito di svolgere la funzione di Financial Intelligence Unit per l’Italia. L’UIF rientra nell’ambito delle FIU di tipo amministrativo che, fungendo da filtro tra i soggetti segnalanti e gli organi investigativi, mantengono separata la fase della prevenzione da quella repressiva del reato. L’Unità svolge, pertanto, una funzione di collegamento fra la componente privata del sistema di preve
APA, Harvard, Vancouver, ISO, and other styles
20

Gilberti, Beatrice <1989&gt. "Comunità assediate: terre di lotta in Paraguay." Master's Degree Thesis, Università Ca' Foscari Venezia, 2016. http://hdl.handle.net/10579/7514.

Full text
Abstract:
Si analizzerà il contesto storico del Paraguay, per giungere poi, attraverso la pratica etnografica, a riflettere sulla lotta campesina, che da diversi anni si svolge in Paraguay ed il cui obiettivo risiede nella redistribuzione della terra. L'occupazione delle terre come forma di resistenza, la resistenza come forma di vita.
APA, Harvard, Vancouver, ISO, and other styles
21

Visentini, Mattia <1990&gt. "Lotta e rivoluzione: l'esperienza morale dell'uomo kantiano." Master's Degree Thesis, Università Ca' Foscari Venezia, 2022. http://hdl.handle.net/10579/20984.

Full text
Abstract:
Com’è possibile che l’essere razionale finito debba tendere necessariamente a un oggetto per lui irraggiungibile? Quali sono le cause e le conseguenze della suddetta tendenza? Nel presente lavoro, si ripercorrono i testi fondamentali della filosofia morale kantiana, con l’intento di evidenziarne gli aspetti riguardanti i doveri morali in rapporto all'uomo. In particolare, l'analisi specifica interesserà la relazione tra i principi - in particolare la legge morale e la libertà, - e la disposizione interiore dell'essere umano: la Gesinnung.
APA, Harvard, Vancouver, ISO, and other styles
22

Serafino, Davide. "La lotta armata a Genova (1969-1981)." Doctoral thesis, Università degli studi di Padova, 2014. http://hdl.handle.net/11577/3424605.

Full text
Abstract:
The research offers a study of the phenomenon of armed struggle in Genova, from the late Sixties until the early Eighties, and focuses on the moments when the city was the scene of important events happened for the first time in the history of the Brigate Rosse, and that made the city as a "laboratory" in which the armed group experienced what they would have realized later throughout the country. These episodes imprinted acceleration to the history of the armed struggle in Italy and represented real turning points: the first Italian armed organization was born in Genova, the group "22 ottobre
APA, Harvard, Vancouver, ISO, and other styles
23

Worthington, Thomas Alexander. "The feasibility of reintroducing the burbot, lota lota, to England." Thesis, University of Southampton, 2010. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.533300.

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

Gray, Victoria A. "Physiological consequences of temperature stress on the marine snail, Lottia gigantea." California State University, Long Beach, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
25

Schroeder, Stephanie Lynn 1978. "The behavioral ecology and territoriality of the owl limpet, Lottia gigantea." Thesis, University of Oregon, 2011. http://hdl.handle.net/1794/11263.

Full text
Abstract:
xvii, 141 p. : ill.<br>Territoriality, defined as an animal or group of animals defending an area, is thought to have evolved as a means to acquire limited resources such as food, nest sites, or mates. Most studies of territoriality have focused on vertebrates, which have large territories and even larger home ranges. While there are many models used to examine territories and territorial interactions, testing the models is limited by the logistics of working with the typical model organisms, vertebrates, and their large territories. An ideal organism for the experimental examination of ter
APA, Harvard, Vancouver, ISO, and other styles
26

Artioli, Simone. "Dinamica delle popolazioni: modelli deterministici di Lotka-Volterra." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2020. http://amslaurea.unibo.it/21934/.

Full text
Abstract:
Lo scopo di questo lavoro di tesi è quello di analizzare i modelli deterministici di dinamica delle popolazioni, dal primo e più semplice modello Malthusiano per la descrizione del comportamento dinamico di un insieme di individui considerati pressoché identici, fino ad arrivare allo studio dei sistemi del tipo preda-predatore trattati grazie al famoso modello di Lotka-Volterra. Tale modello è stato studiato nella sua versione base, in cui esso descrive la dinamica di interazione tra due specie compresenti nello stesso ambiente, sia da un punto di vista puramente matematico sia tramite simula
APA, Harvard, Vancouver, ISO, and other styles
27

Beck, Mélanie. "Symplectic methods applied to the Lotka-Volterra system." Thesis, McGill University, 2003. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=19583.

Full text
Abstract:
We analyse the preservation of physical properties of numerical approximations tosolutions of the Lotka-Volterra system: its positivity and the conservation of theHamiltonian. We focus on two numerical methods : the symplectic Euler method andan explicit variant of it. We first state under which conditions they are symplectic andwe prove they are both Poisson integrators for the Lotka-Volterra system. Then, westudy under which conditions they stay positive. For the symplectic Euler method,we derive a simple condition under which the numerical approximation always stayspositive. For the explici
APA, Harvard, Vancouver, ISO, and other styles
28

Almeida, Mafalda Oliveira Martins Bastos de. "The Lotka-Volterra equations in finance and economics." Master's thesis, Instituto Superior de Economia e Gestão, 2017. http://hdl.handle.net/10400.5/14240.

Full text
Abstract:
Mestrado em Mathematical Finance<br>As equações de Lotka-Volterra, também conhecidas por equações de predador-presa, são um conjunto de equações diferencias não-lineares construídas para descrever a relação dinâmica entre espécies na natureza. No entanto, desde a sua publicação vários autores têm vindo a provar que estes sistemas dinâmicos têm diversas aplicações fora da área da biologia. Este trabalho tem como objetivo aprofundar as possíveis aplicações destas equações ao sistema bancário e à economia. Considerando o sistema bancário, estudamos três possíveis sistemas dinâmicos que podem desc
APA, Harvard, Vancouver, ISO, and other styles
29

Granville, Lisandro Zambenedetti. "E-dart : um ambiente de especificação e-lotos." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 1998. http://hdl.handle.net/10183/25625.

Full text
Abstract:
O aumento crescente da complexidade dos sistemas computacionais criou a necessidade do uso de técnicas de descrição formal (TDFs) na definição, implementação e manutenção dos sistemas. Contudo, apenas a existência de técnicas de descrição formal não garante o eficiente emprego das mesmas na especificação dos sistemas. É necessária a existência de ferramentas que viabilizem o uso das TDFs de forma que estas possam ser efetivamente úteis no desenvolvimento de projetos. Este trabalho apresenta os resultados obtidos da construção de um ambiente de especificação gráfico, onde a TDF E-LOTOS (Enhance
APA, Harvard, Vancouver, ISO, and other styles
30

Pan, Perez Ivan Edgardo. "Permanência e estabilidade na equação de Lotka-Volterra." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 1992. http://hdl.handle.net/10183/127008.

Full text
Abstract:
Estuda-se a relação entre vários conceitos de estabilidade (permanência, estabilidade assintótica e V L-estabilidade) para a equação de Lotka-Volterra e certas propriedades algébricas da Matriz de Interação. Analisa-se os pontos de equilibrio saturados.<br>We show a relation of several different concepts of stability (permanence, asymptotic stability and VL-stability) for the Lotka-Yolterra equations and certain algebraic properties of the Interaction Matrix. We analize the saturated equilibrium points.
APA, Harvard, Vancouver, ISO, and other styles
31

Chen, Sheng. "Population dynamics of stochastic lattice Lotka-Volterra models." Diss., Virginia Tech, 2018. http://hdl.handle.net/10919/82038.

Full text
Abstract:
In a stochastic Lotka-Volterra model on a two-dimensional square lattice with periodic boundary conditions and subject to occupation restrictions, there exists an extinction threshold for the predator population that separates a stable active two-species coexistence phase from an inactive state wherein only prey survive. When investigating the non-equilibrium relaxation of the predator density in the vicinity of the phase transition point, we observe critical slowing-down and algebraic decay of the predator density at the extinction critical point. The numerically determined critical exponents
APA, Harvard, Vancouver, ISO, and other styles
32

MONTEIRO, DE QUEIROZ JOSE ANTONIO. "Representations graphiques, transformations et pre-implementation de lotos." Paris 6, 1990. http://www.theses.fr/1990PA066629.

Full text
Abstract:
Cette these participe a l'effort mene actuellement autour des techniques de description formelles (fdt) normalisees a l'iso: lotos (language of temporal ordering specification) et estelle (extended finite state machine language). Plus particulierement, elle vise a l'amelioration de l'usage de lotos sur les plans de la specification et de l'implementation. Dans une premiere partie on a presente une interface graphique pour lotos rendant ce langage accessible aux specificateurs de systemes. La deuxieme partie decrit un modele/langage de pre-implementation primol (pre-implementation of lotos), ay
APA, Harvard, Vancouver, ISO, and other styles
33

Lega, Isabella. "Lingua e potere: la lotta fascista contro Xeno." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2014. http://amslaurea.unibo.it/7153/.

Full text
Abstract:
La lingua varia nel corso del tempo sia in maniera autonoma, poiché esposta a vari fattori di cambiamento, sia a causa di scelte concrete imposte dal potere politico. Tali decisioni prese dall’alto prendono il nome di politiche linguistiche e talvolta possono assumere pericolosi risvolti antidemocratici. Molto spesso, infatti, i regimi totalitari fanno leva sulla sfera linguistico-comunicativa per assoggettare il popolo: orientare le scelte linguistiche di una comunità di parlanti equivale di fatto a modificare l’identità della società in questione. Un esempio che fa parte del mondo della lett
APA, Harvard, Vancouver, ISO, and other styles
34

McClenaghan, Ashley. "Distributed systems : architecture-driven specification using extended LOTOS." Thesis, University of Stirling, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.357056.

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

Colo', Francesco <1990&gt. "La lotta internazionale alla tratta di esseri umani." Doctoral thesis, Università Ca' Foscari Venezia, 2018. http://hdl.handle.net/10579/15003.

Full text
Abstract:
Il lavoro che qui si presenta si svolge seguendo un duplice obiettivo. La prima parte della tesi, infatti, è volta a dimostrare l’esistenza di una definizione consuetudinaria di tratta di esseri umani, analizzando la figura criminis nella sua evoluzione storica e delineando il confine tra il crimine di human trafficking e il reato internazionale di schiavitù. Negli anni, a partire dalle prime convenzioni concernenti la tratta delle bianche, fino ad arrivare al recente Protocollo di Palermo, si è cristallizzata una definizione consuetudinaria di tratta di esseri umani, incentrata sul trasporto
APA, Harvard, Vancouver, ISO, and other styles
36

Bencini, Riccardo <1995&gt. "La lotta al traffico illecito di beni culturali." Master's Degree Thesis, Università Ca' Foscari Venezia, 2020. http://hdl.handle.net/10579/18110.

Full text
Abstract:
La tesi affronta il tema della circolazione illecita dei beni culturali a livello internazionale, con particolare riferimento al fenomeno nell'area mediorientale. In primo luogo, si analizzano le principali fonti relative alla disciplina del traffico illecito, che comprendono sia gli strumenti internazionali, sia gli strumenti interni adottati da Siria ed Iraq. Nel secondo capitolo, nella sezione I, si effettua un'analisi comparativa, analogie e differenze, tra la Convenzione UNESCO del 1970, concernente le misure per interdire ed impedire l'illecita importazione, esportazione e trasferimen
APA, Harvard, Vancouver, ISO, and other styles
37

Baraldi, Roberta. "Le nuove tecnologie nella lotta contro il Covid-19." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2020.

Find full text
Abstract:
Questo lavoro ha l’obiettivo di analizzare e mettere in evidenza come il progresso tecnologico abbia contribuito ad una efficace risposta allo stato di emergenza che ha colpito il globo a causa del Covid-19. In primo luogo è stata messa in luce l’importanza della Telemedicina, uno strumento che fino all’inizio della pandemia era stato poco considerato, ma che si è rivelato di fondamentale importanza per garantire le cure a distanza, in particolare a pazienti con malattie croniche. Un altro ruolo fondamentale è svolto dall’Intelligenza Artificiale: dalla diagnostica, che ha consentito un’analis
APA, Harvard, Vancouver, ISO, and other styles
38

Jaouani, Rafik. "LOTOS based conformance testing: The theory and a tool." Thesis, University of Ottawa (Canada), 1992. http://hdl.handle.net/10393/7509.

Full text
Abstract:
Computers in a network have to obey to well-defined protocols in order to communicate properly. These protocols can be very complex and their implementation is often subject to errors. One question arises after implementing a communication protocol: does the implementation conform to its specification? The process of answering this question is called conformance testing. The introduction of formal description techniques, in particular LOTOS, made it possible to formalize the problem and to develop formal methods to check the conformance of implementations to their specifications. To test for c
APA, Harvard, Vancouver, ISO, and other styles
39

Boumezbeur, Rezki. "Design, specification, and validation of telephony systems in LOTOS." Thesis, University of Ottawa (Canada), 1991. http://hdl.handle.net/10393/7932.

Full text
Abstract:
LOTOS (Language Of Temporal Ordering Specification) is a Formal Description Technique (FDT) based on the temporal ordering of observational behaviour. It was developed by ISO (International Organization for Standardization) for the specification of OSI (Open Systems Interconnection) services and protocols. The topic of this thesis is first to present a Sample Telephone System, then formalize it using the FDT language LOTOS. The resulting LOTOS specification is then validated using an interpreter. Testing the design of the specification is also discussed. The thesis is structured as follows: in
APA, Harvard, Vancouver, ISO, and other styles
40

Gibson, J. Paul. "Formal object oriented development of software systems using LOTOS." Thesis, University of Stirling, 1993. http://hdl.handle.net/1893/24014.

Full text
Abstract:
Formal methods are necessary in achieving correct software: that is, software that can be proven to fulfil its requirements. Formal specifications are unambiguous and analysable. Building a formal model improves understanding. The modelling of nondeterminism, and its subsequent removal in formal steps, allows design and implementation decisions to be made when most suitable. Formal models are amenable to mathematical manipulation and reasoning, and facilitate rigorous testing procedures. However, formal methods are not widely used in software development. In most cases, this is because they ar
APA, Harvard, Vancouver, ISO, and other styles
41

Sadaoui-Mouhoub, Samira. "Aide à la réutilisation de spécifications formelles en LOTOS." Nancy 1, 2000. http://www.theses.fr/2000NAN10030.

Full text
Abstract:
La réutilisation est un moyen permettant d'améliorer la qualité et la productivité des logiciels. Cependant, il existe encore des problèmes non entièrement résolus limitant la pratique de la réutilisation comme la construction d'un composant réutilisable et l'adaptation d'un composant dans une application selon les besoins spécifiques de l'utilisateur. Dans notre travail, nous nous sommes intéressés à la réutilisation de spécifications formelles. Celles-ci permettent, d'une part, une description du système de manière plus abstraite, plus explicite et plus modulaire que le code, et d'autre part
APA, Harvard, Vancouver, ISO, and other styles
42

Saidouni, Djamel-Eddine. "Sémantique de maximalité : application au raffinement d'actions dans LOTOS." Toulouse 3, 1996. http://www.theses.fr/1996TOU30040.

Full text
Abstract:
Cette thèse se situe dans le cadre de méthodes de conception de systèmes répartis s'appuyant sur des techniques de raffinement d'actions. En considérant la technique de description formelle lotos comme langage d'étude, elle aborde des problèmes théoriques concernant l'adéquation de différentes sémantiques du parallélisme pour la mise en oeuvre du raffinement d'actions. Bien que la sémantique d'entrelacement soit souvent considérée comme étant la plus simple pour exprimer le parallélisme, elle ne permet pas de représenter correctement le comportement de systèmes concurrents dès que les actions
APA, Harvard, Vancouver, ISO, and other styles
43

Capanna, Andrea. "Dispositivi di telemonitoraggio nella lotta contro il COVID-19." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2021. http://amslaurea.unibo.it/23365/.

Full text
Abstract:
Nel dicembre del 2019, a Wuhan, in Cina, sono comparsi i primi sintomi di quello che verrà poi denominato SARS-CoV-2. Da allora, quel nuovo ceppo di coronavirus si è diffuso a livello globale, scatenando in molti paesi uno stato di emergenza sanitaria per la malattia ad esso associata. Ancora oggi, la pandemia di COVID-19 è il principale soggetto delle attenzioni della maggior parte delle persone, in quanto in diversi paesi, tra cui l’Italia, il numero di vittime causate da questa malattia rimane elevato. Per questo motivo ho deciso di trattare questo argomento nella mia tesi di laurea, il cui
APA, Harvard, Vancouver, ISO, and other styles
44

Reti, Heidrun. "Bewertung und Analyse der formalen Spezifikationssprachen LOTOS und Esterel." [S.l.] : Universität Stuttgart , Fakultät Informatik, 1997. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB6783643.

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

PAGLIUCA, EMMA. "Il Risk management come strumento di lotta alla corruzione." Doctoral thesis, Università degli Studi di Roma "Tor Vergata", 2009. http://hdl.handle.net/2108/207790.

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

Pappone, Michele. "La tutela del marchio e la lotta alla contraffazione." Doctoral thesis, Università degli studi del Molise, 2017. http://hdl.handle.net/11695/73681.

Full text
Abstract:
La presente tesi di ricerca si prefigge lo scopo di analizzare, dal punto di vista giuridico, il valore del marchio d’impresa nonché gli attuali strumenti di contrasto alla contraffazione, in un’ottica non solo nazionale bensì anche transnazionale. Nel primo capitolo, in particolare, si terrà conto della nozione e delle funzioni svolte dal marchio, così come meglio specificate da dottrina e giurisprudenza nel corso degli anni. Successivamente, particolare attenzione sarà dedicata alla tutela del “Made in Italy”, quale bersaglio di continue pratiche contraffattorie, e sul “disordine legislativo
APA, Harvard, Vancouver, ISO, and other styles
47

Minet, Marco <1994&gt. "Il ruolo delle città nella lotta al cambiamento climatico." Master's Degree Thesis, Università Ca' Foscari Venezia, 2020. http://hdl.handle.net/10579/18353.

Full text
Abstract:
Le città sono sia una delle principali cause del cambiamento climatico, sia una soluzione. Dalle prime scoperte della relazione tra i livelli di anidride carbonica nell'atmosfera e la temperatura media globale sono passati diversi decenni prima che la politica internazionale si iniziasse a preoccupare della pericolosità per l'ambiente di un incremento della temperatura. Tuttavia, è chiaro come i trattati internazionali abbiano finora fallito nel raggiungere i propri obiettivi. In questa cornice, si sono inserite le città. Le aree urbane ospitano la maggior parte della popolazione del pianeta,
APA, Harvard, Vancouver, ISO, and other styles
48

LORUSSO, ARTEMISIA. "La cooperazione giudiziaria internazionale nella lotta agli illeciti economici." Doctoral thesis, Università Bocconi, 2009. https://hdl.handle.net/11565/4053859.

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

LORUSSO, MICHELE ANGELO. "IL SOTTOSISTEMA PENALE PER LA LOTTA ALLA CRIMINALITA' ORGANIZZATA." Doctoral thesis, Università degli Studi di Milano, 2012. http://hdl.handle.net/2434/173932.

Full text
Abstract:
Il presente lavoro prende le mosse dalla constatazione di come nell’ordinamento italiano sia ormai ben distinguibile un sottosistema penale per la lotta alla criminalità organizzata e si propone un duplice obiettivo. Il primo riguarda l’individuazione di una definizione di ‘criminalità organizzata’, attraverso l’analisi delle fonti di diritto interno, internazionale o sovranazionale, estendendola anche ai principali modelli ricostruttivi elaborati dalle scienze sociali. Il secondo obiettivo riguarda un’indagine esplorativa del sottosistema, nelle sue componenti sostanziali, processuali e penit
APA, Harvard, Vancouver, ISO, and other styles
50

Juliá, Baquedano Pilar. "Hotel Fundición : proyecto de desarrollo económico enmarcado en un plan de reconversión orientada al turismo en la comuna de Lota." Tesis, Universidad de Chile, 2012. http://repositorio.uchile.cl/handle/2250/112563.

Full text
Abstract:
Arquitecto<br>No autorizada por el autor para ser publicada a texto completo<br>El proyecto de título pretende abordar el patrimonio como recurso de desarrollo y revitalización de una localidad a través de su reconversión hacia el turismo.La misión del presente proyecto de arquitectura es identificar oportunidades de desarrollo, principalmente a través de la valoración de su patrimonio cultural, natural y construido. La estrategia está en la creación de un polo de desarrollo turístico enmarcado en un plan integral de reconversión económica en base al turismo cultural que, a través de una buen
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Lotofa' for other source types:
Journal articles Books
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!

To the bibliography