183 research outputs found
Directional Camera Control on High Altitude Balloons
The research reported in this paper examined the design and control of a gimbal for solar eclipse tracking and video recording. The gimbal design required 3 axes of rotation to allow for full range of motion. Utilizing individual brushless motors for each of the axes ensure minimum rotational requirements on each axes. In controlling the gimbal, both a mathematical and visual method were utilized. The mathematical method is a modified version of what is currently used for solar array pointing. The visual method looks at where the position of the sun is within the image and determines what angle changes are required. Utilizing a combination of these methods helps to eliminate error that accumulates within the onboard gyros due to the erratic behavior of balloon motion during flight. Elimination of this error ensures accurate video recording of the solar eclipse
Modification of an in vitro model simulating the whole digestive process to investigate cellular endpoints of carcinogenesis and chemoprevention
Top-down contingent feature-specific orienting with and without awareness of the visual input
In the present article, the role of endogenous feature-specific orienting for
conscious and unconscious vision is reviewed. We start with an overview of
orienting. We proceed with a review of masking research, and the definition of
the criteria of experimental protocols that demonstrate endogenous and exogenous
orienting, respectively. Against this background of criteria, we assess studies
of unconscious orienting and come to the conclusion that so far studies of
unconscious orienting demonstrated endogenous feature-specific orienting. The
review closes with a discussion of the role of unconscious orienting in action
control
Program Comprehension: Identifying Learning Trajectories for Novice Programmers
This working group asserts that Program Comprehension (PC) plays a critical part in the writing process. For example, this abstract is written from a basic draft that we have edited and revised until it clearly presents our idea. Similarly, a program is written in an incremental manner, with each step being tested, debugged and extended until the program achieves its goal.
Novice programmers should develop their program comprehen- sion as they learn to code, so that they are able to read and reason about code while they are writing it. To foster such competencies our group has identified two main goals: (1) to collect and define learning activities that explicitly cover key components of program comprehension and (2) to define possible learning trajectories that will guide teachers using those learning activities in their CS0/CS1 or K-12 courses. [...
Uncertainty Relations in Deformation Quantization
Robertson and Hadamard-Robertson theorems on non-negative definite hermitian
forms are generalized to an arbitrary ordered field. These results are then
applied to the case of formal power series fields, and the
Heisenberg-Robertson, Robertson-Schr\"odinger and trace uncertainty relations
in deformation quantization are found. Some conditions under which the
uncertainty relations are minimized are also given.Comment: 28+1 pages, harvmac file, no figures, typos correcte
Gut fermentation products of wheat aleurone suppress cell growth and survival of human adenocarcinoma cells
Follow the sign! Top-down contingent attentional capture of masked arrow cues
Arrow cues and other overlearned spatial symbols automatically orient attention
according to their spatial meaning. This renders them similar to exogenous cues
that occur at stimulus location. Exogenous cues trigger shifts of attention even
when they are presented subliminally. Here, we investigate to what extent the
mechanisms underlying the orienting of attention by exogenous cues and by arrow
cues are comparable by analyzing the effects of visible and masked arrow cues on
attention. In Experiment 1, we presented arrow cues with overall 50% validity.
Visible cues, but not masked cues, lead to shifts of attention. In Experiment 2,
the arrow cues had an overall validity of 80%. Now both visible and masked
arrows lead to shifts of attention. This is in line with findings that
subliminal exogenous cues capture attention only in a top-down contingent
manner, that is, when the cues fit the observer’s intentions
Reflection groups in hyperbolic spaces and the denominator formula for Lorentzian Kac--Moody Lie algebras
This is a continuation of our "Lecture on Kac--Moody Lie algebras of the
arithmetic type" \cite{25}.
We consider hyperbolic (i.e. signature ) integral symmetric bilinear
form (i.e. hyperbolic lattice), reflection group
, fundamental polyhedron \Cal M of and an acceptable
(corresponding to twisting coefficients) set P({\Cal M})\subset M of vectors
orthogonal to faces of \Cal M (simple roots). One can construct the
corresponding Lorentzian Kac--Moody Lie algebra {\goth g}={\goth
g}^{\prime\prime}(A(S,W,P({\Cal M}))) which is graded by .
We show that \goth g has good behavior of imaginary roots, its denominator
formula is defined in a natural domain and has good automorphic properties if
and only if \goth g has so called {\it restricted arithmetic type}. We show
that every finitely generated (i.e. P({\Cal M}) is finite) algebra {\goth
g}^{\prime\prime}(A(S,W_1,P({\Cal M}_1))) may be embedded to {\goth
g}^{\prime\prime}(A(S,W,P({\Cal M}))) of the restricted arithmetic type. Thus,
Lorentzian Kac--Moody Lie algebras of the restricted arithmetic type is a
natural class to study.
Lorentzian Kac--Moody Lie algebras of the restricted arithmetic type have the
best automorphic properties for the denominator function if they have {\it a
lattice Weyl vector }. Lorentzian Kac--Moody Lie algebras of the
restricted arithmetic type with generalized lattice Weyl vector are
called {\it elliptic}Comment: Some corrections in Sects. 2.1, 2.2 were done. They don't reflect on
results and ideas. 31 pages, no figures. AMSTe
Forms of Understanding of XAI-Explanations
Explainability has become an important topic in computer science and
artificial intelligence, leading to a subfield called Explainable Artificial
Intelligence (XAI). The goal of providing or seeking explanations is to achieve
(better) 'understanding' on the part of the explainee. However, what it means
to 'understand' is still not clearly defined, and the concept itself is rarely
the subject of scientific investigation. This conceptual article aims to
present a model of forms of understanding in the context of XAI and beyond.
From an interdisciplinary perspective bringing together computer science,
linguistics, sociology, and psychology, a definition of understanding and its
forms, assessment, and dynamics during the process of giving everyday
explanations are explored. Two types of understanding are considered as
possible outcomes of explanations, namely enabledness, 'knowing how' to do or
decide something, and comprehension, 'knowing that' -- both in different
degrees (from shallow to deep). Explanations regularly start with shallow
understanding in a specific domain and can lead to deep comprehension and
enabledness of the explanandum, which we see as a prerequisite for human users
to gain agency. In this process, the increase of comprehension and enabledness
are highly interdependent. Against the background of this systematization,
special challenges of understanding in XAI are discussed
- …