Search results for "Sound"
showing 10 items of 1845 documents
Jonathan Sterne, The Audible Past: Cultural Origins of Sound Reproduction. Duke University Press, Durham & London, 2003. 450 pp. Paperback. ISBN …
2004
S. Butler - S. Nooter, eds. Sound and the Ancient Senses (The Senses in Antiquity, vol. 6), London-New York: Routledge, 2019
2021
Review of S. Butler - S. Nooter, eds. Sound and the Ancient Senses (The Senses in Antiquity, vol. 6), London-New York: Routledge, 2019. An essential read for all those interested in the ‘soundscape’ of Antiquity – from rites to the human body, the physiology of hearing, myth, music on the stage, ancient emotions and contemporary attempts in reconstructing ancient sounds –, the volume offers a broad perspective on sounds and hearing in Antiquity by means of its fourteen essays, distributed into three parts (“Ancient soundscapes”, “Theories of sound”, “Philology and sound”).
Musiikillisten aistikokemusten merkitys aistimonivammaisille henkilöille
2008
Sounding objects in Europe
2014
Sound design has been shifting and enlarging its scope to those contexts and applications where interactivity is of primary importance. A chain of research projects funded by the European Commission has been playing a driving role in the definition of the new discipline of sonic interaction design. Such projects are briefly reviewed in order to outline a research thread that is expected to continue nourishing sound science and design.
On the Consistency of Non-Stationary Multipath Fading Channels with Respect to the Average Doppler Shift and the Doppler Spread
2017
This paper is concerned with the consistency of non-stationary multipath fading channels. We introduce conditions under which a channel model is consistent w.r.t. the average Doppler shift and the Doppler spread. The conditions are applied to two classes of non-stationary channel models. The first class, which is termed Class A, is characterized by channel models based on an integral relationship between the path phases and the associated time-variant Doppler frequencies. The second class of models, called the Class B models, emerges from standard sum-of-cisoids (SOC) models by replacing the time-independent Doppler frequencies by time-dependent Doppler frequencies. It is shown that the Cla…
Sound and reusable components for abstract interpretation
2019
Abstract interpretation is a methodology for defining sound static analysis. Yet, building sound static analyses for modern programming languages is difficult, because these static analyses need to combine sophisticated abstractions for values, environments, stores, etc. However, static analyses often tightly couple these abstractions in the implementation, which not only complicates the implementation, but also makes it hard to decide which parts of the analyses can be proven sound independently from each other. Furthermore, this coupling makes it hard to combine soundness lemmas for parts of the analysis to a soundness proof of the complete analysis. To solve this problem, we propose to c…
Towards Axiomatic Basis of Inductive Inference
2001
The language for the formulation of the interesting statements is, of course, most important. We use first order predicate logic. Our main achievement in this paper is an axiom system which we believe to be more powerful than any other natural general purpose discovery axiom system. We prove soundness of this axiom system in this paper. Additionally we prove that if we remove some of the requirements used in our axiom system, the system becomes not sound. We characterize the complexity of the quantifier prefix which guaranties provability of a true formula via our system. We prove also that if a true formula contains only monadic predicates, our axiom system is capable to prove this formula…
Quantum counter automata
2011
The question of whether quantum real-time one-counter automata (rtQ1CAs) can outperform their probabilistic counterparts has been open for more than a decade. We provide an affirmative answer to this question, by demonstrating a non-context-free language that can be recognized with perfect soundness by a rtQ1CA. This is the first demonstration of the superiority of a quantum model to the corresponding classical one in the real-time case with an error bound less than 1. We also introduce a generalization of the rtQ1CA, the quantum one-way one-counter automaton (1Q1CA), and show that they too are superior to the corresponding family of probabilistic machines. For this purpose, we provide gene…
Review of Agent-Based Models of Social Conflict and Civil Violence
2017
This chapter contains a review of the state of the art on agent-based models for simulation of large-scale social conflict and violence. It is structured in four parts. The first contains a summary of general definitions and concepts. The second contains the presentation and discussion of Epstein’s agent-based model, which is a landmark model of civil and ethnic violence due to its simplicity, soundness, and explanatory power. The third part contains a review of extensions of Epstein’s model that have been proposed by several authors. The chapter ends with some remarks on the limitations of existing ABM and on possibilities for their improvement.
Technical Note: Airborne Sound Insulation of Hollow Brickwork
2007
This paper reports on the uncertainty of in situ measurements of the airborne sound insulation of hollow-brick walls in different housing plans, with emphasis on the influence of expansion joints. The mean and standard deviation of multiple measurements are obtained, which show significant differences in insulation values despite the fact that the same construction was used in each case.