Einloggen

Thematische Bibliographien / Symbol set

Inhaltsverzeichnis

Zeitschriftenartikel
Dissertationen
Bücher
Buchteile
Konferenzberichte
Berichte der Organisationen

Auswahl der wissenschaftlichen Literatur zum Thema „Symbol set“

Autor: Grafiati

Veröffentlicht am 28. Juni 2021

Zuletzt aktualisiert am 29. Juli 2025

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Symbol set" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Zeitschriftenartikel zum Thema "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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

<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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

Mehr Quellen

Dissertationen zum Thema "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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

2

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

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

<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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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/.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

Mehr Quellen

Bücher zum Thema "Symbol set"

1

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

3

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

4

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

5

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

6

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

7

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

8

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

9

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

10

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

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Mehr Quellen

Buchteile zum Thema "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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Konferenzberichte zum Thema "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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

Berichte der Organisationen zum Thema "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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

5

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

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!