Miracle-dz/UniFAR-FTUs huggingface dataset:
ILC: a calculus for composable, computational cryptography

The universal composability (UC) framework is the established standard for analyzing cryptographic protocols in a modular way, such that security is preserved under concurrent composition with arbitrary other protocols. However, although UC is widely used for on-paper proofs, prior attempts at systemizing it have fallen short, either by using a symbolic model (thereby ruling out computational reduction proofs), or by limiting its expressiveness. In this paper, we lay the groundwork for building a concrete, executable implementation of the UC framework. Our main contribution is a process calculus, dubbed the Interactive Lambda Calculus (ILC). ILC faithfully captures the computational model underlying UC—interactive Turing machines (ITMs)—by adapting ITMs to a subset of the π-calculus through an affine typing discipline. In other words, well-typed ILC programs are expressible as ITMs. In turn, ILC’s strong confluence property enables reasoning about cryptographic security reductions. We use ILC to develop a simplified implementation of UC called SaUCy.
Iterative Views Agreement: An Iterative Low-Rank Based Structured Optimization Method to Multi-View Spectral Clustering

Multi-view spectral clustering, which aims at yielding an agreement or consensus data objects grouping across multi-views with their graph laplacian matrices, is a fundamental clustering problem. Among the existing methods, Low-Rank Representation (LRR) based method is quite superior in terms of its effectiveness, intuitiveness and robustness to noise corruptions. However, it aggressively tries to learn a common low-dimensional subspace for multi-view data, while inattentively ignoring the local manifold structure in each view, which is critically important to the spectral clustering; worse still, the low-rank minimization is enforced to achieve the data correlation consensus among all views, failing to flexibly preserve the local manifold structure for each view. In this paper, 1) we propose a multi-graph laplacian regularized LRR with each graph laplacian corresponding to one view to characterize its local manifold structure. 2) Instead of directly enforcing the low-rank minimization among all views for correlation consensus, we separately impose low-rank constraint on each view, coupled with a mutual structural consensus constraint, where it is able to not only well preserve the local manifold structure but also serve as a constraint for that from other views, which iteratively makes the views more agreeable. Extensive experiments on real-world multi-view data sets demonstrate its superiority.
Workshop: Application of LCC's GROUNDHOG System for RTE-4

This paper provides a brief description of the system for recognizing textual entailment (RTE) Language Computer Corporation (LCC) used in the 2008 TAC RTE-4 Evaluation. Our RTE-4 work follows our previous work (Hickl and Bensley, 2007; Bensley and Hickl, 2008; Hickl, 2008) in using a pipeline of lightweight, largely statistical systems for commitment extraction, lexical alignment, and entailment classification in order to estimate the likelihood that a t includes the linguistic content sufficient to textually entail a h. Our system continues to provide promising results: on the binary entailment task, our system correctly classified more than 74% of t-h pairs correctly.
An inner and outer ring heuristic algorithm for TSP

This article proposed an algorithm for solving traveling salesman problem from the perspective of geometry. At a given planar point distribution, search remote border points and connect these points to form a polygon circuit called outer ring including all the points, according to the same principle, search a polygon inner ring circuit among the points that aren't in outer ring. According to the principle that points add to the polygon minimize the circuit circumference, add inner ring circuit points to outer ring in proper order, add the surrounded points to the inner ring circuit, a outer ring circuit spread all over points was formed at last. Experimental result shows that this algorithm can obtain a satisfied stable result and has advantage in the solving speed.
Cardiac Myosin Binding Protein-C Phosphorylation Modulates Myofilament Length-Dependent Activation

Cardiac myosin binding protein-C (cMyBP-C) phosphorylation is an important regulator of contractile function, however, its contributions to length-dependent changes in cross-bridge (XB) kinetics is unknown. Therefore, we performed mechanical experiments to quantify contractile function in detergent-skinned ventricular preparations isolated from wild-type (WT) hearts, and hearts expressing non-phosphorylatable cMyBP-C [Ser to Ala substitutions at residues Ser273, Ser282, and Ser302 (i.e., 3SA)], at sarcomere length (SL) 1.9 μm or 2. 1μm, prior and following protein kinase A (PKA) treatment. Steady-state force generation measurements revealed a blunting in the length-dependent increase in myofilament Ca2+-sensitivity of force generation (pCa50) following an increase in SL in 3SA skinned myocardium compared to WT skinned myocardium. Dynamic XB behavior was assessed at submaximal Ca2+-activations by imposing an acute rapid stretch of 2% of initial muscle length, and measuring both the magnitudes and rates of resultant phases of force decay due to strain-induced XB detachment and delayed force rise due to recruitment of additional XBs with increased SL (i.e., stretch activation). The magnitude (P2) and rate of XB detachment (krel) following stretch was significantly reduced in 3SA skinned myocardium compared to WT skinned myocardium at short and long SL, and prior to and following PKA treatment. Furthermore, the length-dependent acceleration of krel due to decreased SL that was observed in WT skinned myocardium was abolished in 3SA skinned myocardium. PKA treatment accelerated the rate of XB recruitment (kdf) following stretch at both SL's in WT but not in 3SA skinned myocardium. The amplitude of the enhancement in force generation above initial pre-stretch steady-state levels (P3) was not different between WT and 3SA skinned myocardium at any condition measured. However, the magnitude of the entire delayed force phase which can dip below initial pre-stretch steady-state levels (Pdf) was significantly lower in 3SA skinned myocardium under all conditions, in part due to a reduced magnitude of XB detachment (P2) in 3SA skinned myocardium compared to WT skinned myocardium. These findings demonstrate that cMyBP-C phospho-ablation regulates SL- and PKA-mediated effects on XB kinetics in the myocardium, which would be expected to contribute to the regulation of the Frank-Starling mechanism.
The Worst and Best Case Capacity Analysis of Mobile Ad Hoc Networks (MANET) Using a 3-Phase Algorithm

The capacity of mobile ad hoc network (MANET) is typically determined by the size of network, routing protocol, mobility and the interactions that occur between the nodes. Moreover, these critical parameters cause the loss rate that has severed impact on the performance of the MANET. This situation even becomes worst when these critical parameters are chosen inappropriately. This paper presents an analytical model that incorporates most of the critical parameters that can influence the capacity of MANET. Based on the analytical model, an efficient 3-phase algorithm is designed to optimize the performance of MANET in terms of an increased capacity and the reduced transmission delay. The proposed 3-phase algorithm considers both delay-tolerant and delay-sensitive network traffics. In addition, the 3-phase algorithm can be used to approximate both the best and worst case capacities of MANET with the relaying and non-relaying nodes.
XMCCTree: An algorithm for producing Mcctree in incompact structure

Different notions and techniques have been proposed to support query in XML. This led to the generation of algorithms to provide more efficient and accurate query processing. This research proposes an efficient algorithm to support keyword query in XML document. The propose algorithm, namely XMCCTree, employs MCLCA notion with some modifications in order to provide more efficient algorithm.
Zoonotic Epidemic of Sporotrichosis: Cat to Human Transmission

Most of the 51 species embedded in the genus Sporothrix are nonpathogenic environmental fungi that are closely related to decaying wood, plants, and soil. However, members of the Sporothrix schenckii complex are highly successful mammal pathogens, including S. brasiliensis, S. schenckii sensu stricto (s. str.), S. globosa, and S. luriei, the causative agents of human and animal sporotrichosis [1]. Their key to success during mammal infection lies at least in part with their ability to change from a mycelial saprophytic lifestyle at 25°C in the environment to a parasitic yeast cell at an elevated temperature (35°C–37°C), such as those developed by warm-blooded hosts [2]. Typically, infection develops after traumatic inoculation of contaminated soil, plants, and organic matter into skin or mucosa. Alternatively, infection may occur during the animal transmission (cat–cat or cat–dog) and zoonotic transmission (cat–human), which has been mostly associated with scratches or bites from infected cats [2]. In Brazil, S. brasiliensis is repeatedly associated with feline infection and has consistently shown higher virulence during epizootics, as well as in murine models of sporotrichosis. A hallmark of S. brasiliensis infection is its tendency to escalate to outbreaks or epidemics among cats with high potential for zoonotic transmission. Sporotrichosis is an emergent disease and, over the past two decades, the incidence of zoonotic sporotrichosis has been on the rise, particularly in Brazil. Judging from the epizootic and zoonotic epidemics taking place in Rio de Janeiro, Brazil, tackling sporotrichosis requires the engagement of animal and human health policies to reduce the transmission chain of Sporothrix.
FOR LOCATION DATA IN MOBILE NETWORKS

The new EU Directive 2002/58/EC has introduced with its Art. 9 special protection for location data other than traffic data. In this paper, we argue that also location data within traffic data can contain sensitive information about the ”relative positioning” and ”co-located displacements” of mobile nodes and thus also requires special protection. After a brief introduction to how mobility is supported in IP networks, to the level of privacy protection for location data introduced in the new European Union data protection directive, and to means of protecting privacy by technology, we introduce the concept of co-located displacements in MobileIP and show how the home agent will be able to determine whether or not a set of mobile nodes move in a co-located fashion. Finally, we present how privacy-enhancing technologies can be used to provide the level of privacy protection as required by Art. 9 of the EU Directive 2002/58/EC for location data other than traffic data, also for location information within traffic data.
Smart Wireless Sensor Technology for Structural Health Monitoring of Civil Structures

This paper presents the results of international cooperative researches on smart wireless sensors and SHM of civil structures among KAIST, the University of Michigan, and the University of Illinois at Urbana-Champaign. At first, the state-of-art in the smart wireless sensor technology is reviewed. The subsystems of a smart wireless sensor are discussed, and available wireless sensor platforms developed in the academia and industries are reviewed. Then three smart wireless SHM systems developed by the present authors are applied to SHM of various types of civil structures in this study. The first example is a distributed modal identification system using a smart wireless sensor platform, which is applied to the modal identification of a balcony structure in a historic theatre. The second one is a low-cost and autonomous wireless tension estimation system for cable-stayed bridges, which is employed for modal identification and tension estimation of a stay cable. The last one is an autonomous decentralized SHM system, which is applied to damage detection on a 3-D steel truss structure.
Mitochondrial Function in Permeabilized Cardiomyocytes Is Largely Preserved in the Senescent Rat Myocardium

The aging heart is characterized by a progressive decline in contractile function and diastolic relaxation. Amongst the factors implicated in these changes is a progressive replacement fibrosis secondary to cardiomyoctye death, oxidative damage, and energetic deficit, each of which may be secondary to impaired mitochondrial function. Here, we performed an in-depth examination of mitochondrial function in saponin-permeabilized cardiomyocyte bundles, a preparation where all mitochondria are represented and their structure intact, from young adult (YA) and senescent (SEN) rats (n = 8 per group). When accounting for increased fibrosis (+19%, P<0.01) and proportional decrease in citrate synthase activity in the SEN myocardium (−23%, P<0.05), mitochondrial respiration and reactive oxygen species (H2O2) emission across a range of energized states was similar between age groups. Accordingly, the abundance of electron transport chain proteins was also unchanged. Likewise, except for CuZnSOD (−37%, P<0.05), the activity of antioxidant enzymes was unaltered with aging. Although time to mitochondrial permeability transition pore (mPTP) opening was decreased (−25%, P<0.05) in the SEN heart, suggesting sensitization to apoptotic stimuli, this was not associated with a difference in apoptotic index measured by ELISA. Collectively, our results suggest that the function of existing cardiac ventricular mitochondria is relatively preserved in SEN rat heart when measured in permeabilized cells.
Protein disulfide isomerase–like proteins play opposing roles during retrotranslocation

Misfolded proteins in the endoplasmic reticulum (ER) are retained in the organelle or retrotranslocated to the cytosol for proteasomal degradation. ER chaperones that guide these opposing processes are largely unknown. We developed a semipermeabilized cell system to study the retrotranslocation of cholera toxin (CT), a toxic agent that crosses the ER membrane to reach the cytosol during intoxication. We found that protein disulfide isomerase (PDI) facilitates CT retrotranslocation, whereas ERp72, a PDI-like protein, mediates its ER retention. In vitro analysis revealed that PDI and ERp72 alter CT's conformation in a manner consistent with their roles in retrotranslocation and ER retention. Moreover, we found that PDI's and ERp72's opposing functions operate on endogenous ER misfolded proteins. Thus, our data identify PDI family proteins that play opposing roles in ER quality control and establish an assay to further delineate the mechanism of CT retrotranslocation.
Influence of supervisory control on the dependability of a hybrid system

A dynamic hybrid system is described by a set of continuous variables and a set of discrete events interacting together. The reality also requires taking into account component failures and the stochastic behavior of the system. Some events or variables take then a stochastic character. The component failures are in fact unobservable events and partially controllable. We are going to show how the control theory might be a mean to help to the conception of safe systems assuming that changes in the system (introduction of safety barriers …) would act as a supervisor in the context of simulation. The behavior of the system so “controlled” may be established without having to rebuild a complete model of the modified system. This assumes that the propagation of dangerous initiating events is inhibited and then the probability of dangerous states of the system reduced to zero.
Endovascular WEB flow disruption in middle cerebral artery aneurysms: preliminary feasibility, clinical, and anatomical results in a multicenter study.

BACKGROUND The endovascular treatment of middle cerebral artery (MCA) aneurysms with unfavorable anatomy (wide neck, unfavorable morphology) is frequently challenging. Flow disruption with the WEB is a potentially interesting endovascular treatment for this type of aneurysm. OBJECTIVE To report in a multicenter series the preliminary treatment experience of MCA aneurysms with flow disruption by the WEB. METHODS Thirty-three patients with 34 MCA aneurysms were treated with the WEB in 5 European centers. The ability to successfully deploy the WEB, procedure- and device-related adverse events, morbidity and mortality of the treatment, and short-term angiographic follow-up results were analyzed. RESULTS Most treated aneurysms were unruptured (85.3%) and were between 5 and 10 mm (85.3%) with a neck size ≥ 4 mm (88.2%). The treatment failed in 1 of the 34 aneurysms (2.9%) owing to a lack of appropriate device size. Treatment was performed exclusively with the WEB in 29 of 33 aneurysms (87.9%). Additional treatment (coiling and/or stenting) was used in 4 of 33 aneurysms (12.1%). Mortality of the treatment was 0.0% and morbidity was 3.1% (intraoperative rupture with modified Rankin Scale score of 3 at the 1-month follow-up). In short-term follow-up (range, 2-12 months), adequate occlusion (total occlusion or neck remnant) was observed in 83.3% of aneurysms. CONCLUSION WEB flow disruption seems to be a promising technique for the treatment of complex MCA aneurysms, particularly those with a wide neck or unfavorable dome-to-neck ratio.
Evaluation of complete functional status of patients with stroke by Functional Independence Measure scale on admission, discharge, and six months poststroke

Background: To evaluate the patients with stroke by Functional Independence Measure (FIM) scale, at the times of admission to hospital, discharge, and six-month poststroke, and to determine the level of improvement in patients after rehabilitative procedures. Methods: A total number of 108 patients with stroke entered the study who were admitted to neurology ward. They all received rehabilitation consultation, and occupational and physical therapies were prescribed for them. Finally, their functional status was evaluated by FIM scale. Results: The median (and range) of FIM scores were 86 (15-119), 102 (16-123) and 119 (17-126) at admission, discharge, and after six-month follow-up, respectively. Our observations showed a significant improvement in FIM scores (P < 0.001). About 13, 30, and 76 percent of the patients in individual functional tasks of motor domain and 61, 75, and 86 percent in cognitive domain got the score of 6 or 7 (complete or partial independence) on admission, discharge, and after six months, respectively. There was a reverse correlation between age and FIM improvement and also duration of hospitalization (P = 0.002). Conclusion: The study showed that the FIM is a valid tool for evaluation of patients with stroke, their follow-up and tracking the disease course. Moreover, we concluded that patients with stroke make a significant improvement in their functional status overtime. The exact effect of rehabilitative procedures and comparison with no treatment, must be assessed in separate studies.
Study on time-frequency atom property in the adaptive signal expands scheme

Adaptive time-frequency distribution is an important signal processing method. The property of time-frequency atom affects directly to analysis effect to the signal.The various time-frequency atoms that have been submitted presently have been studied in detail and the simulation experiment was carried on in this paper, include Time centre,frequency centre, time width, band width and Wigner-Ville distribution(WVD), and the result displays the Chirplet atom is better than the Gabor atom and FmmLet atom in every aspect properties, the free degree of Chirplet atom parameter is four dimension, that is moderate for search, and the WVD of Chirplet atom is not alternation item and negative value, the approximation is smooth when the chirplet atom is used. The atom can analyse any signal, the Chirplet atom distribution is an Ideal signal analysis method when signal model is unknown.
Successful Control of an Outbreak of Klebsiella pneumoniae Carbapenemase—Producing K. pneumoniae at a Long-Term Acute Care Hospital

Objective. To determine the effect of a bundle of infection control interventions on the horizontal transmission of Klebsiella pneumoniae carbapenemase (KPC)-producing K. pneumoniae during an outbreak. Design. Quasi-experimental study. Setting. Long-term acute care hospital. Intervention. On July 23,2008, a bundled intervention was implemented: daily 2% Chlorhexidine gluconate baths for patients, enhanced environmental cleaning, surveillance cultures at admission, serial point prevalence surveillance (PPS), isolation precautions, and training of personnel. Baseline PPS was performed before the intervention was implemented. Any gram-negative rod isolate suspected of KPC production underwent a modified Hodge test and, if results were positive, confirmatory polymerase chain reaction testing. Clinical cases were defined to occur for patients whose samples yielded KPC-positive gram-negative rods in clinical cultures. Results. Baseline PPS performed on June 17, 2008, showed a prevalence of colonization with KPC-producing isolates of 21% (8 of 39 patients screened). After implementation of the intervention, monthly PPS was performed 5 times, which showed prevalences of colonization with KPC-producing isolates of 12%, 5%, 3%, 0%, and 0% (P < .001). From January 1, 2008, until the intervention, 8 KPC-positive clinical cases—suspected to be due to horizontal transmission—were detected. From implementation of the intervention through December 31, 2008, only 2 KPC-positive clinical cases, both in August 2008, were detected. From January 1 through December 31, 2008, 8 patients were detected as carriers of KPC-producing isolates at admission to the institution, 4 patients before and 4 patients after the intervention. Conclusion. A bundled intervention was successful in preventing horizontal spread of KPC-producing gram-negative rods in a long-term acute care hospital, despite ongoing admission of patients colonized with KPC producers.
The use of tadpole meal as a substitute for fish meal in diets of clarias gariepinus fingerlings

Two hundred and forty Bufo maculate tadpoles of weight ranging from 0.038-0.045g (mean weight 0.04±0.008)g and lengths from 1.2-1.6 cm (mean 1.4± 0.018 cm) were randomly selected from breeding tanks (2.0H 2.0H1.0 m) and raised in utilization outdoor concrete tanks (1.0H1.0H0.75 m) for 84 days at the front of faculty of science complex, University of Abuja, Nigeria and their growth, productivity and nutrient were monitored. Tadpoles were harvested, processed and used in compounding five experimental diets of 42.5% crude protein to replace fish meal at different inclusion levels of 0% (control), 25, 50, 75 and 100% and fed to Clarias gariepinus fingerlings. The mean weight gain for cultured tadpoles was 3.16 g/tadpole; specific growth rate 2.21% and feed conversion ratio, 1.04. The result of the feeding experiment showed that WG, RGW, SGR, FCR and feed intake favored fingerlings fed 50 and 25% whole tadpole meal including diets with insignificant difference p< 0.05 compared to other treatments. Highest significant difference p< 0.05 for crude protein digestibility of 90.88% was for 25% whole tadpole meal. Better cost benefit ratio was reported in 25 and 50% whole tadpole meal diets. Based on this result, the replacement of tadpole meal is recommended for 25 and 50% inclusion levels in the diet of Clarias gariepinus for better growth performance, feed utilization, health status and cost benefits.