Relevant bibliographies by topics / Elimination rule

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Elimination rule'

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

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

Select a source type:

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

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 "Elimination rule"

1

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
5

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.

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

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
9

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

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

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Elimination rule"

1

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
4

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 [distributör], 2001. http://publications.uu.se/theses/91-554-5178-0/.

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

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.

Full text
Abstract:
碩士<br>國立暨南國際大學<br>資訊管理學系<br>103<br>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
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Full text
Abstract:
碩士<br>國立成功大學<br>財務金融研究所<br>96<br>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
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
Abstract:
碩士<br>國立成功大學<br>財務金融研究所<br>96<br>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
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
Abstract:
碩士<br>國立成功大學<br>財務金融研究所<br>96<br>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
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
Abstract:
碩士<br>國立高雄第一科技大學<br>財務管理所<br>95<br>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
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Elimination rule"

1

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.

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

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

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

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

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

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.

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

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

Full text
Abstract:
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.&#x0D; Meets the requirements of the federal state educational standards of higher education of the latest generation.&#x0D; It is intended for students o
APA, Harvard, Vancouver, ISO, and other styles
6

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
7

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.

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

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.

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

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.

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

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Elimination rule"

1

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.

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

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
3

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.

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

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
5

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.

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

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.

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

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.

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

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
9

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.

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

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.

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

Conference papers on the topic "Elimination rule"

1

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
2

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.

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

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.

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

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.

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

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.

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

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.

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

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.

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

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.

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

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Elimination rule"

1

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Elimination rule' for particular source types:
Journal articles Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography