Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Institution
- Publication Type
Articles 1 - 7 of 7
Full-Text Articles in Other Computer Engineering
Preface, Thomas Hildebrandt, Alexander Kurz
Preface, Thomas Hildebrandt, Alexander Kurz
Engineering Faculty Articles and Research
No abstract provided.
Analysis Of Data Sets Using Trio Sonification, Charlie Cullen, Eugene Coyle
Analysis Of Data Sets Using Trio Sonification, Charlie Cullen, Eugene Coyle
Conference papers
Recent advances in technology have suggested that sound and audio play a far greater part in our daily working lives than ever before. Mobile phone ring tones are now based upon polyphonic music sequences that allow relatively complex audio to be generated from a handset by way of conveying information (i.e. a call or message is incoming). This real world example of sonification suggests that far more could be made of sonification techniques for analysis- particularly in the business environment. One advantage of sonification is its relatively hands free nature in that once a sequence is being played it does …
Software For Seismic And Vibration Analysis, Raman K. Attri
Software For Seismic And Vibration Analysis, Raman K. Attri
Raman K. Attri
No abstract provided.
Orchestration Within The Sonification Of Basic Data Sets, Charlie Cullen, Eugene Coyle
Orchestration Within The Sonification Of Basic Data Sets, Charlie Cullen, Eugene Coyle
Conference papers
The use of sonification as a means of representing and analysing data has become a growing field of research in recent years and as such has become a far more accepted means of working with data. Existing work carried out as part of this research has focused primarily on the sonification of DNA/RNA sequences and their subsequent protein structures for the purposes of analysis. This sonification work raised many questions as regards the need for sequences to be set to music in a standard manner so that different strands could be analysed by comparison, and hence the orchestration and instrumentation …
Algebraic Semantics For Coalgebraic Logics, Clemens Kupke, Alexander Kurz, Dirk Pattinson
Algebraic Semantics For Coalgebraic Logics, Clemens Kupke, Alexander Kurz, Dirk Pattinson
Engineering Faculty Articles and Research
With coalgebras usually being defined in terms of an endofunctor T on sets, this paper shows that modal logics for T-coalgebras can be naturally described as functors L on boolean algebras. Building on this idea, we study soundness, completeness and expressiveness of coalgebraic logics from the perspective of duality theory. That is, given a logic L for coalgebras of an endofunctor T, we construct an endofunctor L such that L-algebras provide a sound and complete (algebraic) semantics of the logic. We show that if L is dual to T, then soundness and completeness of the algebraic semantics immediately yield the …
Coalgebras And Modal Expansions Of Logics, Alexander Kurz, Alessandra Palmigiano
Coalgebras And Modal Expansions Of Logics, Alexander Kurz, Alessandra Palmigiano
Engineering Faculty Articles and Research
In this paper we construct a setting in which the question of when a logic supports a classical modal expansion can be made precise. Given a fully selfextensional logic S, we find sufficient conditions under which the Vietoris endofunctor V on S-referential algebras can be defined and we propose to define the modal expansions of S as the logic that arises from the V-coalgebras. As an example, we also show how the Vietoris endofunctor on referential algebras extends the Vietoris endofunctor on Stone spaces. From another point of view, we examine when a category of ‘spaces’ (X,A), ie sets X …
Development Of Software For Seismic & Vibration Analysis, Raman K. Attri
Development Of Software For Seismic & Vibration Analysis, Raman K. Attri
Raman K. Attri
Earthquake risk management is an issue of international priority since many countries in the world are affected adversely by sudden earthquake. Frequent earthquakes are being encountered in many parts of the world every year. Recently India had some earthquake in latur, chamoli, Utrakanshi, Bhuj regions. The occurrence of earthquake has been on increase due to geographical changes taking place under the earth crust all over world. The heavy and unpredictable loss of life and destruction of resources have forced the seismologist and instrumentation engineers to develop sophisticated earth quake monitoring instruments with quick data analysis software. The latest development in …