Bibliographies thématiques / Elimination rule

Sommaire

Articles de revues
Thèses
Livres
Chapitres de livres
Actes de conférences
Rapports d'organisations

Littérature scientifique sur le sujet « Elimination rule »

Auteur : Grafiati

Publié le 2 juin 2025

Mis à jour le 31 juillet 2025

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Elimination rule ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "Elimination rule"

OLKHOVIKOV, GRIGORY K., and PETER SCHROEDER-HEISTER. "ON FLATTENING ELIMINATION RULES." Review of Symbolic Logic 7, no. 1 (2014): 60–72. http://dx.doi.org/10.1017/s1755020313000385.

Texte intégral

Résumé :

AbstractIn proof-theoretic semantics of intuitionistic logic it is well known that elimination rules can be generated from introduction rules in a uniform way. If introduction rules discharge assumptions, the corresponding elimination rule is a rule of higher level, which allows one to discharge rules occurring as assumptions. In some cases, these uniformly generated elimination rules can be equivalently replaced with elimination rules that only discharge formulas or do not discharge any assumption at all—they can be flattened in a terminology proposed by Read. We show by an example from propo

Styles APA, Harvard, Vancouver, ISO, etc.

Davies, Jessica, Nina Narodytska, and Toby Walsh. "Eliminating the Weakest Link: Making Manipulation Intractable?" Proceedings of the AAAI Conference on Artificial Intelligence 26, no. 1 (2021): 1333–39. http://dx.doi.org/10.1609/aaai.v26i1.8254.

Texte intégral

Résumé :

Successive elimination of candidates is often a route to making manipulation intractable to compute. We prove that eliminating candidates does not necessarily increase the computational complexity of manipulation. However, for many voting rules used in practice, the computational complexity increases. For example, it is already known that it is NP-hard to compute how a single voter can manipulate the result of single transferable voting (the elimination version of plurality voting). We show here that it is NP-hard to compute how a single voter can manipulate the result of the elimination versi

Styles APA, Harvard, Vancouver, ISO, etc.

Kim, Sangwon, Byoung-Chul Ko, and Jaeyeal Nam. "Model Simplification of Deep Random Forest for Real-Time Applications of Various Sensor Data." Sensors 21, no. 9 (2021): 3004. http://dx.doi.org/10.3390/s21093004.

Texte intégral

Résumé :

The deep random forest (DRF) has recently gained new attention in deep learning because it has a high performance similar to that of a deep neural network (DNN) and does not rely on a backpropagation. However, it connects a large number of decision trees to multiple layers, thereby making analysis difficult. This paper proposes a new method for simplifying a black-box model of a DRF using a proposed rule elimination. For this, we consider quantifying the feature contributions and frequency of the fully trained DRF in the form of a decision rule set. The feature contributions provide a basis fo

Styles APA, Harvard, Vancouver, ISO, etc.

Laporte, Éric, and Anne Monceaux. "Elimination of lexical ambiguities by grammars." Lingvisticæ Investigationes. International Journal of Linguistics and Language Resources 22, no. 1-2 (1999): 341–67. http://dx.doi.org/10.1075/li.22.1-2.21lap.

Texte intégral

Résumé :

We present a new, intex-compatible formalism for the description of distributional constraints, ‘elag’ (Elimination of Lexical Ambiguities by Grammars). The constraints may be checked against text, and the lexical ambiguity of the text may thus be partly resolved. We describe and exemplify the main properties of elag with the aid of simple rules, formalizing exploitable constraints. We specify in detail the effect of applying an elag rule or grammar to a text. We examine the practical properties of the formalism from the point of view of a rule writer. We describe our separate, intex-compatibl

Styles APA, Harvard, Vancouver, ISO, etc.

Okada, Mitsuhiro. "Wittgenstein's Uniqueness Rule as an Elimination Rule of Inductive Types:." Kagaku tetsugaku 53, no. 2 (2021): 95–114. http://dx.doi.org/10.4216/jpssj.53.2_95.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

FERRUCCI, FILOMENA, MARIA I. SESSA, and GIULIANO PACINI. "On redundancy elimination tolerant scheduling rules." Theory and Practice of Logic Programming 1, no. 5 (2001): 539–90. http://dx.doi.org/10.1017/s1471068401001235.

Texte intégral

Résumé :

In Ferrucci, Pacini and Sessa (1995) an extended form of resolution, called Reduced SLD resolution (RSLD), is introduced. In essence, an RSLD derivation is an SLD derivation such that redundancy elimination from resolvents is performed after each rewriting step. It is intuitive that redundancy elimination may have positive effects on derivation process. However, undesiderable effects are also possible. In particular, as shown in this paper, program termination as well as completeness of loop checking mechanisms via a given selection rule may be lost. The study of such effects has led us to an

Styles APA, Harvard, Vancouver, ISO, etc.

Tunyan, Knarik. "On pivot rules for simplex method of interior points, and their investigation on Klee-Minty cube." Facta universitatis - series: Electronics and Energetics 15, no. 2 (2002): 281–94. http://dx.doi.org/10.2298/fuee0202281t.

Texte intégral

Résumé :

In [25] it was proposed a parametric linear transformation, which is a "convex" combination of the Gauss transformation of elimination method and the Gram-Schmidt transformation of modified orthogonalization process. Using this transformation, in particular, elimination methods were generalized, Dantzig's optimality criterion and simplex method were developed [26]. The essence of the simplex method development is the following. At each sth step the pivot (positive) vector of length Ks is selected, that allows us to move to improved feasible solution after the step of the generalized Gauss-Jord

Styles APA, Harvard, Vancouver, ISO, etc.

Shoichiro Ozaki. "Law to inhibit the recycle of nitrogen and Phosphorous is inhibiting CO2 assimilation and promoting global warming: This kind of law should be abolished." International Journal of Scholarly Research in Science and Technology 2, no. 2 (2023): 008–15. http://dx.doi.org/10.56781/ijsrst.2023.2.2.0023.

Texte intégral

Résumé :

Global warming is caused by the lack of N and P and decrease of CO2 assimilation and decrease of CO2 fix and decrease of heat absorption. Lack of N and P is caused by the elimination of NOx and NP in waste water. Global warming will stop if developed countries stop the elimination of NOx and NP. CO2 assimilation will be activated and Global warming will stop. But developed countries hated NOx and are eliminating NOx by the reaction with ammonia and set up a rule that if NOx is detected in exit gas, we will order the stop of factory The author presented petition to stop the rules which ask the

Styles APA, Harvard, Vancouver, ISO, etc.

Pfeifer, Karl. "A Note on the V-Elimination Rule." Cogito 4, no. 1 (1990): 69–70. http://dx.doi.org/10.5840/cogito1990416.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Ostermann, Klaus, David Binder, Ingo Skupin, Tim Süberkrüb, and Paul Downen. "Introduction and elimination, left and right." Proceedings of the ACM on Programming Languages 6, ICFP (2022): 438–65. http://dx.doi.org/10.1145/3547637.

Texte intégral

Résumé :

Functional programming language design has been shaped by the framework of natural deduction, in which language constructs are divided into introduction and elimination rules for producers of values. In sequent calculus-based languages, left introduction rules replace (right) elimination rules and provide a dedicated sublanguage for consumers of values. In this paper, we present and analyze a wider design space of programming languages which encompasses four kinds of rules: Introduction and elimination, both left and right. We analyze the influence of rule choice on program structure and argue

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Thèses sur le sujet "Elimination rule"

Justino, Júlia Maria da Rocha Vilaverde. "Nonstandard linear algebra with error analysis." Doctoral thesis, Universidade de Évora, 2013. http://hdl.handle.net/10174/16316.

Texte intégral

Résumé :

Neste trabalho consideramos sistemas de equações lineares exíveis, sistemas de equações lineares cujos coe cientes têm incertezas de tipo o (:) ou O (:). Este tipo de incertezas irá ser analisado, à luz da análise não standard, como conjuntos de in nitesimais conhecidos como neutrizes. Em sistemas de equações lineares exíveis nem sempre existe uma solução exata. No entanto, neste trabalho apresentam-se condições que garantem a existência de pelo menos uma solução admissível, no sentido de inclusão, e as condições que garantem a existência de solução maximal nesse tipo de sistemas. Tais condi

Styles APA, Harvard, Vancouver, ISO, etc.

Justi, Steven. "Eliminating Direct Ground Combat Definition and Assignment Rule: Internal Preparations for Implementation." ScholarWorks, 2017. https://scholarworks.waldenu.edu/dissertations/3792.

Texte intégral

Résumé :

Decades before the elimination of gender restrictions in the U.S. military, ground combat was an equal opportunity issue for women. Direct combat units, such as infantry and artillery, are now open to female enlistment. The purpose of this study was to examine the efforts, challenges and/or successes, of incorporating women into a U.S. Army combat brigade in a single state. The frame-critical approach was used to outline the competing arguments between supporters and opponents of women in combat. The research questions guiding the study included how gender integration is perceived with regards

Styles APA, Harvard, Vancouver, ISO, etc.

Di, Guardia Rémi. "Identity of Proofs and Formulas using Proof-Nets in Multiplicative-Additive Linear Logic." Electronic Thesis or Diss., Lyon, École normale supérieure, 2024. http://www.theses.fr/2024ENSL0050.

Texte intégral

Résumé :

Cette thèse s'intéresse à l'égalité des preuves et des formules en logique linéaire, avec des contributions en particulier dans le fragment multiplicatif-additif de cette logique. En logique linéaire, et dans de nombreuses autres logiques (telle que la logique intuitionniste), on dispose de deux transformations sur les preuves : l'élimination des coupures et l'expansion des axiomes. On souhaite très souvent identifier deux preuves reliées par ces transformations, étant donné qu'elles le sont sémantiquement (dans un modèle catégorique par exemple). Cette situation est similaire à celle du λ-cal

Styles APA, Harvard, Vancouver, ISO, etc.

Wennerholm, Pia. "The Role of High-Level Reasoning and Rule-Based Representations in the Inverse Base-Rate Effect." Doctoral thesis, Uppsala : Acta Universitatis Upsaliensis : Universitetsbiblioteket [distributör], 2001. http://publications.uu.se/theses/91-554-5178-0/.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Wang, Pei-An, and 王培安. "Rough Set Based Rule Induction with Elimination of Outdated Big Data in Renewable Energy Equipment Promotion." Thesis, 2014. http://ndltd.ncl.edu.tw/handle/06891860374051605162.

Texte intégral

Résumé :

碩士 國立暨南國際大學 資訊管理學系 103 Energy problem has become a major challenge in twenty-first century, countries around the world are looking for solutions. Development of renewable energy is one of the important means to solve the energy crisis. Renewable energy data has the characteristics of multi-attribute and across different areas, many studies use data mining from renewable energy data to get viable rule induction, thereby achieve a long-term energy planning. For multi-attribute problems and rule induction solution, rough set is a very suitable method. In addition, appears of big data

Styles APA, Harvard, Vancouver, ISO, etc.

Castelen, Milton Andy. "Women's Reproductive Health Rights: The Rule of Law and Public Health Considerations in Repealing the Criminal Laws on Abortion in the Republic Suriname." Thesis, 2009. http://hdl.handle.net/1807/18236.

Texte intégral

Résumé :

Within the Surinamese jurisdiction the Constitution grants women the right to health and imposes a legal duty on the state to facilitate the realization of this right. Also treaty law, in particular, the ICESCR article 12 and the CEDAW article 12 grant women the right to the highest attainable standard of health and the right to non-discriminatory access to healthcare. But due to the criminal law applicable to abortion women lack non-discriminatory access to reproductive healthcare and therefore do not enjoy the highest attainable standard of pregnancy related health. Despite its decision not

Styles APA, Harvard, Vancouver, ISO, etc.

Chen, Li-chih, and 陳立智. "The Survival and Elimination Rules of Heavy Traders -- Using Taiwan Index Futures." Thesis, 2008. http://ndltd.ncl.edu.tw/handle/03168376084135668988.

Texte intégral

Résumé :

碩士 國立成功大學 財務金融研究所 96 These years, there are many studies of behavioral finance discussing the anomalies in the financial market and overconfidence is one of it. In order to know how heavy traders survive in the market, we analyze individual traders’ trading data of Taiwan Index Futures from Taiwan Futures Exchange (TAIFEX). We separate our samples into two groups. One group is those who keeps trading in our sample period and we call them「survivors」. Another group is those who get out of market in the later period and we call them 「Non-survivors」. Through the regression analysis

Styles APA, Harvard, Vancouver, ISO, etc.

Lai, Jhen-yu, and 賴貞妤. "The Survival and Elimination Rules of Heavy Traders—Using Taiwan Electronic Sector Index Futures." Thesis, 2008. http://ndltd.ncl.edu.tw/handle/89952417958135310863.

Texte intégral

Résumé :

碩士 國立成功大學 財務金融研究所 96 Some researchers of overconfidence have suggested that investors trade too much so that profit cannot cover trading cost ( Odean (1999)、Barber and Odean (2000)、Barber et al.(2006)). However, some researchers have indicated that overconfidence traders get more profit and survive (De Long et al.(1990,1991)、Kyle and Wang (1997)、Benos (1998)、Wang (2001)、Hirshleifer and Luo (2001)). The aim of this article attempts to explore how heavy traders survived. Using individual investor trading data of Taiwan Electronic Sector Index Futures, the research involved regression

Styles APA, Harvard, Vancouver, ISO, etc.

Chi, Hsiao, and 林曉琪. "The Survival and Elimination Rules of Heavy Traders--Using Taiwan Finance Sector Index Futures." Thesis, 2008. http://ndltd.ncl.edu.tw/handle/61295294118790280566.

Texte intégral

Résumé :

碩士 國立成功大學 財務金融研究所 96 In order to understand that how the traders survive in the futures market, we analyze the individual traders by using the data of finance sector index futures (FXF) in the Taiwan Futures Exchange (TAIFEX). We divide the sample into two groups. One is survivor and the other is non-survivor. Following, we employ the simple regression to test the relationship between profit and risk for the trader. And we use the profit reversal rate and the rate of loss from gain to observe the situation of the profit reverse and find the traders’ strategies. From empirical r

Styles APA, Harvard, Vancouver, ISO, etc.

Chang, Yuan-hong, and 張元鴻. "The Change of the Information Content and Information Efficiency after Eliminating the up-tick Rule." Thesis, 2007. http://ndltd.ncl.edu.tw/handle/23459326328347228824.

Texte intégral

Résumé :

碩士 國立高雄第一科技大學 財務管理所 95 TSEC has announced that the components of Taiwan 50 were not regulated by the up-tick rule from the date 2004/05/16. Though, our study investigated the change of the information content and the information efficiency after eliminating the short sale constraint. We introduced VAR model to examine the information content, which implicated by short interest, before and after the new rule, respectively. We find that the relationship between short interest and stock returns has transferred from negative to positive, that’s because the information content has str

Styles APA, Harvard, Vancouver, ISO, etc.

Livres sur le sujet "Elimination rule"

United States. Congress. House. Committee on the District of Columbia. Eliminating certain obsolete reporting requirements for the District of Columbia: Report (to accompany H.R. 2626) (including cost estimate of the Congressional Budget Office). U.S. G.P.O., 1991.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Windridge, David. Economic tomographic classifier fusion: Eliminating redundant Högbom deconvolution cycles in the Sum-Rule domain. Department of Electronic and Electrical Engineering, University of Surrey, 2003.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Yager, Loren. U.S-China trade: Eliminating nonmarket economy methodology would lower antidumping duties for some Chinese companies : report to congressional committees. GAO, 2006.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

United Nations. General Assembly. Committee on the Elimination of Racial Discrimination, ред. Hsiao chʻu chung tsu chʻi shih wei yüan hui i shih kuei tse =: Rules of procedure of the Committee on the Elimination of Racial Discrimination. Lien ho kuo =, 1986.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Chirkova, Tamara. The psychology of destruction. INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1081759.

Texte intégral

Résumé :

The textbook systematizes methodological problems of studying the psychology of destruction as one of the most significant phenomena of the modern social world. The methodological analysis of the basic principles, means, methods and rules of studying the psychology of destruction is presented. The content of the manual includes a theoretical and practical course of analysis of the laws, mechanisms and factors of the psychology of destruction. Meets the requirements of the federal state educational standards of higher education of the latest generation. It is intended for students o

Styles APA, Harvard, Vancouver, ISO, etc.

Shitov, Viktor. Organization of resource supply for housing and communal services. INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1002912.

Texte intégral

Résumé :

The tutorial reveals the concept and essence of organization of the provision of resources for housing, utilities, composition and structure of housing and communal services of Russia, organizational-economic mechanism of management of the housing stock, rules of granting of utilities, tariff policy in the Russian Federation, methods of reducing the level of tariffs for housing and communal services, Provision of utilities to owners and users of premises in apartment buildings and houses, the main areas of resource conservation residential premises, organization of work of the emergency repair

Styles APA, Harvard, Vancouver, ISO, etc.

House, Commerce Clearing, ed. New 1986 mandatory retirement and maximum age benefit rules: Law and explanation : Age Discrimination in Employment Amendments of 1986, elimination of maximum age limitation and Omnibus Budget Reconciliation Act of 1986, accrual of pension benefits by older workers. Commerce Clearing House, 1986.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Environment, United States Congress House Committee on Transportation and Infrastructure Subcommittee on Water Resources and. The Environmental Protection Agency's proposed regulation regarding total maximum daily loads, the National Pollutant Discharge Elimination System, and the federal antidegradation policy: Hearings before the Subcommittee on Water Resources and Environment of the Committee on Transportation and Infrastructure, House of Representatives, One Hundred Sixth Congress, second session, February 10 and 15, 2000. U.S. G.P.O., 2001.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Philippines. Republic Act no. 9231 and its implementing rules and regulations: An act providing for the elimination of the worst forms of child labor and affording stronger protection for the working child, amending for this purpose Republic Act no. 7610, as amended, otherwise known as the "Special Protection of Children Against Child Abuse, Exploitation and Discrimination Act". International Labour Organization, 2007.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Canada. Dept. of Foreign Affairs and International Trade. Commerce : exchange of letters between the Government of Canada and the Government of the United States of America constituting an agreement regarding the accelaration of the elimination of tariffs on certain goods under Article 401.5 and the amendment of Rules 2, 3 and 4 of Section III of Annex 301.2 of Chapter 3 of the United States-Canada Free-Trade Agreement, Washington, August 16, 1991, in force August 16, 1991 =: Commerce : échange de lettres constituant un accord entre le gouvernement du Canada et le gouvernement des États-Unis d'Amérique constituant un accord concernant l'accélération de la réduction des droits applicables à certains produits aux termes de l'Article 401.5 et de l'amendement des Règles 2, 3 et 4 de la Section III de l'Annexe 301.2 au Chapitre 3 de l'Accord de libre-échange entre le Canada et les États-Unis d'Amérique, Washington, le 16 août 1991, en vigueur le 16 août 1991. Queen's Printer = Imprimeur de la Reine, 1997.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Chapitres de livres sur le sujet "Elimination rule"

Li, Jie Jack. "Zaitsev’s elimination rule." In Name Reactions. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-03979-4_296.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Lang, Timo. "Some Analytic Systems of Rules." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-43513-3_6.

Texte intégral

Résumé :

AbstractWe define two simple systems of rules, i.e. calculi with a global condition on the order of rule instances in a proof, for the modal logics of shift-reflexive and Euclidean frames respectively. Cut-elimination, and therefore the subformula property, can be derived directly from the cut-elimination property of adjacent logics. We compare our system to the calculus of grafted hypersequents, which has previously been used to capture both logics.We then discuss an attempt to obtain similar ‘modular’ cut-elimination proofs in other systems of rules. This general attempt is carried out for t

Styles APA, Harvard, Vancouver, ISO, etc.

Pichler, Reinhard, Axel Polleres, Sebastian Skritek, and Stefan Woltran. "Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries." In Web Reasoning and Rule Systems. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15918-3_11.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Gheorghiu, Alexander V., Tao Gu, and David J. Pym. "Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-43513-3_20.

Texte intégral

Résumé :

AbstractThis work is the first exploration of proof-theoretic semantics for a substructural logic. It focuses on the base-extension semantics (B-eS) for intuitionistic multiplicative linear logic ($$\mathrm IMLL$$). The starting point is a review of Sandqvist’s B-eS for intuitionistic propositional logic (IPL), for which we propose an alternative treatment of conjunction that takes the form of the generalized elimination rule for the connective. The resulting semantics is shown to be sound and complete. This motivates our main contribution, a B-eS for $$\mathrm IMLL$$, in which the definitions

Styles APA, Harvard, Vancouver, ISO, etc.

Barras, Bruno, Pierre Corbineau, Benjamin Grégoire, Hugo Herbelin, and Jorge Luis Sacchini. "A New Elimination Rule for the Calculus of Inductive Constructions." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02444-3_3.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Bernholt, Thorsten, Alexander Gülich, Thomas Hofmeister, and Niels Schmitt. "Football Elimination Is Hard to Decide Under the 3-Point-Rule." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48340-3_37.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Alfred, Rayner, Leow Ching Leong, Chin Kim On, and Patricia Anthony. "A Literature Review and Discussion of Malay Rule - Based Affix Elimination Algorithms." In The 8th International Conference on Knowledge Management in Organizations. Springer Netherlands, 2013. http://dx.doi.org/10.1007/978-94-007-7287-8_23.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Ek, Alexander, Michelle Blom, Philip B. Stark, Peter J. Stuckey, and Damjan Vukcevic. "Improving the Computational Efficiency of Adaptive Audits of IRV Elections." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-72244-8_3.

Texte intégral

Résumé :

AbstractAWAIRE is one of two extant methods for conducting risk-limiting audits of instant-runoff voting (IRV) elections. In principle AWAIRE can audit IRV contests with any number of candidates, but the original implementation incurred memory and computation costs that grew superexponentially with the number of candidates. This paper improves the algorithmic implementation of AWAIRE in three ways that make it practical to audit IRV contests with 55 candidates, compared to the previous 6 candidates. First, rather than trying from the start to rule out all candidate elimination orders that prod

Styles APA, Harvard, Vancouver, ISO, etc.

Bogorny, Vania, João Francisco Valiati, Sandro da Silva Camargo, Paulo Martins Engel, and Luis Otavio Alvares. "Towards Elimination of Redundant and Well Known Patterns in Spatial Association Rule Mining." In Studies in Computational Intelligence. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-77623-9_20.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Parfait, Bemarisika, and Totohasina André. "Elimination of Redundant Association Rules." In Advances in Intelligent Systems and Computing. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-30604-5_19.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Elimination rule"

Dodaro, Carmine, Giuseppe Mazzotta, and Francesco Ricca. "Blending Grounding and Compilation for Efficient ASP Solving." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/30.

Texte intégral

Résumé :

Answer Set Programming (ASP) is a widely recognized formalism for Knowledge Representation and Reasoning. Traditional ASP systems, that employ the ground and solve architecture, are subject to the grounding bottleneck (i.e., variable-elimination can exhaust all computational resources). Compilation-based approaches have recently demonstrated how grounding can be effectively bypassed by compiling rules into propagators that simulate them. However, compiling an entire ASP program is not always advantageous. In this paper, we present both a program rewriting technique and an algorithm for the com

Styles APA, Harvard, Vancouver, ISO, etc.

Rameshkumar, K., M. Sambath, and S. Ravi. "Relevant association rule mining from medical dataset using new irrelevant rule elimination technique." In 2013 International Conference on Information Communication and Embedded Systems (ICICES 2013). IEEE, 2013. http://dx.doi.org/10.1109/icices.2013.6508351.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Bogorny, Vania, Sandro da Silva Camargo, Paulo Martins Engel, and Luis Otavio Alvares. "Towards Elimination of Well Known Geographic Patterns in Spatial Association Rule Mining." In 2006 3rd International IEEE Conference Intelligent Systems. IEEE, 2006. http://dx.doi.org/10.1109/is.2006.348476.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Ture, Hayati, and Temel Kayikcioglu. "Rule based elimination of regions of interest in pectoral muscle on mammograms." In 2016 24th Signal Processing and Communication Application Conference (SIU). IEEE, 2016. http://dx.doi.org/10.1109/siu.2016.7496137.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Ture, Hayati, and Temel Kayikcioglu. "Detection and segmentation of masses in mammograms by the rule based elimination approach." In 2017 25th Signal Processing and Communications Applications Conference (SIU). IEEE, 2017. http://dx.doi.org/10.1109/siu.2017.7960440.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Di Lascio, Luigi. "Hilbertian systems, analytic fuzzy tableaux and cut rule elimination in rational pavelka logic." In the 14th international conference. ACM Press, 2002. http://dx.doi.org/10.1145/568760.568783.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Kameswari, DVN, K. Vasanth, and Rajendra Prasad M. "A Rule based Modified Quadratic Mean for the Elimination of Outliers in Images." In 2023 International Conference on Advances in Computing, Communication and Applied Informatics (ACCAI). IEEE, 2023. http://dx.doi.org/10.1109/accai58221.2023.10199199.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Mibu, Asuka, and Norihiko Shinomiya. "A Rule-based Approach for Elimination Paperwork and Increasing Efficiency in Home Nursing Services." In 2021 IEEE 10th Global Conference on Consumer Electronics (GCCE). IEEE, 2021. http://dx.doi.org/10.1109/gcce53005.2021.9621955.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Nam, Il Kwun, Seok Hwan Hur, and Dong Bum Oh. "The Effect of OBE Elimination on Class 1 Piping Systems." In ASME 2010 Pressure Vessels and Piping Division/K-PVP Conference. ASMEDC, 2010. http://dx.doi.org/10.1115/pvp2010-25511.

Texte intégral

Résumé :

The seismic analysis for the OPR1000 (previously entitled Korea Standard Nuclear Power Plant, now Optimized Power Reactor 1000 MW-Class) was carried out based on the SSE to assure the integrity of the reactor coolant pressure boundary and to secure a safe shutdown of reactor as well as the OBE to ensure the functionality of all the necessary systems for the continued operation of the reactor without undue risk to the health and safety of the public. In fact, the OBE with some supplementary functions, however, tends to control the design of nuclear power plants instead of the SSE due to its con

Styles APA, Harvard, Vancouver, ISO, etc.

Lazarenko, S. V. "SYNTHESIS OF INTELLIGENT CONTROLS FOR LAGRANGEAN SYSTEMS BASED ON THE REDUCTION OF THE LAGRANGE PROBLEM TO AN ISOPERIMETRIC PROBLEM." In Intelligent transport systems. Russian University of Transport, 2024. http://dx.doi.org/10.30932/9785002446094-2024-201-211.

Texte intégral

Résumé :

It is shown that solving the problem of control synthesis based on the reduction of the Lagrange problem to an isoperimetric problem leads to a two-point boundary value problem, which implies a set of quasi-optimal control structures. They can become the basis for building a rule base for an intelligent control system. At the same time, the use of fuzzy logic ensures not only its functioning under conditions of uncertainty, but also the elimination of the chattering mode. It to a certain extent reflects the functioning of various dynamic systems - from the orientation of spacecraft to the beha

Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "Elimination rule"

Fernández Monge, Ernesto. Trade Policy Scope and Taxation Study in Belize. Inter-American Development Bank, 2013. http://dx.doi.org/10.18235/0009147.

Texte intégral

Résumé :

The Technical Note provides an overview of the trends in Belize's tariff structure over recent years, in particular its trade policy, commitments and obligations, the tax revenue implications, and the scope for policy implementation. Specifically, it assesses the country's level of compliance with CARICOM commitments, such as the application of the common external tariff, and outlines and analyzes Belize's trade agreement obligations and their timing and impact with respect to fiscal incentives. It provides policy recommendations and alternatives for compliance with Belize's international trad

Styles APA, Harvard, Vancouver, ISO, etc.

Moghimi, Gholamreza, and Nicos Makris. Response Modification of Structures with Supplemental Rotational Inertia. Pacific Earthquake Engineering Research Center, University of California, Berkeley, CA, 2024. http://dx.doi.org/10.55461/tihv1701.

Texte intégral

Résumé :

Tall, multistory, buildings are becoming increasingly popular in large cities as a result of growing urbanization trends (United Nations Department of Economic and Social Affairs 2018). As cities continue to grow, many of them along the coasts of continents which are prone to natural hazards, the performance of tall, flexible buildings when subjected to natural hazards is a pressing issue with engineering relevance. The performance of structures when subjected to dynamic loads can be enhanced with various response modification strategies which have been traditionally achieved with added stiffn

Styles APA, Harvard, Vancouver, ISO, etc.

Tel-Zur, Neomi, and Jeffrey J. Doyle. Role of Polyploidy in Vine Cacti Speciation and Crop Domestication. United States Department of Agriculture, 2012. http://dx.doi.org/10.32747/2012.7697110.bard.

Texte intégral

Résumé :

1. Abstract: Over the past 25 years, vine cacti of the genera Hylocereus and Selenicereus have been introduced into Israel and southern California as new exotic fruit crops. The importance of these crops lies in their high water use efficiency and horticultural potential as exotic fruit crops. Our collaboration focused on the cytological, molecular and evolutionary aspects of vine cacti polyploidization to confront the agricultural challenge of genetic improvement, ultimately to improve success of vine cacti as commercial fruit crop plants. More specifically, we worked on the: 1- Identificatio

Styles APA, Harvard, Vancouver, ISO, etc.

The Government of Nepal is committed to addressing the issue of child labour and to making Nepal child labour free, as evidenced through continued enactment and implementation of laws, policies, rules, procedures, strategies and standards. The commitments made to the Sustainable Development Goals (SDGs) and in international fora further encouraged the government to set and reach the goal of child labour elimination. However, a significant number of children in Nepal continue to work in dangerous and harmful conditions, known as the ‘worst forms of child labour’. These forms of child labour are prevalent in the informal economy, which is generally outside the purview of governmental rules and regulation but which provides essential economic income to families living and working in Nepal. Institute of Development Studies, 2023. http://dx.doi.org/10.19088/clarissa.2023.006.

Texte intégral

Résumé :

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!