Accedi

Bibliografie tematiche / Quantifier alternation

Indice

Articoli di riviste
Tesi
Libri
Capitoli di libri
Atti di convegni

Letteratura scientifica selezionata sul tema "Quantifier alternation"

Autore: Grafiati

Pubblicato: 4 giugno 2021

Ultima modifica: 19 febbraio 2022

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Quantifier alternation".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Articoli di riviste sul tema "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.

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Tesi sul tema "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.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Libri sul tema "Quantifier alternation"

1

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

Capitoli di libri sul tema "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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

Atti di convegni sul tema "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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!