Search results for "computer.programming_language"
showing 10 items of 986 documents
OWL Orthogonal Extension
2012
It is critical for knowledge bases to capture the reality in direct and intuitive way. OWL ontology language was designed for this goal. In this paper we study the limitations of the OWL open world semantics for the task of knowledge capture and retrieval. We propose a new mechanism based on the closed world semantics that alleviates part of the limitations. Further we describe a system where both OWL and the new mechanisms interoperate together. Finally, we outline some immediate applications and further research directions.
An academic performance indicator using flexible multi-criteria methods
2021
Composite indicators are a very useful tool for conveying summary information on the overall performance of institutions and facilitating decision-making. Increasingly, there is a demand for indicators that allow performance to be assessed after the implementation of a strategy. This has several difficulties, and in this paper, we address three of them: how to evaluate at different points in time, how to estimate the weighting of the criteria and how to normalize the data. Our proposal is based on multicriteria techniques, using a recent method, uwTOPSIS, and is applied to data collected from 2975 students enrolled in the first year of science and engineering at the Industrial University of…
A systematic approach to deriving incremental type checkers
2020
Static typing can guide programmers if feedback is immediate. Therefore, all major IDEs incrementalize type checking in some way. However, prior approaches to incremental type checking are often specialized and hard to transfer to new type systems. In this paper, we propose a systematic approach for deriving incremental type checkers from textbook-style type system specifications. Our approach is based on compiling inference rules to Datalog, a carefully limited logic programming language for which incremental solvers exist. The key contribution of this paper is to discover an encoding of the infinite typing relation as a finite Datalog relation in a way that yields efficient incremental up…
Kreatywność jako czynnik rozwoju obszarów wiejskich na przykładzie województwa opolskiego
2018
W opracowaniu przedstawiono znaczenie i wpływ kreatywności oraz innowacyjności na rozwój obszarów wiejskich. Zdefiniowano pojęcie kreatywności i sektorów kreatywnych, wskazano działania w zakresie rozwoju kreatywności i aktywizacji mieszkańców obszarów wiejskich. Określono wpływ działalności pozarolniczej na jakość życia ludności wiejskiej oraz przedstawiono przykłady aktywizacji i różnych działań kreatywnych będących formą przedsięwzięć innowacyjnych na obszarach wiejskich województwa opolskiego.
Comparative Decadence? Male Queerness in Late Nineteenth- and Late Twentieth-Century Fiction
2018
Emig’s chapter compares Oscar Wilde’s The Picture of Dorian Gray and Alan Hollinghurst’s The Swimming-Pool Library. After outlining the different historical contexts of queer masculinity in the novels, it points out parallels, such as its legal repression in late Victorianism and at the time of the AIDS crisis under Thatcher. Wilde’s novel provokes with homoerotic longing, Hollinghurst’s with pornographic depictions of gay sex. Both texts are decadent fantasies, yet also criticise double standards of hegemonic masculinity and heteronormativity. Hollinghurst’s novel further exposes its Wildean subtext as class-ridden and colonial. In addition, the scandalous male as narcissistic consumer of …
Optimal design of incoherent tunable-frequency structured illumination microscope scheme
2018
Structured illumination microscopy (SIM) improves resolution and optical sectioning capability compared to conventional widefield techniques. The main idea of this method is the illumination of the sample with a structured pattern of fixed spatial modulation frequency. Previously, a Fresnel biprism has been implemented in a structured illumination (SI) device providing tunable-frequency sinusoidal patterns. However, the use of this SI system introduces a tradeoff between the visibility and field of view of the illumination fringes. In this contribution, we analyze theoretically this tradeoff and propose the optimal design for the Fresnel biprism-based SIM system.
Traffic simulation models calibration using speed–density relationship: An automated procedure based on genetic algorithm
2016
Calibration of traffic models.Calibration as optimization problem.Use of genetic algorithm. This paper presents the first results of a research which applied a genetic algorithm to calibrate a microscopic traffic simulation model based on speed-density relationships. A large set of traffic data collected from the A22 Freeway, Italy, was used and a comparison was performed between the field measurements and the simulation outputs obtained for a test freeway segment by using the Aimsun microscopic simulator.The calibration was formulated as an optimization problem to be solved based on a genetic algorithm; the objective function was defined in order to minimize the differences between the sim…
Effect of heating of organo-montmorillonites under different atmospheres
2009
Abstract We studied the influence of heating on the behaviour of two organo-montmorillonites paying particular attention to the possible degradation effects of the organic modifier under different atmospheres. Hoffmann elimination and anucleophilic substitution on the nitrogen led to rapid degradation of the modifier. As confirmed by deconvoluted FTIR spectra, the presence of oxygen accelerated the degradation rate. The degradation products of the modifier (α-olefins transforming into various carboxyl compounds if oxygen is present) initially increased the basal spacing, followed by a collapse of the particle layers when the decomposition products migrated toward the surface and eventually …
Overview and performance comparison of grid synchronization algorithms
2014
Distributed power generation units are experiencing an impressive growth. Consequently, the amount of energy injected by non-linear loads as power converters is expected to increase. Stability and quality of the overall grid are heavily affected by performances of grid-side converters. In this paper, an overview of grid-synchronization technique is proposed. The grid-side inverter is implemented in MATLAB/Simulink® environment including current control and grid-synchronization section. Both Synchronous Reference Frame (SRF) and Decoupled Double Synchronous Reference Frame (DDSRF) PLL algorithms are implemented. A performance comparison is carried out under ideal and unbalanced utility condi…