Log in

Relevant bibliographies by topics / Symbol set

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Symbol set'

Author: Grafiati

Published: 28 June 2021

Last updated: 29 July 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 '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 (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

APA, Harvard, Vancouver, ISO, and other styles

2

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 (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

APA, Harvard, Vancouver, ISO, and other styles

3

Titani, Satoko. "Completeness of global intuitionistic set theory." Journal of Symbolic Logic 62, no. 2 (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 fo

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 (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

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 (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 correlate

APA, Harvard, Vancouver, ISO, and other styles

6

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 symbo

APA, Harvard, Vancouver, ISO, and other styles

7

Joomwong, Jintana, and Dara Phusanga. "Deterministic and non-deterministic hypersubstitutions for algebraic systems." Asian-European Journal of Mathematics 09, no. 02 (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

APA, Harvard, Vancouver, ISO, and other styles

8

Schlosser, Ralf W., Rajinder Koul, Howard Shane, et al. "Effects of Animation on Naming and Identification Across Two Graphic Symbol Sets Representing Verbs and Prepositions." Journal of Speech, Language, and Hearing Research 57, no. 5 (2014): 1779–91. http://dx.doi.org/10.1044/2014_jslhr-l-13-0193.

Full text

Abstract:

Purpose The effects of animation on naming and identification of graphic symbols for verbs and prepositions were studied in 2 graphic symbol sets in preschoolers. Method Using a 2 × 2 × 2 × 3 completely randomized block design, preschoolers across three age groups were randomly assigned to combinations of symbol set (Autism Language Program [ALP] Animated Graphics or Picture Communication Symbols [PCS]), symbol format (animated or static), and word class (verbs or prepositions). Children were asked to name symbols and to identify a target symbol from an array given the spoken label. Results An

APA, Harvard, Vancouver, ISO, and other styles

9

Abdurrohman, Muhammad. "Memahami Makna-Makna Simbolik Pada Upacara Adat Sedekah Laut di Desa Tanjungan Kecamatan Kragan Kabupaten Rembang." Jurnal The Messenger 7, no. 1 (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 intervie

APA, Harvard, Vancouver, ISO, and other styles

10

Pampoulou, Eliada. "Exploring professionals’ experiences when choosing graphic symbol sets." Journal of Enabling Technologies 11, no. 2 (2017): 49–58. http://dx.doi.org/10.1108/jet-07-2016-0014.

Full text

Abstract:

Purpose The ongoing development of new graphic symbol sets in conjunction with a lack of literature supporting professionals in choosing the optimum set(s) for their users was the driving force behind this research project. The purpose of this paper is to explore the factors that professionals take into consideration when they choose one graphic symbol set instead of another. Design/methodology/approach Based on the phenomenology of pedagogy, semi-structured interviews were used with three speech and language therapists (SLTs), three special education teachers, one teacher for pupils with hear

APA, Harvard, Vancouver, ISO, and other styles

More sources

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

APA, Harvard, Vancouver, ISO, and other styles

3

Girardot, Johan. "Toward higher-order and many-symbol infinite time Turing machines." Electronic Thesis or Diss., Institut polytechnique de Paris, 2024. http://www.theses.fr/2024IPPAX028.

Full text

Abstract:

Ce travail traite des machines de Turing infinies (ITTM) telles que développées par Hamkins et Lewis au début des années 2000. Plus particulièrement il s'intéresse à leur généralisation. Un aspect notable de ces machines infinies est que, en comparaison du modèle classique de Turing, celles-ci sont presque aussi simple. Une ITTM a la même structure qu'une machine de Turing à trois rubans. Elle fait des calculs en temps ordinaux et à n'importe quelle étape, l'instantané de la machine permet de calculer, comme dans le modèle classique, l'instantané à l'étape suivant. Le seule différence est aux

APA, Harvard, Vancouver, ISO, and other styles

4

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:

<p> 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 integratio

APA, Harvard, Vancouver, ISO, and other styles

5

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

APA, Harvard, Vancouver, ISO, and other styles

6

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

APA, Harvard, Vancouver, ISO, and other styles

7

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

8

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

9

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

10

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 visa

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Symbol set"

1

Pereira, João Paulo. Set 29: [checkmark symbol] vou. 3rd ed. Olho de Gato Editora, 2018.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

bu, China Jiao yu, and Guo jia yu yan wen zi gong zuo wei yuan hui (China), eds. Zhongguo tong yong yin biao fu hao ji: The universal phonetic symbol set in China. Yu wen chu ban she, 2007.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Bernhard, Dressler, Johannsen Friedrich 1944-, and Tammeus Rudolf, eds. Hermeneutik-Symbol-Bildung: Entwicklungstendenzen der Religionspädagogik seit 1945. Neukirchener, 1999.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Baylis, Janice. Sex, symbols, and dreams. Sun, Man, Moon, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Alfred, Tarski. A formalization of set theory without variables. American Mathematical Society, 1987.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Dioh, Irénée Guilane. Sacré sexe symbole. Editions Fasal, 2001.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "Symbol set"

1

Weik, Martin H. "programmable symbol set." In Computer Science and Communications Dictionary. 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. 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. 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

Melfi, Giuseppe, Karin Müller, Gerhard Jaworek, and Rainer Stiefelhagen. "The Accessible Tactile Indoor Maps (ATIM) Symbol Set: A Common Symbol Set for Different Printing Methods." In Lecture Notes in Computer Science. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-08648-9_18.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Pollicott, Mark, and Mariusz Urbański. "Symbol Escape Rates and the Survivor Set K(U n )." In Lecture Notes in Mathematics. 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

7

Bártek, Filip, and Martin Suda. "Neural Precedence Recommender." In Automated Deduction – CADE 28. 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 precedenc

APA, Harvard, Vancouver, ISO, and other styles

8

Duan, C. B., S. Y. Shen, D. W. Bao, and X. Yan. "Exploration and Design of the Contemporary Bracket Set Through Topology Optimization." In Computational Design and Robotic Fabrication. Springer Nature Singapore, 2023. http://dx.doi.org/10.1007/978-981-19-8637-6_34.

Full text

Abstract:

AbstractDou Gong, pronounced in Chinese, and known as Bracket Set, is a vital support component in the ancient wooden tectonic systems. It is located between the column and the beam and connects the eave and pillar, making the heavy roof extend out of the eaves longer. The development of the bracket set is entirely a microcosm of the development of ancient Chinese architecture; the aesthetic structure and oriental artistic temperament behind the bracket make it gradually become the cultural and spiritual symbol of traditional Chinese architecture. In the contemporary era, inheriting and develo

APA, Harvard, Vancouver, ISO, and other styles

9

Makridis, Odysseus. "Basics of Set Theory." In Symbolic Logic. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-67396-3_10.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Lardeux, Frédéric, and Eric Monfroy. "From Declarative Set Constraint Models to “Good” SAT Instances." In Artificial Intelligence and Symbolic Computation. 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

Conference papers on the topic "Symbol set"

1

Li, Zhiyuan, Jinsong Zhao, Huahui Zhou, and Xiaoxin Hu. "A Novel Symbol Recognition Framework for Digitization of Piping and Instrumentation Diagrams." In The 35th European Symposium on Computer Aided Process Engineering. PSE Press, 2025. https://doi.org/10.69997/sct.117636.

Full text

Abstract:

Piping and Instrumentation Diagrams (P&IDs) play a crucial role in the chemical industry, yet they are often stored as scanned images or computer-aided design (CAD) drawings, limiting their seamless integration into modern digital workflows. Consequently, the task of automating P&ID digitization has attracted significant attention from the computer-aided design (CAD) research community. Traditional approaches, which typically rely on conventional object detection techniques, often demand extensive manual annotations to accurately identify and classify the various symbols in P&IDs.

APA, Harvard, Vancouver, ISO, and other styles

2

Li, Jianping. "Learning Hybrid Extraction and Distillation using Phenomena-based String Representation." In Foundations of Computer-Aided Process Design. PSE Press, 2024. http://dx.doi.org/10.69997/sct.171879.

Full text

Abstract:

We present a string representation for hybrid extraction and distillation using symbols representing phenomena building blocks. Unlike the conventional equipment-based string representation, the proposed representation captures the design details of liquid-liquid extraction and distillation. We generate a set of samples through the procedure of input parameter sampling and superstructure optimization that minimizes separation cost. We convert these generated samples into a set of string representations based on pre-defined rules. We use these string representations as descriptors and connect t

APA, Harvard, Vancouver, ISO, and other styles

3

Cohen, Benjamin G., Burcu Beykal, and George M. Bollas. "Selection of Fitness Criteria for Learning Interpretable PDE Solutions via Symbolic Regression." In The 35th European Symposium on Computer Aided Process Engineering. PSE Press, 2025. https://doi.org/10.69997/sct.199083.

Full text

Abstract:

Physics-Informed Symbolic Regression (PISR) offers a pathway to discover human-interpretable solutions to partial differential equations (PDEs). This work investigates three fitness metrics within a PISR framework: PDE fitness, Bayesian Information Criterion (BIC), and a fitness metric proportional to the probability of a model given the data. Through experiments with Laplace�s equation, Burgers� equation, and a nonlinear wave equation, we demonstrate that incorporating information theoretic criteria like BIC can yield higher fidelity models while maintaining interpretability. Our results show

APA, Harvard, Vancouver, ISO, and other styles

4

Vats, Shaurya, Sai Phani Chatti, Aravind Devanand, Sandeep Krishnan, and Rohit Karanth Kota. "Empowering LLMs for Mathematical Reasoning and Optimization: A Multi-Agent Symbolic Regression System." In The 35th European Symposium on Computer Aided Process Engineering. PSE Press, 2025. https://doi.org/10.69997/sct.172269.

Full text

Abstract:

Understanding data with complex patterns is a significant part of the journey toward accurate data prediction and interpretation. The relationships between input and output variables can unlock diverse advancement opportunities across various processes. However, most AI models attempting to uncover these patterns are not explainable or remain opaque, offering little interpretation. This paper explores an approach in explainable AI by introducing a multi-agent system (MaSR) for extracting equations between features using data. We developed a novel approach to perform symbolic regression by disc

APA, Harvard, Vancouver, ISO, and other styles

5

Ozolins, Oskars. "High Symbol Rate Short-Reach Communications With Silicon Photonics Components." In Photonic Networks and Devices. Optica Publishing Group, 2024. https://doi.org/10.1364/networks.2024.nem3c.2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Lee, Jaewook, Ethan Errington, and Miao Guo. "A White-Box AI Framework for Interpretable Global Warming Potential Prediction." In The 35th European Symposium on Computer Aided Process Engineering. PSE Press, 2025. https://doi.org/10.69997/sct.177555.

Full text

Abstract:

Accurate yet interpretable prediction of Global Warming Potential (GWP) is essential for the sustainable design of chemical products and processes. However, existing studies that utilize molecular structure and physicochemical properties for GWP prediction often suffer from low interpretability, relying on black-box models that obscure the underlying relationships between molecular descriptors and environmental impact. To address this limitation, this study employs a Kolmogorov�Arnold Network (KAN) to derive symbolic equations that establish explicit relationships between molecular properties

APA, Harvard, Vancouver, ISO, and other styles

7

Rogers, Alexander W., Amanda Lane, Philip Martin, and Dongda Zhang. "AI-Driven Automatic Mechanistic Model Transfer Learning for Accelerating Process Development." In The 35th European Symposium on Computer Aided Process Engineering. PSE Press, 2025. https://doi.org/10.69997/sct.167600.

Full text

Abstract:

Accurate mechanistic models provide valuable physical insight and are crucial for efficient process scale-up and optimisation, but their identification requires lengthy experimental data collection, model construction, validation and discrimination. Traditional black-box machine learning transfer methods leverage prior knowledge but lack interpretability and physical insights. To address this, we propose a novel approach using artificial neural network feature attribution to automatically locate corrections and symbolic regression to make structural modifications to an inaccurate or low-fideli

APA, Harvard, Vancouver, ISO, and other styles

8

Umili, Elena, Roberto Capobianco, and Giuseppe De Giacomo. "Grounding LTLf Specifications in Image Sequences." In 20th International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/kr.2023/65.

Full text

Abstract:

A critical challenge in neuro-symbolic (NeSy) approaches is to handle the symbol grounding problem without direct supervision. That is mapping high-dimensional raw data into an interpretation over a finite set of abstract concepts with a known meaning, without using labels. In this work, we ground symbols into sequences of images by exploiting symbolic logical knowledge in the form of Linear Temporal Logic over finite traces (LTLf) formulas, and sequence-level labels expressing if a sequence of images is compliant or not with the given formula. Our approach is based on translating the LTLf for

APA, Harvard, Vancouver, ISO, and other styles

9

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 calcul

APA, Harvard, Vancouver, ISO, and other styles

10

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 cons

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Symbol set"

1

Baader, Franz, Pavlos Marantidis, and Alexander Okhotin. Approximately Solving Set Equations. Technische Universität Dresden, 2016. http://dx.doi.org/10.25368/2022.227.

Full text

Abstract:

Unification with constants modulo the theory ACUI of an associative (A), commutative (C) and idempotent (I) binary function symbol with a unit (U) corresponds to solving a very simple type of set equations. It is well-known that solvability of systems of such equations can be decided in polynomial time by reducing it to satisfiability of propositional Horn formulae. Here we introduce a modified version of this problem by no longer requiring all equations to be completely solved, but allowing for a certain number of violations of the equations. We introduce three different ways of counting the

APA, Harvard, Vancouver, ISO, and other styles

2

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Berdiqulov, Aziz. ECMI Minorities Blog. Is Uzbekistan Not Ready to Let It Go? Unrest in Karakalpakstan. European Centre for Minority Issues, 2022. http://dx.doi.org/10.53779/kpsa1020.

Full text

Abstract:

In July 2022, unprecedented demonstrations took place in Uzbekistan’s Autonomous Republic of Karakalpakstan. These demonstrations followed proposed constitutional amendments which would remove Karakalpakstan’s right to freely secede from the Uzbek Republic. Thousands of Karakalpaks joined together for peaceful demonstrations to protest against the changes concerning their homeland. Tashkent reacted in line with what seems to have become a Central Asian formula: military troops were sent to suppress the demonstrations, which led to multiple deaths and injuries; the Internet was shut down; curfe

APA, Harvard, Vancouver, ISO, and other styles

5

KellerLynn, Katie. Redwood National and State Parks: Geologic resources inventory report. National Park Service, 2021. http://dx.doi.org/10.36967/nrr-2287676.

Full text

Abstract:

Comprehensive park management to fulfill the NPS mission requires an accurate inventory of the geologic features of a park unit, but Comprehensive park management to fulfill the NPS mission requires an accurate inventory of the geologic features of a park unit, but park managers may not have the needed information, geologic expertise, or means to complete such an undertaking; therefore, the Geologic Resources Inventory (GRI) provides information and resources to help park managers make decisions for visitor safety, planning and protection of infrastructure, and preservation of natural and cult

APA, Harvard, Vancouver, ISO, and other styles

6

Jarron, Matthew, Amy R. Cameron, and James Gemmill. Dundee Discoveries Past and Present. University of Dundee, 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 info

APA, Harvard, Vancouver, ISO, and other styles

7

Durrell, Josiah. The Paradox of Language: An Exploration of Abjection and Language in Play it as it Lays. Montana State University, 2025. https://doi.org/10.15788/1751923092.

Full text

Abstract:

In Play It as It Lays by Joan Didion, we are presented with a character in the midst of a crisis of identity. Maria, a failed actress in Hollywood, is beset by many of the problems commonly associated with a rising star in the industry. A reliance on drugs, a commodification of the self, and a deteriorating sense of who she is all play into her downward spiral. Yet when we examine the reason that Maria lacks an actualized sense of self, the reader is presented with a paradox. If we take the words of French psychoanalyst Jacques Lacan to be true, then language serves to create a filter through

APA, Harvard, Vancouver, ISO, and other styles

8

Tsepkalo, Tetiana. SOCIAL ROLES AND STEREOTYPES OF FEMININITY IN THE ALMANAC «KURIER KRYVBASU». Ivan Franko National University of Lviv, 2024. http://dx.doi.org/10.30970/vjo.2024.54-55.12172.

Full text

Abstract:

The subject of this research is the social roles and stereotypes of femininity in the almanac «Kurier Kryvbasu». The aim of the study is to conduct a systematic analysis of gender stereotypes of femininity in the literary almanac. The article employs the following methods: theoretical – for studying gender theory, stereotyping, and their application in the analysis of the content of the periodical; systemic-structural analysis – for conducting a systematic analysis of the social roles of femininity in the almanac «Kurier Kryvbasu»; structural-typological – for studying the content and structur

APA, Harvard, Vancouver, ISO, and other styles

9

Decleir, Cyril, Mohand-Saïd Hacid, and Jacques Kouloumdjian. A Database Approach for Modeling and Querying Video Data. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.90.

Full text

Abstract:

Indexing video data is essential for providing content based access. In this paper, we consider how database technology can offer an integrated framework for modeling and querying video data. As many concerns in video (e.g., modeling and querying) are also found in databases, databases provide an interesting angle to attack many of the problems. From a video applications perspective, database systems provide a nice basis for future video systems. More generally, database research will provide solutions to many video issues even if these are partial or fragmented. From a database perspective, v

APA, Harvard, Vancouver, ISO, and other styles

10

Levin, Lars-Åke, Lars Bernfort, Michaela Eklund, and Magnus Husberg. Implementering av nya läkemedelsrekommendationer vid hjärtsvikt. Linköping University Electronic Press, 2025. https://doi.org/10.3384/cmt.2025.1.

Full text

Abstract:

I denna rapport beskrivs utvecklingen av läkemedelsbehandling vid hjärtsvikt till följd av de uppdaterade behandlingsrekommendationer som publicerades den 14 januari 2022. Enligt dessa rekommendationer ska hjärtsviktspatienter med nedsatt vänsterkammarfunktion (HFrEF) behandlas med läkemedel från fyra läkemedelsgrupper, så kallad kvadrupelbehandling. För hjärtsviktspatien-ter med måttligt nedsatt vänsterkammarfunktion (HFmrEF) ska kvadrupelbehandling övervägas. Hjärtsviktspatienter med bevarad vänster-kammarfunktion (HFpEF) ska behandlas utifrån symtom och bör i normalfallet inte ges kvadrupel

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!