Relevant bibliographies by topics / Expressiveness

Contents

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

Academic literature on the topic 'Expressiveness'

Author: Grafiati
Published: 4 June 2021
Last updated: 3 May 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 'Expressiveness.'

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

1

Jang, Yun-Jung. "The Mediating Effect of Emotional Expressiveness on Parental Empathy and the Quality of Children’s Peer Relationships." Korean Journal of Teacher Education 39, no. 3 (May 31, 2023): 87–105. http://dx.doi.org/10.14333/kjte.2023.39.3.05.

Full text
Abstract:
Purpose: The purposes of this study were to investigate associations between parental empathy andthe quality of children’s peer relationships, and examine the mediating effect of emotional expressivenesson the association between the two variables. Methods: Participants consisted of fifth and sixth grade elementary school children including 164boys and 145 girls in Seoul, Yongin and Suwon city. Children completed a parental empathy inventory,Emotional Expressiveness Questionnaire (EEQ), and the quality of peer relationship Network ofRelationships Inventory (NRI). The collected data were analyzed with SPSS and AMOS programs. Results: There was a significant correlation among parental empathy, emotional expressiveness, andthe quality of peer relationships. There was a mediating effect of emotional expressiveness betweena mother's empathy and the quality of children's peer relationships. There was no mediating effectof emotional expressiveness between a father's empathy and the quality of children's peer relationships. The father's empathy had a direct effect on the quality of children's peer relationships. Conclusion: The results of this study can serve as a resource for improving parental empathy, children’semotional expressiveness, and the quality of peer relationships, which play a significant role inchildren’s healthy development and school adaptation.
APA, Harvard, Vancouver, ISO, and other styles
2

Matravers, Derek. "Musical Expressiveness." Philosophy Compass 2, no. 3 (May 2007): 373–79. http://dx.doi.org/10.1111/j.1747-9991.2007.00078.x.

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

Sharoff, Leighsa. "Expressiveness and Creativeness." Nursing Science Quarterly 22, no. 4 (October 2009): 312–17. http://dx.doi.org/10.1177/0894318409344760.

Full text
Abstract:
Metaphors are a personal expression and form of self‐awareness, providing a way of describing an experience with dissimilar concepts to convey meaning. Metaphors create new meaning and provide a deeper insight into the human spirit. They are grounded in reality and day‐to‐day life experiences. Reflective practitioners incorporate and integrate their vast knowledge base of experience, skills, and attitudes to assist in formulating their practice as a metaphor. It is through this experience and reflection that nurses can creatively express their images of self and nursing.
APA, Harvard, Vancouver, ISO, and other styles
4

Hausenblaus, Michael, and Frank Nack. "Interactivity = Reflective Expressiveness." IEEE Multimedia 14, no. 2 (April 2007): 1–7. http://dx.doi.org/10.1109/mmul.2007.37.

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

Valiant, Leslie G. "Expressiveness of matchgates." Theoretical Computer Science 289, no. 1 (October 2002): 457–71. http://dx.doi.org/10.1016/s0304-3975(01)00325-5.

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

Kemp, Gary. "Disquotationalism and Expressiveness." Journal of Philosophical Logic 34, no. 3 (June 2005): 327–32. http://dx.doi.org/10.1007/s10992-005-1529-4.

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

Lucky, R. W. "Engineering expressiveness [Reflections]." IEEE Spectrum 41, no. 9 (September 2004): 80. http://dx.doi.org/10.1109/mspec.2004.1330815.

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

Emmya Ckarina Br Sembiring, Cholifia Nurchaliza, Nisreina Aura Kasih Nugraena, Pattriacia Roulina Br Malau, Rojwa Fadla Saniyya, Asep Purwo Yudi Utomo, and Haris Kurnianto. "Analisis Jenis Ekspresif pada Akun Tiktok Shabira Alula." Jurnal Riset Rumpun Ilmu Bahasa 3, no. 1 (February 2, 2024): 41–65. http://dx.doi.org/10.55606/jurribah.v3i1.2603.

Full text
Abstract:
Pragmatics is the speaker's intention in communicating between the speaker and the speech partner. Pragmatics is related to signs (symbols) and meaning. Moris 1938 as the founder of the oldest field of pragmatics studies. Aspects in pragmatic studies are language, context, and understanding. Analysis of expressive types on Shabira Alula's TikTok account. This analysis uses a qualitative descriptive method. Expressive speech acts are the intention of the speaker's speech as an evaluation in communication. Some expressive types praise, complain, please, etc. There are types of expressiveness that are not widely known and what they mean, so the aim of this research is to find out the types of expressiveness and why they occur on Shabira Alula's TikTok account. Understanding, listening, and taking notes as data retrieval techniques. The research results show an expressive type based on Shabira Alula's TikTok account video. The benefits of this analysis are expected to know and develop each type of expressiveness. The results of the analysis based on @Shabiraalulaadnan's TikTok video show several types of expressiveness, namely comforting expressiveness, criticizing expressiveness, praising expressiveness, confusion expressiveness, apologizing expressiveness, thanking expressiveness, blaming expressiveness.
APA, Harvard, Vancouver, ISO, and other styles
9

MAHER, MICHAEL J. "Relative expressiveness of defeasible logics II." Theory and Practice of Logic Programming 13, no. 4-5 (July 2013): 579–92. http://dx.doi.org/10.1017/s1471068413000367.

Full text
Abstract:
AbstractMaher (2012) introduced an approach for relative expressiveness of defeasible logics, and two notions of relative expressiveness were investigated. Using the first of these definitions of relative expressiveness, we show that all the defeasible logics in the DL framework are equally expressive under this formulation of relative expressiveness. The second formulation of relative expressiveness is stronger than the first. However, we show that logics incorporating individual defeat are equally expressive as the corresponding logics with team defeat. Thus the only differences in expressiveness of logics in DL arise from differences in how ambiguity is handled. This completes the study of relative expressiveness in DL begun in Maher (2012).
APA, Harvard, Vancouver, ISO, and other styles
10

Fábry Lucká, Zuzana. "Expressiveness in Multisensory Approaches." Studia Scientifica Facultatis Paedagogicae Universitas Catholica Ružomberok 21, no. 2 (2022): 60–66. http://dx.doi.org/10.54937/ssf.2022.21.2.60-66.

Full text
Abstract:
The paper presents partial results of research carried out in the field of multisensory approaches. It deals with the issue of expressiveness in relation to the sensory potential of a person with multiple disadvantages. The contribution is a partial output of the KEGA project no. 002-UK-4/2020 Support for a child with sensory processing disorder through a multisensory environment.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Expressiveness"

1

Berwanger, Dietmar. "Games and logical expressiveness." kostenfrei, 2005. http://deposit.ddb.de/cgi-bin/dokserv?idn=975203452.

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

Di, Giusto Cinzia <1979&gt. "Expressiveness of Concurrent Languages." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2009. http://amsdottorato.unibo.it/1433/1/thesis.pdf.

Full text
Abstract:
The aim of this thesis is to go through different approaches for proving expressiveness properties in several concurrent languages. We analyse four different calculi exploiting for each one a different technique. We begin with the analysis of a synchronous language, we explore the expressiveness of a fragment of CCS! (a variant of Milner's CCS where replication is considered instead of recursion) w.r.t. the existence of faithful encodings (i.e. encodings that respect the behaviour of the encoded model without introducing unnecessary computations) of models of computability strictly less expressive than Turing Machines. Namely, grammars of types 1,2 and 3 in the Chomsky Hierarchy. We then move to asynchronous languages and we study full abstraction for two Linda-like languages. Linda can be considered as the asynchronous version of CCS plus a shared memory (a multiset of elements) that is used for storing messages. After having defined a denotational semantics based on traces, we obtain fully abstract semantics for both languages by using suitable abstractions in order to identify different traces which do not correspond to different behaviours. Since the ability of one of the two variants considered of recognising multiple occurrences of messages in the store (which accounts for an increase of expressiveness) reflects in a less complex abstraction, we then study other languages where multiplicity plays a fundamental role. We consider the language CHR (Constraint Handling Rules) a language which uses multi-headed (guarded) rules. We prove that multiple heads augment the expressive power of the language. Indeed we show that if we restrict to rules where the head contains at most n atoms we could generate a hierarchy of languages with increasing expressiveness (i.e. the CHR language allowing at most n atoms in the heads is more expressive than the language allowing at most m atoms, with m
APA, Harvard, Vancouver, ISO, and other styles
3

Di, Giusto Cinzia <1979&gt. "Expressiveness of Concurrent Languages." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2009. http://amsdottorato.unibo.it/1433/.

Full text
Abstract:
The aim of this thesis is to go through different approaches for proving expressiveness properties in several concurrent languages. We analyse four different calculi exploiting for each one a different technique. We begin with the analysis of a synchronous language, we explore the expressiveness of a fragment of CCS! (a variant of Milner's CCS where replication is considered instead of recursion) w.r.t. the existence of faithful encodings (i.e. encodings that respect the behaviour of the encoded model without introducing unnecessary computations) of models of computability strictly less expressive than Turing Machines. Namely, grammars of types 1,2 and 3 in the Chomsky Hierarchy. We then move to asynchronous languages and we study full abstraction for two Linda-like languages. Linda can be considered as the asynchronous version of CCS plus a shared memory (a multiset of elements) that is used for storing messages. After having defined a denotational semantics based on traces, we obtain fully abstract semantics for both languages by using suitable abstractions in order to identify different traces which do not correspond to different behaviours. Since the ability of one of the two variants considered of recognising multiple occurrences of messages in the store (which accounts for an increase of expressiveness) reflects in a less complex abstraction, we then study other languages where multiplicity plays a fundamental role. We consider the language CHR (Constraint Handling Rules) a language which uses multi-headed (guarded) rules. We prove that multiple heads augment the expressive power of the language. Indeed we show that if we restrict to rules where the head contains at most n atoms we could generate a hierarchy of languages with increasing expressiveness (i.e. the CHR language allowing at most n atoms in the heads is more expressive than the language allowing at most m atoms, with m
APA, Harvard, Vancouver, ISO, and other styles
4

Svanfeldt, Gunilla. "Expressiveness in virtual talking faces." Licentiate thesis, Stockholm : Department of Speech, Music and Hearing, School of Computer Science and Communication, Kungliga Tekniska högskolan (KTH), 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-4210.

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

Posse, Ernesto. "Expressiveness in mobile process calculi." Thesis, McGill University, 2001. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=31527.

Full text
Abstract:
The development of formal methods and theories for the construction and analysis of concurrent systems has been a subject of increased interest, particularly in the last decade. Amongst the most recognized and studied theories is the pi-calculus and its family of languages. The pi-calculus is a language for describing and reasoning about mobile systems, that is, systems in which the topology of the communications network is dynamic and not fixed a priori. Examples of such systems include mobile phone networks and the TCP/IP protocol that underlies the Internet. Another paradigm for concurrency is known as Concurrent Constraint Programming or CCP for short. This is a particularly attractive model because of its close ties with Logic and its declarative style. In this thesis a survey of the pi-calculus family and the CCP family is presented, emphasizing the relations both within each family and between the two paradigms. In particular we explore the question of whether CCP supports mobility.
APA, Harvard, Vancouver, ISO, and other styles
6

Кобякова, Ірина Карпівна, Ирина Карповна Кобякова, Iryna Karpivna Kobiakova, Галина Валеріївна Чуланова, Галина Валериевна Чуланова, and Halyna Valeriivna Chulanova. "Expressiveness of Blurbs: Syntactic Level." Thesis, International Academy of Science and Higher Education (London), 2015. http://essuir.sumdu.edu.ua/handle/123456789/41870.

Full text
Abstract:
The article deals with the expressiveness of blurbs. Closely considered are items of emotional syntax. The article singles out and analyzes the range of syntactical means of expressing emotions in blurbs. Herewith much attention is given to the peculiarities of dominant stylistic techniques used in this type of discourse.
APA, Harvard, Vancouver, ISO, and other styles
7

Gordon, Lisa Lande 1961. "Identity development and personal expressiveness." Thesis, The University of Arizona, 1989. http://hdl.handle.net/10150/277201.

Full text
Abstract:
A third defining dimension of identity has been proposed in addition to those of exploration and commitment. This study set out to demonstrate a relationship between identity scores as measured by the Extended Objective Measure of Ego-Identity Status and the third defining dimension, personal expressiveness, as measured by the Personal Expressiveness Activities Questionnaire. Results demonstrated a strong relationship between identity scores and expressiveness with a significant positive correlation between the achievement subscores and expressiveness, and significant negative correlations between the moratorium, foreclosure, and the diffusion subscores. The results appear to validate that expressiveness is indeed a third defining dimension of identity, however recommendations are made based on this study's findings regarding the adequacy of Waterman's Seven-Category Paradigm. Limitations and implications of the study are discussed.
APA, Harvard, Vancouver, ISO, and other styles
8

Vitale, Antonio <1980&gt. "Expressiveness in biologically inspired languages." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2010. http://amsdottorato.unibo.it/2665/1/Vitale_Antonio_tesi.pdf.

Full text
Abstract:
A very recent and exciting new area of research is the application of Concurrency Theory tools to formalize and analyze biological systems and one of the most promising approach comes from the process algebras (process calculi). A process calculus is a formal language that allows to describe concurrent systems and comes with well-established techniques for quantitative and qualitative analysis. Biological systems can be regarded as concurrent systems and therefore modeled by means of process calculi. In this thesis we focus on the process calculi approach to the modeling of biological systems and investigate, mostly from a theoretical point of view, several promising bio-inspired formalisms: Brane Calculi and k-calculus family. We provide several expressiveness results mostly by means of comparisons between calculi. We provide a lower bound to the computational power of the non Turing complete MDB Brane Calculi by showing an encoding of a simple P-System into MDB. We address the issue of local implementation within the k-calculus family: whether n-way rewrites can be simulated by binary interactions only. A solution introducing divergence is provided and we prove a deterministic solution preserving the termination property is not possible. We use the symmetric leader election problem to test synchronization capabilities within the k-calculus family. Several fragments of the original k-calculus are considered and we prove an impossibility result about encoding n-way synchronization into (n-1)-way synchronization. A similar impossibility result is obtained in a pure computer science context. We introduce CCSn, an extension of CCS with multiple input prefixes and show, using the dining philosophers problem, that there is no reasonable encoding of CCS(n+1) into CCSn.
APA, Harvard, Vancouver, ISO, and other styles
9

Vitale, Antonio <1980&gt. "Expressiveness in biologically inspired languages." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2010. http://amsdottorato.unibo.it/2665/.

Full text
Abstract:
A very recent and exciting new area of research is the application of Concurrency Theory tools to formalize and analyze biological systems and one of the most promising approach comes from the process algebras (process calculi). A process calculus is a formal language that allows to describe concurrent systems and comes with well-established techniques for quantitative and qualitative analysis. Biological systems can be regarded as concurrent systems and therefore modeled by means of process calculi. In this thesis we focus on the process calculi approach to the modeling of biological systems and investigate, mostly from a theoretical point of view, several promising bio-inspired formalisms: Brane Calculi and k-calculus family. We provide several expressiveness results mostly by means of comparisons between calculi. We provide a lower bound to the computational power of the non Turing complete MDB Brane Calculi by showing an encoding of a simple P-System into MDB. We address the issue of local implementation within the k-calculus family: whether n-way rewrites can be simulated by binary interactions only. A solution introducing divergence is provided and we prove a deterministic solution preserving the termination property is not possible. We use the symmetric leader election problem to test synchronization capabilities within the k-calculus family. Several fragments of the original k-calculus are considered and we prove an impossibility result about encoding n-way synchronization into (n-1)-way synchronization. A similar impossibility result is obtained in a pure computer science context. We introduce CCSn, an extension of CCS with multiple input prefixes and show, using the dining philosophers problem, that there is no reasonable encoding of CCS(n+1) into CCSn.
APA, Harvard, Vancouver, ISO, and other styles
10

Bespalova, G. V. "Translation of expressiveness in sport discourse." Thesis, Сумський державний університет, 2014. http://essuir.sumdu.edu.ua/handle/123456789/34686.

Full text
Abstract:
Before we describe the difficulties that appear when translating texts of the sport discourse, let us characterize the type of discourse itself. It should be noted here this type has not been studied comprehensively yet. The researchers note it does not correspond to all the features of the institutional discourse. And we did not manage to find its clear definitions. When you are citing the document, use the following link http://essuir.sumdu.edu.ua/handle/123456789/34686
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Expressiveness"

1

Center, Dhaka Art, ed. Images of multilayered expressiveness: Solo painting exhibition. Dhaka: Dhaka Art Center, 2011.

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

K, Zholkovskiĭ A., ed. Poetics of expressiveness: A theory and applications. Amsterdam: J. Benjamins Pub. Co., 1987.

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

Oltețeanu, Ion. Understanding music theory: Meaning, self-conciousness, and emotional expressiveness. New York: Addelton Academic Publishers, 2010.

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

Servomaa, Sonja. Beauty in the pine: Creative expressiveness of the pine in Japanese aesthetics. Helsinki: Yliopistopaino, Helsinki Univ. Press, 2007.

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

Kiewisz, Tomasz Jacek. Emotional expressiveness, emotional ambivalence and emotional control and psychological and physical well-being. [s.l.]: typescript, 1995.

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

Cabrera, Manuel Augusto Ossers. La expresividad en la cuentística de Juan Bosch: Análisis estilístico = Expressiveness in Juan Bosch's short stories : a stylistic analysis. Lewiston, N.Y: Edwin Mellen Press, 2010.

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

Mark, Petersen, Ikegami Hiroshi, and Zheng Peilan, eds. Xin guan nian Ying wen fa: Zong he lian xi = Practice exercises based on the royal English grammar for practical expressiveness. Taibei Shi: Zhong wen tu shu gu fen you xian gong si, 2013.

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

Utterback, Ann S. Vocal Expressiveness. Bonus Books, 1992.

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

Fabian, Dorottya, Renee Timmers, and Emery Schubert, eds. Expressiveness in music performance. Oxford University Press, 2014. http://dx.doi.org/10.1093/acprof:oso/9780199659647.001.0001.

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

Dainotti, Paolo. Word Order and Expressiveness in the Aeneid. De Gruyter, Inc., 2015.

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

Book chapters on the topic "Expressiveness"

1

White, Roger, and David Brockington. "Expressiveness." In In and Out of School, 58–77. London: Routledge, 2024. http://dx.doi.org/10.4324/9781003502487-7.

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

Riggio, Heidi R. "Emotional Expressiveness." In Encyclopedia of Personality and Individual Differences, 1296–303. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-319-24612-3_508.

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

Riggio, Heidi R. "Emotional Expressiveness." In Encyclopedia of Personality and Individual Differences, 1–8. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-28099-8_508-1.

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

Steele, James. "Poetics of expressiveness." In Encyclopedia of Contemporary Literary Theory, edited by Irena Makaryk, 149–50. Toronto: University of Toronto Press, 1993. http://dx.doi.org/10.3138/9781442674417-038.

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

Cohen, Sara. "Aggregation: Expressiveness and Containment." In Encyclopedia of Database Systems, 1–6. New York, NY: Springer New York, 2017. http://dx.doi.org/10.1007/978-1-4899-7993-3_1256-2.

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

Adélaïde, Michaël, and Claire Pagetti. "On the Urgency Expressiveness." In FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 71–83. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30538-5_7.

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

Chambers, Craig. "Expressiveness, Simplicity, and Users." In Lecture Notes in Computer Science, 229. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22655-7_11.

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

Cohen, Sara. "Aggregation: Expressiveness and Containment." In Encyclopedia of Database Systems, 59–63. Boston, MA: Springer US, 2009. http://dx.doi.org/10.1007/978-0-387-39940-9_1256.

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

Bergstra, Jan A., and Cornelis A. Middelburg. "Expressiveness of Instruction Sequences." In Instruction Sequences for Computer Science, 75–95. Paris: Atlantis Press, 2012. http://dx.doi.org/10.2991/978-94-91216-65-7_4.

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

Trivedi, Saam. "Metaphors and Musical Expressiveness." In New Waves in Aesthetics, 41–57. London: Palgrave Macmillan UK, 2008. http://dx.doi.org/10.1057/9780230227453_3.

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

Conference papers on the topic "Expressiveness"

1

Wang, Jianzong, Pengcheng Li, Xulong Zhang, Ning Cheng, and Jing Xiao. "ConTuner: Singing Voice Beautifying with Pitch and Expressiveness Condition." In 2024 International Joint Conference on Neural Networks (IJCNN), 1–6. IEEE, 2024. http://dx.doi.org/10.1109/ijcnn60899.2024.10650210.

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

Bex, Geert Jan, Wim Martens, Frank Neven, and Thomas Schwentick. "Expressiveness of XSDs." In the 14th international conference. New York, New York, USA: ACM Press, 2005. http://dx.doi.org/10.1145/1060745.1060848.

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

Aamer, Heba, Jan Hidders, Jan Paredaens, and Jan Van den Bussche. "Expressiveness within Sequence Datalog." In SIGMOD/PODS '21: International Conference on Management of Data. New York, NY, USA: ACM, 2021. http://dx.doi.org/10.1145/3452021.3458327.

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

Summers, Joshua D. "Expressiveness of the Design Exemplar." In ASME 2005 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2005. http://dx.doi.org/10.1115/detc2005-85135.

Full text
Abstract:
As new representations are introduced to model various aspects of engineering design or to support computer aided design automation systems, these representations should be evaluated with respect to their intrinsic and extrinsic properties. One such property that is explored in this paper is “representational expressiveness”. This paper provides a systematic approach to exploring the expressiveness of new design representations by providing an evaluation of the design exemplar with respect to expressiveness. This expressiveness is decomposed into: coverage of vocabulary, flexibility of definition of vocabulary, type of vocabulary, mappability to existing representations, and support of basic design tasks. The design exemplar is examined with respect to these aspects of expressiveness, systematically laying a foundation for the intrinsic justification for basing future design automation systems on the principles of the design exemplar. This paper is not intended to be a comprehensive review of all aspects of the design exemplar. Rather, this paper is written to compel the design automation community to begin to develop a more systematic and reasoned approach in evaluating the automation systems and representations that are introduced in our research.
APA, Harvard, Vancouver, ISO, and other styles
5

Afrati, F., and S. S. Cosmadakis. "Expressiveness of restricted recursive queries." In the twenty-first annual ACM symposium. New York, New York, USA: ACM Press, 1989. http://dx.doi.org/10.1145/73007.73018.

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

Barrera, Junior, and Gerald J. F. Banon. "Expressiveness of the morphological language." In San Diego '92, edited by Paul D. Gader, Edward R. Dougherty, and Jean C. Serra. SPIE, 1992. http://dx.doi.org/10.1117/12.60647.

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

Jensen, Meiko, and Christopher Meyer. "Expressiveness Considerations of XML Signatures." In 2011 IEEE 35th IEEE Annual Computer Software and Applications Conference Workshops (COMPSACW). IEEE, 2011. http://dx.doi.org/10.1109/compsacw.2011.72.

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

Hilliard, Rich, and Tim Rice. "Expressiveness in architecture description languages." In the third international workshop. New York, New York, USA: ACM Press, 1998. http://dx.doi.org/10.1145/288408.288425.

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

Torres, Jorge, Eduardo Juarez, Juan Manuel Dodero, and Ignacio Aedo. "EML Learning Flow Expressiveness Evaluation." In 2009 Ninth IEEE International Conference on Advanced Learning Technologies (ICALT). IEEE, 2009. http://dx.doi.org/10.1109/icalt.2009.219.

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

Dong, Guozhu. "Datalog expressiveness of chain queries." In the eleventh ACM SIGACT-SIGMOD-SIGART symposium. New York, New York, USA: ACM Press, 1992. http://dx.doi.org/10.1145/137097.137113.

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

Reports on the topic "Expressiveness"

1

Alur, Rajeev, and Thomas A. Henzinger. Real-Time Logics: Complexity and Expressiveness,. Fort Belvoir, VA: Defense Technical Information Center, March 1990. http://dx.doi.org/10.21236/ada323441.

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

Widom, Jennifer, David Gries, and Fred B. Schneider. Trace-Based Network Proof Systems: Expressiveness and Completeness. Fort Belvoir, VA: Defense Technical Information Center, February 1989. http://dx.doi.org/10.21236/ada204828.

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

Hwang, Ja Young, and Kim Hahn. Flow, life satisfaction, personal expressiveness and passion associated with fashion student designer's design process. Ames: Iowa State University, Digital Repository, 2017. http://dx.doi.org/10.31274/itaa_proceedings-180814-1744.

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

Borgwardt, Stefan, and Veronika Thost. LTL over EL Axioms. Technische Universität Dresden, 2015. http://dx.doi.org/10.25368/2022.213.

Full text
Abstract:
Aus der Einleitung: Description Logics (DLs) [BCM+07] are popular knowledge representation formalisms, mainly because they are the basis of the standardized OWL 2 Direct Semantics, their expressiveness can be tailored to the application at hand, and many optimized reasoning systems are available.
APA, Harvard, Vancouver, ISO, and other styles
5

Baader, Franz, and Benjamin Zarrieß. Verification of Golog Programs over Description Logic Actions. Technische Universität Dresden, 2013. http://dx.doi.org/10.25368/2022.198.

Full text
Abstract:
High-level action programming languages such as Golog have successfully been used to model the behavior of autonomous agents. In addition to a logic-based action formalism for describing the environment and the effects of basic actions, they enable the construction of complex actions using typical programming language constructs. To ensure that the execution of such complex actions leads to the desired behavior of the agent, one needs to specify the required properties in a formal way, and then verify that these requirements are met by any execution of the program. Due to the expressiveness of the action formalism underlying Golog (situation calculus), the verification problem for Golog programs is in general undecidable. Action formalisms based on Description Logic (DL) try to achieve decidability of inference problems such as the projection problem by restricting the expressiveness of the underlying base logic. However, until now these formalisms have not been used within Golog programs. In the present paper, we introduce a variant of Golog where basic actions are defined using such a DL-based formalism, and show that the verification problem for such programs is decidable. This improves on our previous work on verifying properties of infinite sequences of DL actions in that it considers (finite and infinite) sequences of DL actions that correspond to (terminating and non-terminating) runs of a Golog program rather than just infinite sequences accepted by a Büchi automaton abstracting the program.
APA, Harvard, Vancouver, ISO, and other styles
6

Bauer, Andrew. In situ and time. Engineer Research and Development Center (U.S.), December 2022. http://dx.doi.org/10.21079/11681/46162.

Full text
Abstract:
Large-scale HPC simulations with their inherent I/O bottleneck have made in situ visualization an essential approach for data analysis, although the idea of in situ visualization dates back to the era of coprocessing in the 1990s. In situ coupling of analysis and visualization to a live simulation circumvents writing raw data to disk for post-mortem analysis -- an approach that is already inefficient for today's very large simulation codes. Instead, with in situ visualization, data abstracts are generated that provide a much higher level of expressiveness per byte. Therefore, more details can be computed and stored for later analysis, providing more insight than traditional methods. This workshop encouraged talks on methods and workflows that have been used for large-scale parallel visualization, with a particular focus on the in situ case.
APA, Harvard, Vancouver, ISO, and other styles
7

Zarrieß, Benjamin, and Jens Claßen. On the Decidability of Verifying LTL Properties of Golog Programs. Technische Universität Dresden, 2013. http://dx.doi.org/10.25368/2022.200.

Full text
Abstract:
Golog is a high-level action programming language for controlling autonomous agents such as mobile robots. It is defined on top of a logic-based action theory expressed in the Situation Calculus. Before a program is deployed onto an actual robot and executed in the physical world, it is desirable, if not crucial, to verify that it meets certain requirements (typically expressed through temporal formulas) and thus indeed exhibits the desired behaviour. However, due to the high (first-order) expressiveness of the language, the corresponding verification problem is in general undecidable. In this paper, we extend earlier results to identify a large, non-trivial fragment of the formalism where verification is decidable. In particular, we consider properties expressed in a first-order variant of the branching-time temporal logic CTL*. Decidability is obtained by (1) resorting to the decidable first-order fragment C² as underlying base logic, (2) using a fragment of Golog with ground actions only, and (3) requiring the action theory to only admit local effects.
APA, Harvard, Vancouver, ISO, and other styles
8

Zarrieß, Benjamin, and Jens Claßen. Decidable Verification of Golog Programs over Non-Local Effect Actions. Technische Universität Dresden, 2015. http://dx.doi.org/10.25368/2022.224.

Full text
Abstract:
The Golog action programming language is a powerful means to express high-level behaviours in terms of programs over actions defined in a Situation Calculus theory. In particular for physical systems, verifying that the program satisfies certain desired temporal properties is often crucial, but undecidable in general, the latter being due to the language’s high expressiveness in terms of first-order quantification and program constructs. So far, approaches to achieve decidability involved restrictions where action effects either had to be contextfree (i.e. not depend on the current state), local (i.e. only affect objects mentioned in the action’s parameters), or at least bounded (i.e. only affect a finite number of objects). In this paper, we present a new, more general class of action theories (called acyclic) that allows for context-sensitive, non-local, unbounded effects, i.e. actions that may affect an unbounded number of possibly unnamed objects in a state-dependent fashion. We contribute to the further exploration of the boundary between decidability and undecidability for Golog, showing that for acyclic theories in the two-variable fragment of first-order logic, verification of CTL properties of programs over ground actions is decidable
APA, Harvard, Vancouver, ISO, and other styles
9

Kankash, Н., Т. Cherkasova, S. Novoseletska, N. Shapran, and L. Bilokonenko. The Use of Linguistic Means of Figurativeness and Evaluativity to Exert Influence in the Speeches of the Chief Delegates of the Ukrainian SSR at the Sessions of the UN General Assembly. Криворізький державний педагогічний університет, 2020. http://dx.doi.org/10.31812/123456789/4648.

Full text
Abstract:
The purpose of the study is to identify the figurative means in the formal diplomatic texts of speeches of chief delegates of the Ukrainian SSR to exert influence at the sessions of the UN General Assembly. Based on the interpretive method of speech analysis and the method of generalisation of the data obtained, an attempt was made to identify the main figurative means and expressiveness of speech, which help to achieve the effect of influence on the reader (listener). In order to identify hidden meanings, a hermeneutic approach to understanding texts was used. According to the results of the study, the most actively used linguistic means of figurativeness in the considered texts are epithets, metaphors, phraseologies. There are many more negative epithets used in the texts of speeches than positive ones, which aim to make people aware of the idea of self-preservation, to arouse emotions of anxiety, fear, vigilance. Metaphors of positive and negative evaluation are used to verbalise mental states, social states and thought processes. Most of the epithets, metaphors, idioms represented in the text are used to denote a negative evaluation, which is perceived as a deviation from the norm and is motivated by the following factors: the reluctance of people to take positive action, irresponsible attitude of some people towards others, socially unacceptable flaws and shortcomings. A logical continuation of this study is the analysis of linguistic means of figurativeness and evaluativity of other types of texts of the official style, including statements and conventions.
APA, Harvard, Vancouver, ISO, and other styles
10

Lebedenko, Nataliia. FUNCTIONS OF PAUSES IN A BROADCAST TEXT (CASE OF A RADIO ESSAY “FOR THOSE WHO ARE NOT SLEEPING”). Ivan Franko National University of Lviv, March 2024. http://dx.doi.org/10.30970/vjo.2024.54-55.12148.

Full text
Abstract:
The article explores the importance of pauses in radio broadcasts, specifically in one of 25 radio essays titled “For Those Who Are Not Sleeping” by Yurii Andrukhovych, which opened the project called “Air passion. Radio essays voiced by modern actors” on Kultura radio. The peculiarities of the radio essay intonation have been chosen as the object of the research. The goal of the article is to identify the functions of pauses in the radio essay voiced by its author. To study pauses in the radio essay, the methods of observation (when listening to the radio essay), analysis (when analyzing the functions of pauses in the spoken text), and description (when outlining the role of pauses in the radio text) were used. The research reveals that pauses in spoken texts, particularly in radio essays, are an essential element that contributes to their structure, logic, and expressiveness. Sometimes, pauses also serve as a specific tool for the author. The study shows that pauses are not just a stop in the spoken flow, but an important element that informs the listener about the meaning of what is spoken. The research also highlights the national features of the Ukrainian language in the “For Those Who Are Not Sleeping” radio essay. The pauses in the essay perform several functions, such as making the text more structured by abstracts, sentences, and semantic centers, providing space for reproduction of internoises, identifying logical stresses and varying the speech rate, attracting listeners’ attention, and encouraging them to reflect and act. Future research should focus on studying pauses in journalistic texts of various genres. This will help expand available knowledge and assist future journalists in developing proper text intonation skills. Key words: pause, radio, radio essay, intonation.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Expressiveness' for particular source types:
Journal articles Dissertations / Theses 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