ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • Artikel  (10.711)
  • Artikel: DFG Deutsche Nationallizenzen  (10.711)
  • Springer  (10.711)
  • 1995-1999  (5.893)
  • 1990-1994  (4.818)
  • Geographie  (4.580)
  • Philosophie  (3.720)
  • Wissenschaftskunde und Wissenschaftsorganisation, Hochschul- und Universitätswesen, Museumswissenschaft  (2.662)
Sammlung
  • Artikel  (10.711)
Datenquelle
Erscheinungszeitraum
Jahr
Thema
  • 1
    Digitale Medien
    Digitale Medien
    Springer
    Journal of geographical systems 1 (1999), S. 277-303 
    ISSN: 1435-5949
    Schlagwort(e): Key words: Higher education ; geodemographics ; participation rates ; JEL classification: C80 ; I21 ; I28 ; J11
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Geographie
    Notizen: Abstract. Higher education in England has expanded rapidly in the last ten years with the result that currently more than 30% of young people go on to university. Expansion is likely to continue following the recommendations of a national committee of inquiry (the Dearing Committee). The participation rate is known to vary substantially among social groups and between geographical areas. In this paper the participation rate is calculated using a new measure, the Young Entrants Index (YEI), and the extent of variation by region, gender and residential neighbourhood type established. The Super Profiles geodemographic system is used to facilitate the latter. This is shown to be a powerful discriminator and to offer great potential as an alternative analytical approach to the conventional social class categories, based on parental occupation, that have formed the basis of most participation studies to date.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    Digitale Medien
    Digitale Medien
    Springer
    Journal of geographical systems 1 (1999), S. 305-321 
    ISSN: 1435-5949
    Schlagwort(e): Key words: GIS, urban systems model, land use – transportation model, traffic analysis zone ; JEL classification: R11, R14, R41
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Geographie
    Notizen: Abstract. The main purpose of this paper is to explore a possible integration for the entire transportation modeling procedure – from data inventory to future demand forecasting – by implementing integrated land use and transportation models with a geographic information system (GIS). In order to make an integrated, procedural modeling system possible, Land Use and Transportation modeling system with GIS (LUTGIS) has been developed and presented in this paper.  There are four sub-systems in LUTGIS: (1) a data inventory system, (2) a traffic analysis zone generation system, (3) an integrated land use and transportation modeling system, and (4) a graphic user interface (GUI) system. Since the main target of this paper is to explore a possible way to create a viable system, LUTGIS integrates currently available and user-friendly computing technologies. For both transportation planners and administrative decision-makers, such an operable system is very desirable for sharing information so they may arrive at a consensus through the use of LUTGIS, an integrated land use and transportation modeling system.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    Digitale Medien
    Digitale Medien
    Springer
    Papers in regional science 78 (1999), S. 21-45 
    ISSN: 1435-5957
    Schlagwort(e): JEL classification: C52, R10, R12, R14, R39 ; Key words:New economic geography, spatial statistics, spatial modeling, methodology
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Geographie , Wirtschaftswissenschaften
    Notizen: Abstract. Krugman states that “Regional science is not a unified subject. It is best described as a collection of tools.” Unfortunately such a perspective fails to fully acknowledge theoretical dimensions of the accompanying refocusing on geographic expressions of economic linkages, such as those highlighted in spatial externalities specifications. Such promulgated aspects of the spatial economic landscape relate to map pattern, and certainly the spatial statistics and spatial econometrics theory that accompanies it, as well as the underlying substantive theory garnered from a variety of sources. The principal implication is other than “loose- jointed, do-the-best-you-can theorizing”.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    Digitale Medien
    Digitale Medien
    Springer
    Papers in regional science 78 (1999), S. 111-116 
    ISSN: 1435-5957
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Geographie , Wirtschaftswissenschaften
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    Digitale Medien
    Digitale Medien
    Springer
    Papers in regional science 78 (1999), S. 117-118 
    ISSN: 1435-5957
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Geographie , Wirtschaftswissenschaften
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    Digitale Medien
    Digitale Medien
    Springer
    Papers in regional science 78 (1999), S. 157-177 
    ISSN: 1435-5957
    Schlagwort(e): JEL classification: R1, R12 ; Key words:Central place theory, choice rules, generalised Voronoi diagrams, market areas
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Geographie , Wirtschaftswissenschaften
    Notizen: Abstract. Although a variety of modifications of classical central place theory has been proposed, one area that remains unexplored is the effect of relaxing the nearest centre assumption for the purchase of a specified basket of goods within a given hierarchical level. This article examines the effect of such a relaxation on central place market areas by using higher-order Voronoi diagrams. When used to model market areas, higher-order Voronoi diagrams can be interpreted as overlapping and probabilistic regions. These diagrams construct market areas based on the assumption that consumers choose from a set of $k (k = 1, 2, \ldots, n)$ nearest centres of the same hierarchical level. If consumers are assumed to be indifferent between the k centres, the appropriate market areas are given by the order-k Voronoi diagram. In this case, it is shown that sales potentials are consistent with those that result when the nearest centre assumption is in effect. If consumers are assumed to have a preference for nearer centres, market areas are defined by the ordered, order-k Voronoi diagram. This situation generates sales potentials which can vary between centres.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 7
    Digitale Medien
    Digitale Medien
    Springer
    Stochastic environmental research and risk assessment 13 (1999), S. 1-26 
    ISSN: 1436-3259
    Schlagwort(e): Key words: Spatiotemporal ; stochastic ; mapping ; Bayes ; entropy ; computational approach ; physical knowledge bases ; epistemology.
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Architektur, Bauingenieurwesen, Vermessung , Energietechnik , Geographie , Geologie und Paläontologie
    Notizen: Abstract This paper is concerned with a computational formulation of the Bayesian maximum entropy (BME) mapping method, which can handle rigorously and efficiently spatiotemporal applications of considerable practical importance. BME is a method of modern geostatistics that can integrate and process physical knowledge that belongs to two major bases: general knowledge (i.e., obtained from general principles and laws, summary statistics and background information), and specificatory knowledge (i.e., obtained through experience with the specific situation). BME allows considerable flexibility regarding the choice of an appropriate spatiotemporal map, offers a complete assessment of the mapping uncertainty and contributes to the scientific understanding of the underlying natural phenomenon. Valuable insight is gained by studying a spatiotemporal data set representing water-level elevations at the Equus Beds aquifer (Kansas). Numerical results show that, as was expected in theory, classical geostatistics analysis is obtained as a special case of the considerably more general BME approach. Moreover, modern geostatistical analysis in terms of BME offers more accurate and informative results in practice, by incorporating various sources of physical knowledge that cannot be processed by the classical methods.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 8
    Digitale Medien
    Digitale Medien
    Springer
    Stochastic environmental research and risk assessment 13 (1999), S. 27-47 
    ISSN: 1436-3259
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Architektur, Bauingenieurwesen, Vermessung , Energietechnik , Geographie , Geologie und Paläontologie
    Notizen: Abstract Stochastic environmental risk assessment considers the effects of numerous biological, chemical, physical, behavioral and physiological processes that involve elements of uncertainty and variability. A methodology for predicting health risks to individuals from contaminated groundwater is presented that incorporates the elements of uncertainty and variability in geological heterogeneity, physiological exposure parameters, and in cancer potency. An idealized groundwater basin is used to perform a parametric sensitivity study to assess the relative impact of (a) geologic uncertainty, (b) behavioral and physiological variability in human exposure and (c) uncertainty in cancer potency on the prediction of increased cancer risk to individuals in a population exposed to contaminants in household water supplied from groundwater. A two-dimensional distribution (or surface) of human health risk was generated as a result of the simulations. Cuts in this surface (fractiles of variability and percentiles of uncertainty) are then used as a measure of relative importance of various model components on total uncertainty and variability. A case study for perchloroethylene or PCE, shows that uncertainty and variability in hydraulic conductivity play an important role in predicting human health risk that is on the same order of influence as uncertainty of cancer potency.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 9
    Digitale Medien
    Digitale Medien
    Springer
    Stochastic environmental research and risk assessment 13 (1999), S. 66-84 
    ISSN: 1436-3259
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Architektur, Bauingenieurwesen, Vermessung , Energietechnik , Geographie , Geologie und Paläontologie
    Notizen: Abstract Velocity variability at scales smaller than the size of a solute plume enhances the rate of spreading of the plume around its center of mass. Macroscopically, the rate of spreading can be quantified through macrodispersion coefficients, the determination of which has been the subject of stochastic theories. This work compares the results of a volume-averaging approach with those of the advection dominated large-time small-perturbation theory of Dagan [1982] and Gelhar and Axness [1983]. Consider transport of an ideal tracer in a porous medium with deterministic periodic velocity. Using the Taylor-Aris-Brenner method of moments, it has been previously demonstrated [Kitanidis, 1992] that when the plume spreads over an area much larger than the period, the volume-averaged concentration satisfies the advection-dispersion equation with constant coefficients that can be computed. Here, the volume-averaging analysis is extended to the case of stationary random velocities. Additionally, a perturbation method is applied to obtain explicit solutions for small-fluctuation cases, and the results are compared with those of the stochastic macrodispersion theory. It is shown that the method of moments, which uses spatial averaging, for sufficiently large volumes of averaging yields the same result as the stochastic theory, which is based on ensemble averaging. The result is of theoretical but also practical significance because the volume-averaging approach provides a potentially efficient way to compute macrodispersion coefficients. The method is applied to a simplified representation of the Borden aquifer.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 10
    Digitale Medien
    Digitale Medien
    Springer
    Stochastic environmental research and risk assessment 13 (1999), S. 85-99 
    ISSN: 1436-3259
    Schlagwort(e): Key words: Hydraulic diffusivity ; groundwater ; spectral analysis ; stochastic boundaries.
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Architektur, Bauingenieurwesen, Vermessung , Energietechnik , Geographie , Geologie und Paläontologie
    Notizen: Abstract: This study uses the cyclical frequency to develop the mathematical relationship between hydraulic diffusivity and spectral density functions calculated from groundwater level variation. Such relationship can be applied to (1) unsteady state, one-dimensional confined aquifer with time-dependent water level on both end boundaries, and (2) linearized unconfined aquifer with or without vertical recharge. The spectral density functions of groundwater fluctuations are largely affected by the spectral density functions obtained from time-dependent end boundaries and their cross-spectral density functions. Hydraulic diffusivity of an aquifer can be solved by type-curve matching technique at a specified frequency band under the conditions of (1) confined aquifer having equal time-dependent boundaries on both ends, (2) unconfined aquifer having equal time-dependent boundaries on both ends with surface recharge, and (3) unconfined aquifer subjected to surface recharge but neglecting the water table fluctuations on both end boundaries.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 11
    Digitale Medien
    Digitale Medien
    Springer
    Stochastic environmental research and risk assessment 13 (1999), S. 113-130 
    ISSN: 1436-3259
    Schlagwort(e): Key words: Climatology ; meso-scale convective systems ; classification ; anisotropy ; intermittency ; ergodicity ; upscaling ; level sets.
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Architektur, Bauingenieurwesen, Vermessung , Energietechnik , Geographie , Geologie und Paläontologie
    Notizen: Abstract: The meta-Gaussian model is fitted to a set of 258 sahelian rainfields. The hypotheses underlying this model are discussed with a special emphasis on its ergodic properties, the scale of the phenomenon and the scale of observation. Then the ability of this model to reproduce some observed features, in particular upscaling properties, is checked from a distributional point of view. Finally, some simple properties of the thresholds which are linked to the area threshold method are described.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 12
    Digitale Medien
    Digitale Medien
    Springer
    Stochastic environmental research and risk assessment 13 (1999), S. 100-112 
    ISSN: 1436-3259
    Schlagwort(e): Key words: Geostatistic ; Gaussian random functions ; anamorphosis ; intermittency ; discontinuous c.d.f ; valid covariance ; internal consistency.
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Architektur, Bauingenieurwesen, Vermessung , Energietechnik , Geographie , Geologie und Paläontologie
    Notizen: Abstract: For the purpose of numerically studying sahelian storm rainfields, a family of random functions is described with a characterization of its finite dimensional law. Some problems appearing when fitting its functional parameters are put forward and two solutions to bypass those problems are provided, according to the regularity properties of the marginal cumulative distribution function. An illustration of this method is implemented on a set of sahelian rainfields of event accumulation displaying a strong spatial intermittency.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 13
    Digitale Medien
    Digitale Medien
    Springer
    Stochastic environmental research and risk assessment 13 (1999), S. 365-379 
    ISSN: 1436-3259
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Architektur, Bauingenieurwesen, Vermessung , Energietechnik , Geographie , Geologie und Paläontologie
    Notizen: Abstract. Conceptual model selection is a key issue in risk assessment studies. We analyze the effect of a number of conceptual aspects related to solute transport in two-dimensional heterogeneous media. The main issues addressed are non-ergodicity, anisotropy in the correlation structure of the transmissivity field, and dispersion at the local scale. In particular, we study the development of a solute plume when mean flow is oriented at an angle with respect to the principal directions of anisotropy. The study is carried out in a Lagrangian framework using Monte Carlo analysis. Of special interest is the evolution of individual plumes. A number of aspects are analyzed, namely the location of the center of mass for each plume and the different ways to compute the angles that the main axes of the plume develop with respect to the direction of the mean flow. Stochastic theories based upon ergodicity conclude that the plume gets oriented in the mean flow direction. In our non-ergodic simulations, the mean of the offset angles, for each individual plume in each particular realization, is offset from the mean flow direction towards the direction of maximum anisotropy. If, instead, the analysis is performed on the ensemble plume (superposition of all different simulations), it is then found oriented closer to the direction of the mean flow than the average offset angle for the different plumes considered separately. This last result adds an extra word of caution to the use of ensemble averaged values in solute transport studies. Serious implications for risk assessment follow from the conceptual model adopted. First, in any single realization there will a large uncertainty in locating the plume at any given time; second, real dilution would be less than what would be expected if the macrodispersion values obtained for ergodic conditions were applied; third, the volume that is affected by a non-zero concentration is smaller than that predicted from macrodispersion concepts; fourth, the orientation of the plume does not correspond to that of the mean flow; and fifth, accounting for local dispersion helps reducing uncertainty.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 14
    Digitale Medien
    Digitale Medien
    Springer
    Stochastic environmental research and risk assessment 13 (1999), S. 396-415 
    ISSN: 1436-3259
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Architektur, Bauingenieurwesen, Vermessung , Energietechnik , Geographie , Geologie und Paläontologie
    Notizen: Abstract. We analyze the movement of a solute cloud in a saturated aquifer, resulting from a point-like instantaneous solute injection. Physical heterogeneities of the medium due to spatial variations of the hydraulic conductivity, as well as the chemical heterogeneities due to variations in the linear adsorption coefficient and the degradation rate, are modeled as spatial stochastic processes with exponential autocorrelation functions. Furthermore, cross-correlations between the chemical properties and the conductivity are taken into account. For large transport times, the movement of the solute cloud is characterized by its center-of-mass velocity, by the macroscopic dispersion constant, and the macroscopic degradation rate. These quantities are evaluated using perturbation theory and two different averaging procedures. The first procedure derives the large-scale properties from the central moments of the concentration distribution in a given aquifer realization, and averages over the ensemble afterwards. The second method which is mathematically less demanding obtains large scale transport coefficients from the central moments of the ensemble-averaged concentration distribution. Under the assumption that both prescriptions lead to the same macro-scale quantities, the second approach is usually preferred in literature. The present paper is an extension of the work of Metzger et al. (1996). We show that the two averaging procedures lead to different results in one-dimensional systems, whereas the difference vanishes for higher dimensions. Taking into account the influence of small scale dispersion, we give explicit results for the macroscopic parameters characterizing the solute plume. We analyze the various contributions to these parameters and show how the physical origin of these contributions can be traced back uniquely to fluctuations in the retardation factor, in the flow field, and in the degradation rate, and to the cross-correlations between these inhomogeneities, respectively.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 15
    Digitale Medien
    Digitale Medien
    Springer
    Stochastic environmental research and risk assessment 13 (1999), S. 416-435 
    ISSN: 1436-3259
    Schlagwort(e): Key words: Sequential linear estimator, successive linear estimator, conditional covariance, interpolation with large data sets.
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Architektur, Bauingenieurwesen, Vermessung , Energietechnik , Geographie , Geologie und Paläontologie
    Notizen: Abstract. A sequential linear estimator is developed in this study to progressively incorporate new or different spatial data sets into the estimation. It begins with a classical linear estimator (i.e., kriging or cokriging) to estimate means conditioned to a given observed data set. When an additional data set becomes available, the sequential estimator improves the previous estimate by using linearly weighted sums of differences between the new data set and previous estimates at sample locations. Like the classical linear estimator, the weights used in the sequential linear estimator are derived from a system of equations that contains covariances and cross-covariances between sample locations and the location where the estimate is to be made. However, the covariances and cross-covariances are conditioned upon the previous data sets. The sequential estimator is shown to produce the best, unbiased linear estimate, and to provide the same estimates and variances as classic simple kriging or cokriging with the simultaneous use of the entire data set. However, by using data sets sequentially, this new algorithm alleviates numerical difficulties associated with the classical kriging or cokriging techniques when a large amount of data are used. It also provides a new way to incorporate additional information into a previous estimation.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 16
    Digitale Medien
    Digitale Medien
    Springer
    Stochastic environmental research and risk assessment 13 (1999), S. 48-65 
    ISSN: 1436-3259
    Schlagwort(e): Key words: Excess relative risk model ; two-stage model ; Poisson random variable
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Architektur, Bauingenieurwesen, Vermessung , Energietechnik , Geographie , Geologie und Paläontologie
    Notizen: Abstract Several manuscripts have been published which implement regression methods or stochastic processes methodology to model the incidence of a variety of cancers obtained via epidemiologic studies of radiation exposure. Cancer incidence data obtained from the Life Span Study (LSS) cohort have been of particular interest due to the extensive amount of information available from numerous years of follow-up of the Japanese A-bomb survivors. Conventional methods of exploring goodness-of-fit within each model class have indicated that both types adequately fit the data, but the model predicted curves for excess relative risk (ERR) and excess absolute risk (EAR) can vary dramatically. A simulation study is carried out to compare and contrast an excess relative risk regression model to a stochastic two-stage cancer model to determine the extent of the model predicted risk differences and why they occur.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 17
    Digitale Medien
    Digitale Medien
    Springer
    Journal of geographical systems 1 (1999), S. 1-2 
    ISSN: 1435-5949
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Geographie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 18
    Digitale Medien
    Digitale Medien
    Springer
    Journal of geographical systems 1 (1999), S. 3-22 
    ISSN: 1435-5949
    Schlagwort(e): Key words: Classification ; neural networks ; G15 ; JEL classification: C88 ; C63 ; C45 ; C44
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Geographie
    Notizen: Abstract. Neural Networks are now established computational tools used for search minimisation and data classification. They offer some highly desirable features for landuse classification problems since they are able to take in a variety of data types, recorded on different statistical scales, and combine them. As such, neural networks should offer advantages of increased accuracy. However, a barrier to their general acceptance and use by all but `experts' is the difficulty of configuring the network initially.  This paper describes the architectural problems of applying neural networks to landcover classification exercises in geography and details some of the latest developments from an ongoing research project aimed at overcoming these problems. A comprehensive strategy for the configuration of neural networks is presented, whereby the network is automatically constructed by a process involving initial analysis of the training data. By careful study of the functioning of each part of the network it is possible to select the architecture and initial weights on the node connections so the constructed network is `right first time'. Further adaptations are described to control network behaviour, to optimise functioning from the perspective of landcover classification. The entire configuration process is encapsulated by a single application which may be treated by the user as a `black box', allowing the network to the applied in much the same way as a maximum likelihood classifier, with no further effort being required of the user.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 19
    Digitale Medien
    Digitale Medien
    Springer
    Journal of geographical systems 1 (1999), S. 37-60 
    ISSN: 1435-5949
    Schlagwort(e): Key words: Computational intelligence ; glacier hydrology ; genetic programming ; neural networks ; fuzzy logic ; self-organizing map ; JEL classification: C61 ; C63 ; C80
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Geographie
    Notizen: Abstract. Measurements of water pressure beneath Trapridge Glacier, Yukon Territory, Canada show that the basal water system is highly heterogeneous. Three types of behaviour were recorded: pressure records which are strongly correlated, records which are strongly anticorrelated, and records which alternate between strong correlation and strong anticorrelation. We take the pressure in bore-holes that are connected to the evacuation route for basal water as the forcing, and the other pressures as the response to this forcing. Previous work (Murray and Clarke 1995) has shown that these relationships can be modelled using low-order nonlinear differential equations optimized by inversion. However, despite optimizing the model parameters we cannot be sure that the final model forms are themselves optimal. Computational intelligence techniques provide alternative methods for fitting models and are robust to missing or noisy data, applicable to non-smooth models, and attempt to derive optimal model forms as well as optimal model parameters. Four computational intelligence techniques have been used and the results compared with the more conventional mathematical model. These methods were genetic programming, artificial neural networks, fuzzy logic and self-organizing maps. We compare each technique and offer an evaluation of their suitability for modelling the pressure data. The evaluation criteria are threefold: (1) goodness of fit and an ability to predict subsequent data under different surface weather conditions; (2) interpretability, and the extent and significance of any new insights offered into the physics of the glacier; (3) computation time. The results suggest that the suitability of the computational intelligence techniques to model these data increases with the complexity of the system to be modelled.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 20
    Digitale Medien
    Digitale Medien
    Springer
    Journal of geographical systems 1 (1999), S. 107-136 
    ISSN: 1435-5949
    Schlagwort(e): Key words: Statistical analysis ; spatial objects ; surface ; distribution ; JEL classification: C12 ; C14 ; C69
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Geographie
    Notizen: Abstract. This paper develops statistical methods for analyzing the distribution of spatial objects—points, convex polygons, and line segments—in relation to a surface. We propose statistics for measuring the relationship between the distribution of these objects and a surface and derive their expectations and variances under the null hypothesis that the objects are independently and randomly distributed. The statistics are approximately distributed according to the normal distribution under the null hypothesis, which enables us to test the significance of the spatial relationships statistically. Using the proposed methods, we empirically analyze the distribution of convenience stores in relation to the distribution of population in a suburb of Osaka, Japan. Some empirical findings are shown.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 21
    Digitale Medien
    Digitale Medien
    Springer
    Journal of geographical systems 1 (1999), S. 23-35 
    ISSN: 1435-5949
    Schlagwort(e): Key words: Remote sensing ; fuzzi classification ; boundaries ; neural network ; JEL classification: C45 ; Q24 ; Q20
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Geographie
    Notizen: Abstract. Remote sensing is the only feasible means of mapping and monitoring land cover at regional to global scales. Unfortunately the maps are generally derived through the use of a conventional 'hard' classification algorithm and depict classes separated by sharp boundaries. Such approaches and representations are often inappropriate particularly when the land cover being represented may be considered to be fuzzy. The definition of boundaries between classes can therefore be difficult from remotely sensed data, particularly for continuous land cover classes which are separated by a fuzzy boundary which may also vary spatially in time. In this paper a neural network was used to derive fuzzy classifications of land cover along a transect crossing the transition from moist semi-deciduous forest to savanna in West Africa in February and December 1990. The fuzzy classifications revealed both sharp and gradual boundaries between classes located along the transect. In particular, the fuzzy classifications enabled the definition of important boundary properties, such as width and temporal displacement.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 22
    Digitale Medien
    Digitale Medien
    Springer
    Papers in regional science 78 (1999), S. 243-263 
    ISSN: 1435-5957
    Schlagwort(e): JEL classification: R41 ; Key words:Logistics cost, consumer demand, retail establishment density, terminal, demand-supply interaction
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Geographie , Wirtschaftswissenschaften
    Notizen: Abstract. This article develops models to formulate the optimal density of retail establishments by considering interactions between logistics cost and consumer demand. Commodities are assumed to be distributed from a depot directly or through single intermediate terminal to many retail establishments. Average logistic cost per item, consumer demand, and the interrelationship between them are analyzed. The optimal density of retail establishments and local terminals are determined by minimizing average logistic cost, or maximizing total supply subject to the demand-supply equality. The envelope curves for the optimal configuration strategies corresponding to different values of total market area and terminal cost are derived.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 23
    Digitale Medien
    Digitale Medien
    Springer
    Papers in regional science 78 (1999), S. 297-318 
    ISSN: 1435-5957
    Schlagwort(e): JEL classification: R11 ; Key words:Information sector, specialization, city types
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Geographie , Wirtschaftswissenschaften
    Notizen: Abstract. The national economy is split into four broad sectors. The observed variation in long-term growth among sectors leads to a shift in the composition of aggregate demand. I test Henderson's propositions, namely that secular shifts in the composition of national demand lead to changes in the numbers and sizes of different types of urban places. The numbers and sizes of places specialized in the information sector has increased while the numbers and sizes of places specialized in manufacturing has decreased or has not changed. Metropolitan population growth and per capita earnings growth are enhanced by specialization in the information sector.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 24
    Digitale Medien
    Digitale Medien
    Springer
    Journal of geographical systems 1 (1999), S. 137-153 
    ISSN: 1435-5949
    Schlagwort(e): Key words: Geographic information systems ; land use allocation ; generalized assignment problem ; multiobjective analysis ; JEL classification: Q15 ; Q24 ; R14 ; R52
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Geographie
    Notizen: Abstract. As geographic information systems (GIS) have moved from information storage and retrieval operations towards more decision support functions, there is a need for more integration of spatial analytical modules that can assist in locational decisions. This paper presents a methodology for coupling land use allocation models with a raster GIS. For raster systems, the integration of any decision module has been limited by the size of raster datasets that may contain hundreds of thousands of pixels. Therefore, decision heuristics have been used rather than exact methods such as mathematical programming models. For the problem of land use allocation, the special structure of the generalized assignment problem is used here to handle large scale datasets. The advantage of the mathematical programming approach is the additional information associated with the dual variables and opportunity costs that can be used in subsequent sensitivity analyses.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 25
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 62 (1999), S. 269-282 
    ISSN: 1572-8730
    Schlagwort(e): duality theory in modal logic ; modal algebras ; generated frames ; subdirect irreducibility
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract The duality between general frames and modal algebras allows to transfer a problem about the relational (Kripke) semantics into algebraic terms, and conversely. We here deal with the conjecture: the modal algebra A is subdirectly irreducible (s.i.) if and only if the dual frame A* is generated. We show that it is false in general, and that it becomes true under some mild assumptions, which include the finite case and the case of K4. We also prove that a Kripke frame F is generated if and only if the dual algebra F* is s.i. The technical result is that A is s.i. when the set of points which generate the dual frame A* is not of zero measure.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 26
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 62 (1999), S. 283-289 
    ISSN: 1572-8730
    Schlagwort(e): Monotone functionals ; monotone majorizable functionals ; hereditarily majorizable functionals ; simply typed lambda-calculus ; extensionality ; Dialectica interpretation
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract Several properties of monotone functionals (MF) and monotone majorizable functionals (MMF) used in the earlier work by the author and van de Pol are proved. It turns out that the terms of the simply typed lambda-calculus define MF, but adding primitive recursion, and even monotonic primitive recursion changes the situation: already λZ.Z(1 — sg) is not MMF. It is proved that extensionality is not Dialectica-realizable by MMF, and a simple example of a MF which is not hereditarily majorizable is given.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 27
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 62 (1999), S. 305-314 
    ISSN: 1572-8730
    Schlagwort(e): intuitionism ; Brouwerian counter examples ; continuum ; creating subject
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract The original Brouwerian counter examples were algorithmic in nature; after the introduction of choice sequences, Brouwer devised a version which did not depend on algorithms. This is the origin of the ‘creating subject’ technique. The method allowed stronger refutations of classical principles. Here it is used to show that ‘negative dense’ subsets of the continuum are indecomposable.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 28
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 62 (1999), S. 117-120 
    ISSN: 1572-8730
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 29
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 62 (1999), S. 291-303 
    ISSN: 1572-8730
    Schlagwort(e): sequent calculus ; normal deduction ; cutfree deduction ; complete discharge convention
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract The paper discusses the relationship between normal natural deductions and cutfree proofs in Gentzen (sequent) calculi in the absence of term labeling. For Gentzen calculi this is the usual version; for natural deduction this is the version under the complete discharge convention, where open assumptions are always discharged as soon as possible. The paper supplements work by Mints, Pinto, Dyckhoff, and Schwichtenberg on the labeled calculi.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 30
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 62 (1999), S. 341-352 
    ISSN: 1572-8730
    Schlagwort(e): Basic Predicate Logic ; Intuitionistic Predicate Logic ; translation
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract Basic Predicate Logic, BQC, is a proper subsystem of Intuitionistic Predicate Logic, IQC. For every formula ϕ in the language {∨, ∧, →, ⊤, ⊥, ∀, ∃}, we associate two sequences of formulas 〈ϕ0,ϕ1,...〉 and 〈ϕ0,ϕ1,...〉 in the same language. We prove that for every sequent ϕ ⇒ ψ, there are natural numbers m, n, such that IQC ⊢ ϕ ⇒ ψ, iff BQC ⊢ ϕn ⇒ ψm. Some applications of this translation are mentioned.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 31
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 62 (1999), S. 353-370 
    ISSN: 1572-8730
    Schlagwort(e): truth ; satisfaction class ; cut elimination
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract Some axiomatic theories of truth and related subsystems of second-order arithmetic are surveyed and shown to be conservative over their respective base theory. In particular, it is shown by purely finitistically means that the theory PA ÷ "there is a satisfaction class" and the theory FS↾ of [2] are conservative over PA.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 32
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 62 (1999), S. 315-340 
    ISSN: 1572-8730
    Schlagwort(e): generalized quantifier ; finite model theory
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract We prove some results about the limitations of the expressive power of quantifiers on finite structures. We define the concept of a bounded quantifier and prove that every relativizing quantifier which is bounded is already first-order definable (Theorem 3.8). We weaken the concept of congruence closed (see [6]) to weakly congruence closed by restricting to congruence relations where all classes have the same size. Adapting the concept of a thin quantifier (Caicedo [1]) to the framework of finite structures, we define the concept of a meager quantifier. We show that no proper extension of first-order logic by means of meager quantifiers is weakly congruence closed (Theorem 4.9). We prove the failure of the full congruence closure property for logics which extend first-order logic by means of meager quantifiers, arbitrary monadic quantifiers, and the Härtig quantifier (Theorem 6.1).
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 33
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 62 (1999), S. 371-398 
    ISSN: 1572-8730
    Schlagwort(e): Kripke frames ; p-morphisms ; axiomatizations ; covers
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract We define the concepts of minimal p-morphic image and basic p-morphism for transitive Kripke frames. These concepts are used to determine effectively the least number of variables necessary to axiomatize a tabular extension of K4, and to describe the covers and co-covers of such a logic in the lattice of the extensions of K4.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 34
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 62 (1999), S. 429-448 
    ISSN: 1572-8730
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 35
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 62 (1999), S. 449-451 
    ISSN: 1572-8730
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 36
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 63 (1999), S. 27-48 
    ISSN: 1572-8730
    Schlagwort(e): Proof-Theory ; Probability Logic ; metric between sentences and systems ; characteristic formula of a modal sequent
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract This paper is the first of a series of three articles that present the syntactic proof of the PA-completeness of the modal system G, by introducing suitable proof-theoretic objects, which also have an independent interest. We start from the syntactic PA-completeness of modal system GL-LIN, previously obtained in [7], [8], and so we assume to be working on modal sequents S which are GL-LIN-theorems. If S is not a G-theorem we define here a notion of syntactic metric d(S, G): we calculate a canonical characteristic fomula H of S (char(S)) so that ⊢G ∼ H → (∼S) and ⊢GL-LIN ∼ H, and the complexity σ of ∼ H gives the distance d(S, G) of S from G. Then, in order to produce the whole completeness proof as an induction on this d(S, G), we introduce the tree-interpretation of a modal sequent Q into PA, that sends the letters of Q into PA-formulas describing the properties of a GL-LIN-proof P of Q: It is also a d(*, G)-metric linked interpretation, since it will be applied to a proof-tree T of ∼ H with H = char(S) and σ(∼ H) = d(S, G).
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 37
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 63 (1999), S. 49-84 
    ISSN: 1572-8730
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract The problems that surround iterated contractions and expansions of beliefs are approached by studying hypertheories, a generalisation of Adam Grove's notion of systems of spheres. By using a language with dynamic and doxastic operators different ideas about the basic nature of belief change are axiomatised. It is shown that by imposing quite natural constraints on how hypertheories may change, the basic logics for belief change can be strengthened considerably to bring one closer to a theory of iterated belief change. It is then argued that the logic of expansion, in particular, cannot without loss of generality be strengthened any further to allow for a full logic of iterated belief change. To remedy this situation a notion of directed expansion is introduced that allows for a full logic of iterated belief change. The new operation is given an axiomatisation that is complete for linear hypertheories.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 38
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 63 (1999), S. 151-180 
    ISSN: 1572-8730
    Schlagwort(e): intuitionistic logic ; new logical constants ; Novikov completeness
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract Extending the language of the intuitionistic propositional logic Int with additional logical constants, we construct a wide family of extensions of Int with the following properties: (a) every member of this family is a maximal conservative extension of Int; (b) additional constants are independent in each of them.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 39
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 63 (1999), S. 181-212 
    ISSN: 1572-8730
    Schlagwort(e): substructural logic ; relevant logic ; cut-elimination
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract We introduce several restricted versions of the structural rules in the implicational fragment of Gentzen's sequent calculus LJ. For example, we permit the applications of a structural rule only if its principal formula is an implication. We investigate cut-eliminability and theorem-equivalence among various combinations of them. The results include new cut-elimination theorems for the implicational fragments of the following logics: relevant logic E, strict implication S4, and their neighbors (e.g., E-W and S4-W); BCI-logic, BCK-logic, relevant logic R, and the intuitionistic logic.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 40
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 63 (1999), S. 245-268 
    ISSN: 1572-8730
    Schlagwort(e): Proof-Theory ; Provability Logic ; countermodel of a sequent ; classification of arithmetical interpretations of modal logic
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract This paper is the second part of the syntactic demonstration of the Arithmetical Completeness of the modal system G, the first part of which is presented in [9]. Given a sequent S so that ⊢GL-LIN S, ⊬G S, and given its characteristic formula H = char(S), which expresses the non G-provability of S, we construct a canonical proof-tree T of ~ H in GL-LIN, the height of which is the distance d(S, G) of S from G. T is the syntactic countermodel of S with respect to Gand is a tool of general interest in Provability Logic, that allows some classification in the set of the arithmetical interpretations.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 41
    ISSN: 1572-8730
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 42
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 63 (1999), S. 343-352 
    ISSN: 1572-8730
    Schlagwort(e): Basic Logic ; Bisimulation ; Kripke Model ; Persistence
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract We characterize the first-order formulas with one free variable that are preserved under bisimulation and persistence or strong persistence over the class of Kripke models with transitive frames and unary persistent predicates.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 43
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 63 (1999), S. 311-330 
    ISSN: 1572-8730
    Schlagwort(e): modal logic ; actuality indexed sentences
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract Some logical properties of modal languages in which actuality is expressible are investigated. It is argued that, if a sentence like 'Actually, Quine is a distinguished philosopher' is understood as a special case of world-indexed sentences (the index being the actual world), then actuality can be expressed only under strong modal assumptions. Some rival rigid and indexical approaches to actuality are discussed.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 44
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 63 (1999), S. 331-342 
    ISSN: 1572-8730
    Schlagwort(e): belief change ; belief revision ; success postulate ; non-prioritized revision ; choice function
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract We introduce a constructive model of selective belief revision in which it is possible to accept only a part of the input information. A selective revision operator ο is defined by the equality K ο α = K * f(α), where * is an AGM revision operator and f a function, typically with the property ⊢ α → f(α). Axiomatic characterizations are provided for three variants of selective revision.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 45
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 63 (1999), S. 301-310 
    ISSN: 1572-8730
    Schlagwort(e): Proof-Theory ; Provability Logic ; metric between sentences and systems ; PA-representation of the syntactic countrmodel of a modal sequent.
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract This paper is the final part of the syntactic demonstration of the Arithmetical Completeness of the modal system G; in the preceding parts [9] and [10] the tools for the proof were defined, in particular the notion of syntactic countermodel. Our strategy is: PA-completeness of G as a search for interpretations which force the distance between G and a GL-LIN-theorem to zero. If the GL-LIN-theorem S is not a G-theorem, we construct a formula H expressing the non G-provability of S, so that ⊢GL-LIN ∼ H and so that a canonical proof T of ∼ H in GL-LIN is a syntactic countermodel for S with respect to G, which has the height θ(T) equal to the distance d(S, G) of S from G. Then we define the interpretation ξ of S which represents the proof-tree T in PA. By induction on θ(T), we prove that ⊢PA Sξ and d(S, G) 〉 0 imply the inconsistency of PA.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 46
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 63 (1999), S. 417-448 
    ISSN: 1572-8730
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 47
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 63 (1999), S. 353-385 
    ISSN: 1572-8730
    Schlagwort(e): strong completeness ; strong w-completeness ; completeness ; hypercanonicity ; extensive canonicity ; canonicity ; extensive w-canonicity ; w-canonicity
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract By using algebraic-categorical tools, we establish four criteria in order to disprove canonicity, strong completeness, w-canonicity and strong w-completeness, respectively, of an intermediate propositional logic. We then apply the second criterion in order to get the following result: all the logics defined by extra-intuitionistic one-variable schemata, except four of them, are not strongly complete. We also apply the fourth criterion in order to prove that the Gabbay-de Jongh logic D1 is not strongly w-complete.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 48
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 63 (1999), S. 387-416 
    ISSN: 1572-8730
    Schlagwort(e): super-intuitionistic predicate logics ; modal predicate logics ; Kripke semantics ; algebraic semantics ; disjunction property ; existence property
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract In so-called Kripke-type models, each sentence is assigned either to true or to false at each possible world. In this setting, every possible world has the two-valued Boolean algebra as the set of truth values. Instead, we take a collection of algebras each of which is attached to a world as the set of truth values at the world, and obtain an extended semantics based on the traditional Kripke-type semantics, which we call here the algebraic Kripke semantics. We introduce algebraic Kripke sheaf semantics for super-intuitionistic and modal predicate logics, and discuss some basic properties. We can state the Gödel-McKinsey-Tarski translation theorem within this semantics. Further, we show new results on super-intuitionistic predicate logics. We prove that there exists a continuum of super-intuitionistic predicate logics each of which has both of the disjunction and existence properties and moreover the same propositional fragment as the intuitionistic logic.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 49
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 62 (1999), S. 77-105 
    ISSN: 1572-8730
    Schlagwort(e): Linear logic ; causality ; actions
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract We present in this article a new logical system inspired from linear logic. This system is designed in order to express causality and dynamism. The cut elimination theorem holds for this logic. Examples of applications are given.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 50
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 62 (1999), S. 141-162 
    ISSN: 1572-8730
    Schlagwort(e): sets ; types ; comprehension principles ; combinatory logic
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract We show that, if non-uniform impredicative stratified comprehension is assumed, Feferman's theories of explicit mathematics are consistent with a strong power type axiom. This result answers a problem, raised by Jäger. The proof relies upon an interpretation into Quine's set theory NF with urelements.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 51
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 62 (1999), S. 121-140 
    ISSN: 1572-8730
    Schlagwort(e): Tense logics ; trees ; axiomatizations ; US-logics ; e-frames
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract In this paper we show the adequacy of tense logic with unary operators for dealing with finite trees. We prove that models on finite trees can be characterized by tense formulas, and describe an effective method to find an axiomatization of the theory of a given finite tree in tense logic. The strength of the characterization is shown by proving that adding the binary operators "Until" and "Since" to the language does not result in a better description than that given by unary tense logic; although the greater expressive power of "Until" and "Since" can be exploited by using the semantics of e-frames instead of traditional Kripke semantics.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 52
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 62 (1999), S. 163-176 
    ISSN: 1572-8730
    Schlagwort(e): propositional modal logics ; finite model property ; completeness property
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract We show how to use diagrams in order to obtain straightforward completeness theorems for extensions of K4.3 and a very simple and constructive proof of Bull's theorem: every normal extension of S4.3 has the finite model property.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 53
    ISSN: 1572-8730
    Schlagwort(e): provably total functions ; subrecursive hierarchies ; ordinal analysis ; cut-elimination
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract In this article we show how to extract with the use of the Buchholz-Cichon-Weiermann approach to subrecursive hierarchies from Rathjen's 1991 ordinal analysis of KPM a characterization of the provably total number-theoretic functions of KPM and some of its (most prominent) subsystems in a uniform and direct way.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 54
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 63 (1999), S. 1-5 
    ISSN: 1572-8730
    Schlagwort(e): Goodman's theorem ; intuitionistic arithmetic ; axiom of choice ; restricted induction
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract Goodman's theorem states that intuitionistic arithmetic in all finite types plus full choice, HAω + AC, is conservative over first-order intuitionistic arithmetic HA. We show that this result does not extend to various subsystems of HAω, HA with restricted induction.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 55
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 63 (1999), S. 7-25 
    ISSN: 1572-8730
    Schlagwort(e): provability logic ; logic of proofs ; proof theory
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract The logic of proofs was introduced by Artemov in order to analize the formalization of the concept of proof rather than the concept of provability. In this context, some operations on proofs play a very important role. In this paper, we investigate some very natural operations, paying attention not only to positive information, but also to negative information (i.e. information saying that something cannot be a proof). We give a formalization for a fragment of such a logic of proofs, and we prove that our fragment is complete and decidable.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 56
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 62 (1999), S. 107-116 
    ISSN: 1572-8730
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 57
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 62 (1999), S. 1-19 
    ISSN: 1572-8730
    Schlagwort(e): algebraic logic ; general theory of logics ; algebraizable logics ; Craig interpolation property ; amalgamation property ; superamalgamation property ; modal logics ; multimodal logics ; Boolean algebras with operators ; discriminator varieties
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract This is the second part of the paper [Part I] which appeared in the previous issue of this journal.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 58
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 62 (1999), S. 21-48 
    ISSN: 1572-8730
    Schlagwort(e): monadic Heyting algebras ; augmented Kripke frames ; Ono frames ; Kripke bundles ; topological augmented Kripke frames
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract In this paper we continue the investigation of monadic Heyting algebras which we started in [2]. Here we present the representation theorem for monadic Heyting algebras and develop the duality theory for them. As a result we obtain an adequate topological semantics for intuitionistic modal logics over MIPC along with a Kripke-type semantics for them. It is also shown the importance and the effectiveness of the duality theory for further investigation of monadic Heyting algebras and logics over MIPC.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 59
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 62 (1999), S. 49-75 
    ISSN: 1572-8730
    Schlagwort(e): predicate logic ; quantifiers ; display logic ; modal logic
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract The paper provides a uniform Gentzen-style proof-theoretic framework for various subsystems of classical predicate logic. In particular, predicate logics obtained by adopting van Behthem's modal perspective on first-order logic are considered. The Gentzen systems for these logics augment Belnap's display logic by introduction rules for the existential and the universal quantifier. These rules for ∀x and ∃x are analogous to the display introduction rules for the modal operators □ and ♦ and do not themselves allow the Barcan formula or its converse to be derived. En route from the minimal ‘modal’ predicate logic to full first-order logic, axiomatic extensions are captured by purely structural sequent rules.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 60
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 62 (1999), S. 201-213 
    ISSN: 1572-8730
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 61
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 62 (1999), S. 177-200 
    ISSN: 1572-8730
    Schlagwort(e): multi-modal logic ; epistemic logic ; dynamic logic ; information logics ; algebras of relations ; finite model property ; filtration
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract In this paper a unified framework for dealing with a broad family of propositional multimodal logics is developed. The key tools for presentation of the logics are the notions of closure relation operation and monotonous relation operation. The two classes of logics: FiRe-logics (finitely reducible logics) and LaFiRe-logics (FiRe-logics with local agreement of accessibility relations) are introduced within the proposed framework. Further classes of logics can be handled indirectly by means of suitable translations. It is shown that the logics from these classes have the finite model property with respect to the class of ♦-formulae, i.e. each ♦-formula has a ℒ-model iff it has a finite ℒ-model. Roughly speaking, a ♦-formula is logically equivalent to a formula in negative normal form without occurrences of modal operators with necessity force. In the proof we introduce a substantial modification of Claudio Cerrato's filtration technique that has been originally designed for graded modal logics. The main core of the proof consists in building adequate restrictions of models while preserving the semantics of the operators used to build terms indexing the modal operators.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 62
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 62 (1999), S. 243-268 
    ISSN: 1572-8730
    Schlagwort(e): identification ; learning ; probability ; informants
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract We investigate many paradigms of identifications for classes of languages (namely: consistent learning, EX learning, learning with finitely many errors, behaviorally correct learning, and behaviorally correct learning with finitely many errors) in a measure-theoretic context, and we relate such paradigms to their analogues in learning on informants. Roughly speaking, the results say that most paradigms in measure-theoretic learning wrt some classes of distributions (called δ canonical) are equivalent to the corresponding paradigms for identification on informants.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 63
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 62 (1999), S. 215-242 
    ISSN: 1572-8730
    Schlagwort(e): Explicit mathematics ; Types ; Extended lambda-calculus
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract We introduce a certain extension of λβη-calculus, and show that it has the Church-Rosser property. The associated open-term extensional combinatory algebra is used as a basis to construct models for theories of Explict Mathematics (formulated in the language of "types and names") with positive stratified comprehension. In such models, types are interpreted as collections of solutions (of terms) w.r. to a set of numerals. Exploiting extensionality, we prove some consistency results for special ontological axioms which are refutable under elementary comprehension.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 64
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 87-90 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 65
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 5-14 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract This essay addresses ethical aspects of the design and use of virtual reality (VR) systems, focusing on the behavioral options made available in such systems and the manner in which reality is represented or simulated in them. An assessment is made of the morality of ‘immoral’ behavior in virtual reality, and of the virtual modeling of such behavior. Thereafter, the ethical aspects of misrepresentation and biased representation in VR applications are discussed.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 66
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 21-31 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract Anonymity is a form of nonidentifiability which I define as noncoordinatability of traits in a given respect. This definition broadens the concept, freeing it from its primary association with naming. I analyze different ways anonymity can be realized. I also discuss some ethical issues, such as privacy, accountability and other values which anonymity may serve or undermine. My theory can also conceptualize anonymity in information systems where, for example, privacy and accountability are at issue.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 67
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 53-60 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract This article shows how common morality can be helpful in clarifying the discussion of ethical issues that arise in computing. Since common morality does not always provide unique answers to moral questions, not all such issues can be resolved, however common morality does provide a clear answer to the question whether one can illegally copy software for a friend.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 68
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 61-65 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract Computer and information ethics, as well as other fields of applied ethics, need ethical theories which coherently unify deontological and consequentialist aspects of ethical analysis. The proposed theory of just consequentialism emphasizes consequences of policies within the constraints of justice. This makes just consequentialism a practical and theoretically sound approach to ethical problems of computer and information ethics.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 69
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 15-20 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract I shall translate Kierkegaard's account of the dangers and opportunities of what he called the Press into a critique of the Internet so as to raise the question: what contribution -- for good or ill -- can the World Wide Web, with its ability to deliver vast amounts of information to users all over the world, make to educators trying to pass on knowledge and to develop skills and wisdom in their students? I will then use Kierkegaard's three-stage answer to the problem of lack of involvement posed by the Press -- his claim that to have a meaningful life the learner must pass through the aesthetic, the ethical and the religious spheres of existence -- to suggest that only the first two stages -- the aesthetic and the ethical -- can be implemented with Information Technology, while the final stage, which alone makes meaningful learning possible, is undermined rather than supported by the tendencies of the desituated and anonymous Net.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 70
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 67-71 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 71
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 71-73 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 72
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 83-85 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 73
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 75-81 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 74
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 1-3 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 75
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 33-52 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract The essential difficulty about Computer Ethics' (CE) philosophical status is a methodological problem: standard ethical theories cannot easily be adapted to deal with CE-problems, which appear to strain their conceptual resources, and CE requires a conceptual foundation as an ethical theory. Information Ethics (IE), the philosophical foundational counterpart of CE, can be seen as a particular case of “environmental” ethics or ethics of the infosphere. What is good for an information entity and the infosphere in general? This is the ethical question asked by IE. The answer is provided by a minimalist theory of deseerts: IE argues that there is something more elementary and fundamental than life and pain, namely being, understood as information, and entropy, and that any information entity is to be recognised as the centre of a minimal moral claim, which deserves recognition and should help to regulate the implementation of any information process involving it. IE can provide a valuable perspective from which to approach, with insight and adequate discernment, not only moral problems in CE, but also the whole range of conceptual and moral phenomena that form the ethical discourse.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 76
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 117-125 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract Poster (1989) and Schiller (1996) point out that electronic communications have the power to change social and political relationships. The ‘new’ discourse of the Internet has political uses in spreading neo-Nazi ideology and action. I look at two kinds of online neo-Nazi discourse: hate speech itself, including text, music, online radio broadcasts, and images that exhort users to act against target groups; and persuasive rhetoric that does not directly enunciate but ultimately promotes or justifies violence. The online location of these discourses poses urgent questions. Does information technology make the re-emergence of prejudicial messages and attitudes swifter and more likely? Does the Internet's wide range of distribution make for more followers and finally more persuasion?
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 77
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 127-135 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract Although commonly confused, the values inherent in copyright policy are different from those inherent in scholarly standards for proper accreditation of ideas. Piracy is the infringement of a copyright, and plagiarism is the failure to give credit. The increasing use of Web-based electron publication has created new contexts for both piracy and plagiarism. In so far as piracy and plagiarism are confused, we cannot appreciate how the Web has changed the importance of these very different types of wrongs. The present paper argues that Web-based publication lessens the importance of piracy, while it heightens the need for protections against plagiarism. Copyright policy protects the opportunity for publishers to make a profit from their investments. As the cost of publication decreases in the electronic media, we need fewer copyright protections. Plagiarism is the failure to abide by scholarly standards for citation of sources. These standards assure us that information can be verified and traced to its source. Since Web sources are often volatile and changing, it becomes increasingly difficult and important to have clear standards for verifying the source of all information.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 78
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 155-160 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract The infrastructure is becoming a network of computerized machines regulated by societies of self-directing software agents. Complexity encourages the emergence of novel values in software agent societies. Interdependent human and software political orders cohabitate and coevolve in a symbiosis of freedoms.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 79
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 95-104 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract Internet stings to catch child molesters raise problems for popular tests of entrapment that focus on causation, initiative, counterfactuals, and subjective predisposition. An objective test of entrapment works better in the context of the Internet. The best form of objective test is determined by consequences of drawing a line at various places. This approach allows some Internet stings but counts other stings as entrapment when they go too far.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 80
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 147-154 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract The positive qualities of the Internet--anonymity, openness, and reproducibility have added a new ethical dimension to the privacy debate. This paper describes a new and significant way in which privacy is violated. A type of personal information, called ‘virtual information’ is described and the effectiveness of techniques to protect this type of information is examined. This examination includes a discussion of technical approaches and professional standards as ways to address this violation of ‘virtual information.’
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 81
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 93-94 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 82
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 137-145 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract Privacy concerns involving data mining are examined in terms of four questions: (1) What exactly is data mining? (2) How does data mining raise concerns for personal privacy? (3) How do privacy concerns raised by data mining differ from those concerns introduced by ‘traditional’ information-retrieval techniques in computer databases? (4) How do privacy concerns raised by mining personal data from the Internet differ from those concerns introduced by mining such data from ‘data warehouses?’ It is argued that the practice of using data-mining techniques, whether on the Internet or in data warehouses, to gain information about persons raises privacy concerns that (a) go beyond concerns introduced in traditional information-retrieval techniques in computer databases and (b) are not covered by present data-protection guidelines and privacy laws.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 83
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 161-165 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 84
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 167-169 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 85
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 105-115 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract After describing the Child Pornography Prevention Act (CPPA) of 1996, I argue that the Act ought to be significantly amended. The central objections to CPPA are (1) that it is so broad in its main proscriptions as to violate the First Amendment rights of adults; (2) that it altogether fails to provide minors and their legal guardians with the privacy rights needed to combat the harms associated with certain classes of prurient material on the Internet; and, (3) that the actual rate of technological advance in home computing, and Congress' failure to appreciate how prurient material may be accessed, combined with CPPA to wrongfully expose an increasing number of individuals to possible prosecution and personal ruination. Several other objections are registered along the way, including one aimed at the draconian punishments the law metes out to violators. I close by offering the outlines of an amended version of the law that promises not to violate the rights of adults, that affords children and adults equal and effective protection against the very harmful practices the current law cannot eradicate, and that prescribes punishments that are consistent with the tolerance necessary to support a more democratic vision of the Internet.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 86
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 193-201 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract This article presents an overview of significant issues facing contemporary information professionals. As the world of information continues to grow at unprecedented speed and in unprecedented volume, questions must be faced by information professionals. Will we participate in the worldwide mythology of equal access for all, or will we truly work towards this debatable goal? Will we accept the narrowing of choice for our corresponding increasing diverse clientele? Such questions must be considered in a holistic context and an understanding of the many levels of information inequities is requisite. Beginning with an historical perspective, Buchanan presents Mustapha Masmoudi's seminal review of forms of information inequities. She then describes qualitative forms of inequities, such as information imperialism and cultural bias embedded in such practices as cataloging and classification. Following, a review of quantitative inequities is presented. Such issues as the growing commoditization of information and information services demand attention from the ethical perspective. And, finally, the Internet and implications surrounding the world-wide dissemination of information is discussed. The article concludes with an extraction form Richard Sclove's Democracy and Technology, and asks that we as information professionals actively examine the information industry around us and demand a more democratic process within which to work.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 87
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 185-191 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract After reviewing some of the difficulties caused by spam and summarizing the arguments of its defenders, this paper will focus on its present legal status. It will then dwell on spam from a moral point of view and address some of the ethical implications associated with transmitting this unsolicited commercial e-mail. It will attempt to sort out the conflicting rights involved and develop a viable case that even if we prescind from its social costs, spam is ethically questionable under certain conditions. Moreover, given the current volume of spam and its negative impact on the Internet environment, the transmission of spam can also be characterized as an asocial act primarily because of the significant externalities which it generates. As a result, spam cannot be justified from the perspective of duty-based moral philosophies that emphasize the need to conform to the legitimate norms of the community.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 88
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 237-238 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 89
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 173-184 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract To what extent should humans transfer, or abdicate, “responsibility” to computers? In this paper, I distinguish six different senses of ‘responsible’ and then consider in which of these senses computers can, and in which they cannot, be said to be “responsible” for “deciding” various outcomes. I sort out and explore two different kinds of complaint against putting computers in greater “control” of our lives: (i) as finite and fallible human beings, there is a limit to how far we can acheive increased reliability through complex devices of our own design; (ii) even when computers are more reliable than humans, certain tasks (e.g., selecting an appropriate gift for a friend, solving the daily crossword puzzle) are inappropriately performed by anyone (or anything) other than oneself. In critically evaluating these claims, I arrive at three main conclusions: (1) While we ought to correct for many of our shortcomings by availing ourselves of the computer's larger memory, faster processing speed and greater stamina, we are limited by our own finiteness and fallibility (rather than by whatever limitations may be inherent in silicon and metal) in the ability to transcend our own unreliability. Moreover, if we rely on programmed computers to such an extent that we lose touch with the human experience and insight that formed the basis for their programming design, our fallibility is magnified rather than mitigated. (2) Autonomous moral agents can reasonably defer to greater expertise, whether human or cybernetic. But they cannot reasonably relinquish “background-oversight” responsibility. They must be prepared, at least periodically, to review whether the “expertise” to which they defer is indeed functioning as he/she/it was authorized to do, and to take steps to revoke that authority, if necessary. (3) Though outcomes matter, it can also matter how they are brought about, and by whom. Thus, reflecting on how much of our lives should be directed and implemented by computer may be another way of testing any thoroughly end-state or consequentialist conception of the good and decent life. To live with meaning and purpose, we need to actively engage our own faculties and empathetically connect up with, and resonate to, others. Thus there is some limit to how much of life can be appropriately lived by anyone (or anything) other than ourselves.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 90
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 213-225 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract For commercial purveyors of digital speech, information and entertainment, the biggest threat posed by the Internet isn't the threat of piracy, but the threat posed by free speech -- speech that doesn't cost any money. Free speech has the potential to squeeze out expensive speech. A glut of high quality free stuff has the potential to run companies in the business of selling speech out of business. We haven't had to worry about this before, because speaking in a meaningful way to a large audience was expensive, and people couldn't afford to do serious mass speaking for free for very long. The Internet has made it much cheaper. It doesn't take much to give out information to the whole world, every day, for free, for years. And people do. If we are trying to increase the abundant dissemination of information, free speech is good. If we are trying to increase commerce in information, free speech is arguably bad, in that it competes with pay speech. Information merchants would obviously prefer that the only speech in the marketplace be pay speech. In the past two years, commercial content owners have scored significant progress in herding free speakers off the Net. There's an important synergy between persuading the government to give your industry some friendly new laws or regulations, and using new and old legal tools to make life more difficult or expensive for inconvenient competitors who aren't necessarily doing anything illegal. Recently, businesses have been able to combine the two strategies to make the Internet a much safer place to sell speech, by making the Internet a less friendly, more dangerous place to give away speech for free.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 91
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 227-236 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract This is a review of Hans Moravec's book, Robot: Mere Machine to Transcendent Mind. This review raises three categories of questions relating to Moravec's vision of the future. First, there are the ethical and social implications issues implicit in robotics research. Second, there are the soul issues, which especially relate to the prospect of the demoralization of human beings. Third, there is the issue as to whether a robot could ever be a sentient being.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 92
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 203-212 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract The information revolution has fostered the rise of new ways of waging war, generally by means of cyberspace-based attacks on the infrastructures upon which modern societies increasingly depend. This new way of war is primarily disruptive, rather than destructive; and its low “barriers to entry” make it possible for individuals and groups (not just nation-states) easily to acquire very serious war-making capabilities. The “less lethal” appearance of information warfare and the possibility of “cloaking” the attacker's true identity put serious pressure on traditional just war doctrines that call for adherence to the principles of “right purpose”, “duly constituted authority”, and “last resort”. Age-old strictures about noncombatant immunity are also attenuated by the varied means of attack enabled by advanced information technologies. Therefore, the nations and societies leading the information revolution have a primary ethical obligation to constrain the circumstances under which information warfare may be used -- principally by means of a pledge of “no first use” of such means against noncombatants.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 93
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 307-309 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 94
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 171-172 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 95
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 265-273 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract The present study examines certain challenges that KDD (Knowledge Discovery in Databases) in general and data mining in particular pose for normative privacy and public policy. In an earlier work (see Tavani, 1999), I argued that certain applications of data-mining technology involving the manipulation of personal data raise special privacy concerns. Whereas the main purpose of the earlier essay was to show what those specific privacy concerns are and to describe how exactly those concerns have been introduced by the use of certain KDD and data-mining techniques, the present study questions whether the use of those techniques necessarily violates the privacy of individuals. This question is considered vis-à-vis a recent theory of privacy advanced by James Moor (1997). The implications of that privacy theory for a data-mining policy are also considered.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 96
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 305-306 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 97
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 275-281 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract KDD (Knowledge Discovery in Databases) confronts us withphenomena that can intuitively be grasped as highly problematic, but arenevertheless difficult to understand and articulate. Many of theseproblems have to do with what I call the ``deindividualization of theperson'': a tendency of judging and treating persons on the basis ofgroup characteristics instead of on their own individual characteristicsand merits. This tendency will be one of the consequences of theproduction and use of group profiles with the help of KDD. Currentprivacy law and regulations, as well as current ethical theoryconcerning privacy, start from too narrow a definition of ``personaldata'' to capture these problems. In this paper, I introduce the notionof ``categorical privacy'' as a starting point for a possible remedy forthe failures of the current conceptions of privacy. I discuss some waysin which the problems relating to group profiles definitely cannot besolved and I suggest a possible way out of these problems. Finally, Isuggest that it may take us a step forward if we would begin to questionthe predominance of privacy norms in the social debate on informationtechnologies and if we would be prepared to introduce normativeprinciples other than privacy rules for the assessment of newinformation technologies. If we do not succeed in articulating theproblems relating to KDD clearly, one day we may find ourselves in asituation where KDD appears to have undermined the methodic andnormative individualism which pervades the mainstream of morality andmoral theory.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 98
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 249-255 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract This paper begins with a discussion of the value of privacy,especially for medical records in an age of advancing technology.I then examine three alternative approaches to protection ofmedical records: reliance on governmental guidelines, the useof corporate self-regulation, and my own third hybrid view onhow to maintain a presumption in favor of privacy with respectto medical information, safeguarding privacy as vigorously andcomprehensively as possible, without sacrificing the benefitsof new information technology in medicine. None of the threemodels I examine are unproblematic, yet it is crucial to weighthe strengths and weaknesses of these alternative approaches.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 99
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 283-293 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract The paper has three parts. First, a survey and analysis is given ofthe structure of individual rights in the recent EU Directive ondata protection. It is argued that at the core of this structure isan unexplicated notion of what the data subject can `reasonablyexpect' concerning the further processing of information about himor herself. In the second part of the paper it is argued thattheories of privacy popular among philosophers are not able to shed much light on the issues treated in the Directive, whichare, arguably, among the central problems pertaining to theprotection of individual rights in the information society. Inthe third part of the paper, some suggestions are made for a richerphilosophical theory of data protection and privacy. It is arguedthat this account is better suited to the task of characterizingthe central issues raised by the Directive.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 100
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 1 (1999), S. 247-247 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...