Miracle-dz/UniFAR-FTUs huggingface dataset:
Process-oriented organisation modelling and analysis

This paper presents a formal framework for process-oriented modelling and analysis of organisations. The high expressivity of the sorted predicate logic language used for specification allows representing a wide range of process-related concepts (e.g. tasks, processes, resources), characteristics and relations, which are described in the paper. Furthermore, for every organisation, structural and behavioural constraints on process-related concepts can be identified. Some of them should always be fulfilled by the organisation (e.g. physical world constraints), whereas others allow some degree of organisational flexibility (e.g. some domain specific constraints). An organisational specification is correct if it satisfies a set of relevant organisational constraints. This paper describes automated formal techniques for establishing correctness of organisational specifications with respect to a set of diverse constraint types. The introduced framework is a part of a general framework for organisation modelling and analysis.
A New Obstacle Avoidance Method based on Biped Robot

Currently, in order to avoid obstacle, most robots will choose a new path. This paper proposed a new obstacle avoidance method for biped robots. When lower obstacle exists in the road, we will calculate the obstacle’s three-dimensional information instead of using the traditional method of re-select the path, so that the biped robot will avoid obstacles successfully by crossing the obstacle. In 3-d reconstruction, the stereo matching is complex, and has large time consumption. Therefore, the method in this paper has a combination of color segmentation and height detection, extracts obstacle’s region accurately to reduce detection range of matching, then improves the real-time of reconstruction. Experiments show that the method proposed in this paper is feasible.
A novel flexible microfluidic meshwork to reduce fibrosis in glaucoma surgery

Purpose/Relevance Fibrosis and hence capsule formation around the glaucoma implants are the main reasons for glaucoma implant failure. To address these issues, we designed a microfluidic meshwork and tested its biocompatibility in a rabbit eye model. The amount of fibrosis elicited by the microfluidic meshwork was compared to the amount elicited by the plate of conventional glaucoma drainage device. Methods Six eyes from 3 New Zealand albino rabbits were randomized to receive either the novel microfluidic meshwork or a plate of Ahmed glaucoma valve model PF7 (AGV PF7). The flexible microfluidic implant was made from negative photoresist SU-8 by using micro-fabrication techniques. The overall size of the meshwork was 7 mm × 7 mm with a grid period of 100 μm. Both implants were placed in the subtenon space at the supratemporal quadrant in a standard fashion. There was no communication between the implants and the anterior chamber via a tube. All animal eyes were examined for signs of infection and implant erosion on days 1, 3, 7, and 14 and then monthly. Exenterations were performed in which the entire orbital contents were removed at 3 months. Histology slides of the implant and the surrounding tissues were prepared and stained with hematoxylin-eosin. Thickness of the fibrous capsules beneath the implants were measured and compared with paired student’s t-test between the two groups. Results The gross histological sections showed that nearly no capsule formed around the microfluidic meshwork in contrast to the thick capsule formed around the plate of AGV PF7. Thickness of the fibrotic capsules beneath the AGV PF7 plate from the 3 rabbit eyes was 90μm, 82μm, and 95 μm, respectively. The thickness at the bottom of fibrotic capsules around the new microfluidic implant were 1μm, 2μm, and 1μm, respectively. The difference in thickness of capsule between the two groups was significant (P = 0.002). No complications were noticed in the 6 eyes, and both implants were tolerated well by all rabbits. Conclusion The microfluidic meshwork elicited minimal fibrosis and capsule formation after 3-months implantation in a rabbit model. This provides promising evidence to aid in future development of a new glaucoma drainage implant that will elicit minimal scar formation and provide better long-term surgical outcomes.
Extended spatial and temporal learning scale in reinforcement learning

In this paper, the extended learning scale is proposed to improve the efficiency of reinforcement learning. The learning scale is defined and its impact on the performance of learning is investigated. Based on the correlation of the spatial or temporal neighboring states, fuzzy state and artificial ant colony are incorporated into reinforcement learning for the extension of learning scale. In the simulation experiments, the proposed learning methods with extended learning scale are applied in a robot path planning problem. The experimental results indicate that the extension of spatial and temporal learning scale improves the learning efficiency.
Evaluation of Serum Chromium Levels in Patients with Type 1 and 2 Diabetes Mellitus and insulin resistance

121904-4848-IJBAS-IJENS © August 2012 IJENS I J E N S Abstract-Chromium is one of the essential nutrients whose metabolism changes in diabetes. It has been shown that there is a relationship between serum chromium and both kinds of diabetes [non-insulin-dependent diabetes mellitus (NIDDM) and insulindependent diabetes mellitus (IDDM)]. The aim of the present study is to investigate the serum chromium (Cr) status (In Type-1 DM patients, Type-2 patients, and insulin resistance. The study was conducted on 50 type-1 DM subjects, 50 type-2 DM subjects, 50 patients with Insulin resistance and 50 control subjects. Glucose, HbA1c and Cr were analyzed in fasting serum of all subjects. Serum chromium (Cr) levels were decreased in all three patients groups, respectively Type-1 DM, Type-2 DM and insulin resistance group (p<0.05, p=0,001, p<0,001). There were strong negative correlation between serum Cr and HbA1C levels respectively ( Type-1 DM patients, Type-2 DM patients, insulin resistance) (r =-0 .67, p <0.05) (r= -0.75, p<0,05) (r= -0.64, p<0,05).
Honey: a reservoir for microorganisms and an inhibitory agent for microbes.

BACKGROUND Honey is an ancient remedy for the treatment of infected wounds, which has recently been 'rediscovered' by the medical profession. The use to which honey is put in medical care is increasing daily with many authors pointing out its importance and role in wound care. There have been reports that honey contains many microorganisms including bacteria and fungi. OBJECTIVE The aim of this paper is to highlight the various uses, organisms commonly found in honey, how the organisms arrived in the honey and their effects on wounds and wound care. Would the presence of these organisms not constitute a limiting factor to the use of honey in wound management? This is what this review aims to answer. METHODS A literature search was done on honey using pubmed, google, local books and journals. Relevant journals were extracted and discussed with emphasis on the antimicrobial properties as well as microbial content of honey and the implications of these. RESULTS The production of honey as well as the storing process account for the presence of microorganisims. Most of these organisms are said to be in inactive forms as they can hardly survive in honey because of its several properties including hygroscopicity, hyperosmolarity, acidity, peroxide content, antibiotic activities etc. However there is a need for caution in the use of honey in wound management. CONCLUSION We suggest that wounds to be treated with honey should be investigated i.e with a swab for the microorganisms present on the wound and their sensitivity to the honey before commencing honey treatment. This will help in carefully selecting wounds that might do well with honey treatment not withstanding other properties of honey that aid wound healing.
An Improved Particle Swarm Optimization Algorithm Mimicking Territorial Dispute Between Groups for Multimodal Function Optimization Problems

In the present paper, an improved particle swarm optimization (PSO) algorithm for multimodal function optimization is proposed. The new algorithm, named auto-tuning multigrouped PSO (AT-MGPSO) algorithm mimics natural phenomena in ecosystem such as territorial dispute between different group members and immigration of weak groups, resulting in automatic determination of the size of each group's territory and robust convergence. The usefulness of the proposed algorithm is verified by the application to a specially designed test function and a practical electromagnetic optimization problem.
Developing NOX Applications for Network Control

Network control and management is one of the greatest challenges of the future Internet and, in a pluralist approach, virtual networks must be individually controlled over the shared physical network substrate. This work presents a framework for NOX applications development to control Openflow switched networks. The framework is based on the concept of web server and allows system interoperability with multiple end-user interfaces.
A novel prolate ellipsoid dual notch UWB filter for the rejection of 5 GHz WLAN

This paper proposes an Ultra-Wideband (UWB) bandpass filter with dual notch band for the purpose of avoiding the interference between the UWB radio system and the existing WLAN system. The 5 GHz WLAN (Wireless Local Area Network) IEEE 802.11a exists in 5.15–5.35 GHz and 5.725–5.825 GHz which are called as lower and upper band respectively. The filter is based on prolate ellipsoid resonator with interdigital coupling at both sides. The interdigital coupling used instead of direct coupling for the reason of strong coupling and to introduce capacitance effect to obtain flat passband. The notched band can be easily designed to some specific frequency bands by tuning the resonator size and four folded open stubs near by the ellipsoid resonator with respect to interdigital coupling. The proposed filter presented both −10 dB bandwidth from 1.69 GHz to 10 GHz and rejection performance about −20.29 dB and −18.80 dB with centre frequencies at 5.19 GHz and 5.79 GHz respectively. With the above functional features the overall dimension of the filter is 39.4 mm (height) × 7 mm (length) × 3.175 mm (breadth). It is not only compact but also delivers excellent scattering parameters with the magnitude of insertion loss, |S21| lower than −1.7 dB and return loss better than −17.2 dB. In the passbands, the computed group delay is well within the tolerable variation of 0.1 ns.
Metabolic Profiling and Physiological Analysis of a Novel Rice Introgression Line with Broad Leaf Size

A rice introgression line, NIL-SS1, and its recurrent parent, Teqing, were used to investigate the influence of the introgression segment on plant growth. The current research showed NIL-SS1 had an increased flag leaf width, total leaf area, spikelet number per panicle and grain yield, but a decreased photosynthetic rate. The metabolite differences in NIL-SS1 and Teqing at different developmental stages were assessed using gas chromatography—mass spectrometry technology. Significant metabolite differences were observed across the different stages. NIL-SS1 increased the plant leaf nitrogen content, and the greatest differences between NIL-SS1 and Teqing occurred at the booting stage. Compared to Teqing, the metabolic phenotype of NIL-SS1 at the booting stage has closer association with those at the flowering stage. The introgression segment induced more active competition for sugars and organic acids (OAs) from leaves to the growing young spikes, which resulted in more spikelet number per plant (SNP). The results indicated the introgression segment could improve rice grain yield by increasing the SNP and total leaf area per plant, which resulted from the higher plant nitrogen content across growth stages and stronger competition for sugars and OAs of young spikes at the booting stage.
Efficient, Profitable and Safe Banking: An Oxymoron? A Panel VAR Approach

Cost and profit efficiency (CE and PE) are key to evaluate bank performance. But efficiency improvements may imply deteriorating profitability and excessive risk-taking. The dynamic reactions of performance in response to efficiency changes remain unclear on both theoretical and empirical grounds. We use panel data provided by the German central bank to estimate impulse response functions derived from a vector autoregressive model to measure the response of profitability (ROA) and probabilities of default (PD) to efficiency shocks. A unit shift in efficiency reduces PD's and increases ROA. The long-run impact of PE on risk is larger than for CE, but the latter reduces PD's faster. CE has a slightly larger impact on profits than PE. In sum, efficient and stable banking do not contradict each other.
Interoperability and the MARSYAS 0.2 Runtime

Marsyas is a software framework for building efficient complex audio processing systems and applications. Although originally designed for Music Information Retrieval (MIR) tasks in the past few years it has been expanded to include any type of audio analysis or synthesis. Complex Audio processing systems are defined hierarchically through composition using implicit patching. Both the specification of the processing network and the control of it while data is flowing through can be performed at runtime without requiring recompilation. Compilation is required only when new processing objects need to be defined. Therefore the Marsyas runtime provides considerable functionality and flexibility. In this paper we demonstrate how the Marsyas runtime can be accessed using a variety of different ways allowing non-trivial interactions with common software frameworks and environments.
Environmental Enforcement: An Exploration of Latino Political Representation

This paper examines whether there are disparities in environmental enforcement. It contributes to the extant literature by examining if the political representation of Latinos influences levels of inspections for Hispanic populations. Using data from the Integrated Database for Enforcement Analysis (IDEA), the U.S. Census Bureau, and the National Association of Latino Elected and Appointed Officials (NALEO), this paper examines patterns of state enforcement of the Resource Conservation and Recovery Act (RCRA) nationwide from 2005 to 2011 to determine if there are disparities in levels of inspections. Using zero-inflated negative binomial models, results indicate minimal evidence of ethnic or class-based disparities in enforcement of the RCRA during this time period. However, there is evidence indicating weaker enforcement efforts in African American counties.
Probing the catalytic mechanism of a C‐3′‐methyltransferase involved in the biosynthesis of D‐tetronitrose

D‐Tetronitrose is a nitro‐containing tetradeoxysugar found attached to the antitumor and antibacterial agent tetrocarcin A. The biosynthesis of this highly unusual sugar in Micromonospora chalcea requires 10 enzymes. The fifth step in the pathway involves the transfer of a methyl group from S‐adenosyl‐L‐methionine (SAM) to the C‐3′ carbon of dTDP‐3‐amino‐2,3,6‐trideoxy‐4‐keto‐D‐glucose. The enzyme responsible for this transformation is referred to as TcaB9. It is a monomeric enzyme with a molecular architecture based around three domains. The N‐terminal motif contains a binding site for a structural zinc ion. The middle‐ and C‐terminal domains serve to anchor the SAM and dTDP–sugar ligands, respectively, to the protein, and the active site of TcaB9 is wedged between these two regions. For this investigation, the roles of Tyr 76, His 181, Tyr 222, Glu 224, and His 225, which form the active site of TcaB9, were probed by site‐directed mutagenesis, kinetic analyses, and X‐ray structural studies. In addition, two ternary complexes of the enzyme with bound S‐adenosyl‐L‐homocysteine and either dTDP‐3‐amino‐2,3,6‐trideoxy‐4‐keto‐D‐glucose or dTDP‐3‐amino‐2,3,6‐trideoxy‐D‐galactose were determined to 1.5 or 1.6 Å resolution, respectively. Taken together, these investigations highlight the important role of His 225 in methyl transfer. In addition, the structural data suggest that the methylation reaction occurs via retention of configuration about the C‐3′ carbon of the sugar.
Service Area Optimization For Application Virtualization Using UMTS Mobility Model

In this paper, we first introduce recent developments of the mobile computing devices and virtualization technologies available to deploy cross-platform application software. In our previous work, we proposed a distributed server arrangement and the corresponding hand-off protocol to provide smoother and more responsive user experience for application virtualization on mobile devices. Based on out previous work, we present a series of simulation results that establish quantitative relations between the performance improvement or impact and the infrastructure related parameters. The simulations are based on the proposed modified UMTS mobility model, which allows them to run for an indefinite period of time without presuming any boundary condition.
The Combinatorial PP1-Binding Consensus Motif (R/K)x (0,1)V/IxFxx(R/K)x(R/K) Is a New Apoptotic Signature

Background Previous studies established that PP1 is a target for Bcl-2 proteins and an important regulator of apoptosis. The two distinct functional PP1 consensus docking motifs, R/Kx(0,1)V/IxF and FxxR/KxR/K, involved in PP1 binding and cell death were previously characterized in the BH1 and BH3 domains of some Bcl-2 proteins. Principal Findings In this study, we demonstrate that DPT-AIF1, a peptide containing the AIF562–571 sequence located in a c-terminal domain of AIF, is a new PP1 interacting and cell penetrating molecule. We also showed that DPT-AIF1 provoked apoptosis in several human cell lines. Furthermore, DPT-APAF1 a bi-partite cell penetrating peptide containing APAF-1122–131, a non penetrating sequence from APAF-1 protein, linked to our previously described DPT-sh1 peptide shuttle, is also a PP1-interacting death molecule. Both AIF562–571 and APAF-1122–131 sequences contain a common R/Kx(0,1)V/IxFxxR/KxR/K motif, shared by several proteins involved in control of cell survival pathways. This motif combines the two distinct PP1c consensus docking motifs initially identified in some Bcl-2 proteins. Interestingly DPT-AIF2 and DPT-APAF2 that carry a F to A mutation within this combinatorial motif, no longer exhibited any PP1c binding or apoptotic effects. Moreover the F to A mutation in DPT-AIF2 also suppressed cell penetration. Conclusion These results indicate that the combinatorial PP1c docking motif R/Kx(0,1)V/IxFxxR/KxR/K, deduced from AIF562–571 and APAF-1122–131 sequences, is a new PP1c-dependent Apoptotic Signature. This motif is also a new tool for drug design that could be used to characterize potential anti-tumour molecules.
LPV modelling and LPV observer-based fault detection for wind turbine systems

In this paper, linear parameter varying (LPV) modelling technique is addressed for modelling a wind turbine system, with real-time changing scheduling parameters. Based on the LPV wind turbine model, a LPV observer-based fault detection method is utilized to detect faults under four scenarios. The effectiveness of the proposed modelling and fault detection techniques is demonstrated by using the widely-recognized wind turbine benchmark system.
ON MOD p REPRESENTATIONS WHICH ARE DEFINED OVER p: II

Abstract The behaviour of Hecke polynomials modulo p has been the subject of some studies. In this paper we show that if p is a prime, the set of integers N such that the Hecke polynomials TN,χℓ,k for all primes ℓ, all weights k ≥ 2 and all characters χ taking values in {±1} splits completely modulo p has density 0, unconditionally for p = 2 and under the Cohen–Lenstra heuristics for p ≥ 3. The method of proof is based on the construction of suitable dihedral modular forms.
Redefining the Economical Power of Nations: An International Macroeconomic Model that Introduces a Future Aspect into the GDP

The paper challenges the current common rankings of economies when measured over the GDP, and introduces a set of new Indices based on the factors GDP, Gini Coefficient and Inflation. This Social factors relativized GDP cuts out that part of the GDP, which is structurally long term frozen up by social transfers. Furthermore, the paper introduces an economic model that implements the future aspect into the GDP over the factors of change in capital expenditures and change in private investments. The first part of the pa-per explains the κ_Index models, the factors that were applied, as well as the reasons for the choice. The second part of the paper shows variations of the κ_Index including a few ideal-typical examples. The final part asks some critical questions and concludes the pa-per. Basic social factors relativized GDP: κ _Index = GDP – GDP x Gini is (1 – GINI) x GDP Inflation indexed Version: κ _Index_Infl. = (1 – Gini – Inflation) x GDP Future aspect of GDPWith Private Investment variable: κp = (B B × ΔP) – (B × G)With Private Investment variable and inflation: κip = (B B × ΔP) - [(B × G) (B × In)]Productivity Index: κ_PROD = κ_Index / Labor Force = κ_PRODInflation indexed Productivity Index: κ_PROD_Infl. = κ_Index_Infl. / Labor Force Debt-to- κ _Index κ _Debt = National debt / κ_Index Debt-to- κ _Index_Inflation κ _Debt_Infl. = National debt / κ_Index_Infl.
Key Technologies of WDM-PON for Future Converged Optical Broadband Access Networks [Invited]

The wavelength-division-multiplexed passive optical network (WDM-PON) is considered to be the next evolutionary solution for a simplified and future-proofed access system that can accommodate exponential traffic growth and bandwidth-hungry new applications. WDM-PON mitigates the complicated time-sharing and power budget issues in time-division-multiplexed PON (TDM-PON) by providing virtual point-to-point optical connectivity to multiple end users through a dedicated pair of wavelengths. There are a few hurdles to overcome before WDM-PON sees widespread deployment. Several key enabling technologies for converged WDM-PON systems are demonstrated, including the techniques for longer reach, higher data rate, and higher spectral efficiency. The cost-efficient architectures are designed for single-source systems and resilient protection for traffic restoration. We also develop the integrated schemes with radio-over-fiber (RoF)-based optical-wireless access systems to serve both fixed and mobile users in the converged optical platform.