Log in

Relevant bibliographies by topics / Quantifier alternation

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers

Academic literature on the topic 'Quantifier alternation'

Author: Grafiati

Published: 4 June 2021

Last updated: 19 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 'Quantifier alternation.'

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 "Quantifier alternation"

1

Benmamoun, Elabbas. "The Syntax of Quantifiers and Quantifier Float." Linguistic Inquiry 30, no. 4 (October 1999): 621–42. http://dx.doi.org/10.1162/002438999554237.

Full text

Abstract:

The Arabic quantifier kull displays a Q___NP and NP___Q alternation. Shlonsky (1991) argues that in both patterns Q heads a QP projection with the NP as a complement that may undergo movement to [Spec, QP] or beyond to yield the NP___Q pattern and Q-float structures. On the contrary, I argue on the basis of evidence from reconstruction, Case, and agreement that the two patterns are radically different. In the Q___NP pattern Q is indeed the head of a QP projection that contains the NP. In the NP___Q pattern, however, Q heads a QP adjunct that modifies the NP and in some cases the VP.

APA, Harvard, Vancouver, ISO, and other styles

2

Huumo, Tuomas. "Layers of (un)boundedness: The aspectual–quantificational interplay of quantifiers and partitive case in Finnish object arguments." Linguistics 58, no. 3 (May 26, 2020): 905–36. http://dx.doi.org/10.1515/ling-2020-0084.

Full text

Abstract:

AbstractI present an account of the interplay between quantifiers and the partitive–accusative case alternation in Finnish object marking, with special reference to the aspectual and quantificational semantics of the clause. The case alternation expresses two oppositions (in affirmative clauses): (a) bounded (accusative) vs. unbounded (partitive) quantity, (b) culminating (accusative) vs. non-culminating (partitive) aspect. The quantifiers analyzed are of two main types: (i) mass quantifiers (e. g., paljon ‘a lot of’, vähän ‘(a) little’), which quantify a mass expressed by a mass noun or a plu

APA, Harvard, Vancouver, ISO, and other styles

3

Pikhurko, Oleg, Joel Spencer, and Oleg Verbitsky. "Decomposable graphs and definitions with no quantifier alternation." European Journal of Combinatorics 28, no. 8 (November 2007): 2264–83. http://dx.doi.org/10.1016/j.ejc.2007.04.016.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Zhukovskii, M. E. "Quantifier Alternation in First-Order Formulas with Infinite Spectra." Problems of Information Transmission 53, no. 4 (April 15, 2017): 391–403. http://dx.doi.org/10.1134/s003294601704007x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Matz, Oliver, Nicole Schweikardt, and Wolfgang Thomas. "The Monadic Quantifier Alternation Hierarchy over Grids and Graphs." Information and Computation 179, no. 2 (December 2002): 356–83. http://dx.doi.org/10.1006/inco.2002.2955.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Kufleitner, Manfred, and Tobias Walter. "Level Two of the Quantifier Alternation Hierarchy Over Infinite Words." Theory of Computing Systems 62, no. 3 (August 4, 2017): 467–80. http://dx.doi.org/10.1007/s00224-017-9801-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Kufleitner, Manfred, and Tobias Walter. "One quantifier alternation in first-order logic with modular predicates." RAIRO - Theoretical Informatics and Applications 49, no. 1 (January 2015): 1–22. http://dx.doi.org/10.1051/ita/2014024.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Place, Thomas, and Marc Zeitoun. "Going Higher in First-Order Quantifier Alternation Hierarchies on Words." Journal of the ACM 66, no. 2 (April 26, 2019): 1–65. http://dx.doi.org/10.1145/3303991.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Pikhurko, Oleg, and Oleg Verbitsky. "Descriptive complexity of finite structures: Saving the quantifier rank." Journal of Symbolic Logic 70, no. 2 (June 2005): 419–50. http://dx.doi.org/10.2178/jsl/1120224721.

Full text

Abstract:

AbstractWe say that a first order formula Φ distinguishes a structure M over a vocabulary L from another structure M′ over the same vocabulary if Φ is true on M but false on M′. A formula Φ defines an L-structure M if Φ distinguishes M from any other non-isomorphic L-structure M′. A formula Φ identifies an n-element L-structure M if Φ distinguishes M from any other non-isomorphic n-element L-structure M′.We prove that every n-element structure M is identifiable by a formula with quantifier rank less than and at most one quantifier alternation, where k is the maximum relation arity of M. Moreov

APA, Harvard, Vancouver, ISO, and other styles

10

Keisler, H. Jerome, and Wafik Boulos Lotfallah. "First order quantifiers in monadic second order logic." Journal of Symbolic Logic 69, no. 1 (March 2004): 118–36. http://dx.doi.org/10.2178/jsl/1080938831.

Full text

Abstract:

AbstractThis paper studies the expressive power that an extra first order quantifier adds to a fragment of monadic second order logic, extending the toolkit of Janin and Marcinkowski [JM01].We introduce an operation existsn (S) on properties S that says “there are n components having S”. We use this operation to show that under natural strictness conditions, adding a first order quantifier word u to the beginning of a prefix class V increases the expressive power monotonically in u. As a corollary, if the first order quantifiers are not already absorbed in V, then both the quantifier alternati

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Quantifier alternation"

1

Więckowski, Bartosz. "Modality without reference an alternative semantics for substitutional quantified modal logic and its philosophical significance /." [S.l. : s.n.], 2006.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Więckowski, Bartosz [Verfasser]. "Modality without reference : an alternative semantics for substitutional quantified modal logic and its philosophical significance / vorgelegt von Bartosz Wiȩckowski." 2007. http://d-nb.info/983714568/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Quantifier alternation"

1

Azzouni, Jody. Transcendence and Immanence. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780190622558.003.0001.

Full text

Abstract:

Current metaphysical debates (between, e.g., Hirsch, Sider, Hawthorne, and others) are historically centered in an earlier debate between Carnap and Quine. This was a debate over whether formal languages can function as replacements for natural language or whether instead they offer techniques that can be used to modify natural languages. This debate continues to be relevant to contemporary debates between Hirsch and his opponents. Hirsch presupposes the natural-language-centered Quinean position; many of his opponents take Ontologese to be a cogent alternative for metaphysical discourse. In a

APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Quantifier alternation"

1

Pierron, Théo, Thomas Place, and Marc Zeitoun. "Quantifier Alternation for Infinite Words." In Lecture Notes in Computer Science, 234–51. Berlin, Heidelberg: Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-49630-5_14.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Bradfield, J. C. "Fixpoint Alternation and the Game Quantifier." In Computer Science Logic, 350–61. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48168-0_25.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Kufleitner, Manfred, and Pascal Weil. "On FO 2 Quantifier Alternation over Words." In Mathematical Foundations of Computer Science 2009, 513–24. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-03816-7_44.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Zhang, Ting, Henny B. Sipma, and Zohar Manna. "Term Algebras with Length Function and Bounded Quantifier Alternation." In Lecture Notes in Computer Science, 321–36. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30142-4_23.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Schweikardt, Nicole. "The monadic quantifier alternation hierarchy over grids and pictures." In Computer Science Logic, 441–60. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0028030.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Kufleitner, Manfred, and Tobias Walter. "Level Two of the Quantifier Alternation Hierarchy over Infinite Words." In Computer Science – Theory and Applications, 223–36. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-34171-2_16.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Matz, Oliver. "Dot-Depth and Monadic Quantifier Alternation over Pictures — Extended Abstract." In Ausgezeichnete Informatikdissertationen 1999, 169–78. Wiesbaden: Vieweg+Teubner Verlag, 2000. http://dx.doi.org/10.1007/978-3-322-84823-9_16.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Place, Thomas, and Marc Zeitoun. "Going Higher in the First-Order Quantifier Alternation Hierarchy on Words." In Automata, Languages, and Programming, 342–53. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-662-43951-7_29.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Ly, Olivier. "The Bounded Weak Monadic Quantifier Alternation Hierarchy of Equational Graphs Is Infinite." In FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science, 188–200. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-44450-5_15.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Yu, Emily, Armin Biere, and Keijo Heljanko. "Progress in Certifying Hardware Model Checking Results." In Computer Aided Verification, 363–86. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81688-9_17.

Full text

Abstract:

AbstractWe present a formal framework to certify k-induction-based model checking results. The key idea is the notion of a k-witness circuit which simulates the given circuit and has a simple inductive invariant serving as proof certificate. Our approach allows to check proofs with an independent proof checker by reducing the certification problem to pure SAT checks and checking a simple QBF with one quantifier alternation. We also present Certifaiger, the resulting certification toolkit, and evaluate it on instances from the hardware model checking competition. Our experiments show the practical use of our certification method.

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Quantifier alternation"

1

Thérien, Denis, and Thomas Wilke. "Over words, two variables are as powerful as one quantifier alternation." In the thirtieth annual ACM symposium. New York, New York, USA: ACM Press, 1998. http://dx.doi.org/10.1145/276698.276749.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Steedman, Mark. "Alternating quantifier scope in CCG." In the 37th annual meeting of the Association for Computational Linguistics. Morristown, NJ, USA: Association for Computational Linguistics, 1999. http://dx.doi.org/10.3115/1034678.1034728.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Place, Thomas. "Separating Regular Languages with Two Quantifiers Alternations." In 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2015. http://dx.doi.org/10.1109/lics.2015.28.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Hu, Jie, and Yan Wang. "Sensitivity Analysis in Quantified Interval Constraint Satisfaction Problems." In ASME 2013 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2013. http://dx.doi.org/10.1115/detc2013-12460.

Full text

Abstract:

Interval is an alternative to probability distribution in quantifying epistemic uncertainty for reliability analysis when there is a lack of data to fit a distribution with good confidence. It only requires the information of lower and upper bounds. The propagation of uncertainty is analyzed by solving interval-valued constraint satisfaction problems (CSPs). By introducing logic quantifiers, quantified constraint satisfaction problems (QCSPs) can capture more semantics and engineering intent than CSPs. Sensitivity analysis (SA) takes into account of variations associated with the structure and

APA, Harvard, Vancouver, ISO, and other styles

5

Foster, Garrett, and Scott Ferguson. "Assessing the Effectiveness of Using Graveyard Data for Generating Design Alternatives." In ASME 2011 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2011. http://dx.doi.org/10.1115/detc2011-48636.

Full text

Abstract:

Modeling to Generate Alternatives (MGA) is a technique used to identify variant designs that maximize design space distance from an initial point while satisfying performance loss constraints. Recent work has explored the application of this technique to nonlinear design problems, where the design space was investigated using an exhaustive sampling procedure. While computational cost concerns were noted, the main focus was determining how scaling and distance metric selection influenced alternative discovery. To increase the viability of MGA for engineering design problems, this work looks to

APA, Harvard, Vancouver, ISO, and other styles

6

Sarver, Joseph J., and Dawn M. Elliott. "An Alternative Method for Determining the Neutral Zone of Spinal Motion Segment Units." In ASME 2003 International Mechanical Engineering Congress and Exposition. ASMEDC, 2003. http://dx.doi.org/10.1115/imece2003-43058.

Full text

Abstract:

In-vitro mechanical testing of spinal motion segments has the potential to provide insight into mechanisms of intervertebral disc degeneration as well as a means for evaluating treatments. We describe a novel tri-linear method for quantifying the non-linear load-displacement behavior which is robust across different spinal levels, and quantifies stiffness at low-loads, which has not been included by previous threshold based methods. Mechanical data from in-vitro compression/tension testing of rodent motion segments is used to compare our tri-linear method with a threshold based method, and dem

APA, Harvard, Vancouver, ISO, and other styles

7

Luan, Siyao, Deborah L. Thurston, Madhav Arora, and James T. Allison. "Developing and Comparing Alternative Design Optimization Formulations for a Vibration Absorber Example." In ASME 2017 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2017. http://dx.doi.org/10.1115/detc2017-68337.

Full text

Abstract:

In some cases, the level of effort required to formulate and solve an engineering design problem as a mathematical optimization problem is significant, and the potential improved design performance may not be worth the excessive effort. In this article we address the tradeoffs associated with formulation and modeling effort. Here we define three core elements (dimensions) of design formulations: design representation, comparison metrics, and predictive model. Each formulation dimension offers opportunities for the design engineer to balance the expected quality of the solution with the level o

APA, Harvard, Vancouver, ISO, and other styles

8

Vukadinovic, Vlade, Peter Habisreuther, and Nikolaos Zarzalis. "Experimental Study on Combustion Characteristics of Conventional and Alternative Liquid Fuels." In ASME Turbo Expo 2012: Turbine Technical Conference and Exposition. American Society of Mechanical Engineers, 2012. http://dx.doi.org/10.1115/gt2012-69449.

Full text

Abstract:

Gas turbine combustor design relies strongly on the turbulent flame velocity over the whole turbine operation range. Due to the fact that turbulent flame velocity depends strongly on the laminar one, its characterisation at different thermodynamic conditions is necessary for further optimisation of gas turbines. The Markstein number, which quantifies the response of the flame to the stretch, also has to be considered. Additionally, the Markstein number can be utilised as an indicator for laminar and turbulent flame front stability. The current attempts to replace conventional fuels, such as ke

APA, Harvard, Vancouver, ISO, and other styles

9

Barrozo, Marcos A. S., N. C. Silva, T. C. Silva, A. O. Santos, I. S. Graton, and C. R. Duarte. "Drying of microalga Spirulina platensis in a rotary dryer with inert bed." In 21st International Drying Symposium. Valencia: Universitat Politècnica València, 2018. http://dx.doi.org/10.4995/ids2018.2018.7457.

Full text

Abstract:

The aim of this work is investigate the use of a rotary dryer with inert bed for drying of microalga Spirulina platensis. The influence of air temperature, feed rate, rotation speed and inerts filling degree was quantified. The contents of main bioactive compounds were also analyzed. The results shown that the used drying system proved to be an interesting alternative for a possible use of this microalga, if performed under adequate conditions. It was identified conditions with high drying performance and with the preservation of product quality.Keywords: Spirulina platensis; rotary dryer; ine

APA, Harvard, Vancouver, ISO, and other styles

10

Xiong, Qingwen, Junli Gou, and Jianqiang Shan. "Investigation on Methods for Uncertainty Quantification of Constitutive Models and the Application in BEPU." In 2018 26th International Conference on Nuclear Engineering. American Society of Mechanical Engineers, 2018. http://dx.doi.org/10.1115/icone26-81425.

Full text

Abstract:

The best estimate plus uncertainty (BEPU) method is recommended by IAEA for nuclear safety analysis. Most of the existing BEPU methodologies rely on the uncertainty propagation of input parameters, while uncertainties of the constitutive models in best estimate codes tend not to be valued or even neglected. A structural method is proposed in this paper to quantify the uncertainties of the constitutive models. Different constitutive models will be classified according to the characteristics and corresponding method could be utilized for each model based on the method. Specific uncertainty quant

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!