Miracle-dz/UniFAR-FTUs huggingface dataset:
Information Management in a Collaboratively-Developed Approach to Enterprise Resource Planning - A Higher Education Perspective

This paper is a part of an exploratory study with the goal of investigating the applicability of collaboratively-developed enterprise resource planning (the CD-ERP approach) within Libyan public universities. Since it is being proposed in order to overcome the topical issue of information system (IS) development in Libyan higher education (LHE), Libyan universities were investigated to assess IS performance while using the approach of methodological assessment. Accordingly, three public universities were chosen to be studied, namely the University of Tripoli (UOT), Misurata University (MU), and Sirte University (SU). The UOT was run as an initial study to identify practical problems in conducting a formal study. Previous papers have discussed the use of a formal study, in which a methodological assessment of IS performance at Libyan universities was conducted. The findings from all three cases are discussed and analyzed on the basis of selected techniques and models. This analysis indicates the low level of the ISs implemented in LHE at the university level, as well as the lack of system development capabilities within these universities. This paper focuses on the management of information flow between universities during student exchange. Business process maps are presented, and improvements based on the CD-ERP approach are proposed.
Spatio-temporal genetic patterns in Mediterranean bluefin tuna : population structuring and retention of genetic diversity

We assessed spatio-temporal genetic patterns in Mediterranean samples of bluefin tuna (BFT) to look for signs of population structuring and genetic erosion, which might be related to stock overexploitation and depletion. We analyzed microsatellite variation at seven neutral loci on seven contemporary bluefin tuna samples collected from the Alboran Sea to the Levant Sea (N=316) and in two historical samples (N=99) collected from 1911 to 1926 in the southern Tyrrhenian and Adriatic Seas. We found signs of widespread and deep spatial genetic structuring in both contemporary (mean FST =0.014, P < 0.0001) and historical bluefin tunas (FST=0.020, P < 0.0001). These findings coherently confirm previous data obtained on a limited number of samples and reinforce the possibility that the Mediterranean is inhabited by reproductively isolated sub-populations. Temporal genetic analyses did not find evidence of genetic bottlenecks in Mediterranean bluefin tuna samples. However, since samples displayed heterogeneity of population demographic parameters, Mediterranean bluefin tuna subpopulations might have partially independent dynamics. Our results illustrate that in Mediterranean, structured bluefin tuna populations retain a high level of genetic diversity across space and time, despite possible demographic declines and population changes.
SAGA User Manual 2.0: an inversion software package

The purpose of many experiments is to identify environmental parameters which, when used as input to a forward model, accurately model the observed data. It is also useful to have some indication of the uncertainty of the estimated parameters. SAGA is a software package that helps the user determine the best set of parameters to match a given data set. At present, the package consists of seven modules, one for each forward model. The forward codes are: OAST (wavenumber integration transmission loss model), OAST (wavenumber integration reflection coefficients model), SNAP (normal modes), SNAPRD (adiabatic normal modes), POPP (normal mode reverberation model), PROSIM (broadband adiabatic normal modes), and TPEM (tropospheric parabolic equation). Several types of observed data can be used in these inversions: single or multi-frequency pressure on a vertical array, coherent or incoherent transmission loss, reflection coefficients, reverberation data, or tropospheric electromagnetic data. For any parameter estimation problem the issue of error assessment must be addressed. In SAGA it i s addressed by estimating a posteriori distributions. The word SAGA stems from Icelandic and simply means a long story, usually from the middle ages. It tends to go on forever. Scientifically it stands for Seismo-Acoustic inversion using Genetic Algorithms.
The Relationship of Social Support with Medication Adherence Pulmonary Tuberculosis Patients Through DOTS Strategy in Pidie Aceh Indonesia

Pulmonary Tuberculosis is a infectious disease caused by Mycobacterium Tuberculosis and actually can be found aon a lung but may affect the other organs. The case of pulmonary TB with BTA + at Puskesmas Simpang Tiga in Pidie district is about 60 case at the year of 2014 and incrase to 84 case at 2015. This research is to investigatethe correlation of social support with pulmonary tuberculosis medication adherence with DOTS strategic at Puskesmas Simpang Tiga in Pidie District. This research is based on descriptive analytic with cross sectional design. Tis research sample is made by 80 total sampling. The statistical test used is the Logistic Regression test by using Stat 13. Results showed that 63.75% of respondents who obediently take medicine, 57.50% of respondents with poor emotional support, 57.50% of respondents with good informational support, 52.50% of respondents with good instrumental support, and 51.25 % of respondents with less rewards good support. The results of the bivariate analysis obtained emotional support (OR = 2.1, P value = 0.121), informational support (OR = 3.5, p value = 0.009), instrumental support (OR = 1.6, p value = 0.302), and support award (OR = 0.6, p value = 0.387). The results of the research conclude that the dominant informational support variable affect medication adherence with DOTS strategy on pulmonary TB patientswith the value (OR = 3.5, P value = 0.009).
The DBRF Method for Inferring a Gene Network from Large-scale Steady-state Gene Expression Data

genome sequence has enabled whole-genome expression profiling and genome deletion projects, which are generating large-scale gene expression profiles corresponding to hundreds of deletion mutants. To extract novel biological information from those profiles is an important challenge in current biology. We reported the Difference-Based Regulation Finding (DBRF) method, which infers the underlying gene network from those profiles (1). The method 1) infers direct and indirect gene regulations by interpreting the difference of gene expression level between wild-type and mutant, and 2) eliminates the indirect regulations. A major characteristic of the method is its applicability to continuous-value expression data. Most of the other reported methods assume a gene network as a Boolean network, where a gene expression level is represented as a binary value. Binarization of original continuous-value gene expression data may cause the data to lack the information needed to infer regulatory relationships. The performance of the method was evaluated using artificial gene networks by varying the network size, indegree of each gene, and the data characteristics (continuous- or binary- value). More than 70% of inferred gene regulatory relationships were consistent with the original gene network. The result showed that the performance of the DBRF method is superior to that of the predictor method (2).
Management of Meconium Ileus: 5 years' experience at Dhaka Shishu (Children) Hospital

Background : Meconium ileus (MI) is one of the common cause of intestinal obstruction in neonate. It can be present with various complications (about 50%) like volvulus, atresia, and gangrene of the gut, perforation and meconium cyst. Objective : This study aimed to compare various surgical procedures used in the treatment of meconium ileus and to assess their efficacy regarding survival and complications in our center. Methods : This retrospective study was done to all cases of meconium ileus admitted in the Department of neonatal surgery of Dhaka Shishu (Children) Hospital during the past 5 years (2011 to2016). The medical records of all patients with meconium ileus were studied. The surgical procedures were Mikulicz procedure, Bishop-Koop procedure done in case of complicated cases and Mikulicz procedure, Bishop-Koop and T tube ileostomy done in uncomplicated cases. Outcomes were compared between complicated and uncomplicated group and between the surgical procedures. Results : Total patients were 224. Among them 8 were excluded due to incomplete data. The mean age was 3.23 days. Twenty four neonates were preterm. Fifty-two percent were uncomplicatedMI and 48.15% were complicated. Among 112 uncomplicated cases, Mikulicz procedure done in 33 cases, Bishop-Koop procedure done in 37 cases and rest were treated by T tube ileostomy procedures. Among 104 cases of complicated meconium ileus, Mikulicz procedure done in 75 cases and 42 cases were treated by Bishop-Koop stoma. Predominant complications in Mikulicz procedures were high output fistula (67.6%), sepsis (34.84%) and skin excoriation (58.33%), while in Bishop-Koop procedure were sepsis (59.25%), anastomotic leak and reoperation (25.75%). In T tube ileostomy, complications were intra-peritoneal leak with reoperation and sepsis (9.52%). Twenty five (11.6%) stoma prolapse were found in Mikulicz ileostomy. The overall mortality of meconium ileus was 36.6%, in simple MI 23 out of 112 and in complicated MI 56 out of 104. This difference was significant. Conclusion : Considering the study result we concluded that complications occur more frequently in Mikulicz procedure and it is significantly associated with mortality, Bishop- Koop ileostomy can be considered but anastomotic leak is still an important complication of this procedure. In uncomplicated cases T tube ileostomy found as the best option. Northern International Medical College Journal Vol.10(1) Jul 2018: 326-329
Aircraft rerouting and rescheduling in multi-airport terminal area under disturbed conditions

The disturbances, caused by resource competition, weather changes, and demand uncertainties, frequently occur and result in obvious fluctuations (e.g., the increase or decrease of demand and capacity) in demand and capacity. This work addresses the problem of aircraft rerouting and rescheduling in presence of disturbances, characterized by the increase or decrease of demand and capacity, at a multi-airport terminal maneuvering area (TMA). A multi-objective optimization model is proposed to minimize the total flight delays and total extra flying time, considering the aircraft wake turbulence separation, runway operation rules, air traffic control regulations, scheduling time windows, and airport/airspace capacity, etc. Based on the non-dominated sorting genetic algorithm (NSGA-II), we designed an efficient evolutionary algorithm to solve the proposed model and search the Pareto solutions. Five scenarios are designed to analyze and compare the operation performance under normal and disturbed conditions, using the classic First-Come-First-Served (FCFS) and optimized scheduling (OPTS) methods. A case study is conducted for Shanghai Pudong and Hongqiao Airports, and the computational results show that, compared with the FCFS method, the proposed OPTS method significantly performs a overall better performance in minimizing total flight delay and total extra flying time, while slightly inferior in optimizing the delay and extra flying time of one single flight.
FCM Based Enhanced Approach for Object Extraction from Videos

In Video segmentation huge number of research progress has done, which includes variety of algorithms for specific applications. Videos cover wide variations in object with multiple frames capturing different pose, illumination and other variations. This diverse information can be aggregated together for efficient object segmentation. Till now, it remain challenging problem to accurately extract the target object from the video because of the variations of intensity, view, brightness, motion and other complex backgrounds. Also, accuracy and fast object tracing and object’s motion updating is necessary. In this work, we proposed a method to extract object from video sequence. It involves tracking through training phase, test phase then update the appearance model. To do this, we start with an initialized location of the object for the first frame. We do simple tracking for the first 4 frames, and use the corresponding target-background regions to train the discriminative appearance model. For each frame, we first use the appearance model to get a target confidence map, and then find the target candidate with the largest confidence. The target-around region is saved for updating appearance model every several frames. On the computed confidence map saved images, simple threshold segmentation method is applied and segmented objects are saved. Then on segmented object, apply Fuzzy C-Means clustering. This will result in improved segmentation quality. Output is shown as the segmented images of object in video sequence. Keywords—Segmentation; FCM; PSNR; MSE; Mean-Shift; SLIC
Genetic diversity analysis among the open pollinated clones of mango in Andaman and Nicobar Islands using RAPD markers.

Eighteen mango clones (Mangifera indica Linn.) were examined for genetic diversity using 60 RAPD primers. Of the 60 primers screened, 20 primers gave polymorphic DNA amplification patterns. The number of bands generated ranged from 5 – 8 per primer. Banding patterns of the primers used to distinguish between clones indicated that PCR by using RAPD primers was an efficient method for clonal identification. Similarity coefficients were calculated based on 57 selected bands and UPGMA clustering analysis was performed. Six local clones were found to be related closely with four clones from South India. The remaining eight clones were classified into four groups based on the dendrogram. Our analysis separated the differentially flowering polyembryonic local clones with single flowering monoembryonic ones.
NUCLEAR TRANSLOCATION OF MET VIA INTERNET MECHANISM

Mei-Kuang Chen, M.S. Advisory Professor: Mien-Chie Hung, Ph.D. MET is one of the receptor tyrosine kinases (RTKs) that are overexpressed in malignant cancer types, including breast cancer. While RTKs are traditionally known for their roles in signaling transduction from the cell surface, recent studies have provided evidence demonstrating that most of RTKs can translocate into nucleus to regulate cellular processes in response to both ligand and stress stimulation. Oxidative stress is a common stress in cancer cells due to alteration of metabolism, and constitutive oxidative stress related to reactive oxygen species (ROS) has been observed in breast cancer cells. Here, we show that hepatocyte growth factor (HGF) as well as hydrogen peroxide (H2O2) can induce nuclear translocation of full-length MET holoreceptor via a membrane-bound vesicle transport mechanism in breast cancer cells. Our findings provide a putative mechanism by which breast cancer cells adapt to oxidative stress. VII Table of Content DEDICATION . III ACKNOWLEDGEMENTS . IV ABSTRACT . VI. VI TABLE OF CONTENT . VII LIST OF ILLUSTRATIONS . XII LIST OF TABLES . XIV CHAPTER
Intensional polymorphism in type-erasure semantics

Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languages, including tag-free garbage collection, unboxed function arguments, polymorphic marshalling, and flattened data structures. To date, languages that support intensional polymorphism have required a type-passing (as opposed to type-erasure) interpretation where types are constructed and passed to polymorphic functions at run time. Unfortunately, type-passing suffers from a number of drawbacks: it requires duplication of constructs at the term and type levels, it prevents abstraction, and it severely complicates polymorphic closure conversion.We present a type-theoretic framework that supports intensional polymorphism, but avoids many of the disadvantages of type passing. In our approach, run-time type information is represented by ordinary terms. This avoids the duplication problem, allows us to recover abstraction, and avoids complications with closure conversion. In addition, our type system provides another improvement in expressiveness; it allows unknown types to be refined in place thereby avoiding certain beta-expansions required by other frameworks.
Submodular Optimization for Power System Control and Stability

Submodular Optimization for Power System Control and Stability Zhipeng Liu Co-Chairs of the Supervisory Committee: Professor Radha Poovendran Electrical and Computer Engineering Professor Linda Bushnell Electrical and Computer Engineering Due to the increasing demand for electricity and unpredictable supplies from renewable energy, power systems are being operated close to their stability limits. Maintaining power system stability in the presence of disturbances is a challenging task over decades. Power system instability often arises from disturbances and the corrective controls are often combinatorial optimization problems which are NP-hard to solve. Submodularity is a diminishing-return property of set functions which is analogous to the convexity of continuous functions. A combinatorial optimization problem that possesses submodularity can often be solved by greedy algorithms effectively with provable optimality guarantees. The concept of submodularity has been studied in a wide range of areas including sensor placement, feature selection, etc. The submodularity for power system stability problems, however, has not been exploited prior to this work. The goal of this dissertation is to provide novel approaches towards addressing the power system control and stability challenges by exploiting the submodularity. This dissertation covers the voltage control problem, input and output selection problem in wide-area damping control for small signal stability, and controlled islanding problem in cascading failure.
Reasoning About Frame Properties in Object-oriented Programs

Framing is important for specification and verification of object-oriented programs. This dissertation develops the local reasoning approach for framing in the presence of data structures with unrestricted sharing and subtyping. It can verify shared data structures specified in a concise way by unifying fine-grained region logic and separation logic. Then the fine-grained region logic is extended to reason about subtyping. First, fine-grained region logic is adapted from region logic to express regions at the granularity of individual fields. Conditional region expressions are introduced; not only does this allow one to specify more precise frame conditions, it also has the ability to express footprints of separation logic assertions. Second, fine-grained region logic is generalized to a new logic called unified fine-grained region logic by allowing the logic to restrict the heap in which a program runs. This feature allows one to express specifications in separation logic. Third, both fine-grained region logic and separation logic can be encoded to unified fine-grained region logic. This result allows the proof system to reason about programs specified in both styles. Finally, fine-grained region logic is extended to reason about a programming language that is similar to Java. To reason about inheritance locally, a frame condition for behavioral subtyping is defined and proved sound.
An Active Current-Controlled Battery Pack Balancing Technique for Online Operation

Battery based energy storage systems find a wide array of applications from electric vehicles to power grids. This paper presents a new circuit topology for cell-to-cell active balancing of their battery packs. Its simple control scheme is developed and presented in detail for online operation. The design is modular and does not require a custom multi-winding transformer, instead, relying on a bidirectional synchronous buck converter and two energy storage elements. Also, only four sensors are necessary to implement its current-control scheme. Simulation is carried out to demonstrate the speed and efficacy of the proposed technique.
Security Threats Caused by Public Event Callback in Android Application

The feature of event-driven acts as a key role that makes Android application differentiate from traditional PC software. Since many of those events are hardly predicted and could not be observed by other applications, attackers are similarly impossible to engage corresponding attacks by finding the vulnerabilities of such an event-driven mechanism. However, of various kinds of events offered by either user or system, there are still events that can be received by more than one application and further, which could offer important basic resources to predict specific behaviours of targeted application. In this paper, we aim to analyse potential security threats inside them and demonstrate typical kinds of proof-of-concept attack examples. Apart from that, the critical mechanism-public event callback (PEC) that may cause the threat is firstly modelled and studied, where its four main parts are introduced in detail.
Signaling Function of Na/K-ATPase in Ouabain-induced Regulation of Intracellular Calcium

We have shown that the caveolar Na/K-ATPase transmits ouabain signals via xes, t light and IP3R2 and IP3R3, suggesting that the signaling Na/KATPase may tether PLC-γ1 and IP3 receptors together to form a Ca -regulatory complex. This notion is supported by the following findings. First, both PLC-γ1 and IP3R2 co-immunoprecipitated with the Na/K-ATPase and ouabain increased this interaction in a doseand time-dependent manner in LLC-PK1 cells. Depletion of cholesterol abolished the effects of ouabain on this interaction. Second, ouabain induced phosphorylation of PLC-γ1 at Tyr and activated PLC-γ1 in a Src-dependent manner, resulting in increased hydrolysis of PIP2. It also stimulated Src-dependent tyrosine phosphorylation of the IP3R2. Finally, ouabain induced Ca release from the intracellular stores via the activation of IP3 receptors in LLC-PK1 cells. This effect required the ouabain-induced activation of PLC-γ1. Inhibition of Src or depletion of terol also abolished the effect of ouabain on intracellular Ca. Following the multiple signalplexes. To obtain the information on the composition of such comple we separated the Na/K-ATPase from the outer medulla of rat kidney into two differen fractions by detergent treatment and density gradient centrifugation. Analysis of the fraction indicated that both PLC-γ1 and IP3 receptors (isoforms 2 and 3, IP3R2 IP3R3) were co-enriched with the Na/K-ATPase, caveolin-1 and Src. GST pull-down assays revealed that the central loop of the Na/K-ATPase α1 subunit interacts with PLCγ1 while the N-terminus binds