Academic literature on the topic 'Minimal cut'

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Minimal cut.'

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.

Journal articles on the topic "Minimal cut"

1

Samodivkin, Vladmir. "Minimal acyclic dominating sets and cut-vertices." Mathematica Bohemica 130, no. 1 (2005): 81–88. http://dx.doi.org/10.21136/mb.2005.134216.

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

Kromodimoeljo, Sentot, and Peter A. Lindsay. "Automatic Generation of Minimal Cut Sets." Electronic Proceedings in Theoretical Computer Science 184 (June 10, 2015): 33–47. http://dx.doi.org/10.4204/eptcs.184.3.

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

Kara‐Zaitri, Chakib. "An improved minimal cut set algorithm." International Journal of Quality & Reliability Management 13, no. 2 (1996): 114–32. http://dx.doi.org/10.1108/02656719610110069.

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

ZOLER, MITCHEL L. "Brivaracetam Cut Seizures With Minimal Side Effects." Clinical Neurology News 3, no. 12 (2007): 1–2. http://dx.doi.org/10.1016/s1553-3212(08)70004-9.

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

Hua, Hao, and Tingli Jia. "Wire cut of double-sided minimal surfaces." Visual Computer 34, no. 6-8 (2018): 985–95. http://dx.doi.org/10.1007/s00371-018-1548-0.

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

Basu, Amitabh, Robert Hildebrand, and Marco Molinaro. "Minimal cut-generating functions are nearly extreme." Mathematical Programming 172, no. 1-2 (2017): 329–49. http://dx.doi.org/10.1007/s10107-017-1153-4.

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

Skrobanek, Paweł. "Minimal cut sets with time dependencies analysis." Automatyka/Automatics 17, no. 2 (2013): 219. http://dx.doi.org/10.7494/automat.2013.17.2.219.

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

Klamt, S., and E. D. Gilles. "Minimal cut sets in biochemical reaction networks." Bioinformatics 20, no. 2 (2004): 226–34. http://dx.doi.org/10.1093/bioinformatics/btg395.

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

Kozyra, Paweł Marcin. "Analysis of minimal path and cut vectors in multistate monotone systems and use it for detection of binary type multistate monotone systems." Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability 234, no. 5 (2020): 686–95. http://dx.doi.org/10.1177/1748006x20922083.

Full text
Abstract:
Theorem specifying how all minimal cut (path) vectors to level j can be obtained from all minimal path (cut) vectors to level j in any multistate monotone system is proven. Characterizations of binary type multistate monotone systems and binary type multistate strongly coherent systems by minimal cut and path vectors and corresponding to them, binary type cut and path sets are also demonstrated.
APA, Harvard, Vancouver, ISO, and other styles
10

Che, Yanbo, Yuancheng Zhao, Jianmei Xu, and Jinhuan Zhou. "A Hierarchical Approach for Fast Calculating Minimal Cut Sets of a Microgrid." Mathematical Problems in Engineering 2017 (2017): 1–8. http://dx.doi.org/10.1155/2017/5154740.

Full text
Abstract:
Minimal cut sets are the basis of reliability analysis using analytical techniques. At the present stage, minimal cut sets are mainly obtained by dealing with minimal path sets, which involves cumbersome steps and slower operational speed. The speed of reliability analysis is limited by that of calculating minimal cut sets. In consideration of the characteristics of microgrid, a hierarchical approach for fast calculating minimal cut sets is proposed in this paper. Firstly, an equivalent principle is proposed to convert topology structure into network node diagram; then grades of nodes are desi
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Minimal cut"

1

Zokari, Yasmin al [Verfasser], Hans [Akademischer Betreuer] Hagen, Peter [Akademischer Betreuer] Dannenmann, and Curtis [Akademischer Betreuer] Smith. "Interactive Visualizations Supporting Minimal Cut Set Analysis II / Yasmin Al-Zokari. Betreuer: Hans Hagen ; Peter Dannenmann ; Curtis Smith." Kaiserslautern : Technische Universität Kaiserslautern, 2016. http://d-nb.info/110625032X/34.

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

Muller, Margot. "The occurrence of microbial hazards and succession of Enterobacteriaceae on fresh - cut fruit during minimal processing and storage." Diss., University of Pretoria, 2014. http://hdl.handle.net/2263/43193.

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

Laperriere, Christiane. "Positive cocycles for minimal Zd-actions on a cantor set resulting from cut and project schemes: The octogonal tiling." Thesis, University of Ottawa (Canada), 2009. http://hdl.handle.net/10393/28269.

Full text
Abstract:
We study the cut and projection method, which is a way to construct tilings. This construction leads to a minimal Zd -action on the Cantor set. In this thesis, we will focus our attention on two examples that we will describe in full details. the Fibonacci tiling on R and the octogonal tiling on R2 . For the octogonal tiling, we find small strictly positive cocycles for the minimal action on specific cones of Z2 .
APA, Harvard, Vancouver, ISO, and other styles
4

Kraváček, Radek. "Analýza rozměrového účinku při řezání a jeho význam pro posouzení minimální tloušťky třísky." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2010. http://www.nusl.cz/ntk/nusl-229235.

Full text
Abstract:
During machining play the size off component deciding role from the viewpoint of their behaviour. This is result of „size effect”, which turns common characteristic cutting process. The aim of diploma thesis was contribute piece of knowledge verification of this effect and the further exploit during machining. The main interest is directed to the relation between the cutting edge and depth of cut.
APA, Harvard, Vancouver, ISO, and other styles
5

Rezig, Sadok. "Approches canoniques pour la synthèse des contrôleurs réseaux de Petri." Thesis, Université de Lorraine, 2016. http://www.theses.fr/2016LORR0117/document.

Full text
Abstract:
Dans ce mémoire, nous présentons différentes approches de synthèse de contrôleurs réseaux de Petri en se basant sur la théorie des régions. Cette théorie présente quelques limites dans la synthèse de contrôle. En effet, la synthèse du contrôleur RdP, s’il existe, n’est pas du tout une tâche facile vue sa complexité de calcul et l’explosion combinatoire des états dans le graphe de marquage. De plus, le système linéaire de la théorie des régions à résoudre peut contenir des combinaisons convexes entre ces équations ce qui rend la théorie insoluble pour calculer les superviseurs RdP. Ce travail v
APA, Harvard, Vancouver, ISO, and other styles
6

Nguyen, Vu ngoc tung. "Analysis of biochemical reaction graph : application to heterotrophic plant cell metabolism." Thesis, Bordeaux, 2015. http://www.theses.fr/2015BORD0023/document.

Full text
Abstract:
Aujourd’hui, la biologie des systèmes est confrontée aux défis de l’analyse de l’énorme quantité de données biologiques et à la taille des réseaux métaboliques pour des analyses à grande échelle. Bien que plusieurs méthodes aient été développées au cours des dernières années pour résoudre ce problème, ce sujet reste un domaine de recherche en plein essor. Cette thèse se concentre sur l’analyse des propriétés structurales, le calcul des modes élémentaires de flux et la détermination d’ensembles de coupe minimales du graphe formé par ces réseaux. Dans notre recherche, nous avons collaboré avec d
APA, Harvard, Vancouver, ISO, and other styles
7

Naujokaitis, Darius. "Sistemos gedimo modeliavimas ir tikimybinis vertinimas." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2010. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2010~D_20100825_101407-27226.

Full text
Abstract:
Sistemų gedimo modeliavimas paprastai vykdomas taikant taip vadinamus gedimų medžius. Sistemos gedimo tikimybės ir gedimo atsiradimo priežasčių vertinimas dažniausiai atliekamas sudarant minimalių kirtimų aibę (MCS) ir pagal ją įvertinant gedimo tikimybę. Pastaruosius dvidešimt metų tiksliam gedimo tikimybės vertinimui yra taikoma dvejetainė sprendimų diagrama (BDD). Tačiau BDD sudarymo ir taikymo metodika vis dar yra tobulinama. Iki šiol Lietuvoje sistemos gedimo tikimybės vertinimui BDD dar nebuvo taikyta. Pristatant atliktą darbą aprašomi pagrindiniai MCS ir BDD sudarymo metodai bei jų taik
APA, Harvard, Vancouver, ISO, and other styles
8

Rezig, Sadok. "Approches canoniques pour la synthèse des contrôleurs réseaux de Petri." Electronic Thesis or Diss., Université de Lorraine, 2016. http://www.theses.fr/2016LORR0117.

Full text
Abstract:
Dans ce mémoire, nous présentons différentes approches de synthèse de contrôleurs réseaux de Petri en se basant sur la théorie des régions. Cette théorie présente quelques limites dans la synthèse de contrôle. En effet, la synthèse du contrôleur RdP, s’il existe, n’est pas du tout une tâche facile vue sa complexité de calcul et l’explosion combinatoire des états dans le graphe de marquage. De plus, le système linéaire de la théorie des régions à résoudre peut contenir des combinaisons convexes entre ces équations ce qui rend la théorie insoluble pour calculer les superviseurs RdP. Ce travail v
APA, Harvard, Vancouver, ISO, and other styles
9

Silva, Gleucia Carvalho. "Estudo do efeito do tipo de corte, adiÃÃo de cloreto de cÃlcio e Ãcido ascÃrbico nas caracterÃsticas fÃsicas, fÃsico-quÃmicas e microbiolÃgicas do abacaxi minimamente processado." Universidade Federal do CearÃ, 2001. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=11603.

Full text
Abstract:
CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior<br>Devido a tendÃncia mundial de consumo de produtos in natura ou o mais prÃximo destes, os produtos minimamente processados vÃm apresentando um acentuado destaque no mercado consumidor. Este trabalho teve como objetivo avaliar os efeitos do corte e a adiÃÃo e cloreto de cÃlcio (CaCl2) e Ãcido ascÃrbico nas caracterÃsticas fÃsico-quimicas, fÃsicas e microbiolÃgicas do abacaxi minimamente processado. Os equipamentos, utensÃlios e embalagens foram higienizados com soluÃÃo de hipoclorito de sÃdio a 200ppm por 30 minutos. A higieni
APA, Harvard, Vancouver, ISO, and other styles
10

Levine, Matthew S. (Matthew Steven). "Experimental study of minimum cut algorithms." Thesis, Massachusetts Institute of Technology, 1997. http://hdl.handle.net/1721.1/42665.

Full text
Abstract:
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1997.<br>Includes bibliographical references (p. [123]-126).<br>by Matthew S. Levine.<br>M.S.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Minimal cut"

1

Daloiso, Michele, and Marco Mezzadri. Educazione linguistica inclusiva Riflessioni, ricerche ed esperienze. Fondazione Università Ca’ Foscari, 2021. http://dx.doi.org/10.30687/978-88-6969-477-6.

Full text
Abstract:
Il volume raccoglie i contributi di numerosi studiosi di varie discipline, prevalentemente linguisti educativi, ma anche linguisti generali e neuroscienziati, che hanno accolto la proposta di riflettere su un possibile minimo comune denominatore di alcuni filoni delle proprie ricerche, riassumibile nel concetto di inclusività. Ne è nato un volume variegato ma coeso da cui si evince la volontà della Linguistica Educativa in Italia di proporre riflessioni scientifiche aggiornate ma al contempo fedeli ai paradigmi della disciplina, che vedono due degli assi portanti nella prospettiva interdiscipl
APA, Harvard, Vancouver, ISO, and other styles
2

Agency, International Atomic Energy, and Joint FAO/IAEA Division of Nuclear Techniques in Food and Agriculture., eds. Use of irradiation to ensure the hygienic quality of fresh, pre-cut fruits and vegetables and other minimally processed food of plant origin: Proceedings of a final research coordination meeting organized by the Joint FAO/IAEA Programme of Nuclear Techniques in Food and Agriculture and held in Islamabad, Pakistan, 22-30 July 2005. International Atomic Energy Agency, 2006.

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

Kochs, Hans-Dieter. Dependability of Engineering Systems: A Markov Minimal Cut Approach. Springer, 2020.

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

Kochs, Hans-Dieter. Dependability of Engineering Systems: A Markov Minimal Cut Approach. Springer International Publishing AG, 2021.

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

Succi, Sauro. Lattice Relaxation Schemes. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780199592357.003.0014.

Full text
Abstract:
In Chapter 13, it was shown that the complexity of the LBE collision operator can be cut down dramatically by formulating discrete versions with prescribed local equilibria. In this chapter, the process is taken one step further by presenting a minimal formulation whereby the collision matrix is reduced to the identity, upfronted by a single relaxation parameter, fixing the viscosity of the lattice fluid. The idea is patterned after the celebrated Bhatnagar–Gross–Krook (BGK) model Boltzmann introduced in continuum kinetic theory as early as 1954. The second part of the chapter describes the co
APA, Harvard, Vancouver, ISO, and other styles
6

Helliwell, Philip S. Composite scores in psoriatic arthritis. Oxford University Press, 2018. http://dx.doi.org/10.1093/med/9780198737582.003.0025.

Full text
Abstract:
Composite scores are assessment tools that combine a number of separate evaluations into one score. The composite score generally has more statistical power than the individual items, is more responsive, and has a greater effect size. A composite score allows synthesis of several elements into one score which can then, if psychometrically appropriate, allow the determination of disease activity (both low and high) cut-offs, and response criteria. The topics discussed in this chapter are the development and use of composite scores to assess disease activity in psoriatic arthritis: their history
APA, Harvard, Vancouver, ISO, and other styles
7

Bonekemper III, Edward H. Grant and Lee. Praeger, 2007. http://dx.doi.org/10.5040/9798400658761.

Full text
Abstract:
Grant and Lee: Victorious American and Vanquished Virginianis a comprehensive, multi-theater, war-long comparison of the commanding general skills of Ulysses S. Grant and Robert E. Lee. Unlike most analyses, Bonekemper clarifies the impact both generals had on the outcome of the Civil War - namely, the assistance that Lee provided to Grant by Lee's excessive casualties in Virginia, the consequent drain of Confederate resources from Grant's battlefronts, and Lee's refusal and delay of reinforcements to the combat areas where Grant was operating. The reader will be left astounded by the level of
APA, Harvard, Vancouver, ISO, and other styles
8

edition, morocol. Halloween Cat Edition: Halloween Cat Edition Minimal Cat Journal with Back Index 8. 5 X 11 - 120 College-Ruled Lined Pages. Independently Published, 2021.

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

Cockett, J. R. B., and R. A. G. Seely. Proof Theory of the Cut Rule. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198748991.003.0010.

Full text
Abstract:
This chapter describes the categorical proof theory of the cut rule, a very basic component of any sequent-style presentation of a logic, assuming a minimum of structural rules and connectives, in fact, starting with none. It is shown how logical features can be added to this basic logic in a modular fashion, at each stage showing the appropriate corresponding categorical semantics of the proof theory, starting with multicategories, and moving to linearly distributive categories and *-autonomous categories. A key tool is the use of graphical representations of proofs (“proof circuits”) to repr
APA, Harvard, Vancouver, ISO, and other styles
10

Sofronie, Valeriu. LOGICA. Bacalaureat 2021. Ghid complet. Editura Universitara, 2021. http://dx.doi.org/10.5682/9786062812348.

Full text
Abstract:
Acesta este un ghid practic. Asa cum o spune definiția termenului, „practic” trebuie sa insemne ceva care se intemeiaza pe „simțul realitații” iar „realitate” inseamna aici testul la examenul de Bacalaureat. Exista pe piața acestor produse didactice doua direcții de indepartare de realitate. Prima, cea mai la indemana, este excesul de teorie, fara finalitați aplicative precise. Ghidurile de felul acesta, in cel mai bun caz, expliciteaza teoria din manual. Dar ele nu ajuta efectiv candidatul, ci doar ii dubleaza efortul de invațare. La sfarsitul lor, acesta se regaseste la fel de timid, de neaj
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Minimal cut"

1

Kochs, Hans-Dieter. "Markov minimal cut (MMC) approach." In System Dependability Evaluation Including S-dependency and Uncertainty. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-64991-7_5.

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

Basu, Amitabh, Robert Hildebrand, and Marco Molinaro. "Minimal Cut-Generating Functions are Nearly Extreme." In Integer Programming and Combinatorial Optimization. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-33461-5_17.

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

Böde, Eckard, Thomas Peikenkamp, Jan Rakow, and Samuel Wischmeyer. "Model Based Importance Analysis for Minimal Cut Sets." In Automated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-88387-6_27.

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

Prashanth, G. S., and P. Manjunatha. "An Algorithm to Find Minimal Cut-Sets of Complex Network." In Lecture Notes in Electrical Engineering. Springer India, 2013. http://dx.doi.org/10.1007/978-81-322-1524-0_52.

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

Kadhem, Athraa Ali, and Noor Izzri Abdul Wahab. "Minimal Cut Sets Deduction Using a Simple Method via Tracing Minimal Paths to Assess Reliability of Power Systems." In 9th International Conference on Robotic, Vision, Signal Processing and Power Applications. Springer Singapore, 2016. http://dx.doi.org/10.1007/978-981-10-1721-6_76.

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

Budde, Carlos E., and Mariëlle Stoelinga. "Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets." In Lecture Notes in Computer Science. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-43024-5_16.

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

Bozzano, Marco, Alessandro Cimatti, Anthony Fernandes Pires, Alberto Griggio, Martin Jonáš, and Greg Kimberly. "Efficient SMT-Based Analysis of Failure Propagation." In Computer Aided Verification. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81688-9_10.

Full text
Abstract:
AbstractThe process of developing civil aircraft and their related systems includes multiple phases of Preliminary Safety Assessment (PSA). An objective of PSA is to link the classification of failure conditions and effects (produced in the functional hazard analysis phases) to appropriate safety requirements for elements in the aircraft architecture. A complete and correct preliminary safety assessment phase avoids potentially costly revisions to the design late in the design process. Hence, automated ways to support PSA are an important challenge in modern aircraft design. A modern approach to conducting PSAs is via the use of abstract propagation models, that are basically hyper-graphs where arcs model the dependency among components, e.g. how the degradation of one component may lead to the degraded or failed operation of another. Such models are used for computing failure propagations: the fault of a component may have multiple ramifications within the system, causing the malfunction of several interconnected components. A central aspect of this problem is that of identifying the minimal fault combinations, also referred to as minimal cut sets, that cause overall failures.In this paper we propose an expressive framework to model failure propagation, catering for multiple levels of degradation as well as cyclic and nondeterministic dependencies. We define a formal sequential semantics, and present an efficient SMT-based method for the analysis of failure propagation, able to enumerate cut sets that are minimal with respect to the order between levels of degradation. In contrast with the state of the art, the proposed approach is provably more expressive, and dramatically outperforms other systems when a comparison is possible.
APA, Harvard, Vancouver, ISO, and other styles
8

Du, Wenzeng, GenKe Yang, Jie Bai, Changchun Pan, and Qingsong Gong. "Reliability Evaluation of a Zonal Shipboard Power System Based on Minimal Cut Set." In Lecture Notes in Computer Science. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-41009-8_61.

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

Piriou, P., J. Faure, and J. Lesage. "A formal definition of minimal cut sequences for dynamic, repairable and reconfigurable systems." In Risk, Reliability and Safety: Innovating Theory and Practice. CRC Press, 2016. http://dx.doi.org/10.1201/9781315374987-227.

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

Bork, Alexander, Joost-Pieter Katoen, and Tim Quatmann. "Under-Approximating Expected Total Rewards in POMDPs." In Tools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99527-0_2.

Full text
Abstract:
AbstractWe consider the problem: is the optimal expected total reward to reach a goal state in a partially observable Markov decision process (POMDP) below a given threshold? We tackle this—generally undecidable—problem by computing under-approximations on these total expected rewards. This is done by abstracting finite unfoldings of the infinite belief MDP of the POMDP. The key issue is to find a suitable under-approximation of the value function. We provide two techniques: a simple (cut-off) technique that uses a good policy on the POMDP, and a more advanced technique (belief clipping) that uses minimal shifts of probabilities between beliefs. We use mixed-integer linear programming (MILP) to find such minimal probability shifts and experimentally show that our techniques scale quite well while providing tight lower bounds on the expected total reward.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Minimal cut"

1

Kvassay, Miroslav, Elena Zaitseva, Vitaly Levashenko, and Jozef Kostolny. "Minimal Cut Vectors and Logical Differential Calculus." In 2014 IEEE 44th International Symposium on Multiple-Valued Logic (ISMVL). IEEE, 2014. http://dx.doi.org/10.1109/ismvl.2014.37.

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

Luo, Weilin, and Ou Wei. "WAP: SAT-Based Computation of Minimal Cut Sets." In 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE). IEEE, 2017. http://dx.doi.org/10.1109/issre.2017.13.

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

Xu, Bingfeng, Zhiqiu Huang, Jun Hu, Ou Wei, and Yu Zhou. "Minimal cut sequence generation for state/event fault trees." In the 2013 Middleware Doctoral Symposium. ACM Press, 2013. http://dx.doi.org/10.1145/2541534.2541592.

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

Barrere, Martin, and Chris Hankin. "Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT." In 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S). IEEE, 2020. http://dx.doi.org/10.1109/dsn-s50200.2020.00029.

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

Ramos, Rafaela, Ilson Pasqualino, Marcelo Igor L. Souza, and Eduardo Ribeiro Nicolosi. "An Application of Fault Tree Analysis for Decommissioning of Subsea Flexible Pipeline in Brazil." In ASME 2019 38th International Conference on Ocean, Offshore and Arctic Engineering. American Society of Mechanical Engineers, 2019. http://dx.doi.org/10.1115/omae2019-96730.

Full text
Abstract:
Abstract The decommissioning of underwater structures has expanded in recent years, as the number of facilities at the end of their useful lives is increasing and legislation becomes more severe. Unlike the production units which already have their decommissioning plans consolidated, subsea pipelines represent the greatest technological, environmental and financial challenge of this stage. Currently, there are few studies to evaluate failures in the decommissioning of flexible pipelines. In addition, these studies generally use simplified analyses. Therefore, this study aims to elaborate a fai
APA, Harvard, Vancouver, ISO, and other styles
6

Imielinski, Marcin, and Calin Belta. "On the Computation of Minimal Cut Sets in Genome Scale Metabolic Networks." In 2007 American Control Conference. IEEE, 2007. http://dx.doi.org/10.1109/acc.2007.4282821.

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

Kvassay, Miroslav, Patrik Rusnak, Elena Zaitseva, and Radomir S. Stankovic. "Multi-Valued Decision Diagrams in Importance Analysis Based on Minimal Cut Vectors." In 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL). IEEE, 2020. http://dx.doi.org/10.1109/ismvl49045.2020.00011.

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

Kvassay, Miroslav, Patrik Rusnak, Elena Zaitseva, and Radomir S. Stankovic. "Multi-Valued Decision Diagrams in Importance Analysis Based on Minimal Cut Vectors." In 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL). IEEE, 2020. http://dx.doi.org/10.1109/ismvl49045.2020.00011.

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

Lami, Badr, and Kankar Bhattacharya. "Identification of critical components of composite power systems using minimal cut sets." In 2015 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT). IEEE, 2015. http://dx.doi.org/10.1109/isgt.2015.7131786.

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

Bosisio, Alessandro, Alberto Berizzi, Andrea Morotti, Bartolomeo Greco, and Gaetano Iannarelli. "Reliability evaluation for meshed distribution networks based on minimal cut sets method." In 2020 AEIT International Annual Conference (AEIT). IEEE, 2020. http://dx.doi.org/10.23919/aeit50178.2020.9241128.

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

Reports on the topic "Minimal cut"

1

Poverenov, E., Philip Demokritou, Yaguang Luo, and V. Rodov. Green nature inspired nano-sanitizers for enhancing safety of ready-to-eat fruits and vegetables. United States-Israel Binational Agricultural Research and Development Fund, 2022. http://dx.doi.org/10.32747/2022.8134145.bard.

Full text
Abstract:
In this proposal, we suggest novel ways to address food safety problems in the expanding sector of fresh, ready-to-eat, fresh-cut, minimally processed fruits and vegetables. These products are becoming increasingly popular with consumers because they provide an easy way to increase consumption of phytonutrient-rich fresh foods, as recommended by health experts. However, ready-to-eat fresh fruits and vegetables may be associated with two serious health hazards. The first hazard is microbiological; human pathogens, potentially present on raw fruits and vegetables, may survive the mild interventi
APA, Harvard, Vancouver, ISO, and other styles
2

Baldo, Jr, and James. Minimum Requirements for the CUS (Common User Subsystem) Workstation. Defense Technical Information Center, 1987. http://dx.doi.org/10.21236/ada199008.

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

Wersal, Ryan, Bradley Sartain, Kurt Getsinger, et al. Improving chemical control of nonnative aquatic plants in run-of-the-river reservoirs. Engineer Research and Development Center (U.S.), 2024. http://dx.doi.org/10.21079/11681/48350.

Full text
Abstract:
Current dam discharge patterns in Noxon Rapids Reservoir reduce concentration and exposure times (CET) of herbicides used for aquatic plant management. Herbicide applications during periods of low dam discharge may increase herbicide CETs and improve efficacy. Applications of rhodamine WT dye were monitored under peak (736 to 765 m³ s⁻¹) and minimum (1.4 to 2.8 m³ s⁻¹) dam discharge patterns to quantify water-exchange processes. Whole-plot dye half-life under minimal discharge was 33 h, a 15-fold increase compared with the dye treatment during peak discharge. Triclopyr concentrations measured
APA, Harvard, Vancouver, ISO, and other styles
4

Choudhary, Ruplal, Victor Rodov, Punit Kohli, Elena Poverenov, John Haddock, and Moshe Shemesh. Antimicrobial functionalized nanoparticles for enhancing food safety and quality. United States Department of Agriculture, 2013. http://dx.doi.org/10.32747/2013.7598156.bard.

Full text
Abstract:
Original objectives The general goal of the project was to utilize the bactericidal potential of curcumin- functionalizednanostructures (CFN) for reinforcement of food safety by developing active antimicrobial food-contact surfaces. In order to reach the goal, the following secondary tasks were pursued: (a) further enhancement of the CFN activity based on understanding their mode of action; (b) preparing efficient antimicrobial surfaces, investigating and optimizing their performance; (c) testing the efficacy of the antimicrobial surfaces in real food trials. Background to the topic The projec
APA, Harvard, Vancouver, ISO, and other styles
5

Anderson, Andrew, and Mark Yacucci. Inventory and Statistical Characterization of Inorganic Soil Constituents in Illinois: Appendices. Illinois Center for Transportation, 2021. http://dx.doi.org/10.36501/0197-9191/21-007.

Full text
Abstract:
This report presents detailed histograms of data from the Regulated Substances Library (RSL) developed by the Illinois Department of Transportation (IDOT). RSL data are provided for state and IDOT region, IDOT district, and county spatial subsets to examine the spatial variability and its relationship to thresholds defining natural background concentrations. The RSL is comprised of surficial soil chemistry data obtained from rights-of-way (ROW) subsurface soil sampling conducted for routine preliminary site investigations. A selection of 22 inorganic soil analytes are examined in this report:
APA, Harvard, Vancouver, ISO, and other styles
6

Walker, Jo, Matthew Martin, Emma Seery, Nabil Abdo, Anthony Kamande, and Max Lawson. The Commitment to Reducing Inequality Index 2022. Development Finance International, Oxfam, 2022. http://dx.doi.org/10.21201/2022.9325.

Full text
Abstract:
The 2022 Commitment to Reducing Inequality (CRI) Index is the first detailed analysis published looking at governments’ policies and actions to fight inequality during the first two years of the pandemic. This fourth edition of the CRI Index reviews the spending, tax and labour policies and actions of 161 governments during 2020–2022. COVID-19 has increased inequality worldwide, as the poorest people were hit hardest by both the disease and its profound economic impacts. Yet the CRI 2022 Index shows clearly that most of the world’s governments failed to mitigate this dangerous rise in inequali
APA, Harvard, Vancouver, ISO, and other styles
7

Andrews. L51847 Fatigue Strength of Seamless Line Pipe and Modern ERW Line Pipe. Pipeline Research Council International, Inc. (PRCI), 2001. http://dx.doi.org/10.55274/r0010430.

Full text
Abstract:
To resolve the question as to whether or not ERW pipe might prove inferior to seamless pipe in terms of resistance to cyclic stresses, the PRCI member companies decided to fund the project described herein to assess the performance of ERW pipe versus seamless pipe. Presented herein are the results of a research project on the serviceability of seamless line pipe and modern high-frequency-welded ERW (electric-resistance-welded) line pipe. Full-scale samples of both kinds of pipe were subjected in a laboratory environment to pressure cycles simulating hundreds of years of service. Four samples o
APA, Harvard, Vancouver, ISO, and other styles
8

Anderson, Andrew, and Mark Yacucci. Inventory and Statistical Characterization of Inorganic Soil Constituents in Illinois. Illinois Center for Transportation, 2021. http://dx.doi.org/10.36501/0197-9191/21-006.

Full text
Abstract:
This report presents a statistical analysis of the Regulated Substances Library (RSL) developed by the Illinois Department of Transportation. The RSL is comprised of surficial soil chemistry data obtained from rights-of-way subsurface soil sampling conducted for routine preliminary site investigations. The 3.7-million-record RSL database is compared with four independent studies of inorganic soil constituents of naturally occurring soils in Illinois. A selection of 22 inorganic soil analytes are examined in this study: Al, Sb, As, Ba, Be, Cd, Ca, Cr, Co, Cu, Fe, Pb, Mg, Mn, Hg, Ni, K, Se, Na,
APA, Harvard, Vancouver, ISO, and other styles
9

Dolja, Valerian V., Amit Gal-On, and Victor Gaba. Suppression of Potyvirus Infection by a Closterovirus Protein. United States Department of Agriculture, 2002. http://dx.doi.org/10.32747/2002.7580682.bard.

Full text
Abstract:
The plant virus family Polyviridae is the largest and most destructive of all plant viruses. Despite the continuous effort to develop resistant plant varieties, there is a desperate need for novel approaches conferring wide-range potyvirus resistance. Based on experiments with the tobacco etch potyvirus (TEV)-derived gene expression vector, we suggested approach for screening of the candidate resistance genes. This approach relies on insertion of the genes into a virus vector and evaluation of the phenotypes of the resulting recombinant viruses. The genes which suppress infection by the recomb
APA, Harvard, Vancouver, ISO, and other styles
10

Patel, Reena. Complex network analysis for early detection of failure mechanisms in resilient bio-structures. Engineer Research and Development Center (U.S.), 2021. http://dx.doi.org/10.21079/11681/41042.

Full text
Abstract:
Bio-structures owe their remarkable mechanical properties to their hierarchical geometrical arrangement as well as heterogeneous material properties. This dissertation presents an integrated, interdisciplinary approach that employs computational mechanics combined with flow network analysis to gain fundamental insights into the failure mechanisms of high performance, light-weight, structured composites by examining the stress flow patterns formed in the nascent stages of loading for the rostrum of the paddlefish. The data required for the flow network analysis was generated from the finite ele
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!