Search results for "symbolic"

showing 10 items of 449 documents

A Rule-Based System for Hardware Configuration and Programming of IoT Devices

2019

Simplifying programming, deployment, and configuration of heterogeneous networked IoT devices requires networking, hardware, representation of knowledge and concepts, design and programming skills. In fact, IoT applications are mostly built by adopting different existing paradigms and technologies on a case-by-case basis. As a result, programming tools hinder adaptability and interoperability of applications with their rigidity. In this paper, we propose a rule-based system that configures and programs IoT devices automatically. The rule base holds formal specifications about hardware platforms, networking protocols, physical world concepts, and applications. Provided with a high-level appl…

Symbolic programmingFormal knowledge representationbusiness.industryComputer scienceSymbolic programmingmedia_common.quotation_subjectInteroperabilityRule-based systemAdaptabilitySoftware deploymentCode generationCode generationFORTHbusinessInternet of ThingsComputer hardwaremedia_common
researchProduct

Symbolic Reductionist Model for Program Comprehension

2007

This article presents the main features of a novel construction, symbolic analysis, for automatic source code processing. The method is superior to the known methods, because it uses a semiotic, interpretative approach. Its most important processes and characteristics are considered here. We describe symbolic information retrieval and the process of analysis in which it can be used in order to obtain pragmatic information. This, in turn, is useful in understanding a current Java program version when developing a new version.

Symbolic programmingObject-oriented programmingSource codeComputer scienceProgramming languagebusiness.industrymedia_common.quotation_subjectProgram comprehensioncomputer.software_genreSymbolic data analysisReal time JavaSymbolic trajectory evaluationArtificial intelligencebusinessJava annotationcomputerNatural language processingmedia_common2007 Sixth Mexican International Conference on Artificial Intelligence, Special Session (MICAI)
researchProduct

Programming languages and dynamic instructional tools: Addressing students’ knowledge base

1992

The chapter presents an instructional computer environment to be used in introductory Pascal programming classes. Traditional programming courses do not foster the kind of knowledge structures that are the trademark of expert programmers. These knowledge structures or programming templates provide programmers with a ready-to-use library of routines from which they draw when writing a new program. Developed as a hypertext tool, TAP (Template Assisted Programming) is an instructional environment to teach programming that emphasizes the development and use of such a library of routines by presenting students with a multiple representation of programming knowledge. In TAP students can (a) switc…

Symbolic programmingProcedural programmingProgramming languageComputer scienceProgramming paradigmPascal (programming language)Fifth-generation programming languageProgramming domainFirst-generation programming languagecomputer.software_genrecomputerInductive programmingcomputer.programming_language
researchProduct

L’erraticità della centralità. Valori simbolici e valori monetari nella città di Palermo

2017

The center of the city could be considered as the urban meta-sign from which each part of the city takes his urban monetary significance, and it can also be joined to the isomorphic chain linking Zero, Vanishing Point and Money. The center of the city is naturally erratic and follows the urban transformation, producing monetary differentials corresponding to differentials of quality of the localization. The case study of Palermo is analyzed showing the creation of the center of the city, its translation and its (monetary) evaluation in the contemporaneous city.

Symbolic values monetary values urban real estate historical centerSettore ICAR/22 - Estimo
researchProduct

epiModel: A system to build automatically systems of differential equations of compartmental type-epidemiological models

2011

In this paper we describe epiModel, a code developed in Mathematica that facilitates the building of systems of differential equations corresponding to type-epidemiological linear or quadratic models whose characteristics are defined in text files following an easy syntax. It includes the possibility of obtaining the equations of models involving age and/or sex groups. © 2011.

Systems of differential equationsDifferential equationsTheoretical computer scienceBuilding codesDifferential equationComputer scienceAutomatic building of systems of differential equationsDisease transmissionMathematical parametersMathematicaHealth InformaticsText fileComputer programEpidemiological modelType (model theory)Models BiologicalModellingArticleDisease predispositionQuadratic equationMathematical modelComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONComputer SimulationQuadratic modelsPriority journalSyntax (programming languages)Computer programText fileConvalescenceComputer Science ApplicationsCompartment modelType-epidemiological modelProgramming LanguagesEpidemiologic MethodsMATEMATICA APLICADADisease transmissionHuman
researchProduct

I sapori dei tatuaggi nell'Amazzonia indigena

2018

Through an analysis of some ethnographic examples (Matis, Akawaio,Guayaki, Cayabi), the chapter shows how in Indigenous Amazonia tattooing was connected in multiple ways to cultural conceptions regarding both the fabrication of the person and the classifications of world components, in which complex systems of correspondence between diverse domains organize people's experience and thought.

Tattoo Indigenous Amazonia fabrication of personhood symbolic classifications rituals of initiationSettore M-DEA/01 - Discipline Demoetnoantropologiche
researchProduct

First-year university students making sense of symbols in integration

2020

International audience; This paper focuses on first year university engineering students and their sensemaking of integration and its symbolism. Through a semiotic approach, attention is given to two students and their attempt to verbally express their reflections on integration and the related meaning of symbols. Findings suggest that students tend to interpret the symbols mainly as operations, in terms of calculations to be carried out. They express uncertainty concerning what the symbols stand for, and the mathematical objects they represent. For example, the symbols ∫ and are respectively conceived of as “finding the integral with respect to x” and students are unclear on how Riemann su…

Teaching and learning of analysis and calculussymbols[SHS.EDU]Humanities and Social Sciences/Education[SHS.EDU] Humanities and Social Sciences/EducationComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONIntegrationTeaching and learning of mathematics for engineersRiemann sums
researchProduct

On the side of the marginals: the character of Ahmed in The Tower of Defense (1978) of Copy

2018

Copi, writer, playwright and draughtsman Ar- gentino settles in Paris in 1962 until his death in 1987. The experience of exile and wandering marks the personal and creative trajectory of this intercultural artist. Indeed, a whole series of vulnerable and marginal characters swarm in their particular universe and subvesivo. In this space of the excluded, the figure of the immi- grant Maghreb in France, embodied in the cha- racter of Ahmed, acquires all its significance. In this work we will try to analyse the symbolic value of Ahmed, heir to the colonial past mar- ked by rejection, which appears in the Teatro de Copi, specifically in La Défense Tour (1978). Ahmed’s image traces an invisible …

Teatromedia_common.quotation_subjectArtLineaInterculturalityInterculturalidadPsychiatry and Mental healthSymbolNeuropsychology and Physiological PsychologyMargenThe SymbolicSubversionCopiTheatreHumanitiesMarginality:8- Lingüística y literatura::81 - Lingüística y lenguas [CDU]media_commonAnales de Filología Francesa
researchProduct

Ultreya, suseya, Santiago!” Viaggio e spazialità ne La ballata dei pellegrini

2020

Per studiare dal punto di vista della geografia culturale alcuni aspetti del pellegrinaggio a Santiago de Compostela, in Spagna, il capitolo prende in considerazione un testo letterario, il romanzo autobiografico "La ballata dei pellegrini" della scrittrice francese Edith De La Héronnière, pubblicato per la prima volta nel 1993 e tradotto in italiano nel 2004. Il romanzo racconta l’esperienza del pellegrinaggio giacobeo effettuato dall’autrice negli anni Novanta assieme a tre compagni di viaggio partendo da un cammino francese. In particolare, attraverso l’analisi di alcune parti del testo, si indagano le modalità attraverso le quali la narrazione costruisce e descrive lo spazio fisico e si…

The contribution critically and from a geographical perspective discusses the connection between propaganda comics and cartoons in the period of twentieth-century totalitarianisms. The way in which space real and symbolic is implicated through the rhetoric and dialectics of power in social economic and identity dynamics is then explored. In order to study some aspects of the pilgrimage to Santiago de Compostela from the point of view of cultural geography in Spain the chapter takes into consideration a literary text the autobiographical novel "The pilgrims' ballad" by the French writer Edith De La Héronnière first published in 1993 and translated into Italian in 2004. The novel recounts the experience of the Jacobean pilgrimage carried out by the author in the nineties together with three traveling companions starting from a French journey. In particular through the analysis of some parts of the text the ways in which the narration constructs and describes the physical and symbolic space of the pilgrimage are investigated. In this way it is possible to explore the way in which peculiar attributions of meaning inscribe the experience of pilgrimage in a symbolic universe that is both personal and collective at the same time.
researchProduct

Spazio, potere e memoria: riflessioni di un geografo su fumetto e cartoon di propaganda

2020

Il contributo discute criticamente e da una prospettiva geografica il nesso tra propaganda, fumetti e cartoons nel periodo dei totalitarismi novecenteschi. Viene quindi esplorato il modo in cui lo spazio, reale e simbolico, sia implicato attraverso le retoriche e le dialettiche del potere, nelle dinamiche sociali, economiche e identitarie.

The contribution critically and from a geographical perspective discusses the link between propaganda comics and cartoons in the period of twentieth-century totalitarianisms. The way in which space real and symbolic is implicated through the rhetoric and dialectics of power in social economic and identity dynamics is then explored.
researchProduct