121,847 research outputs found
Epistemologia dell'Artificiale e Informatica Teorica
No full textIn questo articolo si discutono problemi di previsione e controllo del comportamento dei sistemi informatici alla luce degli sviluppi nel settore dei metodi formali in informatica teoric
The logic of identity and copy for computational artefacts
No full textDefining identity for entities is a long-standing logical problem in philosophy, and it has resurfaced in current investigations within the philosophy of technology. The problem has not yet been explored for the philosophy of information and of computer science in particular. This paper provides a logical analysis of identity and copy for computational artefacts. Identity is here understood as the relation holding between an instance of a computational artefact and itself. By contrast, the copy relation holds between two distinct computational artefacts. We distinguish among exact, inexact and approximate copies. We use process algebra to provide suitable formal definitions of these relations, using in particular the notion of bisimulation to define identity and exact copies, and simulation for inexact and approximate copies. Equivalence is unproblematic for identical computational artefacts at each individual time and for inexact copies; we will examine to which extent the formal constraints on identity criteria discussed in the literature are satisfied by our approach. As for inexact and approximate copy, they are intended as a weakening of the identity relation in that equivalence and other constraints on identity are violated. The proposed approach also suggests a computable treatment of identity and copy checking
The Philosophy of Computer Science
No full textThe philosophy of computer science is concerned with those ontological, methodological, and ethical issues that arise from within the academic discipline of computer science as well as from the practice of software development. Thus, the philosophy of computer science shares the same philosophical goals as the philosophy of mathematics and the many subfields of the philosophy of science, such as the philosophy of biology or the philosophy of the social sciences. The philosophy of computer science also considers the analysis of computational artifacts, that is, human-made computing systems, and it focuses on methods involved in the design, specification, programming, verification, implementation, and testing of those systems. The abstract nature of computer programs and the resulting complexity of implemented artifacts, coupled with the technological ambitions of computer science, ensures that many of the conceptual questions of the philosophy of computer science have analogues in the philosophy of mathematics, the philosophy of empirical sciences, and the philosophy of technology. Other issues characterize the philosophy of computer science only. We shall concentrate on three tightly related groups of topics that form the spine of the subject. First we discuss topics related to the ontological analysis of computational artifacts, in Sections 1-5 below. Second, we discuss topics involved in the methodology and epistemology of software development, in Sections 6-9 below. Third, we discuss ethical issues arising from computer science practice, in Section 10 below. Applications of computer science are briefly considered in section 11
Calculating the joint distribution of n batch delivery spans in a stochastic permutation flow shop
No full textEnvironmental exposure to ultrafine particles inside and nearby a military airport
No full textAirport activities can contribute to the emission of ultrafine particles (UFPs) in the environment. The aim of our study is to assess the airborne levels of UFPs in a military airport and in the surrounding area. Four outdoor air samplings were carried out inside a military airport during flight activities, twelve nearby the military airport, five in an urban area, and one in a rural area. We used a portable Electrical Low Pressure Impactor to detect the particle number size distribution as well as the number concentration. Particles were chemically analyzed by field emission scanning electron microscopy. Inside the military airport, we observed an inverse correlation with distance from flight activities. The median UFP count ranged 3.7 × 103 -2.9 × 104 particles/cm3, and the highest UFP count was 4.0 × 106 particles/cm3 (during the taxi and take-off activities). Nearby the airport, UFP number concentrations were more elevated in the winter season and we did not observe a correlation with flight activities. Our results show a constant presence of UFPs regardless of the flight activities nearby the airport. Other anthropic sources may generate UFP concentrations significantly higher than those generated by airport activitie
Topological defects in K3 sigma models
No full textWe consider the topological defect lines commuting with the spectral flow and the N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}\end{document} = (4, 4) superconformal symmetry in two dimensional non-linear sigma models on K3. By studying their fusion with boundary states, we derive a number of general results for the category of such defects. We argue that while for certain K3 models infinitely many simple defects, and even a continuum, can occur, at generic points in the moduli space the category is actually trivial, i.e. it is generated by the identity defect. Furthermore, we show that if a K3 model is at the attractor point for some BPS configuration of D-branes, then all topological defects have integral quantum dimension. We also conjecture that a continuum of topological defects arises if and only if the K3 model is a (possibly generalized) orbifold of a torus model. Finally, we test our general results in a couple of examples, where we provide a partial classification of the topological defects
A Multi-Language Comparison of Influences on Author Verification using Character N-Grams
No full textWe create a new multi-language corpus for author verification based on Wikipedia talkpages, and evaluate the influence that differences in topic and time have on character n-gram author profiles. Topic alignment between two texts is found to increase author verification precision, and an authors writing style is found to change over time, but not more significantly after 3 years than after 1 year.Information ArchitectureWISElectrical Engineering, Mathematics and Computer Scienc
Appropriate Similarity Measures for Author Cocitation Analysis
No full textWe provide a number of new insights into the methodological discussion about author cocitation analysis. We first argue that the use of the Pearson correlation for measuring the similarity between authors’ cocitation profiles is not very satisfactory. We then discuss what kind of similarity measures may be used as an alternative to the Pearson correlation. We consider three similarity measures in particular. One is the well-known cosine. The other two similarity measures have not been used before in the bibliometric literature. Finally, we show by means of an example that our findings have a high practical relevance.information science;Pearson correlation;cosine;similarity measure;author cocitation analysis
The vanishing author in computer-generated works: a critical analysis of recent Australian case law
No full textAbstract
The use of software is ubiquitous in the creation of many copyright works, yet the requirement in copyright law that every work have a human author who engages in independent intellectual effort means that its use may prevent copyright subsistence. Several recent Australian cases have refocused attention on authorship as an essential criterion of copyright subsistence, and these cases suggest that much computer-produced output may be authorless and thus lack copyright protection. This article, the first in a two-part series, analyses how each case deals with the question of authorship of computer-produced works and why the use of software diminishes copyright protection for a significant number of computer-generated works. The article critiques the application of conventional notions of human authorship developed in the pre-computer age to modern productions and suggests alternative approaches to authorship that satisfy both the major objectives of copyright policy and the need to adapt to the computer age. The article argues that, without a broader judicial approach to authorship of computer-generated works, Parliament must remedy the lacuna in protection for these ‘authorless’ works. Possible solutions for reform are suggested. In a forthcoming article, the author comprehensively examines those reform proposals
Diffusive author(s), cohesive author: Analysis of S/N (1994)
No full textThis study indicates the ways in which various aspects of the author(s) are brought forth in Dumb type’s performance art, the S/N production. Previous research has suggested a non-hierarchical organization of Dumb type and the absence of a “privileged author” in Dumb type’s collaborative work, S/N. However, the results that I have investigated from member’s interviews on the creative process of S/N along with my analysis of the recorded images of S/N, indicate a different aspect of the author(s). First, S/N was created through, so to speak, the collective ideas of the members of Dumb type. Further, S/N has at least nine quotations from previous performances, installations, and printed writings, besides the work-in-progress technique. Explicating one of the “author functions” as given by Michel Foucault, each text has plural subjects of the author. However, it has been revealed from members’ interviews that Teiji Furuhashi had a decision-making role in selecting the members’ ideas within the performance. Since then, S/N has had plural subjects of creation; however, Furuhashi is one of the subjects of creation along with the “privileged author.” S/N has plural authors (diffusive authors) yet at the same time, it has a “privileged author,” Teiji Furuhashi (cohesive author)
- …
