Evaluation of SIP Signalling and QoS for VoIP over OLSR MANET Routing Protocol

Abstract: This paper evaluates the SIP based VoIP applications over the Optimized Link State Routing protocol (OLSR) as a proactive routing protocol for Mobile Ad Hoc Networks (MANET) using Static, Uniform, and Random mobility models. The evaluation considered PCM, LQS, IPTelephony, and GSM voice codecs to study the SIP signaling performance and the voice Quality of Service (QoS) for VoIP calls over OLSR MANET. The simulation efforts performed in OPNET Modeler 17.1. The results show that VoIP over OLSR MANET has good performance over Static and Uniform mobility models while it has variable performance with Random models. SIP signaling has large delays compared with the voice signaling which reduce the VoIP performance and increases the call's duration. In addition, GSM and LQS based VoIP calls have an acceptable level of QoS while PCM and IP-Telephony based VoIP calls have a low level of QoS over different types of mobility models. Furthermore, the location and the mobility of SIP server affect the number of hops and the SIP signaling performance between the different parties of the VoIP call

Computation of generalized inverses using Php/MySql environment

The main aim of this paper is to develop a client/server-based model for computing the weighted Moore-Penrose inverse using the partitioning method as well as for storage of generated results. The web application is developed in the PHP/MySQL environment. The source code is open and free for testing by using a web browser. Influence of different matrix representations and storage systems on the computational time is investigated. The CPU time for searching the previously stored pseudo-inverses is compared with the CPU time spent for new computation of the same inverses.Comment: International Journal of Computer Mathematics, Volume 88, Issue 11, 201

Synaptic dysfunction by mutations in GRIN2B: influence of triheteromeric NMDA receptors on gain-of-function and loss-of-function mutant classification

GRIN2B mutations are rare but often associated with patients having severe neurodevel-opmental disorders with varying range of symptoms such as intellectual disability, developmental delay and epilepsy. Patient symptoms likely arise from mutations disturbing the role that the en-coded NMDA receptor subunit, GluN2B, plays at neuronal connections in the developing nervous system. In this study, we investigated the cell-autonomous effects of putative gain-(GoF) and loss-of-function (LoF) missense GRIN2B mutations on excitatory synapses onto CA1 pyramidal neurons in organotypic hippocampal slices. In the absence of both native GluN2A and GluN2B subunits, functional incorporation into synaptic NMDA receptors was attenuated for GoF mutants, or almost eliminated for LoF GluN2B mutants. NMDA-receptor-mediated excitatory postsynaptic currents (NMDA-EPSCs) from synaptic GoF GluN1/2B receptors had prolonged decays consistent with their functional classification. Nonetheless, in the presence of native GluN2A, molecular replacement of native GluN2B with GoF and LoF GluN2B mutants all led to similar functional incorporation into synaptic receptors, more rapidly decaying NMDA-EPSCs and greater inhibition by TCN-201, a selective antagonist for GluN2A-containing NMDA receptors. Mechanistic insight was gained from experiments in HEK293T cells, which revealed that GluN2B GoF mutants slowed deactivation in diheteromeric GluN1/2B, but not triheteromeric GluN1/2A/2B receptors. We also show that a dis-ease-associated missense mutation, which severely affects surface expression, causes opposing effects on NMDA-EPSC decay and charge transfer when introduced into GluN2A or GluN2B. Finally, we show that having a single null Grin2b allele has only a modest effect on NMDA-EPSC decay kinetics. Our results demonstrate that functional incorporation of GoF and LoF GluN2B mutants into synaptic receptors and the effects on EPSC decay times are highly dependent on the presence of triheteromeric GluN1/2A/2B NMDA receptors, thereby influencing the functional classification of NMDA receptor variants as GoF or LoF mutations. These findings highlight the complexity of interpreting effects of disease-causing NMDA receptor missense mutations in the context of neuronal function

Relative Navigation, Microdischarge Plasma Thruster, and Distributed Communications Experiments on the FASTRAC Mission

Enabling technologies for nanosatellite formations will be demonstrated under the Formation Autonomy Spacecraft with Thrust, Relnav, Attitude, and Crosslink (FASTRAC) program. Two °ight-ready nanosatellites will be designed, fabricated, integrated, and tested during the two year design period. Three speci¯c new and innovative technologies which will be demonstrated during the mission are Relative Navigation, Plasma Microthrusters, and Distributed Communications. A sensor set consisting of Global Positioning System (GPS) receiver, magnetometer, and MEMS Inertial Measurement Unit (IMU) will be used to determine position and coarse attitude. Using a radio crosslink, the two satellites will exchange state vector information and perform sub-meter level accuracy relative navigation. Each satellite will also contain a Microdischarge Plasma Thruster (MPT) developed at UT-Austin. This innovative device is capable of generating low-thrust, high-e±ciency propulsion at low power levels using microdischarge plasmas. The ability of the MPT to extend the life of the orbit will be determined by monitoring the orbit decay rates of the two vehicles as well as the MEMS IMU. A distributed tracking network with multiple university partners will be utilized to track the low Earth orbit satellites. Amateur radio experimenters, high schools, universities, and other interested parties will be encouraged to record telemetry from the satellites and report their data to a project web site for processing. Although the main purpose of the mission is technology demonstration, science goals will also be pursued. These include post-processing sensor measurements to determine satellite drag, as well as Earth atmospheric and magnetospheric studies

Evolving Objects in Temporal Information Systems

This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modelling language able to express both timestamping and evolution constraints. We conduct a deeper investigation of evolution constraints, eventually devising a model-theoretic semantics for a full-fledged model with both timestamping and evolution constraints. The proposed formalization is meant both to clarify the meaning of the various temporal constructors that appeared in the literature and to give a rigorous definition, in the context of temporal information systems, to notions like satisfiability, subsumption and logical implication. Furthermore, we show how to express temporal constraints using a subset of first-order temporal logic, i.e. DLRUS, the description logic DLR extended with the temporal operators Since and Until. We show how DLRUS is able to capture the various modelling constraints in a succinct way and to perform automated reasoning on temporal conceptual models

Gaze following in an asocial reptile (Eublepharis macularius)

Gaze following is the ability to utilise information from another's gaze. It is most often seen in a social context or as a reflexive response to interesting external stimuli. Social species can potentially reveal utilisable knowledge about another's future intentions by attending to the target of their gaze. However, in even more fundamental situations, being sensitive to another's gaze can also be useful such as when it can facilitate greater foraging efficiency or lead to earlier predator detection. While gaze sensitivity has been shown to be prevalent in a number of social species, little is currently known about the potential for gaze following in asocial species. The current study investigated whether an asocial reptile, the leopard gecko (Eublepharis macularius), could reliably use the visual indicators of attention to follow the gaze of a conspecific around a barrier. We operated three trial conditions and found subjects (N = 6) responded significantly more to the conspecific demonstrator looking up at a laser stimulus projected onto an occluder during the experimental condition compared to either of two control conditions. The study's findings point toward growing evidence for gaze-following ability in reptiles, who are typically categorised as asocial. Furthermore, our findings support developing comparative social cognition research showing the origins of gaze following and other cognitive behaviours that may be more widely distributed across taxonomic groups than hitherto thought

Formalization of the classification pattern: Survey of classification modeling in information systems engineering

Formalization is becoming more common in all stages of the development of information systems, as a better understanding of its benefits emerges. Classification systems are ubiquitous, no more so than in domain modeling. The classification pattern that underlies these systems provides a good case study of the move towards formalization in part because it illustrates some of the barriers to formalization; including the formal complexity of the pattern and the ontological issues surrounding the ‘one and the many’. Powersets are a way of characterizing the (complex) formal structure of the classification pattern and their formalization has been extensively studied in mathematics since Cantor’s work in the late 19th century. One can use this formalization to develop a useful benchmark. There are various communities within Information Systems Engineering (ISE) that are gradually working towards a formalization of the classification pattern. However, for most of these communities this work is incomplete, in that they have not yet arrived at a solution with the expressiveness of the powerset benchmark. This contrasts with the early smooth adoption of powerset by other Information Systems communities to, for example, formalize relations. One way of understanding the varying rates of adoption is recognizing that the different communities have different historical baggage. Many conceptual modeling communities emerged from work done on database design and this creates hurdles to the adoption of the high level of expressiveness of powersets. Another relevant factor is that these communities also often feel, particularly in the case of domain modeling, a responsibility to explain the semantics of whatever formal structures they adopt. This paper aims to make sense of the formalization of the classification pattern in ISE and surveys its history through the literature; starting from the relevant theoretical works of the mathematical literature and gradually shifting focus to the ISE literature. The literature survey follows the evolution of ISE’s understanding of how to formalize the classification pattern. The various proposals are assessed using the classical example of classification; the Linnaean taxonomy formalized using powersets as a benchmark for formal expressiveness. The broad conclusion of the survey is that (1) the ISE community is currently in the early stages of the process of understanding how to formalize the classification pattern, particularly in the requirements for expressiveness exemplified by powersets and (2) that there is an opportunity to intervene and speed up the process of adoption by clarifying this expressiveness. Given the central place that the classification pattern has in domain modeling, this intervention has the potential to lead to significant improvements.The UK Engineering and Physical Sciences Research Council (grant EP/K009923/1)

From Dynamic Expression Patterns to Boundary Formation in the Presomitic Mesoderm

The segmentation of the vertebrate body is laid down during early embryogenesis. The formation of signaling gradients, the periodic expression of genes of the Notch-, Fgf- and Wnt-pathways and their interplay in the unsegmented presomitic mesoderm (PSM) precedes the rhythmic budding of nascent somites at its anterior end, which later develops into epithelialized structures, the somites. Although many in silico models describing partial aspects of somitogenesis already exist, simulations of a complete causal chain from gene expression in the growth zone via the interaction of multiple cells to segmentation are rare. Here, we present an enhanced gene regulatory network (GRN) for mice in a simulation program that models the growing PSM by many virtual cells and integrates WNT3A and FGF8 gradient formation, periodic gene expression and Delta/Notch signaling. Assuming Hes7 as core of the somitogenesis clock and LFNG as modulator, we postulate a negative feedback of HES7 on Dll1 leading to an oscillating Dll1 expression as seen in vivo. Furthermore, we are able to simulate the experimentally observed wave of activated NOTCH (NICD) as a result of the interactions in the GRN. We esteem our model as robust for a wide range of parameter values with the Hes7 mRNA and protein decays exerting a strong influence on the core oscillator. Moreover, our model predicts interference between Hes1 and HES7 oscillators when their intrinsic frequencies differ. In conclusion, we have built a comprehensive model of somitogenesis with HES7 as core oscillator that is able to reproduce many experimentally observed data in mice