Log in

Relevant bibliographies by topics / Simplification ordering

Contents

Journal articles
Dissertations / Theses
Book chapters
Conference papers

Academic literature on the topic 'Simplification ordering'

Author: Grafiati

Published: 4 June 2021

Last updated: 4 February 2022

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 'Simplification ordering.'

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 "Simplification ordering"

1

Wilson, Susan R., and D. C. Rao. "A major simplification in the preliminary ordering of linked loci." Genetic Epidemiology 5, no. 2 (1988): 75–80. http://dx.doi.org/10.1002/gepi.1370050203.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Banov, Reni, Zdenko Šimić, and Davor Grgić. "A new heuristics for the event ordering in binary decision diagram applied in fault tree analysis." Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability 234, no. 2 (2019): 397–406. http://dx.doi.org/10.1177/1748006x19879305.

Full text

Abstract:

Fault tree is a common approach in probabilistic risk assessment of complex engineering systems. Since their introduction, binary decision diagrams proved to be a valuable tool for complete quantification of hard fault tree models. As is known, the size of the binary decision diagram representation is mainly determined by the quality of the selected fault tree event ordering scheme. Finding the optimal event ordering for binary decision diagram representation is a computationally intractable problem, for which reason heuristic approaches are applied to find reasonable good ordering schemes. Th

APA, Harvard, Vancouver, ISO, and other styles

3

Staroverov, Peter, and Darya Kavitskaya. "Tundra Nenets consonant sandhi as coalescence." Linguistic Review 34, no. 2 (2017): 331–64. http://dx.doi.org/10.1515/tlr-2017-0006.

Full text

Abstract:

Abstract Consonant cluster simplification in Tundra Nenets coexists with other consonantal alternations, such as fricative strengthening, lenition of stops, and a variety of NC-effects, which all apply within the same phrasal domain. These processes interact with each other, suggesting an opaque ordering within the same post-lexical domain and thus presenting a challenge not only for inherently parallel theories like classical Optimality Theory, but also for the cyclic derivational approaches such as Stratal OT. We analyze all instances of Tundra Nenets cluster simplification as coalescence an

APA, Harvard, Vancouver, ISO, and other styles

4

Deigan, Michael. "Counterfactual donkeys don’t get high." ZAS Papers in Linguistics 60 (January 1, 2018): 367–84. http://dx.doi.org/10.21248/zaspil.60.2018.472.

Full text

Abstract:

I present data that suggest the universal entailments of counterfactual donkey sentencesaren’t as universal as some have claimed. I argue that this favors the strategy of attributingthese entailments to a special property of the similarity ordering on worlds provided bysome contexts, rather than to a semantically encoded sensitivity to assignment.Keywords: donkey sentences, counterfactuals, conditionals, similarity, simplification.

APA, Harvard, Vancouver, ISO, and other styles

5

Mahmoud, Abdulmoneim. "Simplification in Language Learning: What Do Learners Simplify?" Studies in English Language Teaching 2, no. 3 (2014): 275. http://dx.doi.org/10.22158/selt.v2n3p275.

Full text

Abstract:

<p><em>This article focuses on the notion of 'simplification' in language learning from the perspective of the learner and that of the teacher. Instead of using the term to refer to a learning and communication strategy whereby learners drop certain linguistic elements, we believe that it can be reserved for the caretakers and language teachers who 'simplify' their language to communicate with the learners. The learners' use of a reduced system is due either to cognitive limitations or the use of various learning and communication strategies which lead to the omission, insertion, s

APA, Harvard, Vancouver, ISO, and other styles

6

Hussain, Muhammad, Yoshihiro Okada, and Koichi Niijima. "Fast, Simple, Feature Preserving and Memory Efficient Simplification of Triangle Meshes." International Journal of Image and Graphics 03, no. 04 (2003): 653–70. http://dx.doi.org/10.1142/s021946780300124x.

Full text

Abstract:

We propose a new iterative algorithm for the automatic geometric simplification of a triangle mesh based on edge collapse transformations. The way how geometric deviation resulted from an edge collapse transformation is measured plays a basic role in inducing a priority ordering on the set of edge collapse transformations to control the simplification process. We introduce a new technique to measure this deviation based only on current simplified mesh and the new concept of accumulating the cost of collapse, which are easy to implement and involve simple computations making the algorithm compu

APA, Harvard, Vancouver, ISO, and other styles

7

Białas, Franciszek, Lucjan Pytlik, and Wiesława Sikora. "MODY – calculation of ordered structures by symmetry-adapted functions." Open Physics 14, no. 1 (2016): 559–69. http://dx.doi.org/10.1515/phys-2016-0068.

Full text

Abstract:

AbstractIn this paper we focus on the new version of computer program MODY for calculations of symmetryadapted functions based on the theory of groups and representations. The choice of such a functional frame of coordinates for description of ordered structures leads to a minimal number of parameters which must be used for presentation of such structures and investigations of their properties. The aim of this work is to find those parameters, which are coefficients of a linear combination of calculated functions, leading to construction of different types of structure ordering with a given sy

APA, Harvard, Vancouver, ISO, and other styles

8

ARRUÑADA, BENITO. "Property as sequential exchange: the forgotten limits of private contract." Journal of Institutional Economics 13, no. 4 (2017): 753–83. http://dx.doi.org/10.1017/s1744137416000473.

Full text

Abstract:

AbstractThe contractual, single-exchange framework in Coase (1960) contains the implicit assumption that exchange in property rights does not affect future transaction (i.e., trading) costs. This is pertinent for analyzing use externalities but limits our understanding of property institutions: A central problem of property markets lies in the interaction among multiple transactions, which causes exchange-related and non-contractible externalities. By retaining a single-exchange simplification, the economic analysis of property has encouraged views that: overemphasize the initial allocation of

APA, Harvard, Vancouver, ISO, and other styles

9

Pinheiro, Joaquim M. B., Amy L. Mitchell, and Timothy S. Lesar. "Systematic Steps to Diminish Multi-Fold Medication Errors in Neonates." Journal of Pediatric Pharmacology and Therapeutics 8, no. 4 (2003): 266–73. http://dx.doi.org/10.5863/1551-6776-8.4.266.

Full text

Abstract:

Tenfold and other multiple-of-dose errors are particularly common in the neonatal intensive care unit (NICU), where the fragility of the patients increases the potential for significant adverse outcomes. Such errors can originate at any of the sequential phases of the process, from medication ordering to administration. Each step of calculation, prescription writing, transcription, dose preparation, and administration is an opportunity for generating and preventing medication errors. A few simple principles and practical tips aimed at avoiding decimal and other multiple-dosing errors can be sy

APA, Harvard, Vancouver, ISO, and other styles

10

Burke, M. G., and M. K. Miller. "A Comparison of Tem and Apfim to the Interpretation of Modulated Microstructures." Proceedings, annual meeting, Electron Microscopy Society of America 43 (August 1985): 70–71. http://dx.doi.org/10.1017/s042482010011742x.

Full text

Abstract:

Interpretation of fine-scale microstructures containing high volume fractions of second phase is complex. In particular, microstructures developed through decomposition within low temperature miscibility gaps may be extremely fine. This paper compares the morphological interpretations of such complex microstructures by the high-resolution techniques of TEM and atom probe field-ion microscopy (APFIM).The Fe-25 at% Be alloy selected for this study was aged within the low temperature miscibility gap to form a <100> aligned two-phase microstructure. This triaxially modulated microstructure i

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Simplification ordering"

1

IWAMI, Munehiro, Masahiko SAKAI, and Yoshihito TOYAMA. "An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems." IEICE, 1998. http://hdl.handle.net/2237/9576.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Steinbach, Joachim [Verfasser]. "Termination of rewriting : extensions, comparison and automatic generation of simplification orderings / von Joachim Steinbach." 1994. http://d-nb.info/956319327/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Simplification ordering"

1

Bártek, Filip, and Martin Suda. "Neural Precedence Recommender." In Automated Deduction – CADE 28. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-79876-5_30.

Full text

Abstract:

AbstractThe state-of-the-art superposition-based theorem provers for first-order logic rely on simplification orderings on terms to constrain the applicability of inference rules, which in turn shapes the ensuing search space. The popular Knuth-Bendix simplification ordering is parameterized by symbol precedence—a permutation of the predicate and function symbols of the input problem’s signature. Thus, the choice of precedence has an indirect yet often substantial impact on the amount of work required to complete a proof search successfully.This paper describes and evaluates a symbol precedence recommender, a machine learning system that estimates the best possible precedence based on observations of prover performance on a set of problems and random precedences. Using the graph convolutional neural network technology, the system does not presuppose the problems to be related or share a common signature. When coupled with the theorem prover Vampire and evaluated on the TPTP problem library, the recommender is found to outperform a state-of-the-art heuristic by more than 4 % on unseen problems.

APA, Harvard, Vancouver, ISO, and other styles

2

Miller, J. F., P. Thomson, and P. V. G. Bradbeer. "Ternary decision diagram optimisation of Reed-Muller logic functions using a genetic algorithm for variable and simplification rule ordering." In Evolutionary Computing. Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60469-3_34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Kapur, Deepak, and G. Sivakumar. "Maximal extensions of simplification orderings." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60692-0_51.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Steinbach, Joachim. "Extensions and comparison of simplification orderings." In Rewriting Techniques and Applications. Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/3-540-51081-8_124.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Arts, Thomas, and Jürgen Giesl. "Automatically proving termination where simplification orderings fail." In TAPSOFT '97: Theory and Practice of Software Development. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/bfb0030602.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Hawthorne, John. "The Epistemic Use of ‘Ought’." In Conditionals, Paradox, and Probability. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780198712732.003.0010.

Full text

Abstract:

A good deal of Dorothy Edgington’s work has involved fruitful applications of the probability calculus to philosophical subject matters—notably, conditionals and vagueness. This chapter forms part of a project of exploring the relevance of probability to various epistemic phenomena, including knowledge and epistemic modality. Its focus here is on certain epistemic uses of ‘ought’ and ‘should’. The chapter argues against flat-footed ways of grounding those concepts in the ideology of probability, although it makes room for certain other, less reductive, structural relationships between the two. The discussion involves various idealizations and simplifications. Nevertheless, it argues that flattened ordering sources are a useful tool for developing a broadly Kratzer-style treatment of least some uses of ‘ought’.

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Simplification ordering"

1

Wu, Xuejing, and Hongli Liang. "Tentative Discussion on Simplification, Unification and Ordering." In 2017 International Conference on Economics and Management, Education, Humanities and Social Sciences (EMEHSS 2017). Atlantis Press, 2017. http://dx.doi.org/10.2991/emehss-17.2017.57.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Gupta, Varun, Wee Yee Wendy Lau, S. H. Goh, et al. "Automated Schematic Transformation to Enhance Circuit Failure Design Debug." In ISTFA 2017. ASM International, 2017. http://dx.doi.org/10.31399/asm.cp.istfa2017p0309.

Full text

Abstract:

Abstract In a failure event, circuit schematic analysis usually follows after fault isolation to increase the success rate. However, analyzing an extracted netlist of the isolated sub-circuit can be messy. Manual circuit translation from layout where the analyst is in control of the cell instance placement is one way to overcome this challenge. Although it is neater and intuitive for analysis, it can be time consuming to create the schematic. To analyze circuits in a systematic manner, cross-mapping between layout and schematic contents is the most commonly recognized approach. However, at tim

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!