Zaloguj się

Gotowe bibliografie tematyczne / Logic flow / Rozprawy doktorskie

Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Logic flow.

Rozprawy doktorskie na temat „Logic flow”

Autor: Grafiati

Data publikacji: 2 czerwca 2025

Data aktualizacji: 31 lipca 2025

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Sprawdź 50 najlepszych rozpraw doktorskich naukowych na temat „Logic flow”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Przeglądaj rozprawy doktorskie z różnych dziedzin i twórz odpowiednie bibliografie.

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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

3

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

Znajdź pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

10

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

15

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

27

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

29

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

30

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

32

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

33

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

34

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

49

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!