Miracle-dz/UniFAR-FTUs huggingface dataset:
Multi-protocol Attack: A Survey of Current Research

Traditionally, verification methods for security protocols typically assume that the protocols are used in isolation of other protocols (i.e., there is only a single protocol using a network at a given time). However, in practice it is unrealistic to assume that a security protocol runs in isolation in an insecure network. A multi-protocol attack is an attack in which more than one protocol is involved. The verification methods for security protocols that assume a single protocol on a network will fail to verify a protocol’s resistance/vulnerability to multi-protocol attacks. Further, multiple security protocols that are verified to be correct in isolation can be susceptible to multiprotocol attacks when used over the same network. However, the verification of security properties for multiple protocols existing on the same network is difficult since security properties are not compositional. This paper surveys some of the recent approaches and contributions into the verification of security properties in the context of multiple protocols being run in an insecure network and the efforts to prevent multi-protocol attacks.
One pot synthesis and anti-biofilm potential of copper nanoparticles (CuNPs) against clinical strains of Pseudomonas aeruginosa

Pseudomonas aeruginosa, an opportunistic pathogen frequently associated with nosocomial infections, is emerging as a serious threat due to its resistance to broad spectrum antimicrobials. The biofilm mode of growth confers resistance to antibiotics and novel anti-biofilm agents are urgently needed. Nanoparticle based treatments and therapies have been of recent interest because of their versatile applications. This study investigates the anti-biofilm activity of copper nanoparticles (CuNPs) synthesized by the one pot method against P. aeruginosa. Standard physical techniques including UV–visible and Fourier transform infrared spectroscopy, X-ray diffraction and transmission electron microscopy were used to characterize the synthesized CuNPs. CuNP treatments at 100 ng ml−1 resulted in a 94, 89 and 92% reduction in biofilm, cell surface hydrophobicity and exopolysaccharides respectively, without bactericidal activity. Evidence of biofilm inhibition was also seen with light and confocal microscope analysis. This study highlights the anti-biofilm potential of CuNPs, which could be utilized as coating agents on surgical devices and medical implants to manage biofilm associated infections.
Bioreactor for modulation of cardiac microtissue phenotype by combined static stretch and electrical stimulation

We describe here a bioreactor capable of applying electrical field stimulation in conjunction with static strain and on-line force of contraction measurements. It consisted of a polydimethylsiloxane (PDMS) tissue chamber and a pneumatically driven stretch platform. The chamber contained eight tissue microwells (8.05 mm in length and 2.5 mm in width) with a pair of posts (2.78 mm in height and 0.8 mm in diameter) in each well to serve as fixation points and for measurements of contraction force. Carbon rods, stimulating electrodes, were placed into the PDMS chamber such that one pair stimulated four microwells. For feasibility studies, neonatal rat cardiomyocytes were seeded in collagen gels into the microwells. Following 3 days of gel compaction, electrical field stimulation at 3–4 V cm−1 and 1 Hz, mechanical stimulation of 5% static strain or electromechanical stimulation (field stimulation at 3–4 V cm−1, 1 Hz and 5% static strain) were applied for 3 days. Cardiac microtissues subjected to electromechanical stimulation exhibited elevated amplitude of contraction and improved sarcomere structure as evidenced by sarcomeric α-actinin, actin and troponin T staining compared to microtissues subjected to electrical or mechanical stimulation alone or non-stimulated controls. The expression of atrial natriuretic factor and brain natriuretic peptide was also elevated in the electromechanically stimulated group.
Control of roof plate formation by Lmx1a in the developing spinal cord

Numerous studies have identified the roof plate as an embryonic signaling center critical for dorsal central nervous system patterning, but little is known about mechanisms that control its formation and its separation from clonally related neural crest cells and dI1 sensory interneurons. We demonstrate that the LIM homeodomain transcription factor, Lmx1a, mutated in the dreher mouse, acts to withdraw dorsal spinal cord progenitors from the cell cycle and simultaneously direct their differentiation into functional roof plate cells. Lmx1a cell-autonomously represses the dI1 progenitor fate, distinguishing the roof plate and dI1 interneuron programs, two major developmental programs of the dorsal neural tube. Lmx1a is not directly involved in neural crest development. We establish that Bmp signaling from epidermal ectoderm is necessary and sufficient for inducing Lmx1a and other co-factors that also regulate the extent of roof plate induction. We conclude that Lmx1a controls multiple aspects of dorsal midline patterning and is a major mediator of early Bmp signaling in the developing spinal cord.
Trapdoor Computational Fuzzy Extractors and Stateless Cryptographically-Secure Physical Unclonable Functions

We present a fuzzy extractor whose security can be reduced to the hardness of Learning Parity with Noise (LPN) and can efficiently correct a constant fraction of errors in a biometric source with a “noise-avoiding trapdoor. ” Using this computational fuzzy extractor, we present a stateless construction of a cryptographically-secure Physical Unclonable Function. Our construct requires no non-volatile (permanent) storage, secure or otherwise, and its computational security can be reduced to the hardness of an LPN variant under the random oracle model. The construction is “stateless,” because there is no information stored between subsequent queries, which mitigates attacks against the PUF via tampering. Moreover, our stateless construction corresponds to a PUF whose outputs are free of noise because of internal error-correcting capability, which enables a host of applications beyond authentication. We describe the construction, provide a proof of computational security, analysis of the security parameter for system parameter choices, and present experimental evidence that the construction is practical and reliable under a wide environmental range.
Simulation in the woods: From remote sensing based data acquisition and processing to various simulation applications

This paper focuses on joint work towards the development of simulation applications in the forest sector. They are based on advanced “semantic” world modeling techniques which use remote sensing data and processing algorithms to derive tree species classification maps, as well as forest stand attributes and single tree databases over large areas. The resulting databases are the basis for a variety of different simulation applications in an integrated system approach. Forest growth simulations aim to predict the appearance of the forest in the next decades. Forest machine simulators allow for an efficient development of forest machines and their control algorithms, as well as for cost-effective driver training. Harvesting cost simulations calculate the harvesting costs long before the lumbermen start to work. Decision support systems enable wood owners and the wood industry to compare different treatment scenarios based on simulations and thus to comprehensively assess ecological and economical chances and consequences.
Sustainable Energy Development in Saudi Arabia

The main objective of this research is to study the role of energy consumption in economic growth in Saudi Arabia over the period of 1971–2012 using the autoregressive distributed lag (ARDL) cointegration procedure, and based on neoclassical growth, endogenous growth, and ecological-economics viewpoints. Our empirical results show the existence of a cointegrating relationship between the different variables investigated. In addition, all the inputs (conventional and non-conventional) Granger cause economic growth in both the short and long runs. Our findings confirm the energy-led growth hypothesis in the case of Saudi Arabia. Hence, energy conservation policies may deteriorate economic growth in Saudi Arabia if they are not followed by measures that improve energy efficiency, energy saving technologies and encourage the investment and use of renewable energy sources such as solar and wind energies that can participate in the attenuation of climate changes.
Development of enteric neuron diversity

• Neuronal diversity in the adult enteric nervous system (ENS) • Developmental appearance and birthdating of enteric neuron subtypes and glial cells ‐ Developmental appearance of pan‐neuronal markers and enteric neuron subtypes ‐ Time of exit from cell cycle of different neuron types • Morphological development of enteric neurons • Axon guidance in the developing ENS • Development of connectivity • Mechanisms controlling enteric neuronal differentiation and the generation of neuron diversity ‐ Transcriptional control of enteric neuronal differentiation and the generation of neuron diversity ‐ Role of glial cell line‐derived neurotrophic factor (GDNF) family members in enteric neuronal differentiation and the generation of neuron diversity ‐ Role of endothelin‐3/Ednrb signalling ‐ Role of other signalling pathways ‐ Neurotrophin‐3 (NT‐3) ‐ Bone morphogenetic proteins (BMPs) ‐ L1 ‐ Sonic hedgehog ‐ Role of electrical activity • Development of enteric glia • Development of neurons and neuronal subtypes in the human ENS and clinical relevance ‐ Hirschsprung's disease ‐ Is the ganglionic segment of Hirschsprung's patients ‘normal’? ‐ Other paediatric motility disorders ‐ Defects in the development of subtypes of enteric neurons ‐ Defects in the number of enteric neurons • Conclusions
The relationship of management modality in Saudi patients with type 2 diabetes to components of metabolic syndrome, γ glutamyl transferase and highly sensitive C-reactive protein

Background: The aim of this study was to investigate the relationship among management modality, glycemic control, components of metabolic syndrome (MS) and serum levels of γ glutamyl transferase (GGT) and C-reactive protein (CRP) in patients with type 2 diabetes (T2DM). Methods: Patients with T2DM, not suffering from diabetes complications, were recruited from outpatients clinics at two hospitals in Jeddah. Anthropometric measurements and blood pressure (BP) were taken. A treatment plan was recorded. Fasting blood samples were obtained to measure glucose, glycated hemoglobin (HbA1c), lipids profile, highly sensitive (hs)-CRP and GGT. Results: A total of 71 men and 82 women were recruited. Lower mean HbA1c was found in people receiving oral glucose-lowering drugs compared with those on insulin therapy (p < 0.001). Management modality had no effect on mean GGT or hs-CRP. Higher mean GGT was associated with poor glycemic control, dyslipidemia, hypertension, and abdominal obesity. GGT correlated significantly (p < 0.05) and directly with triglycerides in men (r = 0.401) and diastolic BP (r = 0.279 for men, r = 0.194, for women), but inversely with high-density lipoprotein cholesterol (HDL-C) (r = −0.298 for men, r = −0.171 for women). hs-CRP correlated with waist circumference (p < 0.05, r = 0.312, for men, r = 0.305, for women), with a higher mean being found in men with poor glycemic control (p = 0.015), in hypertensive women (p = 0.030), and in patients who were abdominally obese (p < 0.05). Conclusions: High levels of GGT and hs-CRP are associated with components of MS and poor glycemic control, hence increased cardiovascular risk. Due to their value as independent risk predictors of vascular injury, these measures should be included in routine monitoring of patients with T2DM.
Crystal Structure of HydF Scaffold Protein Provides Insights into [FeFe]-Hydrogenase Maturation*

Background: HydF is a GTPase essential for maturation of [FeFe]-hydrogenase. Results: The first crystal structure of HydF has been determined. Conclusion: The protein monomer comprises a GTP-binding domain, a dimerization domain, and a metal-cluster binding domain. Two monomers dimerize, and two dimers can aggregate to a tetramer. Significance: The crystal structure of the latter furnishes several clues about the events necessary for cluster generation. [FeFe]-hydrogenases catalyze the reversible production of H2 in some bacteria and unicellular eukaryotes. These enzymes require ancillary proteins to assemble the unique active site H-cluster, a complex structure composed of a 2Fe center bridged to a [4Fe-4S] cubane. The first crystal structure of a key factor in the maturation process, HydF, has been determined at 3 Å resolution. The protein monomer present in the asymmetric unit of the crystal comprises three domains: a GTP-binding domain, a dimerization domain, and a metal cluster-binding domain, all characterized by similar folding motifs. Two monomers dimerize, giving rise to a stable dimer, held together mainly by the formation of a continuous β-sheet comprising eight β-strands from two monomers. Moreover, in the structure presented, two dimers aggregate to form a supramolecular organization that represents an inactivated form of the HydF maturase. The crystal structure of the latter furnishes several clues about the events necessary for cluster generation/transfer and provides an excellent model to begin elucidating the structure/function of HydF in [FeFe]-hydrogenase maturation.
The Use of Intraoperative Autotransfusion during Cranial Vault Remodeling for Craniosynostosis

&NA; Intraoperative autotransfusion salvages blood shed during surgery for use in immediate resuscitation of the patient. The purpose of this study was to determine whether such autotransfusion decreases the volume of homologous blood transfused in patients undergoing primary cranial vault remodeling for craniosynostosis. The Cobe‐Bret 2 autologous blood recovery system (Hemo Concepts, Union, N.J.) was used in 11 cases, and an equal number of consecutive cases did not receive intraoperative autotransfusion. There were no significant differences between the groups with respect to age, sex, and weight. Mean estimated blood loss was 43.2 ml/kg (range, 20.3 to 65.0 ml/kg) in the intraoperative autotransfusion group and 40.2 ml/kg (range, 6.8 to 72.3 ml/kg) in the control group (not statistically significant; p<0.05). There was no significant difference in volume of homologous blood transfusion between the two groups. The autotransfusion group received 34.1 ml/kg of homologous blood (range, 0 to 60.7 ml/kg), and the control group received a mean of 32.7 ml/kg (range, 14.5 to 60.2 ml/kg). The autotransfusion group received a mean of 10.4 ml/kg of recovered autologous blood (range, 0 to 21.4 ml/kg). In four of the 11 autotransfusion patients, insufficient autologous blood was recovered intraoperatively to warrant transfusion. Results of this study suggest little benefit for the use of intraoperative autotransfusion in primary cranial vault remodeling for craniosynostosis in the young patient. It was hypothesized that this finding was a result of the following: (1) intraoperative autotransfusion blood was usually available only toward the end of the procedure, after homologous blood had already been administered, and (2) the volume of recovered intraoperative autotransfusion blood is minimal, compared with the homologous transfusion volume requirements during an extensive cranial vault remodeling and fronto‐orbital advancement procedure. In the context of unproven cost benefit and increasing similar evidence from other comparative studies, emphasis should be directed to other medical and surgical strategies to minimize the need for perioperative blood transfusion.
TLR sorting by Rab11 endosomes maintains intestinal epithelial-microbial homeostasis

Compartmentalization of Toll‐like receptors (TLRs) in intestinal epithelial cells (IECs) regulates distinct immune responses to microbes; however, the specific cellular machinery that controls this mechanism has not been fully identified. Here we provide genetic evidences that the recycling endosomal compartment in enterocytes maintains a homeostatic TLR9 intracellular distribution, supporting mucosal tolerance to normal microbiota. Genetic ablation of a recycling endosome resident small GTPase, Rab11a, a gene adjacent to a Crohn's disease risk locus, in mouse IECs and in Drosophila midgut caused epithelial cell‐intrinsic cytokine production, inflammatory bowel phenotype, and early mortality. Unlike wild‐type controls, germ‐free Rab11a‐deficient mouse intestines failed to tolerate the intraluminal stimulation of microbial agonists. Thus, Rab11a endosome controls intestinal host‐microbial homeostasis at least partially via sorting TLRs.
Electromagnetic quarkonium decays at order v**7

We compute S-wave and P-wave electromagnetic quarkonium decays at order v7 in the heavy-quark velocity expansion. In the S-wave case, our calculation confirms and completes previous findings. In the P-wave case, our results are in disagreement with previous ones; in particular, we find that two matrix elements less are needed. The cancellation of infrared singularities in the matching procedure is discussed.
Role of Maltogenic Amylase and Pullulanase in Maltodextrin and Glycogen Metabolism of Bacillus subtilis 168

ABSTRACT The physiological functions of two amylolytic enzymes, a maltogenic amylase (MAase) encoded by yvdF and a debranching enzyme (pullulanase) encoded by amyX, in the carbohydrate metabolism of Bacillus subtilis 168 were investigated using yvdF, amyX, and yvdF amyX mutant strains. An immunolocalization study revealed that YvdF was distributed on both sides of the cytoplasmic membrane and in the periplasm during vegetative growth but in the cytoplasm of prespores. Small carbohydrates such as maltoheptaose and β-cyclodextrin (β-CD) taken up by wild-type B. subtilis cells via two distinct transporters, the Mdx and Cyc ABC transporters, respectively, were hydrolyzed immediately to form smaller or linear maltodextrins. On the other hand, the yvdF mutant exhibited limited degradation of the substrates, indicating that, in the wild type, maltodextrins and β-CD were hydrolyzed by MAase while being taken up by the bacterium. With glycogen and branched β-CDs as substrates, pullulanase showed high-level specificity for the hydrolysis of the outer side chains of glycogen with three to five glucosyl residues. To investigate the roles of MAase and pullulanase in glycogen utilization, the following glycogen-overproducing strains were constructed: a glg mutant with a wild-type background, yvdF glg and amyX glg mutants, and a glg mutant with a double mutant (DM) background. The amyX glg and glg DM strains accumulated significantly larger amounts of glycogen than the glg mutant, while the yvdF glg strain accumulated an intermediate amount. Glycogen samples from the amyX glg and glg DM strains exhibited average molecular masses two and three times larger, respectively, than that of glycogen from the glg mutant. The results suggested that glycogen breakdown may be a sequential process that involves pullulanase and MAase, whereby pullulanase hydrolyzes the α-1,6-glycosidic linkage at the branch point to release a linear maltooligosaccharide that is then hydrolyzed into maltose and maltotriose by MAase.
Broadening participation through scalable game design

Game development is quickly gaining popularity in introductory programming courses. Motivational and educational aspects of game development are hard to balance and often sacrifice principled educational goals. We are employing the notion of scalable game design as an approach to broaden participation by shifting the pedagogical focus from specific programming to more general design comprehension. Scalable game design combines the Flow psychological model, the FIT competency framework and the AgentSheets rapid game prototyping environment. The scalable aspect of our approach has allowed us to teach game design in a broad variety of contexts with students ranging from elementary school to CS graduate students, with projects ranging from simple Frogger-like to sophisticated Sims-like games, and with diverse cultures from the USA, Europe and Asia.
ANALISA KINERJA KEUANGAN PEMERINTAH DAERAH DAN TINGKAT KESEJAHTERAAN MASYARAKAT KABUPATEN/KOTA DI PROVINSI BENGKULU

Harapan dilaksanakannya otonomi daerah atau desentralisasi adalah pemerintah daerah akan lebih fleksibel dalam mengatur strategi pembangunannya, karena dengan otonomi daerah pemerintah akan lebih dekat dengan masyarakatnya, sehingga makin banyak keinginan masyarakat dapat dipenuhi oleh pemerintah. Penyelenggaraan otonomi daerah harus selalu berorientasi pada peningkatan kesejahteraan masyarakat dengan selalu memperhatikan kepentingan dan aspirasi yang tumbuh dalam masyarakat, untuk itu otonomi daerah diaharapkan dapat menciptakan kondisi kinerja keuangan yang baik untuk meningkatkan kualitas pelayanan umum dan kesejahteraan masyarakat dan menciptakan ruang bagi masyarakat untuk ikut berpartisipasi dalam proses pembangunan. Faktor yang potensial untuk melihat kinerja keuangan Pemerintah Daerah adalah Rasio Kemandirian, Rasio Efektivitas, Rasio Efisiensi dan Rasio Keserasian Belanja dan untuk melihat tingkat kesejahteraan masyarakat salah satunya adalah Indek Pembangunan Manusia (IPM). Penelitian ini bertujuan untuk menganalisa Kinerja Keuangan Pemerintah Daerah dan Tingkat Kesejahteraan Masyarakat Kabupaten/Kota Di Propinsi Bengkulu Tahun 2007-2012. Jenis data yang digunakan adalah data sekunder dalam bentuk data runtut waktu. Metode analisis yang digunakan analisis uji beda rata-rata dan korelasi Pearson dan pengolahan datanya menggunakan software SPSS versi 17.0. Dari hasil pengolahan data yang dilakukan ditemukan bahwa tidak terdapat perbedaan kinerja keuangan Pemerintah Daerah Kabupaten/Kota di Propinsi Bengkulu dengan nilai probailitas dari hasil uji beda rata-rata 0,433 > α, tidak terdapat perbedaan tingkat kesejahteraan masyarakat di Kabupaten/Kota di Provinsi Bengkulu dengan nilai probailitas dari hasil uji beda rata-rata 0,433 > α, dan ada hubungan yang positif dan signifikan antara kinerja keuangan dan tingkat kesejahteraan masyarakat yaitu efisiensi dan IPM dengan nilai korelasi Pearson sebesar 0,933 dan signifikansi sebesar 0,000 pada taraf α = 0,01, kemudian kemandirian dan IPM dengan nilai korelasi Pearson sebesar 0,740 dan signifikansi sebesar 0,023 pada taraf α = 0,05.
ZNF804A Genotype Modulates Neural Activity during Working Memory for Faces

Background: Genetic susceptibility to schizophrenia (SZ) has been suggested to influence the cortical systems supporting working memory (WM) and face processing. Genetic imaging studies link the SZ risk variant rs1344706 on the ZNF804A gene to psychosis via alterations in functional brain connectivity during WM, but no work has looked at the effects of ZNF804A on WM with face-processing components. Methods: We therefore investigated healthy controls that were genotyped for rs1344706 with a face WM task during functional magnetic resonance imaging. We suggested that variation at the rs1344706 locus would be associated with similar alterations as patients previously tested using the same WM task for faces. Results: The rs1344706 risk allele was indeed associated with altered activation in the right dorsolateral prefrontal (rDLPFC) cortex. We established that the rDLPFC was activated in a task-dependent manner, suggesting that the differences in activation between rs1344706 genotype groups reflected alterations in task processing. Furthermore, we demonstrated that the rDLPFC region showed significant volumetric overlap with the rDLPFC which had previously been reported to be altered during task processing for patients with SZ. Conclusions: The findings support an association between rs1344706 and alterations in DLPFC activity during WM for faces. We further suggest that WM for faces may be a useful intermediate phenotype in the investigation of genetic susceptibility to psychosis.