Log in

Relevant bibliographies by topics / Logic flow / Dissertations / Theses

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

Dissertations / Theses on the topic 'Logic flow'

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 'Logic flow.'

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

Salvini, Fabio <1992&gt. "Flow logic based information flow analysis of Android applications." Master's Degree Thesis, Università Ca' Foscari Venezia, 2018. http://hdl.handle.net/10579/12996.

Full text

Abstract:

Android is the world's most popular mobile OS, with more than 2 billion monthly active devices. Static analysis is an essential tool to protect the sensitive data stored in the devices from malicious applications. In this thesis, we present the first flow logic for the information flow analysis of Dalvik bytecode that is specifically tailored to the peculiar lifecycle of Android applications. A prototype implementation based on a state-of-the-art SMT solver demonstrates the practicality of our approach.

APA, Harvard, Vancouver, ISO, and other styles

2

Furman, Jeffrey Clinton. "Logic flow diagrams for planning of building projects." Thesis, Springfield, Va. : Available from National Technical Information Service, 1999. http://handle.dtic.mil/100.2/ADA367220.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Bharath, Karthik. "The logic of information flow a graded approach /." Diss., Online access via UMI:, 2008.

Find full text

Abstract:

Thesis (M.S.)--State University of New York at Binghamton, Thomas J. Watson School of Engineering and Applied Science, Department of Systems Science and Industrial Engineering, 2008.<br>Includes bibliographical references.

APA, Harvard, Vancouver, ISO, and other styles

4

Shafike, Nabil Girgis. "Groundwater flow simulations and management under imprecise parameters." Diss., The University of Arizona, 1994. http://etd.library.arizona.edu/etd/GetFileServlet?file=file:///data1/pdf/etd/azu_e9791_1994_103_sip1_w.pdf&type=application/pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Chiu, Kuan-Shiu. "Adaptive optimization of intelligent flow control." Thesis, University of Sunderland, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.288014.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Atluri, Lava Kumar. "Design Automation Flow using Library Adaptation for Variation Aware Logic Synthesis." University of Cincinnati / OhioLINK, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1397466797.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Mai, Ngoc Anh, and Klaus Janschek. "Bio-inspired Optical Flow Interpretation with Fuzzy Logic for Behavior-Based Robot Control." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2010. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-26252.

Full text

Abstract:

This paper presents a bio-inspired approach for optical flow data interpretation based on fuzzy inference decision making for visual mobile robot navigation. The interpretation results of regionally averaged optical flow patterns with pyramid segmentation of the optical flow field deliver fuzzy topological and topographic information of the surrounding environment (topological structure from motion). It allows a topological localization in a global map as well as controlled locomotion (obstacle avoidance, goal seeking) in a changing and dynamic environment. The topological optical flow process

APA, Harvard, Vancouver, ISO, and other styles

8

Vonglao, Paothai. "The solution of traffic signal timing by using traffic intensity estimation and fuzzy logic." Connect to thesis, 2007. http://portal.ecu.edu.au/adt-public/adt-ECU2007.0035.html.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Rabe, Markus N. [Verfasser], and Bernd [Akademischer Betreuer] Finkbeiner. "A temporal logic approach to iInformation-flow control / Markus N. Rabe. Betreuer: Bernd Finkbeiner." Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2016. http://d-nb.info/1097263266/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Tan, Jiaqi. "Prescriptive Safety-Checks through Automated Proofs for Control-Flow Integrity." Research Showcase @ CMU, 2016. http://repository.cmu.edu/dissertations/715.

Full text

Abstract:

Embedded software today is pervasive: they can be found everywhere, from coffee makers and medical devices, to cars and aircraft. Embedded software today is also open and connected to the Internet, exposing them to external attacks that can cause its Control-Flow Integrity (CFI) to be violated. Control-Flow Integrity is an important safety property of software, which ensures that the behavior of the software is not inadvertently changed. The violation of CFI in software can cause unintended behaviors, and can even lead to catastrophic incidents in safety-critical systems. This dissertation dev

APA, Harvard, Vancouver, ISO, and other styles

11

Kurtuluş, Bedri. "Modeling of groundwater flow and quality in karstic system using "soft computing" methods (neural networks, fuzzy logic)." Poitiers, 2008. http://www.theses.fr/2008POIT2304.

Full text

Abstract:

Karstic aquifers present a great extension throughout the world (12 % of the emerged grounds) and in particular in countries around the Mediterranean sea (from 20 to 90 % of the surface of the Mediterranean countries). These aquifers represent important groundwater potentialities. In both countries (France and Turkey), these karstic aquifers are exploited for drinking water supply and other economic activities (agriculture, pisciculture,. . . ) and constitute the single water resource in certain areas of these countries. The role of these karstic hydrosystems in the social and economical conte

APA, Harvard, Vancouver, ISO, and other styles

12

Figueiró, Thiago Rosa. "Multiple objective technology independent logic synthesis for multiple output functions through AIG functional composition." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2010. http://hdl.handle.net/10183/27663.

Full text

Abstract:

O emprego de ferramentas de automação de projetos de circuitos integrados permitiu que projetos complexos atingissem time-to-market e custos de produção factíveis. Neste contexto, o processo de síntese lógica é uma etapa fundamental no fluxo de projeto. O passo independente de tecnologia (parte do processo de síntese lógica, que é realizada sem considerar características físicas) é tradicionalmente realizado sobre equações. O desenvolvimento de novos algoritmos de otimização multi-nível recentemente migrou para o emprego de And-Inverter Graphs (AIGs). O número de nodos e a altura de um grafo a

APA, Harvard, Vancouver, ISO, and other styles

13

Köhler, Stefan Daniel. "Nutzung von Prozessparametern automatischer Melksysteme für die Erkennung von Eutererkrankungen unter Verwendung der Fuzzy Logic." Doctoral thesis, Humboldt-Universität zu Berlin, Landwirtschaftlich-Gärtnerische Fakultät, 2002. http://dx.doi.org/10.18452/14814.

Full text

Abstract:

Das Ziel der Arbeit bestand darin zu untersuchen, inwieweit durch Kombination von einfach zu erhebenden Daten des Melkprozesses mittels Fuzzy Logic die Bewertung der Eutergesundheit in Automatischen Melksystemen (AMS) verbessert werden kann. Eigene Forschungen richteten sich auf die Evaluierung unterschiedlicher Milch- bzw. Melkparameter hinsichtlich ihrer Eignung als Inputvariable verfeinerter Erkennungsmodelle für Euterkrankheiten am Melkroboter sowie auf die Entwicklung und Optimierung von Fuzzy Logic Modellen. Im Rahmen eines Vorversuches ist geprüft worden, welche Variablen Eingang in da

APA, Harvard, Vancouver, ISO, and other styles

14

Karnik, Macaya Yohanna. "Vattennivåreglering i Avesta Lillfors : På uppdrag av Fortum Generation AB." Thesis, KTH, Data- och elektroteknik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-146658.

Full text

Abstract:

I denna rapport utreds olika metoder för att kunna reglera vattennivån i vattenkraftverket Avesta Lillfors i Dalarna. Två kraftverk ligger endast 900 m uppströms och detta gör att svarstiderna blir korta och regleringen blir lätt nervös. Att använda sig av vattennivåreglering i ett kraftverk för-enklar dess styrning då anpassning till inflödet sker automatiskt. En flödestabell har tagits fram genom mätningar i turbinen, med hjälp av Winter-Kennedy-metoden. Denna tabell används för att kunna fram-koppla regulatorn och därmed dämpa stora variationer i inflödet. Dessu-tom har en modell av älven s

APA, Harvard, Vancouver, ISO, and other styles

15

Anandan, Princia. "Two phase microfluidics: new trend in model identification." Doctoral thesis, Università di Catania, 2013. http://hdl.handle.net/10761/1303.

Full text

Abstract:

The aim of the research is to give a proper understanding of the physical aspects involved in two-phase microfluidic systems: from the theoretical point of view to the development of numerical solutions for the flow field by Computational Modeling (CM) issue studies devoted to standard droplet generator for separation and segmented flow, bubble and drop formation, breakup and coalescence and then with increasing complexity in large scale microfluidic processors, bubble logic i.e. bubble to bubble hydrodynamic interaction provides an on-chip process control mechanism integrating chemistry and c

APA, Harvard, Vancouver, ISO, and other styles

16

Li, Hao. "Low power technology mapping and performance driven placement for field programmable gate arrays." [Tampa, Fla.] : University of South Florida, 2004. http://purl.fcla.edu/fcla/etd/SFE0000523.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

BUENO, REGIS C. "Detecção de contornos em imagens de padrões de escoamento bifásico com alta fração de vazio em experimentos de circulação natural com o uso de processamento inteligente." reponame:Repositório Institucional do IPEN, 2016. http://repositorio.ipen.br:8080/xmlui/handle/123456789/26817.

Full text

Abstract:

Submitted by Claudinei Pracidelli (cpracide@ipen.br) on 2016-11-11T13:03:47Z No. of bitstreams: 0<br>Made available in DSpace on 2016-11-11T13:03:47Z (GMT). No. of bitstreams: 0<br>Este trabalho desenvolveu um novo método para a detecção de contornos em imagens digitais que apresentam objetos de interesse muito próximos e que contêm complexidades associadas ao fundo da imagem como variação abrupta de intensidade e oscilação de iluminação. O método desenvolvido utiliza lógicafuzzy e desvio padrão da declividade (Desvio padrão da declividade fuzzy - FuzDec) para o processamento de imagens e dete

APA, Harvard, Vancouver, ISO, and other styles

18

Seidl, Tomáš. "Projektování materiálového toku pomocí počítačové simulace." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2021. http://www.nusl.cz/ntk/nusl-442812.

Full text

Abstract:

The content of this diploma thesis is to create a simulation model of the logistics chain of the production area of an industrial plant in order to design the logic control of material flow. Plant Simulation software from the company Siemens PLM Software is used to create the simulation model. The diploma thesis consists of system analysis of the researched area of the production plant. With the help of the simulation model, simulation experiments and evaluation of the obtained results are made. According to the results, the conclusions are drawn.

APA, Harvard, Vancouver, ISO, and other styles

19

Qian, Gongbin. "Effectiveness of eco-driving during queue discharge at urban signalised intersections." Thesis, Queensland University of Technology, 2013. https://eprints.qut.edu.au/65352/1/Gongbin_Qian_Thesis.pdf.

Full text

Abstract:

This research investigated the effectiveness of using an eco-driving strategy at urban signalised intersections from both the individual driver and the traffic flow perspective. The project included a field driving experiment and a series of traffic simulation investigations. The study found that the prevailing eco-driving strategy has negative impacts on traffic mobility and environmental performance when the traffic is highly congested. An improved eco-driving strategy has been developed to mitigate these negative impacts.

APA, Harvard, Vancouver, ISO, and other styles

20

Mai, Ngoc Anh [Verfasser], Klaus [Gutachter] Janschek, Matthias [Akademischer Betreuer] Hennig, Sylvia [Akademischer Betreuer] Horn, and Frank [Akademischer Betreuer] Schnitzer. "Optischer fluss-basierte Perzeption, verhaltensbasierte Steuerung und topologische Pfadplanung für mobile Roboter unter Nutzung von Fuzzy-Logik : Optical flow-based perception, behavior-based control, and topological path planning for mobile robots using fuzzy logic concepts / Ngoc Anh Mai ; Gutachter: Klaus Janschek ; Matthias Hennig, Sylvia Horn, Frank Schnitzer." Dresden : Technische Universität Dresden, 2021. http://d-nb.info/1231917415/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Rice, Matthew. "New Techniques for Continuous Chemical Analysis in the Pulp&Paper Industry." Doctoral thesis, Stockholm : Tekniska högsk, 2001. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-3131.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Pham, Cao Van. "Signalized fuzzy logic for diamond interchanges incorporating with fuzzy ramp system : a thesis presented in partial fulfilment of the requirements for the degree of Master of Engineering in Mechatronics at Massey University, Auckland, New Zealand." Massey University, 2009. http://hdl.handle.net/10179/1126.

Full text

Abstract:

New dynamic signal control methods such as fuzzy logic and artificial intelligence developed recently mainly focused on isolated intersection. In this study, a Fuzzy Logic Control for a Diamond Interchange incorporating with Fuzzy Ramp System (FLDI) has been developed. The signalization of two closely spaced intersections in a diamond interchange is a complicated problem that includes both increasing the diamond interchange capacity and reduce delays at the same time. The model comprises of three main modules. The Fuzzy Phase Timing module controls the current phase green time extension, the P

APA, Harvard, Vancouver, ISO, and other styles

23

Yu, Xue Feng. "Genetic fuzzy logic approach to local ramp metering control using microscopic traffic simulation : a thesis presented in partial fulfillment of the requirements for the degree of Master of Engineering in Mechatronics at Massey University, Auckland, New Zealand." Massey University, 2009. http://hdl.handle.net/10179/1146.

Full text

Abstract:

Ramp metering, one of the most effective solutions for improving motorway traffic flows, is playing increasingly important role in traffic management systems. Because of its capability to handle nonlinear and non-stationary problems, fuzzy logic based ramp metering algorithms have been always considered as an extremely suitable control measures to handle a complex nonlinear traffic system. This thesis proposes a genetic fuzzy approach to design a traffic-responsive ramp control algorithm for an isolated onramp. For a local ramp meter algorithm, the problem could be described as the inflow opti

APA, Harvard, Vancouver, ISO, and other styles

24

Balliu, Musard. "Logics for Information Flow Security:From Specification to Verification." Doctoral thesis, KTH, Teoretisk datalogi, TCS, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-150423.

Full text

Abstract:

Software is becoming increasingly ubiquitous and today we find software running everywhere. There is software driving our favorite game application or inside the web portal we use to read the morning news, and when we book a vacation. Being so commonplace, software has become an easy target to compromise maliciously or at best to get it wrong. In fact, recent trends and highly-publicized attacks suggest that vulnerable software is at the root of many security attacks. Information flow security is the research field that studies methods and techniques to provide strong securit

APA, Harvard, Vancouver, ISO, and other styles

25

Shelor, Charles F. "Dataflow Processing in Memory Achieves Significant Energy Efficiency." Thesis, University of North Texas, 2018. https://digital.library.unt.edu/ark:/67531/metadc1248478/.

Full text

Abstract:

The large difference between processor CPU cycle time and memory access time, often referred to as the memory wall, severely limits the performance of streaming applications. Some data centers have shown servers being idle three out of four clocks. High performance instruction sequenced systems are not energy efficient. The execute stage of even simple pipeline processors only use 9% of the pipeline's total energy. A hybrid dataflow system within a memory module is shown to have 7.2 times the performance with 368 times better energy efficiency than an Intel Xeon server processor on the ana

APA, Harvard, Vancouver, ISO, and other styles

26

Kritikos, Theodosios. "Geomorphic Hazard Analyses in Tectonically-Active Mountains: Application to the Western Southern Alps, New Zealand." Thesis, University of Canterbury. Geological Sciences, 2013. http://hdl.handle.net/10092/8978.

Full text

Abstract:

On-going population growth and urbanization increasingly force people to occupy environments where natural processes intensely affect the landscape, by way of potentially hazardous natural events. Tectonic plate boundaries, active volcanic regions and rapidly uplifting mountain ranges are prominent examples of geomorphically hazardous areas which today accommodate some of the world’s largest cities. These areas are often affected by more than one hazard such as volcanic eruptions, earthquakes, landslides, tsunamis, floods, storms and wildfires, which frequently interact with each other increas

APA, Harvard, Vancouver, ISO, and other styles

27

Павловський, Владислав Олександрович. "Система керування дорожнім рухом у місті". Master's thesis, КПІ ім. Ігоря Сікорського, 2019. https://ela.kpi.ua/handle/123456789/32305.

Full text

Abstract:

Інтенсивне збільшення кількості транспортних засобів у містах України за останні роки призвело до значного перевантаження транспортної мережі, утворення транспортних заторів. Хоча виникнення заторів обумовлено багатьма факторами, значна їх кількість сконцентрована на регульованих перехрестях. Метою даної роботи є підвищення ефективності керування дорожнім рухом у місті. Особлива увага приділяється керуванню світлофорними об’єктами з використанням сучасного апарата нечіткої логіки. Розроблено структуру побудови системи керування дорожнім рухом в місті. Виділено підсистеми реєстрації дорожньог

APA, Harvard, Vancouver, ISO, and other styles

28

O'Hare, Matthew Thomas. "Flow preferences of benthic macroinvertebrates in three Scottish rivers." Thesis, University of Glasgow, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.312705.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Кучмистенко, О. В. "Метод контролю за витоками і несанкціонованими відборами нафти з магістральних нафтопроводів". Thesis, Івано-Франківський національний технічний університет нафти і газу, 2006. http://elar.nung.edu.ua/handle/123456789/4111.

Full text

Abstract:

Дисертація присвячена розробці методу контролю за витоками і несанкціонованими відборами нафти з магістральних нафтопроводів. Розглядається задача створення, на базі методів нечіткої логіки моделі контролю несанкціонованого відбору нафти з магістрального нафтопроводу, яка враховувала б різні режими експлуатації, нелінійний характер діаграми тисків і витрат, а також скорочувала б час оброблення одержаної інформації. Розроблено алгоритмічне і програмне забезпечення для нижнього рівня автоматизованої системи контролю технічного стану магістрального нафтопроводу шляхом подальшого розвитку алгоритм

APA, Harvard, Vancouver, ISO, and other styles

30

Maciel, Andrilene Ferreira. "Uma interpretação nebulosa dos mapas de Kohonen." Universidade Federal de Alagoas, 2008. http://repositorio.ufal.br/handle/riufal/823.

Full text

Abstract:

The Data Mining techniques, based on the Kohonen self-organizing maps have been largely used for classifying signals in several areas of expertise. Generally, the SOM network (Self- Organizing Maps) is used to specify similarity relationships between objects by adopting cluster analysis. The computational cost, data preparation and mathematical modeling can influence the interpretation of results, in which those from the evaluation classes are among its limitations. The Kohonen maps do not permit detailed evaluation of the class of objects, which may however be defined by the class limits, in

APA, Harvard, Vancouver, ISO, and other styles

31

Romańska-Sobol, Anna. "Ein Verfahren zur Wertermittlung von bergbaubeeinflussten Immobilien unter Verwendung des DCF-Verfahrens und der Fuzzy-Logik." Doctoral thesis, Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2013. http://nbn-resolving.de/urn:nbn:de:bsz:105-qucosa-113618.

Full text

Abstract:

Die vorliegende Arbeit beschäftigt sich mit der Entwicklung einer Methode zur Wertermittlung von bergbaubeeinflussten Immobilien, welche die wesentlichen Bergbaurisiken berücksichtigt. Die Untersuchungen ergaben, dass das Risiko von Investitionen in bergbaubeeinflusste Immobilien durchschnittlich dreimal größer ist als das Risiko von Investitionen in Immobilien ohne Bergbaueinflüsse. Für die Ermittlung des Risikos kamen eine immobilien- und eine bergbauspezifische Komponente zum Einsatz. Letztere umfasst Prognosen zu potentiellen Oberflächenvernässungen, zur Sickerwassergefahr und zu bergbaube

APA, Harvard, Vancouver, ISO, and other styles

32

Fogg, David W. "Bubble dynamics in microchannel flow boiling /." May be available electronically:, 2007. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Shi, Chunmei. "Flow behavior of gas-condensate wells /." May be available electronically:, 2009. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Do, Hyungrok. "Plasma-assisted combustion in a supersonic flow /." May be available electronically:, 2009. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Rosset, Véronique, Albert Ruhi, Michael T. Bogan, and Thibault Datry. "Do lentic and lotic communities respond similarly to drying?" WILEY, 2017. http://hdl.handle.net/10150/625362.

Full text

Abstract:

Disturbance is a central factor shaping composition, structure, and dynamics of local communities. Drying is a disturbance that occurs in aquatic ecosystems globally and can strongly influence their communities. Although the effects of drying may depend on ecosystem connectivity and the dispersal abilities of resident species, there have been no comparisons of community responses to drying between lentic and lotic ecosystems across different climates. Here, we predicted that drying would have stronger effects on aquatic communities in isolated lentic ecosystems than in dendritic lotic ecosyste

APA, Harvard, Vancouver, ISO, and other styles

36

Hutter, Jonas, and Mehnaz Mashayeke. "A dynamic decision model and a system logic evaluation for Sandvik Machining Solutions distribution flows." Thesis, Linköpings universitet, Kommunikations- och transportsystem, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-110571.

Full text

Abstract:

The aim of this thesis is partly to create a dynamic decision model for Sandvik Machining Solutions distribution flows and partly to evaluate how the stock transfer system logic handle four specific exceptional situations. The purpose is to reduce the total costs while keeping or improving the service level. The thesis presents a total cost model and guidelines for the planning function when deciding the main supplier in the distribution. The thesis also presents a system logic evaluation of the stock transfer logic used by Sandvik Machining Solutions.

APA, Harvard, Vancouver, ISO, and other styles

37

Bice, Jonathon Ray. "Experimental investigation of a meso-scale axial flow pump." To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2009. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Butsuntorn, Nawee. "Time spectral method for rotorcraft flow with vorticity confinement /." May be available electronically:, 2008. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Straßburger, Lutz. "Towards a Theory of Proofs of Classical Logic." Habilitation à diriger des recherches, Université Paris-Diderot - Paris VII, 2011. http://tel.archives-ouvertes.fr/tel-00772590.

Full text

Abstract:

Les questions <EM>"Qu'est-ce qu'une preuve?"</EM> et <EM>"Quand deux preuves sont-elles identiques?"</EM> sont fondamentales pour la théorie de la preuve. Mais pour la logique classique propositionnelle --- la logique la plus répandue --- nous n'avons pas encore de réponse satisfaisante. C'est embarrassant non seulement pour la théorie de la preuve, mais aussi pour l'informatique, où la logique classique joue un rôle majeur dans le raisonnement automatique et dans la programmation logique. De même, l'architecture des processeurs est fondée sur la logique classique. Tous les domaines dans lesqu

APA, Harvard, Vancouver, ISO, and other styles

40

Krishnamurthy, Shalini B. "Relaxation schemes for multiphase, multicomponent flow in gas injection processes /." May be available electronically:, 2008. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Lefray, Arnaud. "Security for Virtualized Distributed Systems : from Modelization to Deployment." Thesis, Lyon, École normale supérieure, 2015. http://www.theses.fr/2015ENSL1032/document.

Full text

Abstract:

Cette thèse s'intéresse à la sécurité des environnements virtualisés distribués type “Clouds” ou informatique en nuage. Dans ces environnements, le client bénéficie de ressources ou services (de calcul, stockage, etc.) à la demande sans connaissance de l'infrastructure sous-jacente. Ces services sont proposés à bas coût en mutualisant les ressources proposées aux clients. Ainsi, ces derniers se retrouvent à partager une infrastructure commune. Cependant, cette concentration des activités en fait une cible privilégiée pour un attaquant, d'autant plus intéressante que les Clouds présentent de no

APA, Harvard, Vancouver, ISO, and other styles

42

Tonde, Mahesh Pandurang. "Retroffiting a stereolithography system within a laminar flow hood." To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2009. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Walters, Kevin M. "A flow-reactor study of vitiated ethane oxidation at intermediate temperatures /." May be available electronically:, 2008. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Lueth, Christopher A. "Experimental and numerical studies of tethered DNA dynamics in shear flow /." May be available electronically:, 2009. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Cobian, Marcela Ivonne. "Investigation on the flow dynamics of mesoscale inlet guide vanes." To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2008. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Vargas, Duarte Gerardo. "An experimental study of the hydrodynamics of multiphase flow in fluidized beds." To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2009. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Chang, Sandy. "Small-scale flow variability inside branched coral colonies : computations and experimental validation /." May be available electronically:, 2007. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Kim, Hyun Jin. "Three-dimensional finite element modeling of blood flow in the coronary arteries /." May be available electronically:, 2009. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Hammadi, Lamia. "Custom supply chain engineering : modeling and risk management : application to the customs." Thesis, Normandie, 2018. http://www.theses.fr/2018NORMIR23.

Full text

Abstract:

La sécurité, la sûreté et l’efficacité de la chaîne logistique internationale revêtent une importance capitale pour le gouvernement, pour ses intérêts financiers et économiques et pour la sécurité de ses résidents. À cet égard, la société est confrontée à des multiples menaces, telles que le trafic illicite de drogues, d’armes ou autre type de contrebande, ainsi que la contrefaçon et la fraude commerciale. Pour contrer (détecter, prévenir, enquêter et atténuer) ces menaces, le rôle des douanes se pose en tant que gardiens du commerce international et acteurs principaux de la sécurisation de la

APA, Harvard, Vancouver, ISO, and other styles

50

Sanchez, Urbina Israel. "Optimizing flow of plastic PBT with 45% glass and mineral fiber reinforcement in an injection over mold process using Taguchi, CPk and mold flow simulation software approaches." To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2009. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.

Full text

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!