Simulation of the ground movements and conflict detection

Continuous growth of air traffic generates that available resources during periods of high activity cannot meet the demand of air traffic, which generates a lot of congestion. This not only affects the reduction of operational efficiency, but also increases the workload of air traffic controllers, consequently, the risk of runway incursion or collision on the taxiway increases. For this reason, it is essential to have a good method of detecting and resolving possible conflicts between vehicles. The aim of this project is to understand all aspects that affect the generation of possible conflicts between vehicles in the airport taxi zone. To achieve this goal, a study has been carried out of the main characteristics of the airport¿s taxi zone: velocities, priorities, signage, among others. On the other hand, various studied and/or implemented methods of conflict detection and resolution have been analysed in order to be able to delve more deeply into the field. In the second part of this project, a simplification of conflict detection and resolution has been created by using Python. The main objective is to be able to put in action all studied aspects of the airport in the most realistic way possible. Once done, the different trajectories and the possible conflicts generated can be visualized. Overall, the project provides some guidelines on issues of conflict detection and resolution that are considered relevant for future research in this area. In addition, the necessary elements for implementation at the airport are mentioned

Continuous Theta Burst Stimulation of the Posterior Medial Frontal Cortex to Experimentally Reduce Ideological Threat Responses.

Decades of behavioral science research have documented functional shifts in attitudes and ideological adherence in response to various challenges, but little work to date has illuminated the neural mechanisms underlying these dynamics. This paper describes how continuous theta burst transcranial magnetic stimulation may be employed to experimentally assess the causal contribution of cortical regions to threat-related ideological shifts. In the example protocol provided here, participants are exposed to a threat prime-an explicit reminder of their own inevitable death and bodily decomposition-following a downregulation of the posterior medial frontal cortex (pMFC) or a sham stimulation. Next, disguised within a series of distracter tasks, participants' relative degree of ideological adherence is assessed-in the present example, with regard to coalitional prejudice and religious belief. Participants for whom the pMFC has been downregulated exhibit less coalitionally biased responses to an immigrant critical of the participants' national in-group, and less conviction in positive afterlife beliefs (i.e., God, angels, and heaven), despite having recently been reminded of death. These results complement prior findings that continuous theta burst stimulation of the pMFC influences social conformity and sharing and illustrate the feasibility of investigating the neural basis of high-level social cognitive shifts using transcranial magnetic stimulation

Noninvasive PET Imaging and Tracking of Engineered Human Muscle Precursor Cells for Skeletal Muscle Tissue Engineering

Transplantation of human muscle precursor cells (hMPCs) is envisioned for the treatment of various muscle diseases. However, a feasible noninvasive tool to monitor cell survival, migration, and integration into the host tissue is still missing. METHODS: In this study, we designed an adenoviral delivery system to genetically modify hMPCs to express a signaling-deficient form of human dopamine D2 receptor (hD2R). The gene expression levels of the receptor were evaluated by reverse transcriptase polymerase chain reaction, and infection efficiency was evaluated by fluorescent microscopy. The viability, proliferation, and differentiation capacity of the transduced cells, as well as their myogenic phenotype, were determined by flow cytometry analysis and fluorescent microscopy. (18)F-fallypride and (18)F-fluoromisonidazole, two well-established PET radioligands, were assessed for their potential to image engineered hMPCs in a mouse model and their uptakes were evaluated at different time points after cell inoculation in vivo. Biodistribution studies, autoradiography, and PET experiments were performed to determine the extent of signal specificity. To address feasibility for tracking hMPCs in an in vivo model, the safety of the adenoviral gene delivery was evaluated. Finally, the harvested tissues were histologically examined to determine whether survival of the transplanted cells was sustained at different time points. RESULTS: Adenoviral gene delivery was shown to be safe, with no detrimental effects on the primary human cells. The viability, proliferation, and differentiation capacity of the transduced cells were confirmed, and flow cytometry analysis and fluorescent microscopy showed that their myogenic phenotype was sustained. (18)F-fallypride and (18)F-fluoromisonidazole were successfully synthesized. Specific binding of (18)F-fallypride to hD2R hMPCs was demonstrated in vitro and in vivo. Furthermore, the (18)F-fluoromisonidazole signal was high at the early stages. Finally, sustained survival of the transplanted cells at different time points was confirmed histologically, with formation of muscle tissue at the site of injection. CONCLUSION: Our proposed use of a signaling-deficient hD2R as a potent reporter for in vivo hMPC PET tracking by (18)F-fallypride is a significant step toward potential noninvasive tracking of hD2R hMPCs and bioengineered muscle tissues in the clinic

Exploiting a Goal-Decomposition Technique to Prioritize Non-functional Requirements

Business stakeholders need to have clear and realistic goals if they want to meet commitments in application development. As a consequence, at early stages they prioritize requirements. However, requirements do change. The effect of change forces the stakeholders to balance alternatives and reprioritize requirements accordingly. In this paper we discuss the problem of priorities to non-functional requirements subjected to change. We, then, propose an approach to help smooth the impact of such changes. Our approach favors the translation of nonoperational specifications into operational definitions that can be evaluated once the system is developed. It uses the goal-question-metric method as the major support to decompose non-operational specifications into operational ones. We claim that the effort invested in operationalizing NFRs helps dealing with changing requirements during system development. Based on\ud this transformation and in our experience, we provide guidelines to prioritize volatile non-functional requirements

Reflective Argumentation

Theories of argumentation usually focus on arguments as means of persuasion, finding consensus, or justifying knowledge claims. However, the construction and visualization of arguments can also be used to clarify one's own thinking and to stimulate change of this thinking if gaps, unjustified assumptions, contradictions, or open questions can be identified. This is what I call "reflective argumentation." The objective of this paper is, first, to clarify the conditions of reflective argumentation and, second, to discuss the possibilities of argument visualization methods in supporting reflection and cognitive change. After a discussion of the cognitive problems we are facing in conflicts--obviously the area where cognitive change is hardest--the second part will, based on this, determine a set of requirements argument visualization tools should fulfill if their main purpose is stimulating reflection and cognitive change. In the third part, I will evaluate available argument visualization methods with regard to these requirements and talk about their limitations. The fourth part, then, introduces a new method of argument visualization which I call Logical Argument Mapping (LAM). LAM has specifically been designed to support reflective argumentation. Since it uses primarily deductively valid argument schemes, this design decision has to be justified with regard to goals of reflective argumentation. The fifth part, finally, provides an example of how Logical Argument Mapping could be used as a method of reflective argumentation in a political controversy

Conversational Agents, Humorous Act Construction, and Social Intelligence

Humans use humour to ease communication problems in human-human interaction and \ud in a similar way humour can be used to solve communication problems that arise\ud with human-computer interaction. We discuss the role of embodied conversational\ud agents in human-computer interaction and we have observations on the generation\ud of humorous acts and on the appropriateness of displaying them by embodied\ud conversational agents in order to smoothen, when necessary, their interactions\ud with a human partner. The humorous acts we consider are generated spontaneously.\ud They are the product of an appraisal of the conversational situation and the\ud possibility to generate a humorous act from the elements that make up this\ud conversational situation, in particular the interaction history of the\ud conversational partners

Autism research : An objective quantitative review of progress and focus between 1994 and 2015

The nosology and epidemiology of Autism has undergone transformation following consolidation of once disparate disorders under the umbrella diagnostic, autism spectrum disorders. Despite this re-conceptualization, research initiatives, including the NIMH's Research Domain Criteria and Precision Medicine, highlight the need to bridge psychiatric and psychological classification methodologies with biomedical techniques. Combining traditional bibliometric co-word techniques, with tenets of graph theory and network analysis, this article provides an objective thematic review of research between 1994 and 2015 to consider evolution and focus. Results illustrate growth in Autism research since 2006, with nascent focus on physiology. However, modularity and citation analytics demonstrate dominance of subjective psychological or psychiatric constructs, which may impede progress in the identification and stratification of biomarkers as endorsed by new research initiatives.Peer reviewedFinal Published versio

Real-time simulations to evaluate the RPAS integration in shared airspace

This paper presents the work done during the first year in the WP-E project ERAINT (Evaluation of the RPAS-ATM Interaction in Non-Segregated Airspace) that intends to evaluate by means of human-in-the-loop real-time simulations the interaction between a Remotely Piloted Aircraft System (RPAS) and the Air Traffic Management (ATM) when a Remotely Piloted Aircraft (RPA) is being operated in shared airspace. This interaction will be evaluated from three different perspectives. First, the separation management, its results are presented in this paper. Secondly, during the next year, the contingency management, also including loss of link situations and, lastly, the capacity impact of such operations in the overall ATM system. The used simulation infrastructure allows to simulate realistic exercises from both the RPAS Pilot-in-Command (PiC) and the Air Traffic Controller (ATCo) perspectives. Moreover, it permits to analyze the actual workload of the ATC and to evaluate several support tools and different RPAS levels of automation from the PiC and ATC sides. The simulation results and the usefulness of the support tools are presented for each selected concept of operations.Peer ReviewedPostprint (published version