3,939 research outputs found
Operationalized Intent for Improving Coordination in Human-Agent Teams
With the increasing capabilities of artificial intelligent agents (AIAs) integrated into multi-agent systems, future concepts include human-agent teams (HATs) in which the members perform fluidly as a coordinated team. Research on coordination mechanisms in HATs is largely focused on AIAs providing information to humans to coordinate better (i.e. coordination from the AIA to the human). We focus on the compliment where AIAs can understand the operator to better synchronize with the operator (i.e. from the human to the AIA). This research focuses specifically on AIA estimation of operator intent. We established the Operationalized Intent framework which captures intent in a manner relevant to operators and AIAs. The core of operationalized intent is a quality goal hierarchy and an execution constraint list. Designing a quality goal hierarchy entails understanding the domain, the operators, and the AIAs. By extending established cognitive systems engineering analyses we developed a method to define the quality goals and capture the situations that influence their prioritization. Through a synthesis of mental model evaluation techniques, we defined and executed a process for designing human studies of intent. This human-in-the-loop study produced a corpus of data which was demonstrated the feasibility of estimating operationalized intent
Module extraction via query inseparability in OWL 2 QL
We show that deciding conjunctive query inseparability for OWL 2 QL ontologies is PSpace-hard and in ExpTime. We give polynomial-time (incomplete) algorithms and demonstrate by experiments that they can be used for practical module extraction
Conjunctive query inseparability of OWL 2 QL TBoxes
The OWL2 profile OWL 2 QL, based on the DL-Lite family of description logics, is emerging as a major language for developing new ontologies and approximating the existing ones. Its main application is ontology based data access, where ontologies are used to provide background knowledge for answering queries over data. We investigate the corresponding notion of query inseparability (or equivalence) for OWL 2 QL ontologies and show that deciding query inseparability is PSpace-hard and in ExpTime. We give polynomial-time (incomplete) algorithms and demonstrate by experiments that they can be used for practical module extraction
Wigner crystal vs. Friedel oscillations in the 1D Hubbard model
We analyze the fermion density of the one-dimensional Hubbard model using
bosonization and numerical DMRG calculations. For finite systems we find a
relatively sharp crossover even for moderate short range interactions into a
region with density waves as a function of density. The results show
that the unstable fixed point of a spin-incoherent state can dominate the
physical behavior in a large region of parameter space in finite systems. The
crossover may be observable in ultra cold fermionic gases in optical lattices
and in finite quantum wires.Comment: 6 pages, 6 figures. Published version. The most recent file can be
found at http://www.physik.uni-kl.de/eggert/papers/index.htm
Architecture Based Workload Analysis of UAS Multi-Aircraft Control: Implications of Implementation on MQ-1B Predator
An increased demand for use of Unmanned Aircraft Systems (UASs) without commensurate increases in pilot manpower has prompted proposals for simultaneous control of multiple aircraft by a single pilot or Multi-Aircraft Control (MAC). To understand the potential effects of MAC, an IMPRINT Pro, Multi-Resource Theory, pilot workload model was developed from pedigreed system architecture. Feedback from active UAS pilots was used to validate the model and establish a workload saturation threshold value of 60, above which pilots may experience performance degradation over extended periods of time. The model predicts that pilots experience low workload when operating one or two UASs during benign operations, and operate 91% of the time below a workload of 25 without saturation. However, conflict from multi-task overlap builds rapidly when the pilot is required to operate three or more aircraft. The percentage of time over the saturation threshold increases to 21% with four aircraft under benign operating conditions. When dynamic events are introduced the workload becomes unmanageable, with estimates regularly over 100 due to multi-task overlap and communication activities. The analysis indicates the need for techniques and technology to reduce task and communications demands on UAS pilots to effectively implement MAC
Human Skin Permeation Enhancement Using PLGA Nanoparticles Is Mediated by Local pH Changes
The steady improvement and optimization of transdermal permeation is a constant and
challenging pharmaceutical task. In this study the influence of poly(lactide-co-glycolide) (PLGA)
nanoparticles on the dermal permeation of the anti-inflammatory drug flufenamic acid (FFA) was
investigated. For this aim, different vehicles under non-buffered and buffered conditions and different
skin models (human heat separated epidermis and reconstructed human epidermis equivalents)
were tested. Permeation experiments were performed using static Franz diffusion cells under infinite
dosing conditions. Already the presence of drug-free nanoparticles increased drug permeation
across the skin. Drug permeation was even enhanced when applying drug-loaded nanoparticles. In
contrast, buffered vehicles with different pH values (pH 5.4–7.4) revealed the influence of the pH
on the permeation of FFA. The change of the surrounding pH of the biodegradable nanoparticulate
system was demonstrated and visualized using pH-sensitive fluorescent probes. While a potential
contribution of hair follicles could be ruled out, our data suggest that the enhanced permeation of
FFA through human skin in the presence of PLGA nanoparticles is mediated by a locally decreased
pH during hydrolytic degradation of this polymer. This hypothesis is supported by the observation
that skin permeation of the weak base caffeine was not affected
Lexical Semantic Recognition
In lexical semantics, full-sentence segmentation and segment labeling of
various phenomena are generally treated separately, despite their
interdependence. We hypothesize that a unified lexical semantic recognition
task is an effective way to encapsulate previously disparate styles of
annotation, including multiword expression identification / classification and
supersense tagging. Using the STREUSLE corpus, we train a neural CRF sequence
tagger and evaluate its performance along various axes of annotation. As the
label set generalizes that of previous tasks (PARSEME, DiMSUM), we additionally
evaluate how well the model generalizes to those test sets, finding that it
approaches or surpasses existing models despite training only on STREUSLE. Our
work also establishes baseline models and evaluation metrics for integrated and
accurate modeling of lexical semantics, facilitating future work in this area.Comment: 11 pages, 3 figures; to appear at MWE 202
Pengaruh Kerjasama Pasiad Indonesia dengan Indonesia Dibidang Pendidikan Menengah
This study describes the effect of PASIAD Indonesia cooperation with Indonesia in the field of secondary education. PASIAD Indonesia is a non-governmental organization (NGO) engaged in educational, social, economic and cultural PASIAD Indonesia began working in secondary education in Indonesia since 1995. Until now PASIAD Indonesia has collaborated with 7 private foundations and 3 local governments to hold 10 high school.Perspective that used in this research is Pluralisme perspective. The theory used in this research is International Coorporation dan Transnational Advocacy Network ( TAN). This research used a qualitative method that is an explanatory. by using the techniques of data collection through literature and documentation, ie by collecting data from books, journals, magazines, newspapers, and other sources (document analysis).As a result, the effect of Indonesian PASIAD cooperation with Indonesia in the field of secondary education a positive impact on improving the quality of secondary education in Indonesia. Where PASIAD Indonesia Conducting scientific competition in national and international scale that encourage student creativity thinking and promote the spirit of competition to the students. besides school work partners PASIAD also always present medals to Indonesian state education can improve the image of Indonesia in the international arenaKey words : PASIAD Indonesia, non govermental organization, Transnationa Advocacy Network, secondary education
Music-supported training is more efficient than functional motor training for recovery of fine motor skills in stroke patients
MOTOR IMPAIRMENTS ARE COMMON AFTER STROKE but efficacious therapies for these dysfunctions are scarce. Extending an earlier study on the effects of music-supported training (MST), behavioral indices of motor function were obtained before and after a series of training sessions to assess whether this new treatment leads to improved motor functions. Furthermore, music-supported training was contrasted to functional motor training according to the principles of constraint-induced therapy (CIT). In addition to conventional physiotherapy, 32 stroke patients with moderately impaired motor function and no previous musical experience received 15 sessions of MST over a period of three weeks, using a manualized, step-bystep approach. A control group consisting of 15 patients received 15 sessions of CIT in addition to conventional physiotherapy. A third group of 30 patients received exclusively conventional physiotherapy and served as a control group for the other three groups. Fine as well as gross motor skills were trained by using either a MIDI-piano or electronic drum pads programmed to emit piano tones. Motor functions were assessed by an extensive test battery. MST yielded significant improvement in fine as well as gross motor skills with respect to speed, precision, and smoothness of movements. These improvements were greater than after CIT or conventional physiotherapy. In conclusion, with equal treatment intensity, MST leads to more pronounced improvements of motor functions after stroke than CIT
- …