-
A Survey of Deep Learning Audio Generation Methods
Authors:
Matej Božić,
Marko Horvat
Abstract:
This article presents a review of typical techniques used in three distinct aspects of deep learning model development for audio generation. In the first part of the article, we provide an explanation of audio representations, beginning with the fundamental audio waveform. We then progress to the frequency domain, with an emphasis on the attributes of human hearing, and finally introduce a relativ…
▽ More
This article presents a review of typical techniques used in three distinct aspects of deep learning model development for audio generation. In the first part of the article, we provide an explanation of audio representations, beginning with the fundamental audio waveform. We then progress to the frequency domain, with an emphasis on the attributes of human hearing, and finally introduce a relatively recent development. The main part of the article focuses on explaining basic and extended deep learning architecture variants, along with their practical applications in the field of audio generation. The following architectures are addressed: 1) Autoencoders 2) Generative adversarial networks 3) Normalizing flows 4) Transformer networks 5) Diffusion models. Lastly, we will examine four distinct evaluation metrics that are commonly employed in audio generation. This article aims to offer novice readers and beginners in the field a comprehensive understanding of the current state of the art in audio generation methods as well as relevant studies that can be explored for future research.
△ Less
Submitted 31 May, 2024;
originally announced June 2024.
-
Formal Security Analysis of the AMD SEV-SNP Software Interface
Authors:
Petar Paradžik,
Ante Derek,
Marko Horvat
Abstract:
AMD Secure Encrypted Virtualization technologies enable confidential computing by protecting virtual machines from highly privileged software such as hypervisors. In this work, we develop the first, comprehensive symbolic model of the software interface of the latest SEV iteration called SEV Secure Nested Paging (SEV-SNP). Our model covers remote attestation, key derivation, page swap and live mig…
▽ More
AMD Secure Encrypted Virtualization technologies enable confidential computing by protecting virtual machines from highly privileged software such as hypervisors. In this work, we develop the first, comprehensive symbolic model of the software interface of the latest SEV iteration called SEV Secure Nested Paging (SEV-SNP). Our model covers remote attestation, key derivation, page swap and live migration. We analyze the security of the software interface of SEV-SNP by verifying critical secrecy, authentication, attestation and freshness properties, and find that the platform-agnostic nature of messages exchanged between SNP guests and the AMD Secure Processor firmware presents a weakness of the design. We show multiple ways of exploiting this weakness, including the compromise of attestation report integrity, and suggest slight modifications to the design which let third parties detect guest migrations to vulnerable platforms
△ Less
Submitted 18 March, 2024; v1 submitted 15 March, 2024;
originally announced March 2024.
-
A lattice Boltzmann method for non-Newtonian blood flow in coiled intracranial aneurysms
Authors:
Medeea Horvat,
Stephan B. Lunowa,
Dmytro Sytnyk,
Barbara Wohlmuth
Abstract:
Intracranial aneurysms are the leading cause of stroke. One of the established treatment approaches is the embolization induced by coil insertion. However, the prediction of treatment and subsequent changed flow characteristics in the aneurysm, is still an open problem. In this work, we present an approach based on patient specific geometry and parameters including a coil representation as inhomog…
▽ More
Intracranial aneurysms are the leading cause of stroke. One of the established treatment approaches is the embolization induced by coil insertion. However, the prediction of treatment and subsequent changed flow characteristics in the aneurysm, is still an open problem. In this work, we present an approach based on patient specific geometry and parameters including a coil representation as inhomogeneous porous medium. The model consists of the volume-averaged Navier-Stokes equations including the non-Newtonian blood rheology. We solve these equations using a problem-adapted lattice Boltzmann method and present a comparison between fully-resolved and volume-averaged simulations. The results indicate the validity of the model. Overall, this workflow allows for patient specific assessment of the flow due to potential treatment.
△ Less
Submitted 16 February, 2024;
originally announced February 2024.
-
Acute kidney injury prediction for non-critical care patients: a retrospective external and internal validation study
Authors:
Esra Adiyeke,
Yuanfang Ren,
Benjamin Shickel,
Matthew M. Ruppert,
Ziyuan Guan,
Sandra L. Kane-Gill,
Raghavan Murugan,
Nabihah Amatullah,
Britney A. Stottlemyer,
Tiffany L. Tran,
Dan Ricketts,
Christopher M Horvat,
Parisa Rashidi,
Azra Bihorac,
Tezcan Ozrazgat-Baslanti
Abstract:
Background: Acute kidney injury (AKI), the decline of kidney excretory function, occurs in up to 18% of hospitalized admissions. Progression of AKI may lead to irreversible kidney damage. Methods: This retrospective cohort study includes adult patients admitted to a non-intensive care unit at the University of Pittsburgh Medical Center (UPMC) (n = 46,815) and University of Florida Health (UFH) (n…
▽ More
Background: Acute kidney injury (AKI), the decline of kidney excretory function, occurs in up to 18% of hospitalized admissions. Progression of AKI may lead to irreversible kidney damage. Methods: This retrospective cohort study includes adult patients admitted to a non-intensive care unit at the University of Pittsburgh Medical Center (UPMC) (n = 46,815) and University of Florida Health (UFH) (n = 127,202). We developed and compared deep learning and conventional machine learning models to predict progression to Stage 2 or higher AKI within the next 48 hours. We trained local models for each site (UFH Model trained on UFH, UPMC Model trained on UPMC) and a separate model with a development cohort of patients from both sites (UFH-UPMC Model). We internally and externally validated the models on each site and performed subgroup analyses across sex and race. Results: Stage 2 or higher AKI occurred in 3% (n=3,257) and 8% (n=2,296) of UFH and UPMC patients, respectively. Area under the receiver operating curve values (AUROC) for the UFH test cohort ranged between 0.77 (UPMC Model) and 0.81 (UFH Model), while AUROC values ranged between 0.79 (UFH Model) and 0.83 (UPMC Model) for the UPMC test cohort. UFH-UPMC Model achieved an AUROC of 0.81 (95% confidence interval [CI] [0.80, 0.83]) for UFH and 0.82 (95% CI [0.81,0.84]) for UPMC test cohorts; an area under the precision recall curve values (AUPRC) of 0.6 (95% CI, [0.05, 0.06]) for UFH and 0.13 (95% CI, [0.11,0.15]) for UPMC test cohorts. Kinetic estimated glomerular filtration rate, nephrotoxic drug burden and blood urea nitrogen remained the top three features with the highest influence across the models and health centers. Conclusion: Locally developed models displayed marginally reduced discrimination when tested on another institution, while the top set of influencing features remained the same across the models and sites.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
Numerical simulation of endovascular treatment options for cerebral aneurysms
Authors:
Martin Frank,
Fabian Holzberger,
Medeea Horvat,
Jan Kirschke,
Matthias Mayr,
Markus Muhr,
Natalia Nebulishvili,
Alexander Popp,
Julian Schwarting,
Barbara Wohlmuth
Abstract:
Predicting the long-term success of endovascular interventions in the clinical management of cerebral aneurysms requires detailed insight into the patient-specific physiological conditions. In this work, we not only propose numerical representations of endovascular medical devices such as coils, flow diverters or Woven EndoBridge but also outline numerical models for the prediction of blood flow p…
▽ More
Predicting the long-term success of endovascular interventions in the clinical management of cerebral aneurysms requires detailed insight into the patient-specific physiological conditions. In this work, we not only propose numerical representations of endovascular medical devices such as coils, flow diverters or Woven EndoBridge but also outline numerical models for the prediction of blood flow patterns in the aneurysm cavity right after a surgical intervention. Detailed knowledge about the post-surgical state then lays the basis to assess the chances of a stable occlusion of the aneurysm required for a long-term treatment success. To this end, we propose mathematical and mechanical models of endovascular medical devices made out of thin metal wires. These can then be used for fully resolved flow simulations of the post-surgical blood flow, which in this work will be performed by means of a Lattice Boltzmann method applied to the incompressible Navier-Stokes equations and patient-specific geometries. To probe the suitability of homogenized models, we also investigate poro-elastic models to represent such medical devices. In particular, we examine the validity of this modeling approach for flow diverter placement across the opening of the aneurysm cavity. For both approaches, physiologically meaningful boundary conditions are provided from reduced-order models of the vascular system. The present study demonstrates our capabilities to predict the post-surgical state and lays a solid foundation to tackle the prediction of thrombus formation and, thus, the aneurysm occlusion in a next step.
△ Less
Submitted 21 February, 2024; v1 submitted 1 February, 2024;
originally announced February 2024.
-
Dynamical and statistical properties of estimated high-dimensional ODE models: The case of the Lorenz'05 type II model
Authors:
Aljaz Pavšek,
Martin Horvat,
Jus Kocijan
Abstract:
The performance of estimated models is often evaluated in terms of their predictive capability. In this study, we investigate another important aspect of estimated model evaluation: the disparity between the statistical and dynamical properties of estimated models and their source system. Specifically, we focus on estimated models obtained via the regression method, sparse identification of nonlin…
▽ More
The performance of estimated models is often evaluated in terms of their predictive capability. In this study, we investigate another important aspect of estimated model evaluation: the disparity between the statistical and dynamical properties of estimated models and their source system. Specifically, we focus on estimated models obtained via the regression method, sparse identification of nonlinear dynamics (SINDy), one of the promising algorithms for determining equations of motion from time series of dynamical systems. We chose our data source dynamical system to be a higher-dimensional instance of the Lorenz 2005 type II model, an important meteorological toy model. We examine how the dynamical and statistical properties of the estimated models are affected by the standard deviation of white Gaussian noise added to the numerical data on which the estimated models were fitted. Our results show that the dynamical properties of the estimated models match those of the source system reasonably well within a range of data-added noise levels, where the estimated models do not generate divergent (unbounded) trajectories. Additionally, we find that the dynamics of the estimated models become increasingly less chaotic as the data-added noise level increases. We also perform a variance analysis of the (SINDy) estimated model's free parameters, revealing strong correlations between parameters belonging to the same component of the estimated model's ordinary differential equation.
△ Less
Submitted 18 July, 2023;
originally announced July 2023.
-
Dynamic mode decomposition as an analysis tool for time-dependent partial differential equations
Authors:
Miha Rot,
Martin Horvat,
Gregor Kosec
Abstract:
The time-dependent fields obtained by solving partial differential equations in two and more dimensions quickly overwhelm the analytical capabilities of the human brain. A meaningful insight into the temporal behaviour can be obtained by using scalar reductions, which, however, come with a loss of spatial detail. Dynamic Mode Decomposition is a data-driven analysis method that solves this problem…
▽ More
The time-dependent fields obtained by solving partial differential equations in two and more dimensions quickly overwhelm the analytical capabilities of the human brain. A meaningful insight into the temporal behaviour can be obtained by using scalar reductions, which, however, come with a loss of spatial detail. Dynamic Mode Decomposition is a data-driven analysis method that solves this problem by identifying oscillating spatial structures and their corresponding frequencies. This paper presents the algorithm and provides a physical interpretation of the results by applying the decomposition method to a series of increasingly complex examples.
△ Less
Submitted 9 March, 2022;
originally announced March 2022.
-
Calculation of multiphoton ionization amplitudes and cross sections of few-electron atoms
Authors:
Andrej Mihelic,
Martin Horvat
Abstract:
We present a theoretical method for calculating multiphoton ionization amplitudes and cross sections of few-electron atoms. The present approach is based on an extraction of partial wave amplitudes from a scattering wave function, which is calculated by solving a system of driven Schroedinger equations. The extraction relies on a description of partial waves in terms of a small number of Coulomb w…
▽ More
We present a theoretical method for calculating multiphoton ionization amplitudes and cross sections of few-electron atoms. The present approach is based on an extraction of partial wave amplitudes from a scattering wave function, which is calculated by solving a system of driven Schroedinger equations. The extraction relies on a description of partial waves in terms of a small number of Coulomb waves with fixed wave numbers. The method can be used for photon energies below and above the ionization threshold and to treat resonance-enhanced multiphoton ionization. We use it to calculate two-, three-, and four-photon ionization cross sections of hydrogen and helium atoms for a wide range of photon energies and to determine the asymmetry parameters of photoelectron angular distributions for two-, three-, and four-photon ionization of the helium atom.
△ Less
Submitted 30 March, 2021;
originally announced March 2021.
-
Detection of coupling in Duffing oscillator systems
Authors:
Martin Brešar,
Pavle Boškoski,
Martin Horvat
Abstract:
In complex dynamical systems, the detection of coupling and its direction from observed time series is a challenging task. We study coupling in coupled Duffing oscillator systems in regular and chaotic dynamical regimes. By observing the conditional mutual information (CMI) based on the Shannon entropy, we successfully infer the direction of coupling for different system regimes. Moreover, we show…
▽ More
In complex dynamical systems, the detection of coupling and its direction from observed time series is a challenging task. We study coupling in coupled Duffing oscillator systems in regular and chaotic dynamical regimes. By observing the conditional mutual information (CMI) based on the Shannon entropy, we successfully infer the direction of coupling for different system regimes. Moreover, we show that in the weak coupling limit the values of CMI can be used to infer the coupling parameters by computing the derivative of the conditional mutual information with respect to the coupling strength, called the information susceptibility. The complete numerical implementation is available at https://repo.ijs.si/mbresar/duffing-cmi.
△ Less
Submitted 21 June, 2021; v1 submitted 19 March, 2021;
originally announced March 2021.
-
Physics of Eclipsing Binaries. IV. The impact of interstellar extinction on the light curves of eclipsing binaries
Authors:
David Jones,
Kyle E. Conroy,
Martin Horvat,
Joseph Giammarco,
Angela Kochoska,
Herbert Pablo,
Alex J. Brown,
Paulina Sowicka,
Andrej Prsa
Abstract:
Traditionally, the effects of interstellar extinction on binary star light curves have been treated as a uniform reduction in the observed brightness of the system that is independent of orbital phase. However, unless the orbital plane of the system coincides with the plane of the sky, or if the two stars are completely identical and present with minimal mutual irradiation and tidal/rotational dis…
▽ More
Traditionally, the effects of interstellar extinction on binary star light curves have been treated as a uniform reduction in the observed brightness of the system that is independent of orbital phase. However, unless the orbital plane of the system coincides with the plane of the sky, or if the two stars are completely identical and present with minimal mutual irradiation and tidal/rotational distortions, then this is unlikely to be an accurate representation of the effect of interstellar extinction. Here, we present an updated treatment of interstellar extinction as incorporated in the PHOEBE 2.2 release (publicly available from http://phoebe-project.org) and assess the importance of using such an approach in the modeling of different types of binary systems. We also present the incorporation of PHOENIX model atmospheres into the PHOEBE 2.2 release, providing increased fidelity on computed observables down to lower temperatures than previously available. The importance of these new code developments is then highlighted via an extincted toy model of the eclipsing white-dwarf-subdwarf binary SDSS~J235524.29+044855.7 -- demonstrating that, in the age of LSST as well as complementary space-based photometric missions, a proper accounting for extinction and as well as the use of realistic model atmospheres will be essential in deriving accurate binary parameters.
△ Less
Submitted 21 February, 2020; v1 submitted 19 December, 2019;
originally announced December 2019.
-
Rearranging absolutely convergent well-ordered series in Banach spaces
Authors:
Vedran Čačić,
Marko Doko,
Marko Horvat
Abstract:
Reordering the terms of a series is a useful mathematical device, and much is known about when it can be done without affecting the convergence or the sum of the series. For example, if a series of real numbers absolutely converges, we can add the even-indexed and odd-indexed terms separately, or arrange the terms in an infinite two-dimensional table and first compute the sum of each column. The p…
▽ More
Reordering the terms of a series is a useful mathematical device, and much is known about when it can be done without affecting the convergence or the sum of the series. For example, if a series of real numbers absolutely converges, we can add the even-indexed and odd-indexed terms separately, or arrange the terms in an infinite two-dimensional table and first compute the sum of each column. The possibility of even more intricate re-orderings prompts us to find a general underlying principle. We identify such a principle in the setting of Banach spaces, where we consider well-ordered series with indices beyond ω, but strictly under ω_1 . We prove that for every absolutely convergent well-ordered series indexed by a countable ordinal, if the series is rearranged according to any countable ordinal, then the absolute convergence and the sum of the series remain unchanged.
△ Less
Submitted 23 February, 2019;
originally announced February 2019.
-
Bolometric treatment of irradiation effects: general discussion and application to binary stars
Authors:
Martin Horvat,
Kyle E. Conroy,
David Jones,
Andrej Prša
Abstract:
A general framework for dealing with irradiation effects in the bolometric sense --- specifically, reflection with heat absorption and the consequent redistribution of the absorbed heat, for systems of astrophysical bodies where the boundaries are used as support for the description of the processes, is presented. Discussed are its mathematical and physical properties, as well as its implementatio…
▽ More
A general framework for dealing with irradiation effects in the bolometric sense --- specifically, reflection with heat absorption and the consequent redistribution of the absorbed heat, for systems of astrophysical bodies where the boundaries are used as support for the description of the processes, is presented. Discussed are its mathematical and physical properties, as well as its implementation approximations, with a focus on three plausible redistribution processes (uniform, latitudinal, and local redistribution). These are tested by extending PHOEBE 2.1 ( http://phoebe-project.org ), the open-source package for modeling eclipsing binaries, and applied to a toy model of the known two-body eclipsing systems.
△ Less
Submitted 1 February, 2019; v1 submitted 21 September, 2018;
originally announced September 2018.
-
Physics of Eclipsing Binaries. III. Spin-Orbit Misalignment
Authors:
Martin Horvat,
Kyle E. Conroy,
Herbert Pablo,
Kelly M. Hambleton,
Angela Kochoska,
Joseph Giammarco,
Andrej Prša
Abstract:
Binary systems where the axis of rotation (spin) of one or both components is tilted w.r.t. the axis of revolution are called misaligned binary systems. The angle of misalignment, obliquity, has been measured for a handful of stars and extrasolar planets to date. Here we present a mathematical framework for a complete and rigorous treatment of misalignment and introduce an extension to the public…
▽ More
Binary systems where the axis of rotation (spin) of one or both components is tilted w.r.t. the axis of revolution are called misaligned binary systems. The angle of misalignment, obliquity, has been measured for a handful of stars and extrasolar planets to date. Here we present a mathematical framework for a complete and rigorous treatment of misalignment and introduce an extension to the public PHOEBE code that implements this framework. We discuss misalignment for the Roche geometry and introduce methods for computing stellar shapes, equilibrium (generalized Lagrange) points of the potential and minimal requirements for lobe existence. Efficient parametrization of misalignment is proposed in the plane-of-sky coordinates and implementation details in PHOEBE are given alongside the proof-of-concept toy model, comparison with a known misaligned binary DI Her, and comparison with a misaligned planetary system Kepler-13. We provide important mathematical details of the model in the Appendix. This paper accompanies the release of PHOEBE 2.1, which will be available soon from its website http://phoebe-project.org.
△ Less
Submitted 12 January, 2019; v1 submitted 20 June, 2018;
originally announced June 2018.
-
COBAIN: generalized 3D radiative transfer code for contact binary atmospheres
Authors:
Angela Kochoska,
Andrej Prša,
Tomaž Zwitter,
Martin Horvat,
Kyle E. Conroy
Abstract:
Contact binary stars have been known to have a peculiar and somewhat mysterious hydro- and thermodynamical structure since their discovery, which directly affects the radiation distribution in their atmospheres. Over the past several decades, however, observational data of contact binaries have been modeled through a simplified approach, involving the artificial concatenation of the two components…
▽ More
Contact binary stars have been known to have a peculiar and somewhat mysterious hydro- and thermodynamical structure since their discovery, which directly affects the radiation distribution in their atmospheres. Over the past several decades, however, observational data of contact binaries have been modeled through a simplified approach, involving the artificial concatenation of the two components of the contact envelope and populating their respective surfaces with either blackbody atmospheres or plane-parallel model atmospheres of single stars. We show the implications this approach has on the reliability of the system parameter values and propose a method to overcome these issues with a new generalized radiative transfer code, COBAIN (COntact Binary Atmospheres with INterpolation). The basic principles of COBAIN are outlined and their application to different geometries and polytropic stellar structures is discussed. We present initial tests on single non-rotating, uniformly rotating and differentially rotating stars, as well as on simplified polytropic structural models of contact binaries. We briefly discuss the final goal of this ambitious project, which is the computation of model atmosphere tables under the correct assumptions for contact binary stars, to be used in modern binary star analysis codes.
△ Less
Submitted 23 April, 2018;
originally announced April 2018.
-
The Effects of Barycentric and Asymmetric Transverse Velocities on Eclipse and Transit Times
Authors:
Kyle E Conroy,
Andrej Prsa,
Martin Horvat,
Keivan G Stassun
Abstract:
It has long been recognized that the finite speed of light can affect the observed time of an event. For example, as a source moves radially toward or away from an observer, the path length and therefore the light travel time to the observer decreases or increases, causing the event to appear earlier or later than otherwise expected, respectively. This light travel time effect (LTTE) has been appl…
▽ More
It has long been recognized that the finite speed of light can affect the observed time of an event. For example, as a source moves radially toward or away from an observer, the path length and therefore the light travel time to the observer decreases or increases, causing the event to appear earlier or later than otherwise expected, respectively. This light travel time effect (LTTE) has been applied to transits and eclipses for a variety of purposes, including studies of eclipse timing variations (ETVs) and transit timing variations (TTVs) that reveal the presence of additional bodies in the system. Here we highlight another non-relativistic effect on eclipse or transit times arising from the finite speed of light---caused by an asymmetry in the transverse velocity of the two eclipsing objects, relative to the observer. This asymmetry can be due to a non-unity mass ratio or to the presence of external barycentric motion. Although usually constant, this barycentric and asymmetric transverse velocities (BATV) effect can vary between sequential eclipses if either the path length between the two objects or the barycentric transverse velocity varies in time. We discuss this BATV effect and estimate its magnitude for both time-dependent and time-independent cases. For the time-dependent cases, we consider binaries that experience a change in orbital inclination, eccentric systems with and without apsidal motion, and hierarchical triple systems. We also consider the time-independent case which, by affecting the primary and secondary eclipses differently, can influence the inferred system parameters, such as the orbital eccentricity.
△ Less
Submitted 27 February, 2018; v1 submitted 3 January, 2018;
originally announced January 2018.
-
Physics Of Eclipsing Binaries. II. Towards the Increased Model Fidelity
Authors:
Andrej Prša,
Kyle E. Conroy,
Martin Horvat,
Herbert Pablo,
Angela Kochoska,
Steven Bloemen,
Joseph Giammarco,
Kelly M. Hambleton,
Pieter Degroote
Abstract:
The precision of photometric and spectroscopic observations has been systematically improved in the last decade, mostly thanks to space-borne photometric missions and ground-based spectrographs dedicated to finding exoplanets. The field of eclipsing binary stars strongly benefited from this development. Eclipsing binaries serve as critical tools for determining fundamental stellar properties (mass…
▽ More
The precision of photometric and spectroscopic observations has been systematically improved in the last decade, mostly thanks to space-borne photometric missions and ground-based spectrographs dedicated to finding exoplanets. The field of eclipsing binary stars strongly benefited from this development. Eclipsing binaries serve as critical tools for determining fundamental stellar properties (masses, radii, temperatures and luminosities), yet the models are not capable of reproducing observed data well either because of the missing physics or because of insufficient precision. This led to a predicament where radiative and dynamical effects, insofar buried in noise, started showing up routinely in the data, but were not accounted for in the models. PHOEBE (PHysics Of Eclipsing BinariEs; http://phoebe-project.org) is an open source modeling code for computing theoretical light and radial velocity curves that addresses both problems by incorporating missing physics and by increasing the computational fidelity. In particular, we discuss triangulation as a superior surface discretization algorithm, meshing of rotating single stars, light time travel effect, advanced phase computation, volume conservation in eccentric orbits, and improved computation of local intensity across the stellar surfaces that includes photon-weighted mode, enhanced limb darkening treatment, better reflection treatment and Doppler boosting. Here we present the concepts on which PHOEBE is built on and proofs of concept that demonstrate the increased model fidelity.
△ Less
Submitted 15 December, 2016; v1 submitted 26 September, 2016;
originally announced September 2016.
-
Relativistic Positioning System in Perturbed Space-time
Authors:
Uroš Kostić,
Martin Horvat,
Andreja Gomboc
Abstract:
We present a variant of a Global Navigation Satellite System called a Relativistic Positioning System (RPS), which is based on emission coordinates. We modelled the RPS dynamics in a space-time around Earth, described by a perturbed Schwarzschild metric, where we included the perturbations due to Earth multipoles (up to the 6th), the Moon, the Sun, Venus, Jupiter, solid tide, ocean tide, and Kerr…
▽ More
We present a variant of a Global Navigation Satellite System called a Relativistic Positioning System (RPS), which is based on emission coordinates. We modelled the RPS dynamics in a space-time around Earth, described by a perturbed Schwarzschild metric, where we included the perturbations due to Earth multipoles (up to the 6th), the Moon, the Sun, Venus, Jupiter, solid tide, ocean tide, and Kerr rotation effect. The exchange of signals between the satellites and a user was calculated using a ray-tracing method in the Schwarzschild space-time. We find that positioning in a perturbed space-time is feasible and is highly accurate already with standard numerical procedures: the positioning algorithms used to transform between the emission and the Schwarzschild coordinates of the user are very accurate and time efficient -- on a laptop it takes 0.04 s to determine the user's spatial and time coordinates with a relative accuracy of $10^{-28}-10^{-26}$ and $10^{-32}-10^{-30}$, respectively.
△ Less
Submitted 15 October, 2015;
originally announced October 2015.
-
Comparing affective responses to standardized pictures and videos: A study report
Authors:
Marko Horvat,
Davor Kukolja,
Dragutin Ivanec
Abstract:
Multimedia documents such as text, images, sounds or videos elicit emotional responses of different polarity and intensity in exposed human subjects. These stimuli are stored in affective multimedia databases. The problem of emotion processing is an important issue in Human-Computer Interaction and different interdisciplinary studies particularly those related to psychology and neuroscience. Accur…
▽ More
Multimedia documents such as text, images, sounds or videos elicit emotional responses of different polarity and intensity in exposed human subjects. These stimuli are stored in affective multimedia databases. The problem of emotion processing is an important issue in Human-Computer Interaction and different interdisciplinary studies particularly those related to psychology and neuroscience. Accurate prediction of users' attention and emotion has many practical applications such as the development of affective computer interfaces, multifaceted search engines, video-on-demand, Internet communication and video games. To this regard we present results of a study with N=10 participants to investigate the capability of standardized affective multimedia databases in stimulation of emotion. Each participant was exposed to picture and video stimuli with previously determined semantics and emotion. During exposure participants' physiological signals were recorded and estimated for emotion in an off-line analysis. Participants reported their emotion states after each exposure session. The a posteriori and a priori emotion values were compared. The experiment showed, among other reported results, that carefully designed video sequences induce a stronger and more accurate emotional reaction than pictures. Individual participants' differences greatly influence the intensity and polarity of experienced emotion.
△ Less
Submitted 30 June, 2017; v1 submitted 27 May, 2015;
originally announced May 2015.
-
Retrieval of multimedia stimuli with semantic and emotional cues: Suggestions from a controlled study
Authors:
Marko Horvat,
Davor Kukolja,
Dragutin Ivanec
Abstract:
The ability to efficiently search pictures with annotated semantics and emotion is an important problem for Human-Computer Interaction with considerable interdisciplinary significance. Accuracy and speed of the multimedia retrieval process depends on the chosen metadata annotation model. The quality of such multifaceted retrieval is opposed to the potential complexity of data setup procedures and…
▽ More
The ability to efficiently search pictures with annotated semantics and emotion is an important problem for Human-Computer Interaction with considerable interdisciplinary significance. Accuracy and speed of the multimedia retrieval process depends on the chosen metadata annotation model. The quality of such multifaceted retrieval is opposed to the potential complexity of data setup procedures and development of multimedia annotations. Additionally, a recent study has shown that databases of emotionally annotated multimedia are still being predominately searched manually which highlights the need to study this retrieval modality. To this regard we present a study with N = 75 participants aimed to evaluate the influence of keywords and dimensional emotions in manual retrieval of pictures. The study showed that if the multimedia database is comparatively small emotional annotations are sufficient to achieve a fast retrieval despite comparatively lesser overall accuracy. In a larger dataset semantic annotations became necessary for efficient retrieval although they contributed to a slower beginning of the search process. The experiment was performed in a controlled environment with a team of psychology experts. The results were statistically consistent with validates measures of the participants' perceptual speed.
△ Less
Submitted 30 June, 2017; v1 submitted 27 May, 2015;
originally announced May 2015.
-
GWAT: The Geneva Affective Picture Database WordNet Annotation Tool
Authors:
Marko Horvat,
Dujo Duvnjak,
Davor Jug
Abstract:
The Geneva Affective Picture Database WordNet Annotation Tool (GWAT) is a user-friendly web application for manual annotation of pictures in Geneva Affective Picture Database (GAPED) with WordNet. The annotation tool has an intuitive interface which can be efficiently used with very little technical training. A single picture may be labeled with many synsets allowing experts to describe semantics…
▽ More
The Geneva Affective Picture Database WordNet Annotation Tool (GWAT) is a user-friendly web application for manual annotation of pictures in Geneva Affective Picture Database (GAPED) with WordNet. The annotation tool has an intuitive interface which can be efficiently used with very little technical training. A single picture may be labeled with many synsets allowing experts to describe semantics with different levels of detail. Noun, verb, adjective and adverb synsets can be keyword-searched and attached to a specific GAPED picture with their unique identification numbers. Changes are saved automatically in the tool's relational database. The attached synsets can be reviewed, changed or deleted later. Additionally, GAPED pictures may be browsed in the tool's user interface using simple commands where previously attached WordNet synsets are displayed alongside the pictures. Stored annotations can be exported from the tool's database to different data formats and used in 3rd party applications if needed. Since GAPED does not define keywords of individual pictures but only a general category of picture groups, GWAT represents a significant improvement towards development of comprehensive picture semantics. The tool was developed with open technologies WordNet API, Apache, PHP5 and MySQL. It is freely available for scientific and non-commercial use.
△ Less
Submitted 30 June, 2017; v1 submitted 27 May, 2015;
originally announced May 2015.
-
An Autonomous Reference Frame for Relativistic GNSS
Authors:
Uroš Kostić,
Martin Horvat,
Sante Carloni,
Pacôme Delva,
Andreja Gomboc
Abstract:
Current GNSS systems rely on global reference frames which are fixed to the Earth (via the ground stations) so their precision and stability in time are limited by our knowledge of the Earth dynamics. These drawbacks could be avoided by giving to the constellation of satellites the possibility of constituting by itself a primary and autonomous positioning system, without any a priori realization o…
▽ More
Current GNSS systems rely on global reference frames which are fixed to the Earth (via the ground stations) so their precision and stability in time are limited by our knowledge of the Earth dynamics. These drawbacks could be avoided by giving to the constellation of satellites the possibility of constituting by itself a primary and autonomous positioning system, without any a priori realization of a terrestrial reference frame. Our work shows that it is possible to construct such a system, an Autonomous Basis of Coordinates, via emission coordinates. Here we present the idea of the Autonomous Basis of Coordinates and its implementation in the perturbed space-time of Earth, where the motion of satellites, light propagation, and gravitational perturbations are treated in the formalism of general relativity.
△ Less
Submitted 24 January, 2014; v1 submitted 19 January, 2014;
originally announced January 2014.
-
STIMONT: A core ontology for multimedia stimuli description
Authors:
Marko Horvat,
Nikola Bogunović,
Krešimir Ćosić
Abstract:
Affective multimedia documents such as images, sounds or videos elicit emotional responses in exposed human subjects. These stimuli are stored in affective multimedia databases and successfully used for a wide variety of research in psychology and neuroscience in areas related to attention and emotion processing. Although important all affective multimedia databases have numerous deficiencies whic…
▽ More
Affective multimedia documents such as images, sounds or videos elicit emotional responses in exposed human subjects. These stimuli are stored in affective multimedia databases and successfully used for a wide variety of research in psychology and neuroscience in areas related to attention and emotion processing. Although important all affective multimedia databases have numerous deficiencies which impair their applicability. These problems, which are brought forward in the paper, result in low recall and precision of multimedia stimuli retrieval which makes creating emotion elicitation procedures difficult and labor-intensive. To address these issues a new core ontology STIMONT is introduced. The STIMONT is written in OWL-DL formalism and extends W3C EmotionML format with an expressive and formal representation of affective concepts, high-level semantics, stimuli document metadata and the elicited physiology. The advantages of ontology in description of affective multimedia stimuli are demonstrated in a document retrieval experiment and compared against contemporary keyword-based querying methods. Also, a software tool Intelligent Stimulus Generator for retrieval of affective multimedia and construction of stimuli sequences is presented.
△ Less
Submitted 10 January, 2014;
originally announced January 2014.
-
Labeling and Retrieval of Emotionally-Annotated Images using WordNet
Authors:
Marko Horvat,
Anton Grbin,
Gordan Gledec
Abstract:
Repositories of images with semantic and emotion content descriptions are valuable tools in many areas such as Affective Computing and Human-Computer Interaction, but they are also important in the development of multimodal searchable online databases. Ever growing number of image documents available on the Internet continuously motivates research of better annotation models and more efficient ret…
▽ More
Repositories of images with semantic and emotion content descriptions are valuable tools in many areas such as Affective Computing and Human-Computer Interaction, but they are also important in the development of multimodal searchable online databases. Ever growing number of image documents available on the Internet continuously motivates research of better annotation models and more efficient retrieval methods which use mash-up of available data on semantics, scenes, objects, events, context and emotion. Formal knowledge representation of such high-level semantics requires rich, explicit, human but also machine-processable information. To achieve these goals we present an online ontology-based image annotation tool WNtags and demonstrate its usefulness in knowledge representation and image retrieval using the International Affective Picture System database. The WNtags uses WordNet as image tagging glossary but considers Suggested Upper Merged Ontology as the preferred upper labeling formalism. The retrieval is performed using node distance metrics to establish semantic relatedness between a query and the collaboratively weighted tags describing high-level image semantics, after which the result is ranked according to the derived importance. We also elaborate plans to improve the WNtags to create a collaborative Web-based multimedia repository for research in human emotion and attention.
△ Less
Submitted 10 January, 2014; v1 submitted 3 April, 2013;
originally announced April 2013.
-
Multimedia stimuli databases usage patterns: a survey report
Authors:
Marko Horvat,
Siniša Popović,
Krešimir Ćosić
Abstract:
Multimedia documents such as images, sounds or videos can be used to elicit emotional responses in exposed human subjects. These stimuli are stored in affective multimedia databases and successfully used for a wide variety of research in affective computing, human-computer interaction and cognitive sciences. Affective multimedia databases are simple repositories of multimedia documents with annota…
▽ More
Multimedia documents such as images, sounds or videos can be used to elicit emotional responses in exposed human subjects. These stimuli are stored in affective multimedia databases and successfully used for a wide variety of research in affective computing, human-computer interaction and cognitive sciences. Affective multimedia databases are simple repositories of multimedia documents with annotated high-level semantics and affective content. Although important all affective multimedia databases have numerous deficiencies which impair their applicability. To establish a better understanding of how experts use affective multimedia databases an online survey was conducted into the subject. The survey results are statistically significant and indicate that contemporary databases lack stimuli with rich semantic and emotional content. 73.33% of survey participants find the databases lacking at least some important semantic or emotion content. Most of the participants consider stimuli descriptions to be inadequate. Overall, 1-2h or more than 24h are generally needed to construct a single stimulation sequence. Almost 84% of the survey participants would like to use real-life videos in their research. Experts unequivocally recognize the need for an intelligent stimuli retrieval application that would assist them in experimentation. Almost all experts agree such applications could be useful in their work.
△ Less
Submitted 10 January, 2014; v1 submitted 20 March, 2013;
originally announced March 2013.
-
Assessing Semantic Quality of Web Directory Structure
Authors:
Marko Horvat,
Gordan Gledec,
Nikola Bogunović
Abstract:
The administration of a Web directory content and associated structure is a labor intensive task performed by human domain experts. Because of that there always exists a realistic risk of the structure becoming unbalanced, uneven and difficult to use to all except for a few users proficient in a particular Web directory. These problems emphasize the importance of generic and objective measures of…
▽ More
The administration of a Web directory content and associated structure is a labor intensive task performed by human domain experts. Because of that there always exists a realistic risk of the structure becoming unbalanced, uneven and difficult to use to all except for a few users proficient in a particular Web directory. These problems emphasize the importance of generic and objective measures of Web directories structure quality. In this paper we demonstrate how to formally merge Web directories into the Semantic Web vision. We introduce a set of objective criterions for evaluation of a Web directory's structure quality. Some criteria functions are based on heuristics while others require the application of ontologies.
△ Less
Submitted 9 February, 2013;
originally announced February 2013.
-
WNtags: A Web-Based Tool For Image Labeling And Retrieval With Lexical Ontologies
Authors:
Marko Horvat,
Anton Grbin,
Gordan Gledec
Abstract:
Ever growing number of image documents available on the Internet continuously motivates research in better annotation models and more efficient retrieval methods. Formal knowledge representation of objects and events in pictures, their interaction as well as context complexity becomes no longer an option for a quality image repository, but a necessity. We present an ontology-based online image ann…
▽ More
Ever growing number of image documents available on the Internet continuously motivates research in better annotation models and more efficient retrieval methods. Formal knowledge representation of objects and events in pictures, their interaction as well as context complexity becomes no longer an option for a quality image repository, but a necessity. We present an ontology-based online image annotation tool WNtags and demonstrate its usefulness in several typical multimedia retrieval tasks using International Affective Picture System emotionally annotated image database. WNtags is built around WordNet lexical ontology but considers Suggested Upper Merged Ontology as the preferred labeling formalism. WNtags uses sets of weighted WordNet synsets as high-level image semantic descriptors and query matching is performed with word stemming and node distance metrics. We also elaborate our near future plans to expand image content description with induced affect as in stimuli for research of human emotion and attention.
△ Less
Submitted 5 December, 2017; v1 submitted 9 February, 2013;
originally announced February 2013.
-
Ontology-Based Administration of Web Directories
Authors:
Marko Horvat,
Gordan Gledec,
Nikola Bogunović
Abstract:
Administration of a Web directory and maintenance of its content and the associated structure is a delicate and labor intensive task performed exclusively by human domain experts. Subsequently there is an imminent risk of a directory structures becoming unbalanced, uneven and difficult to use to all except for a few users proficient with the particular Web directory and its domain. These problems…
▽ More
Administration of a Web directory and maintenance of its content and the associated structure is a delicate and labor intensive task performed exclusively by human domain experts. Subsequently there is an imminent risk of a directory structures becoming unbalanced, uneven and difficult to use to all except for a few users proficient with the particular Web directory and its domain. These problems emphasize the need to establish two important issues: i) generic and objective measures of Web directories structure quality, and ii) mechanism for fully automated development of a Web directory's structure. In this paper we demonstrate how to formally and fully integrate Web directories with the Semantic Web vision. We propose a set of criteria for evaluation of a Web directory's structure quality. Some criterion functions are based on heuristics while others require the application of ontologies. We also suggest an ontology-based algorithm for construction of Web directories. By using ontologies to describe the semantics of Web resources and Web directories' categories it is possible to define algorithms that can build or rearrange the structure of a Web directory. Assessment procedures can provide feedback and help steer the ontology-based construction process. The issues raised in the article can be equally applied to new and existing Web directories.
△ Less
Submitted 9 February, 2013;
originally announced February 2013.
-
Towards semantic and affective coupling in emotionally annotated databases
Authors:
Marko Horvat,
Siniša Popović,
Krešimir Ćosić
Abstract:
Emotionally annotated databases are repositories of multimedia documents with annotated affective content that elicit emotional responses in exposed human subjects. They are primarily used in research of human emotions, attention and development of stress-related mental disorders. This can be successfully exploited in larger processes like selection, evaluation and training of personnel for occupa…
▽ More
Emotionally annotated databases are repositories of multimedia documents with annotated affective content that elicit emotional responses in exposed human subjects. They are primarily used in research of human emotions, attention and development of stress-related mental disorders. This can be successfully exploited in larger processes like selection, evaluation and training of personnel for occupations involving high stress levels. Emotionally annotated databases are also used in multimodal affective user interfaces to facilitate richer and more intuitive human-computer interaction. Multimedia documents in emotionally annotated databases must have maximum personal ego relevance to be the most effective in all these applications. For this reason flexible construction of subject-specific of emotionally annotated databases is imperative. But current construction process is lengthy and labor intensive because it inherently includes an elaborate tagging experiment involving a team of human experts. This is unacceptable since the creation of new databases or modification of the existing ones becomes slow and difficult. We identify a positive correlation between the affect and semantics in the existing emotionally annotated databases and propose to exploit this feature with an interactive relevance feedback for a more efficient construction of emotionally annotated databases. Automatic estimation of affective annotations from existing semantics enhanced with information refinement processes may lead to an efficient construction of high-quality emotionally annotated databases.
△ Less
Submitted 1 December, 2012;
originally announced December 2012.
-
Railway switch transport model
Authors:
Martin Horvat,
Tomaz Prosen,
Giuliano Benenti,
Giulio Casati
Abstract:
We propose a simple model of coupled heat and particle transport based on a zero-dimensional classical deterministic dynamics which is reminiscent of a railway switch whose action is only a function of the particle's energy. It is shown that already in the minimal three-terminal model, where the second terminal is considered as a probe with zero net particle and heat currents, one can find extreme…
▽ More
We propose a simple model of coupled heat and particle transport based on a zero-dimensional classical deterministic dynamics which is reminiscent of a railway switch whose action is only a function of the particle's energy. It is shown that already in the minimal three-terminal model, where the second terminal is considered as a probe with zero net particle and heat currents, one can find extremely asymmetric Onsager matrices as a consequence of time-reversal symmetry breaking of the model. This minimalistic transport model provides a better understanding of thermoelectric heat engines in the presence of time-reversal symmetry breaking.
△ Less
Submitted 1 August, 2012; v1 submitted 25 July, 2012;
originally announced July 2012.
-
Transport in a disordered tight-binding chain with dephasing
Authors:
Marko Znidaric,
Martin Horvat
Abstract:
We study transport properties of a disordered tight-binding model (XX spin chain) in the presence of dephasing. Focusing on diffusive behavior in the thermodynamic limit at high energies, we analytically derive the dependence of conductivity on dephasing and disorder strengths. As a function of dephasing, conductivity exhibits a single maximum at the optimal dephasing strength. The scaling of the…
▽ More
We study transport properties of a disordered tight-binding model (XX spin chain) in the presence of dephasing. Focusing on diffusive behavior in the thermodynamic limit at high energies, we analytically derive the dependence of conductivity on dephasing and disorder strengths. As a function of dephasing, conductivity exhibits a single maximum at the optimal dephasing strength. The scaling of the position of this maximum with disorder strength is different for small and large disorder. In addition, we study periodic disorder for which we find a resonance phenomenon, with conductivity having two maxima as a function of dephasing strength. If disorder is nonzero only at a random fraction of all sites, conductivity is approximately the same as in the case of a disorder on all sites but with a rescaled disorder strength.
△ Less
Submitted 4 March, 2013; v1 submitted 25 July, 2012;
originally announced July 2012.
-
Impact of technological synchronicity on prospects for CETI
Authors:
Marko Horvat,
Anamari Nakić,
Ivana Otočan
Abstract:
For over 50 years, astronomers have searched the skies for evidence of electromagnetic signals from extraterrestrial civilizations that have reached or surpassed our level of technological development. Although often overlooked or given as granted, the parallel use of an equivalent communication technology is a necessary prerequisite for establishing contact in both leakage and deliberate messagin…
▽ More
For over 50 years, astronomers have searched the skies for evidence of electromagnetic signals from extraterrestrial civilizations that have reached or surpassed our level of technological development. Although often overlooked or given as granted, the parallel use of an equivalent communication technology is a necessary prerequisite for establishing contact in both leakage and deliberate messaging strategies. Civilization advancements, especially accelerating change and exponential growth, lessen the perspective for a simultaneous technological status of civilizations thus putting hard constraints on the likelihood of a dialogue. In this paper we consider the mathematical probability of technological synchronicity of our own and a number of other hypothetical extraterrestrial civilizations and explore the most likely scenarios for their concurrency. If SETI projects rely on a fortuitous detection of leaked interstellar signals (so called "eavesdrop**") then without any prior assumptions N \geq 138-4991 Earth-like civilizations have to exist at this moment in the Galaxy for the technological usage synchronicity probability p \geq 0.95 in the next 20 years. We also show that since the emergence of complex life, coherent with the hypothesis of the Galactic habitable zone, N \geq 1497 extraterrestrial civilizations had to be created in the Galaxy in order to achieve the same estimated probability in the technological possession synchronicity which corresponds to the deliberate signaling scenario.
△ Less
Submitted 2 December, 2011;
originally announced December 2011.
-
Nanocoolers
Authors:
Martin Horvat,
Tomaž Prosen,
Giulio Casati
Abstract:
We present a simple kinematic model of a non-equilibrium steady state device, which can operate either as a heat engine or as a refrigerator. The model is composed of two or more scattering channels where the motion is fully described by deterministic classical dynamics, which connect a pair of stochastic (infinite) heat and particle baths at unequal temperatures. We discuss precise kinematic cond…
▽ More
We present a simple kinematic model of a non-equilibrium steady state device, which can operate either as a heat engine or as a refrigerator. The model is composed of two or more scattering channels where the motion is fully described by deterministic classical dynamics, which connect a pair of stochastic (infinite) heat and particle baths at unequal temperatures. We discuss precise kinematic conditions under which our model may approach Carnot's optimal efficiency in different situations.
△ Less
Submitted 27 July, 2011;
originally announced July 2011.
-
The Fluorescence Detector of the Pierre Auger Observatory
Authors:
The Pierre Auger Collaboration,
J. Abraham,
P. Abreu,
M. Aglietta,
C. Aguirre,
E. J. Ahn,
D. Allard,
I. Allekotte,
J. Allen,
P. Allison,
J. Alvarez-Muñiz,
M. Ambrosio,
L. Anchordoqui,
S. Andringa,
A. Anzalone,
C. Aramo,
E. Arganda,
S. Argirò,
K. Arisaka,
F. Arneodo,
F. Arqueros,
T. Asch,
H. Asorey,
P. Assis,
J. Aublin
, et al. (493 additional authors not shown)
Abstract:
The Pierre Auger Observatory is a hybrid detector for ultra-high energy cosmic rays. It combines a surface array to measure secondary particles at ground level together with a fluorescence detector to measure the development of air showers in the atmosphere above the array. The fluorescence detector comprises 24 large telescopes specialized for measuring the nitrogen fluorescence caused by charg…
▽ More
The Pierre Auger Observatory is a hybrid detector for ultra-high energy cosmic rays. It combines a surface array to measure secondary particles at ground level together with a fluorescence detector to measure the development of air showers in the atmosphere above the array. The fluorescence detector comprises 24 large telescopes specialized for measuring the nitrogen fluorescence caused by charged particles of cosmic ray air showers. In this paper we describe the components of the fluorescence detector including its optical system, the design of the camera, the electronics, and the systems for relative and absolute calibration. We also discuss the operation and the monitoring of the detector. Finally, we evaluate the detector performance and precision of shower reconstructions.
△ Less
Submitted 24 July, 2009;
originally announced July 2009.
-
A hybrid method for calculation of Ruelle-Pollicott resonances
Authors:
Martin Horvat,
Gregor Veble
Abstract:
We present a numerical method for calculation of Ruelle-Pollicott resonances of dynamical systems. It constructs an effective coarse-grained propagator by considering the correlations of multiple observables over multiple timesteps. The method is compared to the usual approaches on the example of the perturbed cat map and is shown to be numerically efficient and robust.
We present a numerical method for calculation of Ruelle-Pollicott resonances of dynamical systems. It constructs an effective coarse-grained propagator by considering the correlations of multiple observables over multiple timesteps. The method is compared to the usual approaches on the example of the perturbed cat map and is shown to be numerically efficient and robust.
△ Less
Submitted 3 July, 2009;
originally announced July 2009.
-
An exactly solvable model of a highly efficient thermoelectric engine
Authors:
Martin Horvat,
Tomaz Prosen,
Giulio Casati
Abstract:
We propose a simple classical dynamical model of a thermoelectric (or thermochemical) heat engine based on a pair of ideal gas containers connected by two unequal scattering channels. The model is solved analytically and it is shown that a suitable combination of parameters can be chosen such that the engine operates at Carnot's efficiency.
We propose a simple classical dynamical model of a thermoelectric (or thermochemical) heat engine based on a pair of ideal gas containers connected by two unequal scattering channels. The model is solved analytically and it is shown that a suitable combination of parameters can be chosen such that the engine operates at Carnot's efficiency.
△ Less
Submitted 18 June, 2009; v1 submitted 25 May, 2009;
originally announced May 2009.
-
Tagging multimedia stimuli with ontologies
Authors:
Marko Horvat,
Sinisa Popovic,
Nikola Bogunovic,
Kresimir Cosic
Abstract:
Successful management of emotional stimuli is a pivotal issue concerning Affective Computing (AC) and the related research. As a subfield of Artificial Intelligence, AC is concerned not only with the design of computer systems and the accompanying hardware that can recognize, interpret, and process human emotions, but also with the development of systems that can trigger human emotional response…
▽ More
Successful management of emotional stimuli is a pivotal issue concerning Affective Computing (AC) and the related research. As a subfield of Artificial Intelligence, AC is concerned not only with the design of computer systems and the accompanying hardware that can recognize, interpret, and process human emotions, but also with the development of systems that can trigger human emotional response in an ordered and controlled manner. This requires the maximum attainable precision and efficiency in the extraction of data from emotionally annotated databases While these databases do use keywords or tags for description of the semantic content, they do not provide either the necessary flexibility or leverage needed to efficiently extract the pertinent emotional content. Therefore, to this extent we propose an introduction of ontologies as a new paradigm for description of emotionally annotated data. The ability to select and sequence data based on their semantic attributes is vital for any study involving metadata, semantics and ontological sorting like the Semantic Web or the Social Semantic Desktop, and the approach described in the paper facilitates reuse in these areas as well.
△ Less
Submitted 4 March, 2009;
originally announced March 2009.
-
Elementary epistemological features of machine intelligence
Authors:
Marko Horvat
Abstract:
Theoretical analysis of machine intelligence (MI) is useful for defining a common platform in both theoretical and applied artificial intelligence (AI). The goal of this paper is to set canonical definitions that can assist pragmatic research in both strong and weak AI. Described epistemological features of machine intelligence include relationship between intelligent behavior, intelligent and u…
▽ More
Theoretical analysis of machine intelligence (MI) is useful for defining a common platform in both theoretical and applied artificial intelligence (AI). The goal of this paper is to set canonical definitions that can assist pragmatic research in both strong and weak AI. Described epistemological features of machine intelligence include relationship between intelligent behavior, intelligent and unintelligent machine characteristics, observable and unobservable entities and classification of intelligence. The paper also establishes algebraic definitions of efficiency and accuracy of MI tests as their quality measure. The last part of the paper addresses the learning process with respect to the traditional epistemology and the epistemology of MI described here. The proposed views on MI positively correlate to the Hegelian monistic epistemology and contribute towards amalgamating idealistic deliberations with the AI theory, particularly in a local frame of reference.
△ Less
Submitted 30 June, 2017; v1 submitted 4 December, 2008;
originally announced December 2008.
-
The ensemble of random Markov matrices
Authors:
Martin Horvat
Abstract:
The ensemble of random Markov matrices is introduced as a set of Markov or stochastic matrices with the maximal Shannon entropy. The statistical properties of the stationary distribution pi, the average entropy growth rate $h$ and the second largest eigenvalue nu across the ensemble are studied. It is shown and heuristically proven that the entropy growth-rate and second largest eigenvalue of Ma…
▽ More
The ensemble of random Markov matrices is introduced as a set of Markov or stochastic matrices with the maximal Shannon entropy. The statistical properties of the stationary distribution pi, the average entropy growth rate $h$ and the second largest eigenvalue nu across the ensemble are studied. It is shown and heuristically proven that the entropy growth-rate and second largest eigenvalue of Markov matrices scale in average with dimension of matrices d as h ~ log(O(d)) and nu ~ d^(-1/2), respectively, yielding the asymptotic relation h tau_c ~ 1/2 between entropy h and correlation decay time tau_c = -1/log|nu| . Additionally, the correlation between h and and tau_c is analysed and is decreasing with increasing dimension d.
△ Less
Submitted 18 June, 2009; v1 submitted 2 December, 2008;
originally announced December 2008.
-
On ergodic and mixing properties of the triangle map
Authors:
Martin Horvat,
Mirko Degli Esposti,
Stefano Isola,
Tomaz Prosen,
Leonid Bunimovich
Abstract:
In this paper we study in detail, both analytically and numerically, the dynamical properties of the triangle map, a piecewise parabolic automorphism of the two-dimensional torus, for different values of the two independent parameters defining the map. The dynamics is studied numerically by means of two different symbolic encoding schemes, both relying on the fact that it maps polygons to polygo…
▽ More
In this paper we study in detail, both analytically and numerically, the dynamical properties of the triangle map, a piecewise parabolic automorphism of the two-dimensional torus, for different values of the two independent parameters defining the map. The dynamics is studied numerically by means of two different symbolic encoding schemes, both relying on the fact that it maps polygons to polygons: in the first scheme we consider dynamically generated partitions made out of suitable sets of disjoint polygons, in the second we consider the standard binary partition of the torus induced by the discontinuity set. These encoding schemes are studied in detail and shown to be compatible, although not equivalent. The ergodic properties of the triangle map are then investigated in terms of the Markov transition matrices associated to the above schemes and furthermore compared to the spectral properties of the Koopman operator in L2(T2). Finally, a stochastic version of the triangle map is introduced and studied. A simple heuristic analysis of the latter yields the correct statistical and scaling behaviours of the correlation functions of the original map.
△ Less
Submitted 22 December, 2008; v1 submitted 28 February, 2008;
originally announced February 2008.
-
Dynamical approach to chains of scatterers
Authors:
Martin Horvat,
Tomaz Prosen
Abstract:
Linear chains of quantum scatterers are studied in the process of lengthening, which is treated and analysed as a discrete dynamical system defined over the manifold of scattering matrices. Elementary properties of such dynamics relate the transport through the chain to the spectral properties of individual scatterers. For a single-scattering channel case some new light is shed on known transpor…
▽ More
Linear chains of quantum scatterers are studied in the process of lengthening, which is treated and analysed as a discrete dynamical system defined over the manifold of scattering matrices. Elementary properties of such dynamics relate the transport through the chain to the spectral properties of individual scatterers. For a single-scattering channel case some new light is shed on known transport properties of disordered and noisy chains, whereas translationally invariant case can be studied analytically in terms of a simple deterministic dynamical map. The many-channel case was studied numerically by examining the statistical properties of scatterers that correspond to a certain type of transport of the chain i.e. ballistic or (partially) localised.
△ Less
Submitted 9 August, 2007;
originally announced August 2007.
-
Calculating the probability of detecting radio signals from alien civilizations
Authors:
Marko Horvat
Abstract:
Although it might not be self-evident, it is in fact entirely possible to calculate the probability of detecting alien radio signals by understanding what types of extraterrestrial radio emissions can be expected and what properties these emissions can have. Using the Drake equation as the obvious starting point, and logically identifying and enumerating constraints of interstellar radio communi…
▽ More
Although it might not be self-evident, it is in fact entirely possible to calculate the probability of detecting alien radio signals by understanding what types of extraterrestrial radio emissions can be expected and what properties these emissions can have. Using the Drake equation as the obvious starting point, and logically identifying and enumerating constraints of interstellar radio communications can yield the probability of detecting a genuine alien radio signal.
△ Less
Submitted 13 July, 2007; v1 submitted 29 June, 2007;
originally announced July 2007.
-
Egorov property in perturbed cat map
Authors:
Martin Horvat,
Mirko Degli Esposti
Abstract:
We study the time evolution of the quantum-classical correspondence (QCC) for the well known model of quantised perturbed cat maps on the torus in the very specific regime of semi-classically small perturbations. The quality of the QCC is measured by the overlap of classical phase-space density and corresponding Wigner function of the quantum system called quantum-classical fidelity (QCF). In th…
▽ More
We study the time evolution of the quantum-classical correspondence (QCC) for the well known model of quantised perturbed cat maps on the torus in the very specific regime of semi-classically small perturbations. The quality of the QCC is measured by the overlap of classical phase-space density and corresponding Wigner function of the quantum system called quantum-classical fidelity (QCF). In the analysed regime the QCF strongly deviates from the known general behaviour in particular it decays faster then exponential. Here we study and explain the observed behavior of the QCF and the apparent violation of the QCC principle.
△ Less
Submitted 16 July, 2007; v1 submitted 29 June, 2007;
originally announced June 2007.
-
Measurement of Aerosols at the Pierre Auger Observatory
Authors:
S. Y. BenZvi,
F. Arqueros,
R. Cester,
M. Chiosso,
B. M. Connolly,
B. Fick,
A. Filipcic,
B. García,
A. Grillo,
F. Guarino,
M. Horvat,
M. Iarlori,
C. Macolino,
M. Malek,
J. Matthews,
J. A. J. Matthews,
D. Melo,
R. Meyhandan,
M. Micheletti,
M. Monasor,
M. Mostafá,
R. Mussa,
J. Pallotta,
S. Petrera,
M. Prouza
, et al. (16 additional authors not shown)
Abstract:
The air fluorescence detectors (FDs) of the Pierre Auger Observatory are vital for the determination of the air shower energy scale. To compensate for variations in atmospheric conditions that affect the energy measurement, the Observatory operates an array of monitoring instruments to record hourly atmospheric conditions across the detector site, an area exceeding 3,000 square km. This paper pr…
▽ More
The air fluorescence detectors (FDs) of the Pierre Auger Observatory are vital for the determination of the air shower energy scale. To compensate for variations in atmospheric conditions that affect the energy measurement, the Observatory operates an array of monitoring instruments to record hourly atmospheric conditions across the detector site, an area exceeding 3,000 square km. This paper presents results from four instruments used to characterize the aerosol component of the atmosphere: the Central Laser Facility (CLF), which provides the FDs with calibrated laser shots; the scanning backscatter lidars, which operate at three FD sites; the Aerosol Phase Function monitors (APFs), which measure the aerosol scattering cross section at two FD locations; and the Horizontal Attenuation Monitor (HAM), which measures the wavelength dependence of aerosol attenuation.
△ Less
Submitted 21 June, 2007;
originally announced June 2007.
-
The bends on a quantum waveguide and cross-products of Bessel functions
Authors:
Martin Horvat,
Tomaz Prosen
Abstract:
A detailed analysis of the wave-mode structure in a bend and its incorporation into a stable algorithm for calculation of the scattering matrix of the bend is presented. The calculations are based on the modal approach. The stability and precision of the algorithm is numerically and analytically analysed. The algorithm enables precise numerical calculations of scattering across the bend. The ref…
▽ More
A detailed analysis of the wave-mode structure in a bend and its incorporation into a stable algorithm for calculation of the scattering matrix of the bend is presented. The calculations are based on the modal approach. The stability and precision of the algorithm is numerically and analytically analysed. The algorithm enables precise numerical calculations of scattering across the bend. The reflection is a purely quantum phenomenon and is discussed in more detail over a larger energy interval. The behaviour of the reflection is explained partially by a one-dimensional scattering model and heuristic calculations of the scattering matrix for narrow bends. In the same spirit we explain the numerical results for the Wigner-Smith delay time in the bend.
△ Less
Submitted 24 May, 2007;
originally announced May 2007.
-
Comparing Architectures of Mobile Applications
Authors:
Kresimir Fertalj,
Marko Horvat
Abstract:
This article describes various advantages and disadvantages of SMS, WAP, J2ME and Windows CE technologies in designing mobile applications. In defining the architecture of any software application it is important to get the best trade-off between platform's possibilities and design requirements. Achieving optimum software design is even more important with mobile applications where all computer…
▽ More
This article describes various advantages and disadvantages of SMS, WAP, J2ME and Windows CE technologies in designing mobile applications. In defining the architecture of any software application it is important to get the best trade-off between platform's possibilities and design requirements. Achieving optimum software design is even more important with mobile applications where all computer resources are limited. Therefore, it is important to have a comparative analysis of all relevant contemporary approaches in designing mobile applications. As always, the choice between these technologies is determined by application requirements and system capabilities.
△ Less
Submitted 8 March, 2007;
originally announced March 2007.
-
Authentication via wireless networks
Authors:
Darko Fuduric,
Marko Horvat,
Mario Zagar
Abstract:
Personal authentication is an important process we encounter almost every day; when we are logging on a computer, entering a company where we work, or a restricted area, when we are using our plastic credit cards to pay for a service or to complete some other financial transaction, etc. In each of these processes of personal authentication some kind of magnetic or optical token is required. But…
▽ More
Personal authentication is an important process we encounter almost every day; when we are logging on a computer, entering a company where we work, or a restricted area, when we are using our plastic credit cards to pay for a service or to complete some other financial transaction, etc. In each of these processes of personal authentication some kind of magnetic or optical token is required. But by using novel technologies like mobile computing and wireless networking, it is possible to avoid carrying multitude of ID cards or remembering a number of PIN codes. Article shows how to efficiently authenticate users via Personal Area Networks (PAN) like Bluetooth or IrDA using commonplace AES (Rijndel) or MD5 encryption. This method can be implemented on many types of mobile devices like Pocket PC PDA with Windows CE (Windows Mobile 2003) real-time operating system, or any other customized OS, so we will explain all components and key features of such basic system.
△ Less
Submitted 16 February, 2007;
originally announced February 2007.
-
The Lidar System of the Pierre Auger Observatory
Authors:
S. Y. BenZvi,
R. Cester,
M. Chiosso,
B. M. Connolly,
A. Filipcic,
B. Garcia,
A. Grillo,
F. Guarino,
M. Horvat,
M. Iarlori,
C. Macolino,
J. A. J. Matthews,
D. Melo,
R. Mussa,
M. Mostafa,
J. Pallota,
S. Petrera,
M. Prouza,
V. Rizi,
M. Roberts,
J. R. Rodriguez Rojo,
F. Salamida,
M. Santander,
G. Sequeiros,
A. Tonachini
, et al. (5 additional authors not shown)
Abstract:
The Pierre Auger Observatory in Malargue, Argentina, is designed to study the origin of ultrahigh energy cosmic rays with energies above 10^18 eV. The energy calibration of the detector is based on a system of four air fluorescence detectors. To obtain reliable calorimetric information from the fluorescence stations, the atmospheric conditions at the experiment's site need to be monitored contin…
▽ More
The Pierre Auger Observatory in Malargue, Argentina, is designed to study the origin of ultrahigh energy cosmic rays with energies above 10^18 eV. The energy calibration of the detector is based on a system of four air fluorescence detectors. To obtain reliable calorimetric information from the fluorescence stations, the atmospheric conditions at the experiment's site need to be monitored continuously during operation. One of the components of the observatory's atmospheric monitoring system is a set of four elastic backscatter lidar stations, one station at each of the fluorescence detector sites. This paper describes the design, current status, standard operation procedure, and performance of the lidar system of the Pierre Auger Observatory.
△ Less
Submitted 31 March, 2007; v1 submitted 3 September, 2006;
originally announced September 2006.
-
Value statistics of chaotic Wigner function
Authors:
Martin Horvat,
Tomaz Prosen
Abstract:
We study Wigner function value statistics of classically chaotic quantum maps on compact 2D phase space. We show that the Wigner function statistics of a random state is a Gaussian, with the mean value becoming negligible compared to the width in the semi-classical limit. Using numerical example of quantized sawtooth map we demonstrate that the relaxation of time-dependent Wigner function statis…
▽ More
We study Wigner function value statistics of classically chaotic quantum maps on compact 2D phase space. We show that the Wigner function statistics of a random state is a Gaussian, with the mean value becoming negligible compared to the width in the semi-classical limit. Using numerical example of quantized sawtooth map we demonstrate that the relaxation of time-dependent Wigner function statistics, starting from a coherent initial state, takes place on a logarithmically short log (hbar) time scale.
△ Less
Submitted 1 February, 2006;
originally announced February 2006.
-
Wigner function statistics in classically chaotic systems
Authors:
Martin Horvat,
Tomaz Prosen
Abstract:
We have studied statistical properties of the values of the Wigner function W(x) of 1D quantum maps on compact 2D phase space of finite area V. For this purpose we have defined a Wigner function probability distribution P(w) = (1/V) int delta(w-W(x)) dx, which has, by definition, fixed first and second moment. In particular, we concentrate on relaxation of time evolving quantum state in terms of…
▽ More
We have studied statistical properties of the values of the Wigner function W(x) of 1D quantum maps on compact 2D phase space of finite area V. For this purpose we have defined a Wigner function probability distribution P(w) = (1/V) int delta(w-W(x)) dx, which has, by definition, fixed first and second moment. In particular, we concentrate on relaxation of time evolving quantum state in terms of W(x), starting from a coherent state. We have shown that for a classically chaotic quantum counterpart the distribution P(w) in the semi-classical limit becomes a Gaussian distribution that is fully determined by the first two moments. Numerical simulations have been performed for the quantum sawtooth map and the quantized kicked top. In a quantum system with Hilbert space dimension N (similar 1/hbar) the transition of P(w) to a Gaussian distribution was observed at times t proportional to log N. In addition, it has been shown that the statistics of Wigner functions of propagator eigenstates is Gaussian as well in the classically fully chaotic regime. We have also studied the structure of the nodal cells of the Wigner function, in particular the distribution of intersection points between the zero manifold and arbitrary straight lines.
△ Less
Submitted 24 January, 2006;
originally announced January 2006.
-
Quantum-classical correspondence on compact phase space
Authors:
Martin Horvat,
Tomaz Prosen,
Mirko Degli Esposti
Abstract:
We propose to study the $L^2$-norm distance between classical and quantum phase space distributions, where for the latter we choose the Wigner function, as a global phase space indicator of quantum-classical correspondence. For example, this quantity should provide a key to understand the correspondence between quantum and classical Loschmidt echoes. We concentrate on fully chaotic systems with…
▽ More
We propose to study the $L^2$-norm distance between classical and quantum phase space distributions, where for the latter we choose the Wigner function, as a global phase space indicator of quantum-classical correspondence. For example, this quantity should provide a key to understand the correspondence between quantum and classical Loschmidt echoes. We concentrate on fully chaotic systems with compact (finite) classical phase space. By means of numerical simulations and heuristic arguments we find that the quantum-classical fidelity stays at one up to Ehrenfest-type time scale, which is proportional to the logarithm of effective Planck constant, and decays exponentially with a maximal classical Lyapunov exponent, after that time.
△ Less
Submitted 20 January, 2006;
originally announced January 2006.