396 research outputs found
Business Process Reengineering of a Large-Scale Public Forest Enterprise Through Harvester Data Integration
Despite the extensive use of cut-to-length mechanized systems, harvester data remains largely underutilized by most stakeholders in Germany. Therefore, the goal of this study was to determine how business processes should be restructured to allow for a continuous use of forest machine data, with the main focus on harvester production data, along the German wood supply chain. We also wanted to identify possible benefits and challenges of the restructuring through a qualitative analysis of the newly designed business process. The Bavarian State Forest Enterprise was chosen for a case study approach. Based on expert interviews, the current and to-be processes were modeled. Results obtained from the qualitative data indicated that an integration of harvester data is achievable in Germany. Harvester data from forest operations can be provided to all subsequent activities along the supply chain. Core changes were the addition of a digital work order, the data exchange between harvester and forwarder, the pile order and the exchange of production data. Benefits for every stakeholder were determined. Through the reengineered process, harvesting and timber information are available and known at an earlier stage of the process, throughput information stations could be eliminated and working comfort could be improved. Ecological benefits could also be achieved through an anticipated reduction of CO2 emissions and protection of sensitive nature areas. Negative consequences of harvester data integration could appear in the social sphere and were in line with the reduction of personal contact. Challenges for the implementation in reality, besides the legal..
The effects of verbal cueing on implicit hand maps
The use of position sense to perceive the external spatial location of the body requires that
immediate proprioceptive afferent signals be combined with stored representations of body size and
shape. Longo and Haggard (2010) developed a method to isolate and measure this representation in
which participants judge the location of several landmarks on their occluded hand. The relative
location of judgments is used to construct a perceptual map of hand shape. Studies using this
paradigm have revealed large, and highly stereotyped, distortions of the hand, which is represented
as wider than it actually is and with shortened fingers. Previous studies using this paradigm have
cued participants to respond by giving verbal labels of the knuckles and fingertips. A recent study
has shown differential effects of verbal and tactile cueing of localisation judgments about bodily
landmarks (Cardinali et al., 2011). The present study therefore investigated implicit hand maps
measuring through localisation judgments made in response to verbal labels and tactile stimuli
applied to the same landmarks. The characteristic set of distortions of hand size and shape were
clearly apparent in both conditions, indicating that the distortions reported previously are not an
artefact of the use of verbal cues. However, there were also differences in the magnitude of
distortions between conditions, suggesting that the use of verbal cues may alter the representation of
the body underlying position sense
Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study
Correctness of autonomous driving systems is crucial as\ua0incorrect behaviour may have catastrophic consequences. Many different\ua0hardware and software components (e.g. sensing, decision making, actuation,\ua0and control) interact to solve the autonomous driving task, leading to a level of complexity that brings new challenges for the formal verification\ua0community. Though formal verification has been used to prove\ua0correctness of software, there are significant challenges in transferring\ua0such techniques to an agile software development process and to ensure\ua0widespread industrial adoption. In the light of these challenges, the identification\ua0of appropriate formalisms, and consequently the right verification\ua0tools, has significant impact on addressing them. In this paper, we\ua0evaluate the application of different formal techniques from supervisory\ua0control theory, model checking, and deductive verification to verify existing\ua0decision and control software (in development) for an autonomous\ua0vehicle. We discuss how the verification objective differs with respect tothe choice of formalism and the level of formality that can be applied.\ua0Insights from the case study show a need for multiple formal methods to\ua0prove correctness, the difficulty to capture the right level of abstraction\ua0to model and specify the formal properties for the verification objectives
Tracking Down Abstract Linguistic Meaning: Neural Correlates of Spatial Frame of Reference Ambiguities in Language
This functional magnetic resonance imaging (fMRI) study investigates a crucial parameter in spatial description, namely variants in the frame of reference chosen. Two frames of reference are available in European languages for the description of small-scale assemblages, namely the intrinsic (or object-oriented) frame and the relative (or egocentric) frame. We showed participants a sentence such as “the ball is in front of the man”, ambiguous between the two frames, and then a picture of a scene with a ball and a man – participants had to respond by indicating whether the picture did or did not match the sentence. There were two blocks, in which we induced each frame of reference by feedback. Thus for the crucial test items, participants saw exactly the same sentence and the same picture but now from one perspective, now the other. Using this method, we were able to precisely pinpoint the pattern of neural activation associated with each linguistic interpretation of the ambiguity, while holding the perceptual stimuli constant. Increased brain activity in bilateral parahippocampal gyrus was associated with the intrinsic frame of reference whereas increased activity in the right superior frontal gyrus and in the parietal lobe was observed for the relative frame of reference. The study is among the few to show a distinctive pattern of neural activation for an abstract yet specific semantic parameter in language. It shows with special clarity the nature of the neural substrate supporting each frame of spatial reference
Communicative-Pragmatic Assessment Is Sensitive and Time-Effective in Measuring the Outcome of Aphasia Therapy
A range of methods in clinical research aim to assess treatment-induced
progress in aphasia therapy. Here, we used a crossover randomized controlled
design to compare the suitability of utterance-centered and dialogue-sensitive
outcome measures in speech-language testing. Fourteen individuals with post-
stroke chronic non-fluent aphasia each received two types of intensive
training in counterbalanced order: conventional confrontation naming, and
communicative-pragmatic speech-language therapy (Intensive Language-Action
Therapy, an expanded version of Constraint-Induced Aphasia Therapy). Motivated
by linguistic-pragmatic theory and neuroscience data, our dependent variables
included a newly created diagnostic instrument, the Action Communication Test
(ACT). This diagnostic instrument requires patients to produce target words in
two conditions: (i) utterance-centered object naming, and (ii) communicative-
pragmatic social interaction based on verbal requests. In addition, we
administered a standardized aphasia test battery, the Aachen Aphasia Test
(AAT). Composite scores on the ACT and the AAT revealed similar patterns of
changes in language performance over time, irrespective of the treatment
applied. Changes in language performance were relatively consistent with the
AAT results also when considering both ACT subscales separately from each
other. However, only the ACT subscale evaluating verbal requests proved to be
successful in distinguishing between different types of training in our
patient sample. Critically, testing duration was substantially shorter for the
entire ACT (10–20 min) than for the AAT (60–90 min). Taken together, the
current findings suggest that communicative-pragmatic methods in speech-
language testing provide a sensitive and time-effective measure to determine
the outcome of aphasia therapy
- …