Miracle-dz/UniFAR-FTUs huggingface dataset:
The next generation IP SATCOM: exploration of the IPV6 technology in global broadcast service technology refresh

Initial GBS architectural thinking concentrated on defining the correct principles for one-way transport of time-critical information to support joint military operations. Through a hybrid terrestrial-satellite. Asynchronous transfer mode (ATM)-based network infrastructure, GBS was able to extend near world-wide coverage - providing efficient transport of classified and unclassified video, imagery and other information to warfighters in theater, garrison, and transit. Significant technological advances within the commercial satellite Internet service provider market served as the impetus for an Internet Protocol (IP)-based technical re-design of the circuit-based GBS architecture. Led by the GBS Joint Program Office (JPO) Systems Engineering team, the IP technology refresh design significantly enhanced GBS in terms of data transport efficiency, receive suite portability, and modularity for incorporation of new COTS technologies. On a larger-scale, IP proved itself as the foundation of interoperability across DoD's global information grid (GIG), integrating sensors, weapons, and platforms. However, existing GBS IP technologies based on IP version 4 (IPv4) can not support the Department's network centric operations and warfare vision. To support future DoD operations, the Assistant Secretary of Defense, Networks Information Integration (ASD/NII) established a mandate directing all global information grid (GIG) assets to transition to next generation IP, IP version 6 (IPv6). To stay at the forefront of this strategic technology, meet the expanding requirements of the digital warfighter, and provide a common interface with which other next generation DoD network centric systems can connect, GBS must continue to evolve and support IPv6-based communications. Successful transition to this transformational technology can only be achieved by overcoming a number of significant programmatic and technical challenges. This paper reviews GBS-specific benefits of IPv6, identifies technical and programmatic challenges of IPv6 migration, and explores performance and design considerations that will guide the evolution of the GBS architecture and enable communications of heterogeneous IPv4/IPv6 traffic across diverse satellite/terrestrial/wireless network topologies
Numerical prediction of efficiency and cavitation for a Pelton turbine

The first part of the paper illustrates the set-up and the methodologies adopted for the numerical analysis of the flow in a 6-jet Pelton turbine with vertical axis. At first, steady state simulations of flow in a distributor for three positions of needle stroke were performed. The results were used for the calculation of flow energy losses, analysis of jet quality and setting inlet boundary conditions for runner analysis. Runner analysis was done only for the maximal opening. The purpose of runner analysis for the model size was efficiency prediction. Numerical results were validated with the results from the test rig. Simulations for the prototype were done in order to check whether water sheets evacuating from the buckets impact the previous bucket and whether there is any interaction between the evacuating water sheets and the incoming jets. Analysis was done also for one nozzle operation. In the second part of the paper cavitation prediction for the prototype of a 2-jet Pelton turbine is presented. The problem, because of computational cost, was reduced to five runner buckets and one jet. A multiphase flow consists of water, air and water vapour. For cavitation pitting the vapour has to stick to the buckets and mass transfer from vapour to water has to happen in a very short time without the presence of air. With detailed analysis of numerical results it was concluded that in this case no cavitation pitting is expected.
Fluorescence in situ hybridization gene amplification analysis of EGFR and HER2 in patients with malignant salivary gland tumors treated with lapatinib

Gene amplification status of the epidermal growth factor receptor (EGFR) and the human epidermal growth factor receptor 2 (HER2) were analyzed and correlated with clinical outcome in patients with progressive malignant salivary glands tumors (MSGT) treated with the dual EGFR/Her2 tyrosine kinase inhibitor lapatinib.
A reciprocal sampling algorithm for lightweight distributed multi-robot localization

This work is situated in the context of collaboratively solving the localization problem for unknown initial conditions. We address this problem with a novel, fully decentralized, real-time particle filter algorithm, designed to accommodate realistic robotic assumptions including noisy sensors, and asynchronous and lossy communication. In particular, we introduce a collaborative reciprocal sampling algorithm which allows a drastic reduction in the number of particles needed to achieve localization. We elaborate an analysis of our reciprocal sampling method and support our conclusions with simulation results. Finally, we validate our approach on a team of four real robots within a controlled experimental setup.
Memory-driven dynamic behavior checking in Logical Agents

In this paper, we deal with detecting behavioral anomalies in agents. In particular we consider agents defined via logic languages, and we take as a case-study the DALI language previously defined by the authors. We start proposing a formalization of aspects of agent memory and experience and we emphasize how the construction of memories can be a concrete aid for verification of future activities. The anomalies detection process is based on a set of constraints that use the agent past experience to identify behavioral traces different from those expected. Anomalies verification can be performed without stopping agent life and new constraints can be dynamically added thus allowing to check what the agent learns during its activity.
Proposal of algorithms for navigation and obstacles avoidance of autonomous mobile robot

This paper presents algorithms to navigate and avoid obstacles for an in-door autonomous mobile robot. A laser range finder is used to obtain 3D images of the environment. A new algorithm, namely 3D-to-2D image pressure and barriers detection (IPaBD), is proposed to create a 2D global map from the 3D images. This map is basic to design the trajectory. A tracking controller is developed to control the robot to follow the trajectory. The obstacle avoidance is addressed with the use of sonar sensors. An improved vector field histogram (Improved-VFH) algorithm is presented with improvements to overcome some limitations of the original VFH. Experiments have been conducted and the result is encouraged.
Introduction to Dealing with Stress , Adversities , and Trauma : Resiliency Research across Cultures

Many people around the globe experience severe stressors like war, earthquakes, or terrorist acts, and adversities such as poverty and family disruption which in most cases have negative effects on subsequent developmental pathways. However, not all individuals become as heavily affected by stressors as expected and show competence, thriving, and other positive outcomes instead of malfunction and problem behaviors. In the special section of this issue of the ISSBD Bulletin we were interested in identifying characteristics and mechanisms explaining resilient outcomes in children and adolescents. Years back, Emmy Werner demonstrated with her groundbreaking research on the children of Kauai, that resilience despite of risk is possible, even at long term. Many scientists followed her research tradition and today resilience research is a distinct discipline in human development research. In this issue, we present current models and new findings that aim at drawing implications for education, counseling, and practice in general to support positive development in youth facing adversities.
THE FOUNDATIONS OF MECHANICS.

Find the secret to improve the quality of life by reading this foundations of mechanics. This is a kind of book that you need now. Besides, it can be your favorite book to read after having this book. Do you ask why? Well, this is a book that has different characteristic with others. You may not need to know who the author is, how well-known the work is. As wise word, never judge the words from who speaks, but make the words as your good value to your life.
Real-Time Estimation of Missing Markers for Reconstruction of Human Motion

Optical motion capture is a prevalent technique for capturing and analyzing movement. However, a common problem in optical motion capture is the missing marker problem due to occlusions or ambiguities. Most methods for resolving this problem either require extensive post-processing efforts or become ineffective when a significant portion of markers are missing for extended periods of time. In this paper, we present an approach to reconstruct human motion corrupted in the presence of missing or mis-tracking markers. We propose a data-driven, piecewise linear predicting kalman filter framework to estimate missing marker position, and reconstruct human motion in real time by rigid body tracking solver. It allows us to accurately and effectively reconstruct human motion within a simple extrapolation framework. We demonstrate the effectiveness of our method on real motion data captured using OptiTrack. Our experimental results demonstrate that our method is efficient in recovering human motion.
Lambda-dropping: transforming recursive equations into programs with block structure

Lambda-lifting a functional program transforms it into a set of recursive equations. We present the symmetric transformation: lambda-dropping. Lambda-dropping a set of recursive equations restores block structure and lexical scope.For lack of scope, recursive equations must carry around all the parameters that any of their callees might possibly need. Both lambda-lifting and lambda-dropping thus require one to compute a transitive closure over the call graph:&bull; for lambda-lifting: to establish the Def/Use path of each free variable (these free variables are then added as parameters to each of the functions in the call path);&bull; for lambda-dropping: to establish the Def/Use path of each parameter (parameters whose use occurs in the same scope as their definition do not need to be passed along in the call path). Without free variables, a program is scope-insensitive. Its blocks are then free to float (for lambda-lifting) or to sink (for lambda-dropping) along the vertices of the scope tree.We believe lambda-lifting and lambda-dropping are interesting per se, both in principle and in practice, but our prime application is partial evaluation: except for Malmkj&aelig;r and &Oslash;rb&aelig;k's case study presented at PEPM '95, most polyvariant specializers for procedural programs operate on recursive equations. To this end, in a pre-processing phase, they lambda-lift source programs into recursive equations, As a result, residual programs are also expressed as recursive equations, often with dozens of parameters, which most compilers do not handle efficiently. Lambda-dropping in a post-processing phase restores their block structure and lexical scope thereby significantly reducing both the compile time and the run time of residual programs.
Tranzzl!n9o: A Human Computation Approach to English Translation of Internet Lingo

Lingo is an emerging language on the Internet. Providing a standardized definition remains difficult due to continuous changes made to its nature. We proposed Tranzzl! n9o, a crossword puzzle game for engaging crowds to translate Internet lingo. Players provide explanations for lingo in parallel and iteratively verify the explanations from other players. Crowd-sourced translations are very informative containing explanations as well as lingo usage.
Figure-based writer verification by matching between an arbitrary part of registered sequence and an input sequence extracted from on-line handwritten figures

This paper propose a method of writer verification basedon on-line features extracted from a process of drawing afigure, and evaluate its performance on handdrawn figuresby genuine writers and pretenders. In the proposed method,a person in registration writes only the reference figure,which is composed of as many parts as possible and theperson can be verified with a arbitrary part of the referencefigure. The verification is based on a spotting methodcalled CDP (Continuous Dynamic Programming). Fromsome requirements in authentication system, the proposedmethod is tested through some experiments using figures.The error rates in the experiment were different dependingon conditions such as kind of on-line features, minimumnumber of strokes comprised in acceptable test sequence asinput, figure for determination of threshold and the genuinewriter. The result of the experiment shows that the proposedmethod is effective.
Design and implementation of an OGSI-compliant Grid broker service

Grid computing promises the ability to share geographically and organizationally distributed resources to increase effective computational power and resource utilization. However, for the Grid computing to be successful, it is very important to provide middleware services that assist Grid users to easily interact with Grid environments. In this paper, we have designed and implemented a new general-purpose OGSI-compliant Grid resource broker service to hide the underlying complexity of the Grid resources from Grid users and to meet not only Grid user requirements but also resource owner policies. It focuses on discovering and scheduling dynamic resources scattered across multiple organizations. Furthermore, it can be integrated with various scheduling services. We also present experimental results and demonstrate the effectiveness of our Grid broker service.
Complete mitochondrial genome of a self-fertilizing fish Kryptolebias marmoratus (Cyprinodontiformes, Rivulidae) from Florida

Abstract The complete mitochondrial genome was sequenced in a mangrove rivulus Kryptolebias marmoratus from western Florida using next-generation sequencing. The 17 329 bp-long genome was identical in length and 99.8% similar to a previously published genome of this species from a specimen of unknown geographic origin. Gene arrangement in K. marmoratus is similar to other cyprinodontiform fishes, except for the presence of a second copy of the control region inserted upstream of the nad1 gene.
Recent Developments of High-Tc Electronic Devices with Multilayer Structures and Ramp-Edge Josephson Junctions

Recent developments of electronic devices containing Josephson junctions (JJ) with high-Tc superconductors (HTS) are reported. In particular, the fabrication process and the properties of superconducting quantum interference devices (SQUIDs) with a multilayer structure and ramp-edge-type JJs are described. The JJs were fabricated by re-crystallization of an artificially deposited Cu-poor precursory layer. The formation mechanism of the junction barrier is discussed. We have fabricated various types of gradiometers and magnetometers. They have been actually utilized for several application systems, such as a non-destructive evaluation (NDE) system for deep-lying defects in a metallic plate and a reel-to-reel testing system for striated HTS-coated conductors.
Expression of vascular endothelial growth factor and microvessel density in oral tumorigenesis

Context: Significant increase in vascularity occurs during the transition from normal oral mucosa, through differing degrees of dysplasia, to invasive squamous cell carcinoma (SCC). Aims: To evaluate microvessel density (MVD) and vascular endothelial growth factor (VEGF) expression in oral tumorigenesis and correlate it with the clinicopathological characteristics. Settings and Design: VEGF expression and MVD were quantified immunohistochemically using anti-VEGF and anti-CD34 antibody. Materials and Methods: For this study we used a total of 60 archival specimens, including 10 normal oral mucosa (NOM), 7 mild epithelial dysplasia (Mild ED), 8 moderate epithelial dysplasia (Mod ED), 5 severe epithelial dysplasia (SED), 14 well-differentiated SCC, 11 moderately-differentiated SCC, and 5 poorly-differentiated SCC. VEGF expression was assessed in relation to the localization, intensity, and area of the immunohistochemically stained cells. MVD was evaluated using the Image-Pro® Plus software. Statistical Analysis: One-way ANOVA (F test) was carried out for comparing the parameters for multiple groups such as different histopathological grades of dysplasia and carcinoma. Comparison between groups was carried out using the Student's ‘t’ test. Correlations between VEGF score and MVD were estimated using the Karl Pearson coefficient of correlation. Results: VEGF and MVD appeared to increase with disease progression and were statistically higher in oral SCC than in epithelial dysplasia and normal buccal mucosa. There was significant correlation between VEGF expression and MVD. Conclusions: These findings indicate that VEGF expression is upregulated during head and neck tumorigenesis.
Acquistion of the Morphological Structure of the Lexicon Based on Lexical Similarity and Formal Analogy

The paper presents a computational model aiming at making the morphological structure of the lexicon emerge from the formal and semantic regularities of the words it contains. The model is purely lexeme-based. The proposed morphological structure consists of (1) binary relations that connect each headword with words that are morphologically related, and especially with the members of its morphological family and its derivational series, and of (2) the analogies that hold between the words. The model has been tested on the lexicon of French using the TLFi machine readable dictionary.
Is the extreme wave climate in the NE Pacific increasing?

Recent studies reveal important trends in mean values, high percentiles and extreme events of significant wave height (SWH) in the northeast (NE) Pacific using buoy measurements. However, the spatial variability of these trends has not been well addressed since the sparse and uneven coverage of wave buoys makes it difficult to assess spatial patterns. In this work, we analyze the long-term variability of extreme significant wave height along the northeast Pacific using two time-dependent extreme value models and three different datasets from buoys, satellite missions and hindcast databases. Significant long-term trends of extreme SWH have been detected reinforcing the previous studies. We also demonstrate an impact of El Niño on extreme wave heights in the NE Pacific as well as important correlations with mid-latitudinal climate patterns (e.g. PNA index).
Design and Implementation of Real-Time Transactional Memory

Transactional memory is a promising, optimistic synchronization mechanism for chip-multiprocessor systems. The simplicity of atomic sections, instead of using explicit locks, is also appealing for real-time systems. In this paper an implementation of real-time transactional memory (RTTM) in the context of a real-time Java chip-multiprocessor (CMP) is presented. To provide a predictable and analyzable solution of transactional memory, the transaction buffer is organized fully associative. Evaluation in an FPGA shows that an associativity of up to 64-way is possible without degrading the overall system performance. The paper presents synthesis results for different RTTM configurations and different number of processor cores in the CMP system. A CMP system with up to 8 processor cores with RTTM support is feasible in an Altera Cyclone-II FPGA.
Image phylogeny through dissimilarity metrics fusion

Nowadays, multimedia objects can be easily modified, shared, and distributed, thus determining the widespread diffusion of multiple near-duplicate versions, i.e., objects obtained applying a set of processing operations to original content. This is the case of images downloaded from sharing platforms, modified (e.g., by performing color correction, splicing, etc.) and re-distributed. The evolution of a group of near-duplicate images (i.e., their phylogeny) is a powerful clue to determine both image authenticity and its origin. For this reason, the forensics community has proposed a set of possible solutions to perform phylogenetic analyses based on image dissimilarity computation. Here, we compare different image dissimilarity metrics, and propose a set of original strategies for image phylogeny tree reconstruction. The validation of the proposed methods is performed on a dataset of image phylogeny trees. Depending on the used evaluation metrics, some approaches are preferable to others according to the results. Hence, an analyst can choose the appropriate method according to its needs.
Application of risk-sensitive optimal filtering equations to excitable noise system

In this work the risk-sensitive optimal filtering equations for systems of third grade with linear observations and mean square cost criterion to be minimized had been applied to the Fitz Hugh-Nagumo model. This special model represents a excitable system. The performance of the obtained risk-sensitive estimator for third degree stochastic systems with polynomial linear drift terms with polynomial observations equations is verified, comparing the mean-square criteria values in final time for the optimal risk-sensitive estimator and polynomial filtering equations. The goal of this work is to experiment applying both filtering equations: risk-sensitive and polynomial to third degree polynomial systems, comparing the results obtained in this special model. It is observed that when the value of D is greater than 1, the risk-sensitive equations present a singularity. However, the estimates are better than the polynomial filtering equations with respect to the values of the proposed mean square cost criterion to be minimized.
Adaptive three-dimensional guidance law based on neural dynamic surface control

Considering the three-dimensional(3D) terminal guidance issue, based on the neural dynamic surface control theory, a novel guidance law is designed, and its stability has been proved by Lyapunov stability criterion. The radial basis function(RBF) neural networks are used to estimate the target motion information in real-time and reduce the coupling interference in the 3D motion model. Thus the guidance law can be self-adaptive to the variation of parameters, which improved its robustness. Simulation results shows that the missile which uses this guidance law can obtain smaller miss distance in the case of target maneuvering complicated.
Enhancing Emotion Elicitation using the Contextual, Multimodal Features of a Social Network

APA Citation Rizk, A. (2015). Enhancing Emotion Elicitation using the Contextual, Multimodal Features of a Social Network [Master’s thesis, the American University in Cairo]. AUC Knowledge Fountain. https://fount.aucegypt. edu/etds/1212 MLA Citation Rizk, Ahmed. Enhancing Emotion Elicitation using the Contextual, Multimodal Features of a Social Network. 2015. American University in Cairo, Master's thesis. AUC Knowledge Fountain. https://fount.aucegypt. edu/etds/1212