Relevant bibliographies by topics / Expressibility

Contents

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

Academic literature on the topic 'Expressibility'

Author: Grafiati
Published: 4 June 2021
Last updated: 1 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 'Expressibility.'

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 "Expressibility"

1

MANDELKERN, MATTHEW. "MODALITY AND EXPRESSIBILITY." Review of Symbolic Logic 12, no. 4 (January 4, 2019): 768–805. http://dx.doi.org/10.1017/s1755020318000394.

Full text
Abstract:
AbstractWhen embedding data are used to argue against semantic theory A and in favor of semantic theory B, it is important to ask whether A could make sense of those data. It is possible to ask that question on a case-by-case basis. But suppose we could show that A can make sense of all the embedding data which B can possibly make sense of. This would, on the one hand, undermine arguments in favor of B over A on the basis of embedding data. And, provided that the converse does not hold—that is, that A can make sense of strictly more embedding data than B can—it would also show that there is a precise sense in which B is more constrained than A, yielding a pro tanto simplicity-based consideration in favor of B. In this paper I develop tools which allow us to make comparisons of this kind, which I call comparisons of potential expressive power. I motivate the development of these tools by way of exploration of the recent debate about epistemic modals. Prominent theories which have been developed in response to embedding data turn out to be strictly less expressive than the standard relational theory, a fact which necessitates a reorientation in how to think about the choice between these theories.
APA, Harvard, Vancouver, ISO, and other styles
2

Nakaji, Kouhei, and Naoki Yamamoto. "Expressibility of the alternating layered ansatz for quantum computation." Quantum 5 (April 19, 2021): 434. http://dx.doi.org/10.22331/q-2021-04-19-434.

Full text
Abstract:
The hybrid quantum-classical algorithm is actively examined as a technique applicable even to intermediate-scale quantum computers. To execute this algorithm, the hardware efficient ansatz is often used, thanks to its implementability and expressibility; however, this ansatz has a critical issue in its trainability in the sense that it generically suffers from the so-called gradient vanishing problem. This issue can be resolved by limiting the circuit to the class of shallow alternating layered ansatz. However, even though the high trainability of this ansatz is proved, it is still unclear whether it has rich expressibility in state generation. In this paper, with a proper definition of the expressibility found in the literature, we show that the shallow alternating layered ansatz has almost the same level of expressibility as that of hardware efficient ansatz. Hence the expressibility and the trainability can coexist, giving a new designing method for quantum circuits in the intermediate-scale quantum computing era.
APA, Harvard, Vancouver, ISO, and other styles
3

Norn, Mogens. "Expressibility of Meibomian secretion." Acta Ophthalmologica 65, no. 2 (May 27, 2009): 137–42. http://dx.doi.org/10.1111/j.1755-3768.1987.tb06991.x.

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

Lee, Jinhee. "Dialetheism, Revenge and Expressibility." CHUL HAK SA SANG : Journal of Philosophical Ideas 77 (August 31, 2020): 75–104. http://dx.doi.org/10.15750/chss.77.202008.003.

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

Immerman, Neil. "Expressibility and Parallel Complexity." SIAM Journal on Computing 18, no. 3 (June 1989): 625–38. http://dx.doi.org/10.1137/0218043.

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

Rusu, Andrei. "Infinitely Many Precomplete with Respect to Parametric Expressibility Classes of Formulas in a Provability Logic of Propositions." Analele Universitatii "Ovidius" Constanta - Seria Matematica 22, no. 1 (December 10, 2014): 247–55. http://dx.doi.org/10.2478/auom-2014-0020.

Full text
Abstract:
AbstractIn the present paper we consider a non-tabular extension L of the well-known propositional provability logic GL together with the notion of parametric expressibility of formulas in a logic proposed by A. V. Kuznetsov. We prove that there are infinitely many precomplete with respect to parametric expressibility classes of formulas in the above mentioned logic L.
APA, Harvard, Vancouver, ISO, and other styles
7

Andréka, Hajnal, Ivo Düntsch, and István Németi. "Expressibility of properties of relations." Journal of Symbolic Logic 60, no. 3 (September 1995): 970–91. http://dx.doi.org/10.2307/2275768.

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

Hella, Lauri, and José M. Turull-Torres. "Expressibility of Higher Order Logics." Electronic Notes in Theoretical Computer Science 84 (September 2003): 129–40. http://dx.doi.org/10.1016/s1571-0661(04)80850-8.

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

Shapiro, Lionel. "Expressibility and the Liar's Revenge." Australasian Journal of Philosophy 89, no. 2 (June 2011): 297–314. http://dx.doi.org/10.1080/00048401003695156.

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

Bonner, Anthony J. "Hypothetical datalog: complexity and expressibility." Theoretical Computer Science 76, no. 1 (October 1990): 3–51. http://dx.doi.org/10.1016/0304-3975(90)90011-6.

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

Dissertations / Theses on the topic "Expressibility"

1

Gault, Richard. "Expressibility and tractability." Thesis, University of Leicester, 2000. http://hdl.handle.net/2381/30512.

Full text
Abstract:
This thesis is composed of three separate, yet related strands. They have in common the notion that computational problems are regarded not as sets of strings, but as classes of finite structures. Our "computing devices", be they of a logical, traditionally computational, or algebraic nature, all work directly upon such structures. This is in contrast to traditional computability and complexity theory, where machines act instead upon some encoding of structures. We begin by investigating a restriction of the question of whether or not NP = co-NP. In particular, we consider the effect of adding a transitive closure operator to monadic NP, and show that the resulting logic is a strict extension of it which is not closed under complementation. This extends Fagin's result that monadic NP is itself not closed under complementation. We then investigate the expressive power of a class of program schemes which we call RFDPS. We prove a strong result limiting the expressive power of this class, and use it to obtain a strict, infinite hierarchy of problem classes within RFDPS. To our knowledge, this is the first strict, infinite hierarchy in a polynomial-time logic which properly extends inductive fixed-point logic (with the property that the union of the classes of the hierarchy consists of the class of problems definable in the polynomial-time logic itself). Finally, we turn our attention to constraint satisfaction problems. This important class of problems is NP-hard in general, but many restrictions to it have been identified over the years which ensure its tractability. We introduce a method of combining two tractable classes over disjoint domains, so as to synthesise new tractable classes. We demonstrate that these new classes are genuinely novel, and extend naturally to yet further tractable classes. The algorithms for solving these extended classes can be less than obvious.
APA, Harvard, Vancouver, ISO, and other styles
2

Hveem, Tarjei Sveinsgjerd. "Improving expressibility of simple motifs." Thesis, Norwegian University of Science and Technology, Department of Computer and Information Science, 2004. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-9147.

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

Vortmeier, Nils [Verfasser], Thomas [Akademischer Betreuer] Schwentick, and Victor [Gutachter] Vianu. "Dynamic expressibility under complex changes / Nils Vortmeier ; Gutachter: Victor Vianu ; Betreuer: Thomas Schwentick." Dortmund : Universitätsbibliothek Dortmund, 2019. http://d-nb.info/1203372957/34.

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

Banks, Gatenby Amanda. "Developing perspectives of knowledgeability through a pedagogy of expressibility with the Raspberry Pi." Thesis, University of Manchester, 2018. https://www.research.manchester.ac.uk/portal/en/theses/developing-perspectives-of-knowledgeability-through-a-pedagogy-of-expressibility-with-the-raspberry-pi(246a7889-d2a5-41ad-bd15-e04c0f36b529).html.

Full text
Abstract:
The curriculum for ICT in UK schools was discontinued in September 2012 and replaced by a 'rebranded' subject of Computing, divided into three sub domains: Computer Science; Information Technology; and digital literacy. The latter was positioned as basic technical skills. There were concerns in the education community that the new curriculum promoted programming and computer science topics to the detriment of digital literacy and applied uses of technology. Much of the Computing education literature perpetuates the hegemony of the logical and abstract, and implies computational thinking and rationality are synonymous with criticality. During the same period, a maker culture was growing rapidly in the UK, and discourses around these activities promoted an entirely different notion of digital literacy, aligned with the wide body of literacy literature that focuses on notions of empowerment and criticality rather than basic functional skills. A digital maker tool called the Raspberry Pi was released with the intention of supporting the development of computer science and digital making competence, and thus sat at the boundary of the academic and maker communities. This thesis argues that developing 'criticality' is a vital component of Computing education and explores how learning activities with the Raspberry Pi might support development of 'criticality'. In setting the scene for the investigation, I will first explore the notions underpinning discourse around both computational and critical thinking and digital literacy, suggesting that the frictions would be best overcome by abandoning abstract constructs of knowledge and assumptions that it is possible to separate theory and practice. I show how the term 'critical' is itself problematic in the literature and I look to Wenger's social theory of learning to avoid the individualistic limits of Papert's constructionism, a popular learning theory in Computing education. Wenger's constructs of knowledgeability and competence help tell a different story of what it means to be a learner of the practice of Computing, both in learning for academic purposes and with intentions towards becoming a practitioner. In concert with learning citizenship, these constructs offer a more ethical framing of 'criticality'. Informed by this theoretical position, I suggest an original, exploratory implementation of Q methodology to explore learning with technology in school settings. I qualitatively compare 'before' and 'after' Q studies that represent perspectives at the individual and collective level, with reference to observations of classroom learning. The methodology facilitates a nuanced and complex investigation and the findings of the project suggest that where pupils are already predisposed to the subject, working with the Raspberry Pi develops a broader knowledgeability, but where there is no such predisposition, a pedagogy of expressibility influences how participation in Raspberry Pi learning activities may impact knowledgeability.
APA, Harvard, Vancouver, ISO, and other styles
5

Meadows, Jillian Faith. "Development of the 4-3-2-1 Meibum Expressibility Scale and Omega-3 Fatty Acid Supplementation and Dry Eye." The Ohio State University, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=osu1312343001.

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

Fournier, Hervé. "Complexité et expressibilité sur les réels." Lyon, École normale supérieure, 2001. http://www.theses.fr/2001ENSL0207.

Full text
Abstract:
Le but de cette thèse est de comprendre certains aspects fondamentaux de l'algorithmique sur les nombres réels. La première partie de la thèse a pour cadre le modèle de calcul propose par Blum, Shub et Smale. Comme dans le cas booléen, la question p = np semble difficile sur le corps des réels, mais aussi sur les réels avec addition et ordre ou encore sur le corps des complexes. A défaut d’être en mesure de résoudre ces problèmes, on essaie de les relier entre eux : ce sont les théorèmes de transfert. Nous obtenons des résultats reliant des hypothèses de complexité structurelle réelle a des hypothèses de complexité booléenne. Nous montrons en particulier l’équivalence de p = np sur les réels avec addition et ordre et de la version non-uniforme de l’hypothèse booléenne p = np. La question de l'existence de problèmes np-complets creux, ici de petite dimension, est également discutée pour diverses réductions. La seconde partie se place dans le contexte d'un modèle fini plonge dans une structure infinie. Les problèmes étudiés sont motives par le modèle des contraintes. Nous étudions le rang de quantification de certaines requêtes de parité et de connexité pour un graphe plonge dans les réels ou les complexes munis de diverses opérations. Nous étudions aussi a quelle condition quantifier sur le modèle fini, le domaine actif, ou quantifier sur le domaine de la structure sous-jacente, le domaine naturel, donnent le même pouvoir d'expression. Nous énonçons une propriété suffisante pour qu'une telle situation se produise, et nous démontrons que les structures fortement minimales éliminant les quantificateurs, ainsi que les corps différentiellement clos, ont cette propriété. Les démonstrations sont effectives au sens ou elles permettent de construire un algorithme transformant une formule naturelle en une formule active équivalente.
APA, Harvard, Vancouver, ISO, and other styles
7

Meteer, Marie Wenzel. "The "generation gap": The problem of expressibility in text planning." 1990. https://scholarworks.umass.edu/dissertations/AAI9022720.

Full text
Abstract:
This thesis identifies and provides a solution for a particular problem in natural language generation: the problem of ensuring the expressibility of a text plan. Natural language generation is the process of going from a representation of a situation to a textual expression of some relevant portion of that situation in a natural language. Generation systems must have a principled way of ensuring that the message composed by the text planner is expressible in language, that is, that there are linguistic resources (words, syntactic structures) available for the linguistic component to realize the elements of the plan, and their composition is in accordance with the rules of composition in the language. I have addressed the problem of expressibility by designing a level of representation, the Text Structure, which is used by the text planner in composing the utterance. This intermediate level of representation bridges the "generation gap" between the representation of the world in the application program and the linguistic resources provided by the language. The terms and expressions in the Text Structure are abstractions over the concrete resources of language (the words, morphological markings, syntactic structures, etc. that actually appear in a stream of text). These abstract linguistic resources group together the expressible combinations of concrete linguistic resources. I have identified three kinds of information that are essential to an abstract linguistic representation: the constituency, the semantic category of the constituent (e.g. event, property), and the structural relations among the constituents (e.g. argument, adjunct). By providing the planner with a set of abstract resources, rather than letting it choose from the individual features that make them up, it is prevented from choosing a set of features that is not realizable. These abstractions can further constrain composition by defining what kinds of constituents can be extended and how semantic categories can compose. Text Structure is implemented in the Spokesman Generation System, which produces text for a variety of application programs. I describe in detail the structures in Spokesman's text planner and walk through an example of the generation of a biographical paragraph from the Main Street simulation program.
APA, Harvard, Vancouver, ISO, and other styles
8

Ferrarotti, Flavio Antonio. "Expressibility of higher-order logics on relational databases : proper hierarchies : a dissertation presented in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Information Systems at Massey University, Wellington, New Zealand." 2008. http://hdl.handle.net/10179/799.

Full text
Abstract:
We investigate the expressive power of different fragments of higher-order logics over finite relational structures (or equivalently, relational databases) with special emphasis in higher-order logics of order greater than or equal three. Our main results concern the study of the effect on the expressive power of higher-order logics, of simultaneously bounding the arity of the higher-order variables and the alternation of quantifiers. Let AAi(r,m) be the class of (i + 1)-th order logic formulae where all quantifiers are grouped together at the beginning of the formulae, forming m alternating blocks of consecutive existential and universal quantifiers, and such that the maximal-arity (a generalization of the concept of arity, not just the maximal of the arities of the quantified variables) of the higher-order variables is bounded by r. Note that, the order of the quantifiers in the prefix may be mixed. We show that, for every i [greater than or equal to] 1, the resulting AAi hierarchy of formulae of (i + 1)-th order logic is proper. This extends a result by Makowsky and Pnueli who proved that the same hierarchy in second-order logic is proper. In both cases the strategy used to prove the results consists in considering the set AUTOSAT(F) of formulae in a given logic F which, represented as finite structures, satisfy themselves. We then use a similar strategy to prove that the classes of [Sigma superscript i subscript m union Pi superscript i subscript m] formulae in which the higher-order variables of all orders up to i+1 have maximal-arity at most r, also induce a proper hierarchy in each higher-order logic of order i [greater than or equal to] 3. It is not known whether the correspondent hierarchy in second-order logic is proper. Using the concept of finite model truth definitions introduced by M. Mostowski, we give a sufficient condition for that to be the case. We also study the complexity of the set AUTOSAT(F) and show that when F is one of the prenex fragments [Sigma superscript 1 subscript m] of second-order logic, it follows that AUTOSAT(F) becomes a complete problem for the corresponding prenex fragment [Sigma superscript 2 subscript m] of third-order logic. Finally, aiming to provide the background for a future line of research in higher-order logics, we take a closer look to the restricted second-order logic SO[superscript w] introduced by Dawar. We further investigate its connection with the concept of relational complexity studied by Abiteboul, Vardi and Vianu. Dawar showed that the existential fragment of SO[superscript w] is equivalent to the nondeterministic inflationary fixed-point logic NFP. Since NFP captures relational NP, it follows that the existential fragment of SO[superscript w] captures relational NP. We give a direct proof, in the style of the proof of Fagin’s theorem, of this fact. We then define formally the concept of relational machine with relational oracle and prove the exact correspondence between the prenex fragments of SO[superscript w] and the levels of the relational polynomial-time hierarchy. This allows us to stablish a direct connection between the relational polynomial hierarchy and SO without using the Abiteboul and Vianu normal form for relational machines.
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Expressibility"

1

Expressibility and the problem of efficient text planning. London: Pinter Publishers, 1992.

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

Meteer, Marie. Expressibility and the Problem of Efficient Text Planning. Bloomsbury Academic, 2015.

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

Ray, Greg. Tarski on the Concept of Truth. Edited by Michael Glanzberg. Oxford University Press, 2018. http://dx.doi.org/10.1093/oxfordhb/9780199557929.013.27.

Full text
Abstract:
Alfred Tarski’s work on truth has been so central to the discourse on truth that most coming to it for the first time have probably already heard a great deal about what is said there. Unfortunately, since the work is largely technical and Tarski was only tangentially philosophical, a certain incautious assimilation dominates many philosophical discussions of Tarski’s ideas, and so, examining Tarski on the concept of truth is in many ways an act of unlearning. This chapter will focus on key ideas in Tarski’s work that have had a lasting impact: T-sentence, Convention T, Tarskian truth definition, and Tarski’s general limiting theses on the expressibility and definability of truth. Though these ideas are familiar in name, the chapter seeks to uncover and remove certain widespread misunderstandings. Tarski’s name also features prominently in discussions of the liar paradox, so we will discuss Tarski’s misunderstood connection to this ancient puzzle.
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Expressibility"

1

Francez, Nissim. "Syntactic Expressibility." In Fairness, 173–201. New York, NY: Springer US, 1986. http://dx.doi.org/10.1007/978-1-4612-4886-6_7.

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

Willard, Ross. "Testing Expressibility Is Hard." In Principles and Practice of Constraint Programming – CP 2010, 9–23. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15396-9_4.

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

Živný, Stanislav. "Expressibility of Valued Constraints." In Cognitive Technologies, 31–47. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33974-5_2.

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

Živný, Stanislav. "Expressibility of Submodular Languages." In Cognitive Technologies, 79–94. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33974-5_4.

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

Kannetzky, Frank. "Expressibility, Explicability, and Taxonomy." In Speech Acts, Mind, and Social Reality, 65–82. Dordrecht: Springer Netherlands, 2002. http://dx.doi.org/10.1007/978-94-010-0589-0_5.

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

Živný, Stanislav. "Expressibility of Fixed-Arity Languages." In Cognitive Technologies, 49–78. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33974-5_3.

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

Živný, Stanislav. "Non-expressibility of Submodular Languages." In Cognitive Technologies, 95–114. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33974-5_5.

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

Eberhart, Aaron, Cogan Shimizu, Sulogna Chowdhury, Md Kamruzzaman Sarker, and Pascal Hitzler. "Expressibility of OWL Axioms with Patterns." In The Semantic Web, 230–45. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-77385-4_14.

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

Marek, V. W., and J. B. Remmel. "On the Expressibility of Stable Logic Programming." In Logic Programming and Nonmotonic Reasoning, 107–20. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45402-0_8.

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

Praehofer, Herbert, and Bernard P. Zeigler. "On the expressibility of discrete event specified systems." In Computer Aided Systems Theory — CAST '94, 65–79. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61478-8_68.

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

Conference papers on the topic "Expressibility"

1

Zhou, Hongchao, and Jehoshua Bruck. "On the expressibility of stochastic switching circuits." In 2009 IEEE International Symposium on Information Theory - ISIT. IEEE, 2009. http://dx.doi.org/10.1109/isit.2009.5205401.

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

Cosmadakis, S. S. "On the first-order expressibility of recursive queries." In the eighth ACM SIGACT-SIGMOD-SIGART symposium. New York, New York, USA: ACM Press, 1989. http://dx.doi.org/10.1145/73721.73752.

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

Dublish, P., and S. N. Maheshwari. "Expressibility of bounded-arity fixed-point query hierarchies." In the eighth ACM SIGACT-SIGMOD-SIGART symposium. New York, New York, USA: ACM Press, 1989. http://dx.doi.org/10.1145/73721.73753.

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

Michel, R. "A categorical approach to distributed systems expressibility and knowledge." In the eighth annual ACM Symposium. New York, New York, USA: ACM Press, 1989. http://dx.doi.org/10.1145/72981.72990.

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

Liu, Siyuan, and Arijit Khan. "An Empirical Analysis on Expressibility of Vertex Centric Graph Processing Paradigm." In 2018 IEEE International Conference on Big Data (Big Data). IEEE, 2018. http://dx.doi.org/10.1109/bigdata.2018.8622032.

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

Wijsen, Jef. "On the first-order expressibility of computing certain answers to conjunctive queries over uncertain databases." In the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium. New York, New York, USA: ACM Press, 2010. http://dx.doi.org/10.1145/1807085.1807111.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Expressibility' for particular source types:
Journal articles
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