Log in

Relevant bibliographies by topics / Abstract information / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Abstract information.

Dissertations / Theses on the topic 'Abstract information'

Author: Grafiati

Published: 30 May 2022

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Abstract information.'

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.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Zanioli, Matteo <1984&gt. "Information flow analysis by abstract interpretation." Doctoral thesis, Università Ca' Foscari Venezia, 2012. http://hdl.handle.net/10579/1235.

Full text

Abstract:

Protecting the confidentiality of information stored in a computer system or transmitted over a public network is a relevant problem in computer security. The goal of this thesis is to provide both theoretical and experimental results towards the design of an information flow analysis for the automatic verification of absence of sensitive information leakage. Our approach is based on Abstract Interpretation, a theory of sound approximation of program semantics. We track the dependencies among program's variables using propositional formulae, namely the Pos domain. We study the main ways to imp

APA, Harvard, Vancouver, ISO, and other styles

2

Zanioli, Matteo. "Information flow analysis by abstract interpretation." Paris 7, 2012. http://www.theses.fr/2012PA077262.

Full text

Abstract:

Protéger la confidentialité de l’information numérique stockée ou en transfert sur des réseaux publics est un problème récurrent dans le domaine de la sécurité informatique. Le but de cette thèse est de fournir des résultats théoriques et expérimentaux sur une analyse de flux permettant la vérification automatique de l’absence de fuite possible d’information sensible. Notre approche est basée sur la théorie de l’Interprétation Abstraite et consiste à manipuler une approximation de la sémantique des programmes. Nous détectons les différentes dépendances entre les variables d’un programme en uti

APA, Harvard, Vancouver, ISO, and other styles

3

Murray, Colin. "Visual-haptic information systems for abstract data." Thesis, The University of Sydney, 2009. https://hdl.handle.net/2123/29404.

Full text

Abstract:

Information Visualisation aims to provide a means for the easy understanding of data through pictures. However, using the visual sense alone may limit the amount of information that can be understood. Haptics is the science of applying touch sensations to human interaction with computers. The addition of haptics provides more ways in which the user can understand the data. We define a visual-haptic information system to be any system that uses haptic and visual feedback to convey information. There are many domains where the data has some attributes which are spatially referenced to t

APA, Harvard, Vancouver, ISO, and other styles

4

Janakiraman, Muralidharan. "Abstract Index Interfaces." PDXScholar, 1996. https://pdxscholar.library.pdx.edu/open_access_etds/5288.

Full text

Abstract:

An index in a database system interacts with many of the software modules in the system. For systems supporting a wide range of index structures, interfacing the index code with the rest of the system poses a great problem. The problems are an order of magnitude more for adding new access methods to the system. These problems could be reduced manifold if common interfaces could be specified for different access methods. It would be even better, if these interfaces could be made database-system independent. This thesis addresses the problem of defining generic index interfaces for access method

APA, Harvard, Vancouver, ISO, and other styles

5

Ledezma, Carlos. "Static analysis of multi-threaded applications by abstract interpretation." Thesis, KTH, Programvaruteknik och Datorsystem, SCS, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-143029.

Full text

Abstract:

There exist currently in production an immense number of applications that are considered safety critical, meaning that the execution of them is directly related to issues concerning the well being of people. A domain where these applications are particularly present is in the aeronautics industry. A piece of critical software that’s embedded into an airplane’s calculator cannot, under any circumstance, fail while the aircraft is in-flight. And this restriction becomes more and more severe when the priority of the application escalates. This situation also poses an inconvenient at the moment o

APA, Harvard, Vancouver, ISO, and other styles

6

Shovman, Mark. "Measuring comprehension of abstract data visualisations." Thesis, Abertay University, 2011. https://rke.abertay.ac.uk/en/studentTheses/4cfbdab1-0f91-4886-8b02-a4a8da48aa72.

Full text

Abstract:

Common visualisation techniques such as bar-charts and scatter-plots are not sufficient for visual analysis of large sets of complex multidimensional data. Technological advancements have led to a proliferation of novel visualisation tools and techniques that attempt to meet this need. A crucial requirement for efficient visualisation tool design is the development of objective criteria for visualisation quality, informed by research in human perception and cognition. This thesis presents a multidisciplinary approach to address this requirement, underpinning the design and implementation of vi

APA, Harvard, Vancouver, ISO, and other styles

7

Okhravi, Christopher. "Markup has resolution. : In search of a more abstract language." Thesis, Uppsala universitet, Institutionen för informatik och media, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-236664.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Halder, Raju <1981&gt. "Extending abstract interpretation to new applicative scenarios." Doctoral thesis, Università Ca' Foscari Venezia, 2012. http://hdl.handle.net/10579/1236.

Full text

Abstract:

The aim of this thesis is to extend the Abstract Interpretation framework to the broader context of Information Systems. In particular, we address issues related to security properties. We formalize a complete denotational semantics, both at concrete and abstract level, of data-intensive applications embedding data manipulation language operations such as SELECT, UPDATE, INSERT and DELETE. This theoretical work serves as a formal foundation of several interesting practical applications, including persistent watermarking, fine grained access control, SQL injection prevention, and cooperative qu

APA, Harvard, Vancouver, ISO, and other styles

9

Bylund, Johanna, and Josefine Nåvik. "Allt är inte sagt bara för att en lag har talat : En kvalitativ dokumentstudie om hur insiderlagen i praktiken kan ses som en spelregel." Thesis, Mittuniversitetet, Institutionen för ekonomi, geografi, juridik och turism, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:miun:diva-37009.

Full text

Abstract:

Reglering av insiderhandel är ett omdebatterat ämne som ofta leder till svarta rubriker i media. Att försöka motverka insiderhandel grundar sig i den asymmetriska information som är vanligt förekommande på värdepappersmarknaden och som tycks vara anledningen till att marknaden kan upplevas som orättvis och omoralisk. Reglering av insiderhandel har således ansetts vara nödvändigt men själva lagen har ifrågasatts när det kommer till dess verkliga funktion och effektivitet. Tidigare forskning visar nämligen på att lagen kanske bäst kan förstås som en spelregel där spelet är amoraliskt. Hur lagen

APA, Harvard, Vancouver, ISO, and other styles

10

Tennis, Joseph T. "The economic and aesthetic axis of information organization frameworks (extended abstract)." dLIST, 2007. http://hdl.handle.net/10150/106120.

Full text

Abstract:

When we examine how and why decisions get made in the indexing enterprise writ large, we see that two factors shape the outcome: economics and aesthetics. For example, the Library of Congress has reduced the time and effort it has spent on creating bibliographic records, while the Library and Archives Canada has begun coordinating the work of librarians and archivists in describing the documentary heritage of Canada (Oda and Wilson, 2006; LAC, 2006). Both of these initiatives aim at reducing costs of the work of description. They are decisions based on economic considerations. When engaged

APA, Harvard, Vancouver, ISO, and other styles

11

Ménard, Elaine. "Indexing and retrieving images in a multilingual world (extended abstract)." dLIST, 2007. http://hdl.handle.net/10150/105900.

Full text

Abstract:

The Internet constitutes a vast universe of knowledge and human culture, allowing the dissemination of ideas and information without borders. The Web also became an important media for the diffusion of multilingual resources. However, linguistic differences still form a major obstacle to scientific, cultural, and educational exchange. With the ever increasing size of the Web and the availability of more and more documents in various languages, this problem becomes all the more pervasive. Besides this linguistic diversity, a multitude of databases and collections now contain documents in variou

APA, Harvard, Vancouver, ISO, and other styles

12

Lidén, Alice, and Victoria Nyberg. "Vem vet och vem bryr sig? : En kvalitativ studie om generation Y:s medvetenhet om produktplacering och övervakning på internet och i sociala medier." Thesis, Mittuniversitetet, Avdelningen för ekonomivetenskap och juridik, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:miun:diva-34481.

Full text

Abstract:

Trots att det mediala och akademiska intresset för övervakning på internet och i sociala medier har ökat, visar tidigare forskning att yngre användare verkar ställa sig relativt obrydda till övervakning. Utifrån fem semistrukturerade intervjuer samt två fokusgruppsintervjuer med respondenter från generation Y skapar sig författarna en bild över respondenternas medvetenhet om och inställning till övervakning och produktplacering på internet och i sociala medier. Studien, som är en kvalitativ fallstudie med en socialkonstruktivistisk ansats, syftar till att utöka tidigare forskning inom ämnet öv

APA, Harvard, Vancouver, ISO, and other styles

13

Krieglstein, Daniel. "Rethinking the Scientific Database| Exploring the Feasibility of Building a New Scientific Abstract Database." Thesis, Illinois Institute of Technology, 2018. http://pqdtopen.proquest.com/#viewpdf?dispub=10827846.

Full text

Abstract:

<p> Abstract databases are essential for literature reviews, and in turn for the scientific process. Research into user interface designs and their impact on scientific article discovery is limited. The following study details the process of building a new abstract database and explores several user interface design elements that should be tested in the future. </p><p> The initial goal of this study was to test the feasibility of building a new abstract database. Using Crossref metadata, we concluded that the cost to produce parsing code for the entire data set proved prohibitive for a volun

APA, Harvard, Vancouver, ISO, and other styles

14

Geng, Zhao. "Visual analysis of abstract multi-dimensional data with parallel coordinates." Thesis, Swansea University, 2013. https://cronfa.swan.ac.uk/Record/cronfa43002.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Herbert, George D. "Compiling Unit Clauses for the Warren Abstract Machine." UNF Digital Commons, 1987. http://digitalcommons.unf.edu/etd/571.

Full text

Abstract:

This thesis describes the design, development, and installation of a computer program which compiles unit clauses generated in a Prolog-based environment at Argonne National Laboratories into Warren Abstract Machine (WAM) code. The program enhances the capabilities of the environment by providing rapid unification and subsumption tests for the very significant class of unit clauses. This should improve performance substantially for large programs that generate and use many unit clauses.

APA, Harvard, Vancouver, ISO, and other styles

16

Bruhl, Analee. "The role of situations and thematic reorganization in the conceptual processing of abstract concepts." Thesis, Lyon 2, 2014. http://www.theses.fr/2014LYO20040/document.

Full text

Abstract:

Le système conceptuel humain est connu pour contenir deux types de concepts principaux: concrets et abstraits. Les concepts abstraits tels que l'opinion ou la détermination expriment les relations séquentielles entre les entités, ainsi que les états mentaux et introspectifs qui caractérisent la conscience humaine. Les recherches antérieures se sont très peu intéressées à la manière dont les concepts abstraits sont représentés tant sur le plan cognitif que conceptuel. Dans la littérature, la représentation, récupération et traitement des concepts abstraits dans le système conceptuel sont princi

APA, Harvard, Vancouver, ISO, and other styles

17

Wagner, Filho Jorge Alberto. "Evaluating immersive approaches to multidimensional information visualization." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2018. http://hdl.handle.net/10183/175082.

Full text

Abstract:

O uso de novos recursos de display e interação para suportar a visualização imersiva de dados e incrementar o raciocínio analítico é uma tendência de pesquisa em Visualização de Informações. Neste trabalho, avaliamos o uso de ambientes baseados em HMD para a exploração de dados multidimensionais, representados em scatterplots 3D como resultado de redução de dimensionalidade. Nós apresentamos uma nova modelagem para o problema de avaliação neste contexto, levando em conta os dois fatores cuja interação determina o impacto no desempenho total nas tarefas: a diferença nos erros introduzidos ao se

APA, Harvard, Vancouver, ISO, and other styles

18

Mittelbach, Martin. "Coding Theorem and Memory Conditions for Abstract Channels with Time Structure." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-168302.

Full text

Abstract:

In the first part of this thesis, we generalize a coding theorem and a converse of Kadota and Wyner (1972) to abstract channels with time structure. As a main contribution we prove the coding theorem for a significantly weaker condition on the channel output memory, called total ergodicity for block-i.i.d. inputs. We achieve this result mainly by introducing an alternative characterization of information rate capacity. We show that the ψ-mixing condition (asymptotic output-memorylessness), used by Kadota and Wyner, is quite restrictive, in particular for the important class of Gaussian channel

APA, Harvard, Vancouver, ISO, and other styles

19

Bugajska, Malgorzata. "Spatial visualization of abstract information : a classification model for visual design guidelines in the digital domain /." [S.l.] : [s.n.], 2003. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=14903.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Talbot, Benjamin J. "Integrating symbolic spatial information in robot navigation." Thesis, Queensland University of Technology, 2018. https://eprints.qut.edu.au/121191/1/Benjamin_Talbot_Thesis.pdf.

Full text

Abstract:

Navigation cues – like labels, signs, maps, planners, spoken directions, and navigational gestures – provide humans with navigation capabilities that far surpass those of mobile robots. This thesis demonstrates how a mobile robot can use the symbolic spatial information embedded in navigation cues to proficiently navigate unseen built environments. The primary contributions of the thesis reside in the abstract map, a novel tool for grounding navigation symbols. The abstract map imagines abstract layouts and structures for unseen spaces through a mechanical analogy, then tethers the abstract sp

APA, Harvard, Vancouver, ISO, and other styles

21

Chowdhury, Ziaul Islam. "Implementation of an abstract module for entity resolution to combine data sources with the same domain information." Thesis, Luleå tekniska universitet, Institutionen för system- och rymdteknik, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-87294.

Full text

Abstract:

Increasing digitalization is creating a lot of data every day. Sometimes the same real-world entity is stored in multiple data sources but lacks common reference. This creates a significant challenge on the integration of data sources and may cause duplicates and inconsistencies if not resolved correctly. The core idea of this thesis is to implement an abstract module for entity resolution to combine multiple data sources with similar domain information. CRISP-DM process was used as the methodology in this thesis which started with an understanding of the business and data. Two open datasets

APA, Harvard, Vancouver, ISO, and other styles

22

La, Barre Kathryn. "Faceted navigation and browsing features in new OPACs: A more robust solution to problems of information seekers? (extended abstract)." dLIST, 2007. http://hdl.handle.net/10150/106157.

Full text

Abstract:

In November, 2005, James Billington, the Librarian of Congress, proposed the creation of a “World Digital Library” of manuscripts and multimedia materials in order to “bring together online, rare and unique cultural materials.” Google became the first private sector partner for this project with a pledge of 3 million dollars (http://www.loc.gov/today/pr/2005/05- 250.html). One month later, the Bibliographic Services Task Force of the University of California Libraries released a report: Rethinking how we provide bibliographic services for the University of California. (Bibliographic Services T

APA, Harvard, Vancouver, ISO, and other styles

23

Ahrsjö, Carl. "Real-time event based visualization of multivariate abstract datasets : Implementing and evaluating a dashboard visualization prototype." Thesis, KTH, Skolan för datavetenskap och kommunikation (CSC), 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-170395.

Full text

Abstract:

As datasets in general grow in size and complexity over time while the human cognitive ability to interpret said datasets essentially stays the same, it becomes important to enable intuitive visualization methods for analysis. Based on previous research in the field of information visualization and visual analytics, a dashboard visualization prototype handling real-time event based traffic was implemented and evaluated. The real-time data is collected by a script and sent to a self-implemented web server that opens up a websocket connection with the dashboard client where the data is then visu

APA, Harvard, Vancouver, ISO, and other styles

24

Muñoz, Álvaro Aranda. "Comparing 3D interfaces of virtual factories : an iconic 3D interface against an abstract 3D visualisation." Thesis, Blekinge Tekniska Högskola, Institutionen för datalogi och datorsystemteknik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-4115.

Full text

Abstract:

Context. 3D visualisations are highly demanded in different industries such as virtual factories. However, the benefits that 3D representations can bring to this industry have not been fully explored, being most of the representations either photorealistic or presenting abstract visualisations. Objectives. This thesis explores and compares two prototypes that present a visualisation of the process state of a factory. The first prototype presents a generic interface in which primitive 3D shapes convey the information of the factory status. The second prototype is complemented with specific and

APA, Harvard, Vancouver, ISO, and other styles

25

Lakshminarayanan, R. "TriSL: A Software Architecture Description Language and Environment." Thesis, Indian Institute of Science, 1999. https://etd.iisc.ac.in/handle/2005/87.

Full text

Abstract:

As the size and complexity of a software system increases, the design problem goes beyond the algorithms and data structures of the computation. Designing and specifying the overall system structure -- or software architecture -- becomes the central problem. A system's architecture provides a model of the system that hides implementation detail, allowing the architect to concentrate on the analyses and decisions that are most crucial to structuring the system to satisfy its requirements. Unfortunately, with few exceptions, current exploitation of software architecture and architectural sty

APA, Harvard, Vancouver, ISO, and other styles

26

Lakshminarayanan, R. "TriSL: A Software Architecture Description Language and Environment." Thesis, Indian Institute of Science, 1999. http://hdl.handle.net/2005/87.

Full text

Abstract:

As the size and complexity of a software system increases, the design problem goes beyond the algorithms and data structures of the computation. Designing and specifying the overall system structure -- or software architecture -- becomes the central problem. A system's architecture provides a model of the system that hides implementation detail, allowing the architect to concentrate on the analyses and decisions that are most crucial to structuring the system to satisfy its requirements. Unfortunately, with few exceptions, current exploitation of software architecture and architectural style i

APA, Harvard, Vancouver, ISO, and other styles

27

Tran, David. "Investigating the applicability of Software Metrics and Technical Debt on X++ Abstract Syntax Tree in XML format : calculations using XQuery expressions." Thesis, Linköpings universitet, Institutionen för datavetenskap, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-162719.

Full text

Abstract:

This thesis investigates how XML representation of X++ abstract syntax trees (AST) residing in an XML database can be subject to static code analysis. Microsoft Dynamics 365 for Finance & Operations comprises a large and complex corpus of X++ source code and intuitive ways of visualizing and analysing the state of the code base in terms of software metrics and technical debt are non-existent. A solution is to extend an internal web application and semantic search tool called SocrateX, to calculate software metrics and technical debt. This is done by creating a web service to construct XQue

APA, Harvard, Vancouver, ISO, and other styles

28

Francis, Caroline M. "How Information Retrieval Systems Impact on Designers' Searching Strategies Within the Early Stages of the Design Process." Thesis, Queensland University of Technology, 2006. https://eprints.qut.edu.au/16280/1/Caroline_Francis_Thesis.pdf.

Full text

Abstract:

The purpose of this research is to investigate the influences that Information Retrieval Systems such as online Search Engines and Databases have on designers' early searching strategies. The study involves the observation of designers transforming early design language into query 'keyword' language for the operation of Information Retrieval Systems and how this transition causes a shift in early design exploration. This transformation is referred to in this research as the CLASS activity; Converting Language from Abstract Searching to Specific. Findings show a common pattern across th

APA, Harvard, Vancouver, ISO, and other styles

29

Francis, Caroline M. "How Information Retrieval Systems Impact on Designers' Searching Strategies Within the Early Stages of the Design Process." Queensland University of Technology, 2006. http://eprints.qut.edu.au/16280/.

Full text

Abstract:

The purpose of this research is to investigate the influences that Information Retrieval Systems such as online Search Engines and Databases have on designers' early searching strategies. The study involves the observation of designers transforming early design language into query 'keyword' language for the operation of Information Retrieval Systems and how this transition causes a shift in early design exploration. This transformation is referred to in this research as the CLASS activity; Converting Language from Abstract Searching to Specific. Findings show a common pattern across the activi

APA, Harvard, Vancouver, ISO, and other styles

30

Jilläng, Emil. "Making ASN.1 (Abstract Syntax Notation One) human-readable : Investigative and practical study to generalize decoding and manual validation of ASN.1 from the cellular network during run time." Thesis, Luleå tekniska universitet, Institutionen för system- och rymdteknik, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-67595.

Full text

Abstract:

ASN.1 is a powerful formal notation divided into two parts, a specification of the data and the data itself in binary form. Creating decoders for these files can often be tedious. The purpose of this degree work is to extend current tools at Arctic Group to make an application that decodes a range of different ASN.1 specifications and data. This should be done during runtime, without needing to rebuild the application for each specification, while generating human-readable data and abstracting unwanted information. Two ways to create ASN.1 decoders were identified, and the application was desi

APA, Harvard, Vancouver, ISO, and other styles

31

FORLEO, GIANROBERTO. "Digital AgriFood – Conversazioni online e Big Data per lo sviluppo della comunicazione strategica e progettuale del sistema produttivo marchigiano. Abstract." Doctoral thesis, Urbino, 2023. https://hdl.handle.net/11576/2710331.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Rahman, Mohammad Hafijur. "Designing Framework for Web Development." Thesis, Uppsala universitet, Institutionen för informatik och media, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-168362.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Zimic, Sheila. "Internetgenerationen bit för bit : Representationer av IT och ungdom i ett informationssamhälle." Doctoral thesis, Mittuniversitetet, Avdelningen för informations- och kommunikationssystem, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:miun:diva-21926.

Full text

Abstract:

The aim of this thesis is to gain a deeper understanding in relation to the construction of a ‘Net Generation’. With regards to the idea of an information society, technologies and young people are given certain positions, which are not in any sense natural but are socially constructed. This thesis explores these socially given meanings and shows what types of meanings are prioritized and legitimized. The exploration is conducted by examining, both externally and internally, given meanings of a generation identity. The external (nominal identification) in this study is understood as the constr

APA, Harvard, Vancouver, ISO, and other styles

34

Camporesi, Ferdinanda. "Formal and exact reduction for differential models of signalling pathways in rule-based languages." Thesis, Paris Sciences et Lettres (ComUE), 2017. http://www.theses.fr/2017PSLEE005/document.

Full text

Abstract:

Le comportement d'une cellule dépend de sa capacité à recevoir, propager et intégrer des signaux, constituant ainsi des voies de signalisations. Les protéines s'associent entre elles sur des sites de liaisons, puis modifient la structure spatiale des protéines voisines, ce qui a pour effet de cacher ou de découvrir leurs autres sites de liaisons, et donc d'empêcher ou de faciliter d'autres interactions. En raison du grand nombre de différents complexes bio-moléculaires, nous ne pouvons pas écrire ou générer les systèmes différentiels sous-jacents. Les langages de réécritures de graphes à sites

APA, Harvard, Vancouver, ISO, and other styles

35

Петрасова, Світлана Валентинівна. "Інформаційна технологія ідентифікації знань у наукометричних системах на основі інтелектуального аналізу слабоформалізованих даних". Thesis, НТУ "ХПІ", 2016. http://repository.kpi.kharkov.ua/handle/KhPI-Press/28125.

Full text

Abstract:

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.06 – інформаційні технології. – Національний технічний університет "Харківський політехнічний інститут", Харків, 2017. Мета дисертаційного дослідження – підвищення ефективності процесу ідентифікації знань у наукометричних системах за рахунок побудови моделей і методів інтелектуального аналізу слабоформалізованих даних. Основні результати: уперше розроблено логіко-лінгвістичну модель визначення семантично зв'язних фрагментів слабоформалізованої реферативної інформації, яка заснована на використанні алгебр

APA, Harvard, Vancouver, ISO, and other styles

36

Петрасова, Світлана Валентинівна. "Інформаційна технологія ідентифікації знань у наукометричних системах на основі інтелектуального аналізу слабоформалізованих даних". Thesis, НТУ "ХПІ", 2017. http://repository.kpi.kharkov.ua/handle/KhPI-Press/28123.

Full text

Abstract:

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.06 – інформаційні технології. – Національний технічний університет "Харківський політехнічний інститут", Харків, 2017. Мета дисертаційного дослідження – підвищення ефективності процесу ідентифікації знань у наукометричних системах за рахунок побудови моделей і методів інтелектуального аналізу слабоформалізованих даних. Основні результати: уперше розроблено логіко-лінгвістичну модель визначення семантично зв'язних фрагментів слабоформалізованої реферативної інформації, яка заснована на використанні алгебро

APA, Harvard, Vancouver, ISO, and other styles

37

Real, Lucas Correia Villa. "Uma arquitetura para análise de fluxo de dados estruturados aplicada ao sistema brasileiro de TV digital." Universidade de São Paulo, 2009. http://www.teses.usp.br/teses/disponiveis/3/3142/tde-01092009-151152/.

Full text

Abstract:

Diversos sistemas computacionais transmitem informação em fluxos contínuos de dados estruturados e, por vezes, hierarquizados. Este modelo de transmissão de dados tem como uma de suas características a grande densidade de informação, o que exige de um receptor o tratamento imediato das unidades extraídas deste canal de comunicação. Muitas vezes o volume de transmissão não permite, também, que a informação recebida seja armazenada permanentemente no receptor, o que torna a análise do conteúdo desses fluxos de dados um desafio. Este trabalho apresenta uma arquitetura para a análise de fluxo de d

APA, Harvard, Vancouver, ISO, and other styles

38

Kissinger, Susan M. "Development of an instructional natural resources information model /." Link to abstract, 2002. http://epapers.uwsp.edu/abstracts/2002/Kissinger.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Costantini, Giulia <1985&gt. "Lexical and numerical domains for abstract interpretation." Doctoral thesis, Università Ca' Foscari Venezia, 2013. http://hdl.handle.net/10579/4636.

Full text

Abstract:

The goal of this thesis is to contribute to the field of formal methods employed for the static verifi cation of computer program properties. The context is the Abstract Interpretation framework, one of the various possible techniques to perform static analyses. In particular, we focus on the design of novel abstract domains to analyze the basic building blocks of computer programs: lexical and numerical variables, as well as relationships between variables. In order to provide experimental evidence of their actual applicability, we implemented our domains and we applied them to a suite of ca

APA, Harvard, Vancouver, ISO, and other styles

40

Colledan, Andrea. "Abstract Machine Semantics for Quipper." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2021. http://amslaurea.unibo.it/22835/.

Full text

Abstract:

Quipper is a domain-specific programming language for the description of quantum circuits. Because it is implemented as an embedded language in Haskell, Quipper is a very practical functional language. However, for the same reason, it lacks a formal semantics and it is limited by Haskell's type-system. In particular, because Haskell lacks linear types, it is easy to write Quipper programs that violate the non-cloning property of quantum states. In order to formalize relevant fragments of Quipper in a type-safe way, the Proto-Quipper family of research languages has been introduced over the las

APA, Harvard, Vancouver, ISO, and other styles

41

Ferrara, Pietro <1981&gt. "Static analysis via abstract interpretation of multithreaded programs." Doctoral thesis, Università Ca' Foscari Venezia, 2009. http://hdl.handle.net/10579/1031.

Full text

Abstract:

The goal of this thesis is to present a generic static analysis of Java multithreaded programs. Multithreaded programs execute many task, called threads, in parallel. Threads communicate through the shared memory implicitly, and they synchronize on monitors, wait-notify primitives, etc... Some years ago dual core architectures started being distributed on the broad market at low price. Today almost all the computers are at least dual core. Manycore, i.e. putting more and more cores on the same CPU, is now the current trend of CPU market. This multicore revolution yields to new challenges on th

APA, Harvard, Vancouver, ISO, and other styles

42

Palczynski, Jacob [Verfasser]. "Time-continuous behaviour comparison based on abstract models / Jacob Palczynski." Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014. http://d-nb.info/1051895839/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Schmid, Joachim [Verfasser]. "Refinement and implementation techniques for Abstract State Machines / Joachim Schmid." Ulm : Universität Ulm. Fakultät für Informatik, 2002. http://d-nb.info/1015323995/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Sartori, Andreza. "Affective Analysis of Abstract Paintings Using Statistical Analysis and Art Theory." Doctoral thesis, Università degli studi di Trento, 2015. https://hdl.handle.net/11572/367628.

Full text

Abstract:

This research thesis aims to provide a novel approach to Emotion Recognition of Images: based on empirical studies, we employ the state-of-the-art computer vision techniques in order to understand what makes an abstract artwork emotional. We identify and quantify the emotional regions of abstract paintings. We also investigate the contributions of the main aspects present on abstract artworks (i.e., colour, shape and texture) to automatically predict emotional valence of them. By using eye-tracking recordings we investigate the link between the detected emotional content and the way people loo

APA, Harvard, Vancouver, ISO, and other styles

45

Kiselman, Vanda. "Kvalitetsutvärdering av den bibliografiska databasen Historical Abstracts." Thesis, Uppsala University, Department of ALM, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-101672.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Tsoupidi, Rodothea Myrsini. "Two-phase WCET analysis for cache-based symmetric multiprocessor systems." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-222362.

Full text

Abstract:

The estimation of the worst-case execution time (WCET) of a task is a problem that concerns the field of embedded systems and, especially, real-time systems. Estimating a safe WCET for single-core architectures without speculative mechanisms is a challenging task and an active research topic. However, the advent of advanced hardware mechanisms, which often lack predictability, complicates the current WCET analysis methods. The field of Embedded Systems has high safety considerations and is, therefore, conservative with speculative mechanisms. However, nowadays, even safety-critical application

APA, Harvard, Vancouver, ISO, and other styles

47

DALLA, PREDA Mila. "Code obfuscation and malware detection by abstract interpretation." Doctoral thesis, Università degli Studi di Verona, 2007. http://hdl.handle.net/11562/337972.

Full text

Abstract:

Non disponibile<br>An obfuscating transformation aims at confusing a program in order to make it more difficult to understand while preserving its functionality. Software protection and malware detection are two major applications of code obfuscation. Software developers use code obfuscation in order to defend their programs against attacks to the intellectual property, usually called malicious host attacks. In fact, by making the programs more difficult to understand it is possible to obstruct malicious reverse engineering – a typical attack to the intellectual property of programs. On

APA, Harvard, Vancouver, ISO, and other styles

48

Pellitta, Giulio <1984&gt. "Extending Implicit Computational Complexity and Abstract Machines to Languages with Control." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2014. http://amsdottorato.unibo.it/6558/1/Pellitta_Giulio_tesi.pdf.

Full text

Abstract:

The Curry-Howard isomorphism is the idea that proofs in natural deduction can be put in correspondence with lambda terms in such a way that this correspondence is preserved by normalization. The concept can be extended from Intuitionistic Logic to other systems, such as Linear Logic. One of the nice conseguences of this isomorphism is that we can reason about functional programs with formal tools which are typical of proof systems: such analysis can also include quantitative qualities of programs, such as the number of steps it takes to terminate. Another is the possiblity to describe the exec

APA, Harvard, Vancouver, ISO, and other styles

49

Pellitta, Giulio <1984&gt. "Extending Implicit Computational Complexity and Abstract Machines to Languages with Control." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2014. http://amsdottorato.unibo.it/6558/.

Full text

Abstract:

The Curry-Howard isomorphism is the idea that proofs in natural deduction can be put in correspondence with lambda terms in such a way that this correspondence is preserved by normalization. The concept can be extended from Intuitionistic Logic to other systems, such as Linear Logic. One of the nice conseguences of this isomorphism is that we can reason about functional programs with formal tools which are typical of proof systems: such analysis can also include quantitative qualities of programs, such as the number of steps it takes to terminate. Another is the possiblity to describe the exec

APA, Harvard, Vancouver, ISO, and other styles

50

Sartori, Andreza. "Affective Analysis of Abstract Paintings Using Statistical Analysis and Art Theory." Doctoral thesis, University of Trento, 2015. http://eprints-phd.biblio.unitn.it/1439/1/sartori_andreza.pdf.

Full text

Abstract:

This research thesis aims to provide a novel approach to Emotion Recognition of Images: based on empirical studies, we employ the state-of-the-art computer vision techniques in order to understand what makes an abstract artwork emotional. We identify and quantify the emotional regions of abstract paintings. We also investigate the contributions of the main aspects present on abstract artworks (i.e., colour, shape and texture) to automatically predict emotional valence of them. By using eye-tracking recordings we investigate the link between the detected emotional content and the way people loo

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!