Academic literature on the topic 'Symbol set'

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 'Symbol set.'

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 "Symbol set"

1

Geiselman, Eric E., and Robert K. Osgood. "Toward an Empirically Based Helmet-Mounted Display Symbology Set." Proceedings of the Human Factors and Ergonomics Society Annual Meeting 37, no. 1 (October 1993): 93–97. http://dx.doi.org/10.1177/154193129303700123.

Full text
Abstract:
The helmet-mounted display (HMD) affords continuous availability of critical flight information independent of head orientation. With appropriate information presented on a HMD, aircraft control can be maintained regardless of where the pilot is looking. This research addresses the development of an empirically based HMD symbol set. Three attitude formats and three altitude formats were evaluated within a composite fixed-wing HMD symbology layout. The attitude formats varied in basic form and symbol compression ratio. Symbol compression ratio is the ratio of the angle represented by the symbol to the symbol's subtended visual angle. High symbol compression results in symbols which represent large angles, and therefore have slow rate-of-motion relative to their uncompressed counterparts. The altitude symbologies were formed of both vertical scale and dial formats and included vertical velocity indicators. Subjects performed a flight-path maintenance task within sessions of differing “real” horizon presence and orientation. The formats were evaluated under a task which was designed to require high-accuracy flight-path maintenance. This type of task is traditionally thought to require less symbol compression. The results showed that performance was influenced by the manipulation of the attitude symbology formats. The results also suggest that symbol compression may be advantageous.
APA, Harvard, Vancouver, ISO, and other styles
2

Joomwong, Jintana, and Dara Phusanga. "Deterministic and non-deterministic hypersubstitutions for algebraic systems." Asian-European Journal of Mathematics 09, no. 02 (April 15, 2016): 1650047. http://dx.doi.org/10.1142/s1793557116500479.

Full text
Abstract:
Hypersubstitutions for algebraic systems are mappings which send operation symbols to terms and relational symbols to formulas preserving arities (see [D. Phusanga, Derived Algebraic Systems, Ph.D. thesis, Potsdam (2013)]). In the non-deterministic case, i.e. if one operation symbol is sent to several terms of the same arity and also one relational symbol is sent to several quantifier free formulas of the same arity, we can consider a mapping from the set of operation symbols into the power set of the set of all terms and from the set of relational symbols into the power set of the set of all quantifier free formulas of the considered type. These mappings are called non-deterministic hypersubstitutions for algebraic systems. We consider sets of algebraic systems which are invariant under non-deterministic hypersubstitutions and apply the result to [Formula: see text]-[Formula: see text]-solid classes of algebraic systems. In this paper, we consider an extension of non-deterministic hypersubstitutions which is based on deterministic ones.
APA, Harvard, Vancouver, ISO, and other styles
3

Titani, Satoko. "Completeness of global intuitionistic set theory." Journal of Symbolic Logic 62, no. 2 (June 1997): 506–28. http://dx.doi.org/10.2307/2275544.

Full text
Abstract:
Gentzen's sequential system LJ of intuitionistic logic has two symbols of implication. One is the logical symbol → and the other is the metalogical symbol ⇒ in sequentsConsidering the logical system LJ as a mathematical object, we understand that the logical symbols ∧, ∨, →, ¬, ∀, ∃ are operators on formulas, and ⇒ is a relation. That is, φ ⇒ Ψ is a metalogical sentence which is true or false, on the understanding that our metalogic is a classical logic. In other words, we discuss the logical system LJ in the classical set theory ZFC, in which φ ⇒ Ψ is a sentence.The aim of this paper is to formulate an intuitionistic set theory together with its metatheory. In Takeuti and Titani [6], we formulated an intuitionistic set theory together with its metatheory based on intuitionistic logic. In this paper we postulate that the metatheory is based on classical logic.Let Ω be a cHa. Ω can be a truth value set of a model of LJ. Then the logical symbols ∧, ∨, →, ¬, ∀x, ∃x are interpreted as operators on Ω, and the sentence φ ⇒ Ψ is interpreted as 1 (true) or 0 (false). This means that the metalogical symbol ⇒ also can be expressed as a logical operators such that φ ⇒ Ψ is interpreted as 1 or 0.
APA, Harvard, Vancouver, ISO, and other styles
4

SIMPSON, NIKI. "Botanical symbols: a new symbol set for new images." Botanical Journal of the Linnean Society 162, no. 2 (February 2010): 117–29. http://dx.doi.org/10.1111/j.1095-8339.2009.01021.x.

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

Kirkpatrick, Mark, Lisa A. Dutra, Robert A. Lyons, Glenn A. Osga, and John J. Pucci. "Tactical Symbology Standards." Proceedings of the Human Factors Society Annual Meeting 36, no. 15 (October 1992): 1087–91. http://dx.doi.org/10.1518/107118192786749784.

Full text
Abstract:
CRT displays aboard U.S. Navy ships use a standardized monochrome Naval Tactical Data System (NTDS) symbol set to represent properties of symbols such as platform type (e.g. Aircraft Carrier, Combat Air), environment (e.g. air, surface, subsurface), and identification (e.g. hostile, friendly). A color symbol set has been proposed in NATO Standardization Agreement 4420, Display Symbology and Colours for NATO Maritime Units (1990). The U.S. Navy is currently considering ratification of this Standardization Agreement (STANAG). Empirical comparisons of operator performance using the NTDS symbology versus those using the color-filled NATO STANAG symbology were conducted. Two additional experimental symbologies were also created. The first, called NTDS Equated, is a color version of the NTDS symbol set, and the second experimental symbol set, called NATO Outline, is a color outline version of the color filled NATO STANAG symbol set. Test subjects were asked to find (hook) specific symbols during a tactically relevant scenario. Time to the first correct hook and percentage of correct hooks were subjected to analyses of variance (ANOVA). Experimental results revealed that the NATO STANAG symbol set outperformed all other symbol sets in terms of symbol recognition time, and outperformed the NTDS Standard symbol set for symbol recognition accuracy as well. The results indicated that tactical information can be transferred more quickly and accurately to watch standers through effective use of symbol coding. Test subjects familiar with the NTDS symbology expressed a preference for the color symbol sets in opinion surveys administered after the experiment. General conclusions resulting from comparisons across symbol sets were that color fill was more effective than color outline, and that operator performance gains were achieved as a result of color coding and greater information content on the symbol. This paper presents the human performance assessment that was conducted, the results, and the implications of the findings for ratification of NATO STANAG 4420.
APA, Harvard, Vancouver, ISO, and other styles
6

Abdurrohman, Muhammad. "Memahami Makna-Makna Simbolik Pada Upacara Adat Sedekah Laut di Desa Tanjungan Kecamatan Kragan Kabupaten Rembang." Jurnal The Messenger 7, no. 1 (March 24, 2016): 27. http://dx.doi.org/10.26623/themessenger.v7i1.286.

Full text
Abstract:
<p><em>This study aims to determine the meanings contained in the sequence of the ceremonial procession in the village of Sea Alms Tanjungan as an annual tradition organized by the local community. Theory basis used is the symbol by Susanne Langer's theory which states that a symbol or set of symbols works by connecting a concept, the general idea, pattern, or shape. Symbols are human conceptualization of a thing, there is a symbol for something. Research methods in use is descriptive qualitative, by describing the results that have been obtained from observation and depth interviews with informants. Results in the can that is symbolic ceremonies Sea Alms is a form of implementation of gratitude local community to God Almighty for the gift that has been given, as well as their respect to guard the sea are believed during this important role for the safety of the villagers Tanjungan. This research linkages with communication studies is that people can establish a value of life by applying them in the form of symbols that can be agreed upon by the perpetrators so as to form a culture.</em></p>
APA, Harvard, Vancouver, ISO, and other styles
7

Steelman, Kelly S., and Hannah North. "Predicting Detection Times with Perceptual Euclidian Distance." Proceedings of the Human Factors and Ergonomics Society Annual Meeting 60, no. 1 (September 2016): 1585–89. http://dx.doi.org/10.1177/1541931213601366.

Full text
Abstract:
How should we select a set of symbol colors to optimize detection times? Here we suggest a simple, easy- to-calculate technique for predicting symbol detection times in cued and uncued visual search tasks. We used Perceptual Euclidian Distance (PED) to measure color similarity among symbols within the set (PEDset) and between each symbol color and the background color (PEDbg). Post hoc analyses of data from two previous change-detection experiments indicated that PEDbg was negatively correlated with detection time, but only in uncued visual search. PEDset, in contrast, was negatively correlated with detection time in cued search. In the current experiment, we designed a new symbology set that included three symbols that were equidistant in PED color space and a fourth symbol that was farther away in PED color space. We used this symbol set in a change detection experiment using the flicker paradigm. Consistent with the results of our previous analyses, we found that cued detection time was correlated with PEDset. Finally, we present a summary of data from seven experiments demonstrating that this pattern of effects holds over a variety of background colors and symbol sets. The overall results suggest that the PED may serve as an easy-to-use technique for selecting symbols that will facilitate particular performance objectives.
APA, Harvard, Vancouver, ISO, and other styles
8

Brewer, Cynthia, and Andrew J. Campbell. "Beyond Graduated Circles: Varied Point Symbols for Representing Quantitative Data on Maps." Cartographic Perspectives, no. 29 (March 1, 1998): 6–25. http://dx.doi.org/10.14714/cp29.672.

Full text
Abstract:
Graduated point symbols are viewed as an appropriate choice for many thematic maps of data associated with point locations. Areal quantitative data, reported by such enumeration units as countries, are frequently presented with choropleth maps but are also well suited to point symbol representations. Our objective is to provide an ordered set of examples of the many point-symbol forms used on maps by showing symbols with linear, areal, and volumetric scaling on repeated small maps of the same data set. Bivariate point symbols are also demonstrated with emphasis on the distinction between symbols appropriate for comparison (separate symbols) and those appropriate for proportional relationships (segmented symbols). In this paper, the variety of point symbol use is described, organized, and encourage, as is research on these varied symbols and their multivariate forms.
APA, Harvard, Vancouver, ISO, and other styles
9

van den Berg, Fabian C. G., Peter de Weerd, and Lisa M. Jonkman. "Number-related Brain Potentials Are Differentially Affected by Mapping Novel Symbols on Small versus Large Quantities in a Number Learning Task." Journal of Cognitive Neuroscience 32, no. 7 (July 2020): 1263–75. http://dx.doi.org/10.1162/jocn_a_01546.

Full text
Abstract:
The nature of the mapping process that imbues number symbols with their numerical meaning—known as the “symbol-grounding process”—remains poorly understood and the topic of much debate. The aim of this study was to enhance insight into how the nonsymbolic–symbolic number mapping process and its neurocognitive correlates might differ between small (1–4; subitizing range) and larger (6–9) numerical ranges. Hereto, 22 young adults performed a learning task in which novel symbols acquired numerical meaning by mapping them onto nonsymbolic magnitudes presented as dot arrays (range 1–9). Learning-dependent changes in accuracy and RT provided evidence for successful novel symbol quantity mapping in the subitizing (1–4) range only. Corroborating these behavioral results, the number processing related P2p component was only modulated by the learning/mapping of symbols representing small numbers 1–4. The symbolic N1 amplitude increased with learning independent of symbolic numerical range but dependent on the set size of the preceding dot array; it only occurred when mapping on one to four item dot arrays that allow for quick retrieval of a numeric value, on the basis of which, with learning, one could predict the upcoming symbol causing perceptual expectancy violation when observing a different symbol. These combined results suggest that exact nonsymbolic–symbolic mapping is only successful for small quantities 1–4 from which one can readily extract cardinality. Furthermore, we suggest that the P2p reflects the processing stage of first access to or retrieval of numeric codes and might in future studies be used as a neural correlate of nonsymbolic–symbolic mapping/symbol learning.
APA, Harvard, Vancouver, ISO, and other styles
10

Tokarev, Grigoriy. "Pragmatics of Quasi-Symbol." Vestnik Volgogradskogo gosudarstvennogo universiteta. Serija 2. Jazykoznanije, no. 3 (August 2021): 142–50. http://dx.doi.org/10.15688/jvolsu2.2021.3.12.

Full text
Abstract:
The article is devoted to the pragmatics of the quasi-symbol, a linguistic and cultural unit that has a verbal nature. It functions as a sign of culture, expresses ideas, and models human behavior. The cultural specificity of quasi-symbols is considered in the aspects of its locution, illocution and perlocution. The paper reveals that cultural aspects of quasi-symbolic locution are based on conventional implicatures. They provide the perception of the utterance as veritable, form typical illocution and perlocution of the utterance. The work proves that cultural aspects of quasi-symbol locution are determined by cultural categories that the symbol embodies, as well as cultural functions that it performs. The article establishes that the quasi-symbol explicates the norm, which acts as a regulator of behavior, the basis for its evaluation. The empirical basis of the study includes the quasi-symbols of the fetish code of culture, which is characterized by the highest productivity. The consideration of imperatives extracted from the meaning of quasi-symbols, has enabled the reconstruction of system of norms characteristic of Russian culture: it is assessed positively when someone works, obeys general rules, is able to keep secrets, fulfills promises, respects another person, considers the feelings and opinions of others, observes Christian commandments. The identified norms demonstrate a set of Russian cultural values: work, order, money, knowledge, faith, neatness. The paper proves that the cultural norm, imperative and attitude are culturally marked pragmatic categories, since they determine human behavior. Axiological aspects of quasi-symbol illocution are expressed in the peculiarities of coding ideas and imperatives. The perlocution of the quasi-symbol is reflected in the linguistic and cultural interpretation, which consists in the addressee's intentions to obey or disobey the imperative, to follow the norm or deviate from it. The article concludes that the rules for using quasi-symbols are easily read by the members of linguistic and cultural community. This aspect embodies the processes of cultural identification.
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Symbol set"

1

Meissner, Nathan. "A semiotic approach to the Maya "postclassic international symbol set" /." Available to subscribers only, 2006. http://proquest.umi.com/pqdweb?did=1203552011&sid=3&Fmt=2&clientId=1509&RQT=309&VName=PQD.

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

Shrestha, Mandip. "SYMBOL SET SELECTION IN GSSK MIMO SYSTEMS WITH CORRELATED ANTENNAS." International Foundation for Telemetering, 2016. http://hdl.handle.net/10150/624221.

Full text
Abstract:
Generalized space shift keying (GSSK) is a transmission scheme where only antenna indices are used to send information from the transmitter to a receiver. This paper investigates the best symbol set selection problem in GSSK multiple-input-multiple-output (MIMO) systems when the transmit antennas are correlated. Although multiple antennas can increase data rate and signal quality without increasing the bandwidth, spatial correlations among the antennas highly affect the performance of the system. The idea here is to maximize the inter-symbol Euclidean distance to obtain the best symbol set. Recently such an algorithm has been proposed for the visible light communication (VLC) systems. This paper adopts this VLC algorithm for radio frequency (RF) communication systems. The results show that the proposed symbol set design can provide several dBs of gain in the symbol error rate (SER) performance over randomly selected symbol sets in GSSK systems.
APA, Harvard, Vancouver, ISO, and other styles
3

Morgan, Tami M. "Do You See What I See? How Symbol Integration Facilitates Responsibility to Self and Culture." Thesis, Pacifica Graduate Institute, 2017. http://pqdtopen.proquest.com/#viewpdf?dispub=10255367.

Full text
Abstract:

The human psyche is continuously producing symbols. These representations are stilled, emotively energized moments of the external world. The proposition of this thesis is that when symbols are projected onto objects, they lose capacity to elicit subjective motivation for personal responsibility to Self and culture. This research examines the questions: Do you see what I see? How does symbol integration facilitate responsibility to Self and culture? Using hermeneutic methodology, this thesis explores the meaning-making function of symbol formation, demonstrating how, through the integration of once-projected symbols, the individual can experience individuation; the becoming of true Self. Other areas of examination include symbol in relation to sign and symbol: myth and metaphor; the Self; meaning making; sameness and otherness in the function of rituals; and impact of religion on culture. This investigation also focuses on psyche’s creation of symbol and explores how an individual’s ability to integrate archetypal energy facilitates integration and individuation.

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

Chiu, Hannah. "The Sea Turtle as a Marketing Symbol for the Anti-Plastics Movement." Scholarship @ Claremont, 2019. https://scholarship.claremont.edu/pitzer_theses/92.

Full text
Abstract:
The anti-plastic straw movement uses the sea turtle to bring an empathetic symbol to broaden the scope of the plastics problem in the ocean, giving the public a powerful visual image for the first time in the history of the anti-plastics movement. In this thesis, I build on existing conversations on charismatic megafauna and flagship species, to explore the emerging anti-plastic straw movement and its use of the sea turtle as a symbol. I also provide an analysis of the imagery and comments on social media sites of green marketing companies and non-governmental organizations. These social media sites, such as Instagram, are the primary vehicle for attracting clients, supporters, and donations.
APA, Harvard, Vancouver, ISO, and other styles
5

Waseem, Athar, and A. H. M. Sadath Hossain. "MIMO Channel Equalization and Symbol Detection using Multilayer Neural Network." Thesis, Blekinge Tekniska Högskola, Sektionen för ingenjörsvetenskap, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-2345.

Full text
Abstract:
In recent years Multiple Input Multiple Output (MIMO) systems have been employed in wireless communication systems to reach the goals of high data rate. A MIMO use multiple antennas at both transmitting and receiving ends. These antennas communicate with each other on the same frequency band and help in linearly increasing the channel capacity. Due to the multi paths wireless channels face the problem of channel fading which cause Inter Symbol Interference (ISI). Each channel path has an independent path delay, independent path loss or path gain and phase shift, cause deformations in a signal and due to this deformation the receiver can detect a wrong or a distorted signal. To remove this fading effect of channel from received signal many Neural Network (NN) based channel equalizers have been proposed in literature. Due to high level non-linearity, NN can be efficient to decode transmitted symbols that are effected by fading channels. The task of channel equalization can also be considered as a classification job. In the data (received symbol sequences) spaces NN can easily make decision regions. Specifically, NN has the universal approximation capability and form decision regions with arbitrarily shaped boundaries. This property supports the NN to be introduced and perform the task of channel equalization and symbol detection. This research project presents the implementation of NN to be use as a channel equalizer for Rayleigh fading channels causing ISI in MIMO systems. Channel equalization has been done using NN as a classification problem. The equalizer is implemented over MIMO system of different forms using Quadrature Amplitude Modulation scheme (4QAM & 16QAM) signals. Levenberg-Marquardt (LM), One Step Secant (OSS), Gradient Descent (GD), Resilient backpropagation (Rprop) and Conjugate Gradient (CG) algorithms are used for the training of NN. The Weights calculated during the training process provides the equalization matrix as an estimate of Channel. The output of the NN provides the estimate of transmitted signals. The equalizer is assessed in terms of Symbol Error Rate (SER) and equalizer efficiency.
APA, Harvard, Vancouver, ISO, and other styles
6

Weydert, Emil. "How to approximate the naive comprehension scheme inside of classical logic." Bonn : [s.n.], 1989. http://catalog.hathitrust.org/api/volumes/oclc/19990751.html.

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

Boskovitz, Agnes. "Data editing and logic : the covering set method from the perspective of logic /." View thesis entry in Australian Digital Theses, 2008. http://thesis.anu.edu.au/public/adt-ANU20080314.163155/index.html.

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

Grossarth, Jan [Verfasser]. "Die Vergiftung der Erde : Metaphern und Symbole agrarpolitischer Diskurse seit Beginn der Industrialisierung / Jan Grossarth." Frankfurt am Main : Campus Verlag, 2018. http://www.campus.de/home/.

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

Samuelsson, Maria, and Fridlund Olivia Stamborg. ""Det ser ut som ett äpple som är upptuggat" : En studie om hur barn tolkar grafiska symboler och hur förskollärare undervisar om symboler." Thesis, Linnéuniversitetet, Institutionen för utbildningsvetenskap (UV), 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-59509.

Full text
Abstract:
Syftet med studien är att bidra med kunskap om hur förskolebarn tolkar och förstår symbolers kommunikativa funktioner. Vidare syftar studien till att generera kunskap om hur förskollärare kan stötta barns symbolförståelse i förskolans verksamhet. Specifikt avser studien att besvara följande frågor: 1. Hur tolkar förskolebarn symbolers kommunikativa funktioner? 2. Hur undervisar förskollärare om symbolers kommunikativa funktioner? Studiens syfte besvarades med hjälp av en kvalitativ forskningsmetod där både barn och förskollärare intervjuades enligt en semistrukturerad intervju. Resultatet visar att det finns en variation i barns förståelse av hur de tolkar och förstår grafiska symboler. Vårt resultat visar även att barn förstår symboler i olika steg. Till en början ser barn symbolerna som ett objekt för att sedan veta att de är laddade med ett budskap och till sist få en rikare förståelse för symbolen. Liksom tidigare forskning visar vårt resultat att inga symboler är transparenta då de består av varierande komplexitet. Efter avslutad studie kan vi även se att erfarenhet har en betydande roll för hur barn tolkar och förstår symboler. Hur barn har introducerats för symbolerna och hur de pratar om dessa beror också på deras tidigare erfarenheter. Dessa erfarenheter beror på de miljöer och den kultur barnet befinner sig i. I intervjuerna med förskollärarna visades det att de ansåg sig kunna stötta barnens symbolförståelse på olika sätt, till exempel genom att erbjuda variation och olika aktiviteter där symboler introducerats. De beskrev även att de kan stötta barn i deras symbolförståelse genom att uppmärksamma olika symboler i närmiljön och utgå från barnets intresse. Förskollärarna förklarar dessutom att de stöttar barnen genom kommunikation, detta genom att diskutera till exempel vad som skiljer olika bokstäver från varandra.
APA, Harvard, Vancouver, ISO, and other styles
10

Garcia, Graziela Gallo. "Os significados da seta: análise do símbolo gráfico em sistemas de sinalização, de esquematização e de identidades visuais." Universidade de São Paulo, 2012. http://www.teses.usp.br/teses/disponiveis/27/27154/tde-17042013-110157/.

Full text
Abstract:
Esta dissertação de mestrado analisa a seta como símbolo gráfico universal da comunicação visual, reconhecido por diferentes povos em diversas épocas e culturas. A pesquisa apresenta a seta como transmissora de informações essenciais por meio de seus vários significados e funções facilitando as interações sociais no mundo contemporâneo, diminuindo as dificuldades geradas por especificidades linguísticas e auxiliando na possibilidade de uma rápida interpretação das mensagens comunicadas, ainda que dentro de limites culturais. O estudo mostra que este símbolo gráfico é utilizado desde os tempos mais remotos, nas pinturas rupestres, até os dias atuais, com usos distintos em vários campos do conhecimento. O objetivo da análise é identificar os significados mais notáveis do símbolo gráfico seta, além de sua função direcional básica e como eles se desenvolveram em três modalidades de aplicação: (1) a seta nos sistemas de sinalização, orientando e dirigindo o fluxo do tráfego humano e suas variantes nos pictogramas e na sinalização viária, algumas vezes com significados distintos como o de \"encontro\", \"indicação\" ou \"localização\"; (2) a seta nos sistemas de esquematização em várias áreas do conhecimento, da vida cotidiana às representações científicas, empregada com diferentes funções, dependendo da intenção da mensagem a ser transmitida, entre elas: \"ação\", \"causa-efeito\", \"foco\", \"geração\", \"identificação\", \"intensidade\", \"limite\", \"relação\", \"sequência\", \"tempo\", \"transferência\" e \"transformação\"; (3) a seta nos sistemas de identidades visuais, representando empresas ou produtos visualmente e de forma ordenada, com novos significados vindos de associações semânticas relacionadas às situações específicas de cada marca e aos setores de mercado aos quais elas pertencem, como por exemplo: \"cobertura\", \"satisfação\", \"simpatia\", \"saúde\", \"crescimento\", \"desenvolvimento\", \"rapidez\", \"centralização\", \"prazer\" e \"suavidade\". É uma pesquisa qualitativa que pretende, com a análise e a interpretação das variáveis dos fenômenos particulares a cada campo de estudo, entender de forma ampla, partes das dimensões semântica e pragmática do símbolo gráfico em questão. Este estudo aprofundado pretende contribuir para o melhor entendimento e utilização da seta por comunicadores e designers, com maior conhecimento e propriedade, permitindo sua aplicação mais clara e efetiva nos sistemas de sinalização de grandes espaços, de esquematização da informação visual e de identidades visuais.
This thesis analyzes the arrow as a universal graphic symbol in visual communication, one recognized by different people in different times and cultures. The research presents the arrow as a transmitter of critical information through its various meanings and functions, facilitating social interactions in the contemporary world, lessening the difficulties caused by linguistic specificities and assisting in the possibility of a rapid interpretation, though still within cultural limits, of the messages communicated. The study shows that this graphic symbol has been used since ancient times, from cave paintings to the present day, with different uses in various fields of knowledge. The goal of the analysis is to identify the most notable meanings of the arrow graphic symbol, besides its basic directional function, and how these meanings developed into three types of applications: (1) the arrow in signage systems, guiding and directing the flow of human traffic and its variants in pictograms and road signs, sometimes with different meanings like \"meeting\", \"indication\" or \"location\"; (2) the arrow in diagrams in various areas of knowledge, from everyday life to scientific representations, used with different functions, depending on the intent of the message to be transmitted, including: \"action\", \"cause and effect\", \"focus\", \"generation\", \"identification\", \"intensity\", \"boundary\", \"relationship\", \"sequence\", \"time\", \"transfer\" and \"transformation\"; (3) the arrow in corporate identity systems, representing companies or products visually and in an orderly fashion, with new meanings coming from semantic associations related to the specific circumstances of each brand and market sectors to which they belong, such as: \"covering\", \"satisfaction\", \"sympathy\", \"health\", \"growth\", \"development\", \"speed\", \"centralization\", \"pleasure\", and \"softness\". This qualitative research seeks, with analysis and interpretation of the variables of phenomena specific to each field of study, to broadly understand parts of the semantic and pragmatic dimensions of the graphic symbol in question. This is in-depth study which aims to contribute to a better understanding and use of the arrow by communicators and designers, with greater knowledge and propriety, allowing for its clearer and more effective application in signage systems in large spaces, diagrams of visual information, and corporate identities.
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Symbol set"

1

G, Jung C. Symbol und Libido: (Symbole der Wandlung 1). Olten: Walter-Verlag, 1985.

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

Katz, Alex. Alex Katz: Erfundene Symbole = invented symbols. Ostfildern-Ruit: Cantz, 1997.

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

Baylis, Janice. Sex, symbols, and dreams. Seal Beach, CA: Sun, Man, Moon, 1997.

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

Set theory, logic, and their limitations. Cambridge: Cambridge University Press, 1996.

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

Notes on logic and set theory. Cambridge [Cambridgeshire]: Cambridge University Press, 1987.

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

Lectures in logic and set theory. Cambridge, UK: Cambridge University Press, 2003.

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

An outline of set theory. New York: Springer-Verlag, 1986.

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

Henle, Jim. An outline of set theory. New York: Springer-Verlag, 1986.

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

Alfred, Tarski. A formalization of set theory without variables. Providence, R.I: American Mathematical Society, 1987.

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

L, Bell J. Toposes and local set theories: An introduction. Oxford: Clarendon Press, 1988.

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

Book chapters on the topic "Symbol set"

1

Weik, Martin H. "programmable symbol set." In Computer Science and Communications Dictionary, 1349. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_14870.

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

Weik, Martin H. "programmed symbol set." In Computer Science and Communications Dictionary, 1350. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_14881.

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

Tang, Peng, Siu Cheung Hui, and Chi-Wing Fu. "Chemical Symbol Feature Set for Handwritten Chemical Symbol Recognition." In Lecture Notes in Computer Science, 312–22. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-662-44415-3_32.

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

Higashi, Masatake, Satoshi Torii, Mamoru Hosaka, and Hiroyuki Nakamura. "Robust Boolean Set Operation by Symbol Processing of Topology." In Geometric Modelling, 193–208. Boston, MA: Springer US, 2001. http://dx.doi.org/10.1007/978-0-387-35490-3_13.

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

Pollicott, Mark, and Mariusz Urbański. "Symbol Escape Rates and the Survivor Set K(U n )." In Lecture Notes in Mathematics, 53–85. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-72179-8_3.

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

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

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

Lardeux, Frédéric, and Eric Monfroy. "From Declarative Set Constraint Models to “Good” SAT Instances." In Artificial Intelligence and Symbolic Computation, 76–87. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-13770-4_8.

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

Hendry, Joy. "Society: A Set of Symbols." In An Introduction to Social Anthropology, 102–22. London: Macmillan Education UK, 2016. http://dx.doi.org/10.1007/978-1-137-43155-4_6.

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

Hendry, Joy. "Society: A Set of Symbols." In An Introduction to Social Anthropology, 82–96. London: Macmillan Education UK, 1999. http://dx.doi.org/10.1007/978-1-349-27281-5_6.

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

Dovier, Agostino, Carla Piazza, and Alberto Policriti. "Comparing Expressiveness of Set Constructor Symbols." In Frontiers of Combining Systems, 275–89. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/10720084_18.

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

Conference papers on the topic "Symbol set"

1

Yang, Ting-Li, and Dong-Jin Sun. "A General Formula of Degree-of-Freedom for Parallel Manipulators and Its Application." In ASME 2006 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2006. http://dx.doi.org/10.1115/detc2006-99129.

Full text
Abstract:
This paper presents a new DOF formula for mechanism Its main feature is that the calculation of mobility has a single value for a given mechanism without the set of constraint equations, each of parameters in the formula can be correctly determined by simple symbol operation. The formula shows the map relationship between DOF and topological structure of a mechanism. It is embodied in the following aspects: (1) Dimension type: so that topological structure of a mechanism can be represented by symbols. (2) Orientation and location characteristic matrix: so that rank of a mechanism can be calculated by symbolic operation. (3) Orientation and location characteristic equation of serial mechanism and its symbolic operation. (4) Orientation and location characteristic equation of parallel mechanism and its symbolic operation. (5) The DOF calculation based on orientation and location characteristic equations of serial and parallel mechanisms. The DOF formula presented in this paper has already been used for topological analysis and synthesis of parallel mechanisms and its advantages has been proven.
APA, Harvard, Vancouver, ISO, and other styles
2

Datta, Subhashis, Achintya Mukhopadhyay, and Dipankar Sanyal. "Use of Temporal Irreversibility of Symbolic Time Series for Early Detection of Extinction in Thermal Pulse Combustors." In ASME 2006 International Mechanical Engineering Congress and Exposition. ASMEDC, 2006. http://dx.doi.org/10.1115/imece2006-16249.

Full text
Abstract:
A nonlinear fourth-order dynamic model of a thermal pulse combustor has been developed. In this work, the time series data generated by solution of the fourth order system is converted into a set of symbols based on the values of pressure variables. The key step to symbolization involves transformation of the original values to a stream of discretised symbols by partitioning the range of observed values into a finite number of regions and then assigning a symbol to each measurement based on the region in which it falls. Once all the measured values are symbolized, a symbol sequence vector consisting of L successive temporal observations is defined and its relative frequency is determined. In this work, the relative frequencies of different symbol sequences are computed by scanning the time series data in forward and reverse directions. The difference between the relative frequencies obtained in forward and reverse scanning is termed as "irreversibility" of the process. It is observed that for given alphabet and word sizes, the "irreversibility" increases as the system approaches extinction. The effects of different choices of alphabet and word sizes are also considered.
APA, Harvard, Vancouver, ISO, and other styles
3

Curry, Elam, Deva K. Borah, and Jose Maria Hinojo. "Optimal Symbol Set Design for Generalized Spatial Modulations in MIMO VLC Systems." In GLOBECOM 2016 - 2016 IEEE Global Communications Conference. IEEE, 2016. http://dx.doi.org/10.1109/glocom.2016.7842097.

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

De Marziani, C., J. Urena, A. Hernandez, M. Mazo, J. J. Garcia, A. Jimenez, J. M. Villadangos, M. C. Perez, Alberto Ochoa, and F. Alvarez. "Inter-Symbol Interference Reduction on Macro-Sequences Generated from Complementary Set of Sequences." In IECON 2006 - 32nd Annual Conference on IEEE Industrial Electronics. IEEE, 2006. http://dx.doi.org/10.1109/iecon.2006.347703.

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

Sarkar, Soumik, Kushal Mukherjee, Xin Jin, and Asok Ray. "Optimization of Time-Series Data Partitioning for Parameter Identification." In ASME 2010 Dynamic Systems and Control Conference. ASMEDC, 2010. http://dx.doi.org/10.1115/dscc2010-4058.

Full text
Abstract:
This paper presents a data-driven method of parameter identification in nonlinear systems based on the theories of symbolic dynamics. Although construction of finite-state-machine models from symbol sequences has been widely reported, similar efforts have not been expended to investigate partitioning of time series data to optimally generate symbol sequences. A data-set partitioning procedure is proposed to extract features from time series data by optimizing a multi-objective cost functional. Performance of the optimal partitioning procedure is compared with those of other traditional partitioning (e.g., uniform and maximum entropy) schemes. Then, tools of pattern classification are applied to identify the ranges of multiple parameters of a well-known chaotic nonlinear dynamical system, namely the Duffing Equation, from its time series response.
APA, Harvard, Vancouver, ISO, and other styles
6

Ramanan, Vikram, S. R. Chakravarthy, Soumalya Sarkar, and Ashok Ray. "Investigation of Combustion Instability in a Swirl-Stabilized Combustor Using Symbolic Time Series Analysis." In ASME 2014 Gas Turbine India Conference. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/gtindia2014-8280.

Full text
Abstract:
A laboratory-scale swirl-stabilized combustor is experimentally characterized for various configurations involving variable air flow rates and different fuel injection locations. Unsteady pressure and heat release rate measurements were obtained simultaneously in order to determine the stability map of the combustor for the experimented configurations. It is observed that a sharp rise in pressure amplitude coincides with a break in the dominant spectral content variation with the inlet Reynolds number. The time series data were analyzed by using the tools of symbolic dynamic filtering and the divergences among the outputs of each sub-class of observations were obtained as anomaly measures. In the proposed method, symbol strings are generated by partitioning the (finite-length) time series to construct a special class of probabilistic finite state automata (PFSA) that have a deterministic algebraic structure. The anomaly measures are defined based on the probabilistic state vectors distribution across each sub class. The method which is based on representing a given time series data as a set of PFSA is observed to be capable of predicting an impending combustion instability as well as to distinguish between the symbol-state distribution among various instability conditions. The measure also successfully captures changes in the thermoacoustic regime as a function of the fuel injection location.
APA, Harvard, Vancouver, ISO, and other styles
7

Hawamdeh, Hani Awni. "Al Thumama Stadium: Local and Global Architectural Reach." In International Conference on the 4th Game Set and Match (GSM4Q-2019). Qatar University Press, 2019. http://dx.doi.org/10.29117/gsm4q.2019.0024.

Full text
Abstract:
The world cup stadia have been a constant concern for the hosting countries. Many of them have become a burden on the economies of their countries, only to become white elephants after the tournaments end. Therefore, the core mission of the Supreme Committee for Delivery & Legacy in Qatar was to ensure that the World Cup Stadiums are built with a legacy and to remain functional in the long run, not just as facilities, but as cultural icons. Such efforts have promoted the exercise of stadia building in Qatar as a positive and unique experience. As a firm, we, at Arab Engineering Bureau, are honored to be part of the effort all through the making of Al Thumama Stadium, which will be discussed in this paper. Instead of a white elephant, Al Thumama Stadium is arguably a symbol of the local identity that will become part of the World Cup legacy, whilst being a state-of-the-art facility that plays a vital role in development of its surrounding neighborhood.
APA, Harvard, Vancouver, ISO, and other styles
8

Wicaksono, Mochammad Arief. "Language as Symbol System: Islam, Javanese Muslem and Cultural Diplomacy." In GLOCAL Conference on Asian Linguistic Anthropology 2019. The GLOCAL Unit, SOAS University of London, 2019. http://dx.doi.org/10.47298/cala2019.16-7.

Full text
Abstract:
Islamic diaspora throughout the world has its own characteristics depending on cultural context in each region. Observing the characteristics of the entry process and the rise of Islam in Java in the past, Indonesia can be viewed significantly through a linguistic perspective. By focusing on the narratives of how Islam was constructed in Java by kiai, we will be able to understand that the pattern of the entry process and the rise of Islam in Java emerged through“language diplomacy.” There are various symbols which later became the symbol system in Islamic languages that were contextualized to Javanese language and knowledge systems. In other words, I see that language in this context is a symbol system. These symbols are a strategy of how Islam was “planted” and developed in Java. I will compare the symbol system of the language in the Quran as the Great Tradition of Islam with a symbol system on the narratives that a kiai expressed in Javanese society as the Little Tradition. By taking some narratives that the kiai gave to the Javanese Moslems in East Java region, this paper argues that the linguistic aspect in some narratives and Quran recitation which has the symbolic system of the language have an important role in planting and developing Islam in Java. This paper is based on ethnographic research-participant observation among Nahdlatul Ulama Muslim society in East Java, Indonesia and reviews Islamic narratives in society as an important unit of analysis.
APA, Harvard, Vancouver, ISO, and other styles
9

Zhang, Wenbo, Robert G. Maunder, and Lajos Hanzo. "On the complexity of Unary Error Correction codes for the near-capacity transmission of symbol values from an infinite set." In 2013 IEEE Wireless Communications and Networking Conference (WCNC). IEEE, 2013. http://dx.doi.org/10.1109/wcnc.2013.6555003.

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

ÖZTUNÇ, Müge, and Umur BEDİR. "NEW MEDIA AND NATIONAL IDENTITY: THE REPRESENTATION OF ATATURK ON NGO’s NOVEMBER 10th INSTAGRAM POSTS." In COMMUNICATION AND TECHNOLOGY CONGRESS. ISTANBUL AYDIN UNIVERSITY, 2021. http://dx.doi.org/10.17932/ctc.2021/ctc21.049.

Full text
Abstract:
National symbols, traditions, and rituals emerge as the most influential signifiers of national identity and nationalism. These symbols and images that embody the basic concepts of nationalism, make them visible to other members of society, help to make abstract ideologies more socially concrete, strengthen the sense of national loyalty and strengthen the awareness of the members of the community that they belong to the same nation. On the other hand, Atatürk appears as a symbol of both Turkey’s modernization process and Turkish unity and solidarity. Focusing on the representations of Atatürk as one of the national symbols on the internet and social media, this research examines symbolic construction of national identity of NGOs that represent different social groups in Turkey through the “November 10, Atatürk Commemoration Day”. In this context, the 10 November 2019 posts of 38 Non-Governmental Organizations, which operate in different fields, are the most followed and have social, cultural, and economic activity on the society, were analyzed on Instagram. Shared visuals were used to categorize with the help of various codes assigned to them. Thematization method was used to characterize the types of photos posted on Instagram with embedded coding. Then, by combining very close codes, they were also subjected to clustering analysis in order to see which symbols are frequently used together and which meaning patterns they form. The findings of the study show that social media, which is often depicted as the space of global identities and flows, is a space where national identities are eclectically reconstructed by subjects and social groups that make up the nation and circulated through symbols.
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Symbol set"

1

Chauhan, Pankaj, Daniel Kroening, and Edmund Clarke. A SAT-Based Algorithm for Reparameterization in Symbolic Simulation. Fort Belvoir, VA: Defense Technical Information Center, December 2003. http://dx.doi.org/10.21236/ada461257.

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

Chauhan, Pankaj, Edmund Clarke, and Daniel Kroening. Experiments with SAT-Based Symbolic Simulation Using Reparameterization in the Abstraction Refinement Framework. Fort Belvoir, VA: Defense Technical Information Center, May 2004. http://dx.doi.org/10.21236/ada457878.

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

Jarron, Matthew, Amy R. Cameron, and James Gemmill. Dundee Discoveries Past and Present. University of Dundee, November 2020. http://dx.doi.org/10.20933/100001182.

Full text
Abstract:
A series of self-guided walking tours through pioneering scientific research in medicine, biology, forensics, nursing and dentistry from the past to the present. Dundee is now celebrated internationally for its pioneering work in medical sciences, in particular the University of Dundee’s ground-breaking research into cancer, diabetes, drug development and surgical techniques. But the city has many more amazing stories of innovation and discovery in medicine and biology, past and present, and the three walking tours presented here will introduce you to some of the most extraordinary. Basic information about each topic is presented on this map, but you will ­find more in-depth information, images and videos on the accompanying website at uod.ac.uk/DundeeDiscoveriesMap For younger explorers, we have also included a Scavenger Hunt – look out for the cancer cell symbols on the map and see if you can ­find the various features listed along the way!
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!

To the bibliography