Search results for " Computer Science"
showing 10 items of 3983 documents
Do graphical overviews facilitate or hinder comprehension in hypertext?
2009
Educational hypertexts usually include graphical overviews, conveying the structure of the text schematically with the aim of fostering comprehension. Despite the claims about their relevance, there is currently no consensus on the impact that hypertext overviews have on the reader's comprehension. In the present paper we have explored how hypertext overviews might affect comprehension with regard to (a) the time at which students read the overview and (b) the hypertext difficulty. The results from two eye-tracking studies revealed that reading a graphical overview at the beginning of the hypertext is related to an improvement in the participant's comprehension of quite difficult hypertexts…
Reflections towards a generative theory of musical parallelism
2010
Parallelism plays a core role in Lerdahl and Jackendoff's (1983) GTTM, as it rules the emergence of motivic, metrical, grouping and even formal structures. Due to the high amount of detail and complexity characterising associational structures, neither explicit model nor systematic methodology of parallelism-based structural inference has been included into the GTTM. This paper develops a methodological and computational answer to this problem founded on a computational modelling of pattern extraction operations. The paper focuses in particular on the methodological interest of the pattern mining formalism, and in particular its application to the formalisation of grouping and metrical str…
Groups are not always the same
1993
The idea of supporting group meetings at the same time and at the same place by computer raises the problem of how salient features of group behaviors are understood in meetings. In this paper we take a critical look at several beliefs about group behaviors in research dealing with electronic meeting systems (EMS). The paper argues based on an empirical study that the concept of a small, cohesive business team, so widely held, in all EMS research is not necessarily a valid starting point in thinking of meeting support. In particular, the paper critically evaluates a number of beliefs of user aspects, group features such as composition, structure and protocols, and task characteristics such …
Graphical Models for Dependencies and Associations
1992
The role of graphical representations is described in distinguishing various special forms of independency structure that can arise with multivariate data, especially in observational studies in the social sciences. Conventions for constructing the graphs and strategies for analysing three sets of data are summarized. Finally some directions for desirable future work are outlined.
VoxelMages: a general-purpose graphical interface for designing geometries and processing DICOM images for PENELOPE
2016
The design and construction of geometries for Monte Carlo calculations is an error-prone, time-consuming, and complex step in simulations describing particle interactions and transport in the field of medical physics. The software VoxelMages has been developed to help the user in this task. It allows to design complex geometries and to process DICOM image files for simulations with the general-purpose Monte Carlo code PENELOPE in an easy and straightforward way. VoxelMages also allows to import DICOM-RT structure contour information as delivered by a treatment planning system. Its main characteristics, usage and performance benchmarking are described in detail.
Employing artificial neural networks to find reaction coordinates and pathways for self-assembly
2021
Capturing the autonomous self-assembly of molecular building blocks in computer simulations is a persistent challenge, requiring to model complex interactions and to access long time scales. Advanced sampling methods allow to bridge these time scales but typically require to construct accurate low-dimensional representations of the transition pathways. In this work, we demonstrate for the self-assembly of two single-stranded DNA fragments into a ring-like structure how autoencoder architectures based on unsupervised neural networks can be employed to reliably expose transition pathways and to provide a suitable low-dimensional representation. The assembly occurs as a two-step process throug…
Preventing Overlaps in Agglomerative Hierarchical Conceptual Clustering
2020
Hierarchical Clustering is an unsupervised learning task, whi-ch seeks to build a set of clusters ordered by the inclusion relation. It is usually assumed that the result is a tree-like structure with no overlapping clusters, i.e., where clusters are either disjoint or nested. In Hierarchical Conceptual Clustering (HCC), each cluster is provided with a conceptual description which belongs to a predefined set called the pattern language. Depending on the application domain, the elements in the pattern language can be of different nature: logical formulas, graphs, tests on the attributes, etc. In this paper, we tackle the issue of overlapping concepts in the agglomerative approach of HCC. We …
A Concept for Quantitative Comparison of Mathematical and Natural Language and its possible Effect on Learning
2017
Starting with the question whether there is a connection between the mathematical capabilities of a person and his or her mother tongue, we introduce a new modeling approach to quantitatively compare natural languages with mathematical language. The question arises from educational assessment studies that indicate such a relation. Texts written in natural languages can be deconstructed into a dependence graph, in simple cases a dependence tree. The same kind of deconstruction is also possible for mathematical texts. This gives an idea of how to quantitatively compare mathematical and natural language. To that end, we develop algorithms to define the distance between graphs. In this paper, w…
Multiple Hypotheses Testing
1993
The paper is mainly concerned with multiple testing procedures which control a given multiple level α. General concepts for this purpose are the closure test and a modification which is independent of the special structure of hypotheses and tests. We consider improvements of this modification using information about the logical dependences (redundancies) within the system of hypotheses and present an efficient algorithm. Finally, we discuss some problems which are specific for hierarchical systems of hypotheses, e.g. in model search.
Applying Finite State Process Algebra to Formally Specify a Computational Model of Security Requirements in the Key2phone-Mobile Access Solution
2015
Key2phone is a mobile access solution which turns mobile phone into a key for electronic locks, doors and gates. In this paper, we elicit and analyse the essential and necessary safety and security requirements that need to be considered for the Key2phone interaction system. The paper elaborates on suggestions/solutions for the realisation of safety and security concerns considering the Internet of Things (IoT) infrastructure. The authors structure these requirements and illustrate particular computational solutions by deploying the Labelled Transition System Analyser (LTSA), a modelling tool that supports a process algebra notation called Finite State Process (FSP). While determining an in…