Miracle-dz/UniFAR-FTUs huggingface dataset:
Oliot EPCIS: New EPC information service and challenges towards the Internet of Things

Identification system[s], especially Radio Frequency IDentification (RFID) system[s] played an important role in the advent of the Internet of Things (IoT), and thus its popularity has increased in many industries at an unprecedented rate. GS1 EPCglobal has led the development of RFID standards from unique identifier, communication protocol to event repository. Recently, its scope starts to broaden with the new standard of EPC Information Service (EPCIS v1.1), while GS1 EPCglobal had focused on RFID middleware in the field of supply chain management (SCM). We believe that EPCIS can act as an event-based context repository for IoT. However, the challenges of scalability and flexibility should be taken into consideration against a large amount of heterogeneous data from a variety of sources. In this paper, we propose the novel open source platform complying with the EPCIS v1.1 specification called Oliot EPCIS, which can collect and share event data for a broad range of IoT applications. The main contribution of the paper is as follows. To resolve the challenges, we propose the scalable and flexible EPCIS architecture, the document-based model of EPCIS event and the new event called SensorEvent. We show that Oliot EPCIS generally outperforms two existing solutions through the comparative experiment. Also, with the healthcare case study, we show that Oliot EPCIS can capture and share sensor values requiring a very intensive data rate based on SensorEvent.
Lightning Does Not Strike Twice: Robust MDPs with Coupled Uncertainty

We consider Markov decision processes under parameter uncertainty. Previous studies all restrict to the case that uncertainties among different states are uncoupled, which leads to conservative solutions. In contrast, we introduce an intuitive concept, termed "Lightning Does not Strike Twice," to model coupled uncertain parameters. Specifically, we require that the system can deviate from its nominal parameters only a bounded number of times. We give probabilistic guarantees indicating that this model represents real life situations and devise tractable algorithms for computing optimal control policies.
Structural and biochemical analyses of monoubiquitinated human histones H2B and H4

Monoubiquitination is a major histone post-translational modification. In humans, the histone H2B K120 and histone H4 K31 residues are monoubiquitinated and may form transcriptionally active chromatin. In this study, we reconstituted nucleosomes containing H2B monoubiquitinated at position 120 (H2Bub120) and/or H4 monoubiquitinated at position 31 (H4ub31). We found that the H2Bub120 and H4ub31 monoubiquitinations differently affect nucleosome stability: the H2Bub120 monoubiquitination enhances the H2A–H2B association with the nucleosome, while the H4ub31 monoubiquitination decreases the H3–H4 stability in the nucleosome, when compared with the unmodified nucleosome. The H2Bub120 and H4ub31 monoubiquitinations both antagonize the Mg2+-dependent compaction of a poly-nucleosome, suggesting that these monoubiquitinations maintain more relaxed conformations of chromatin. In the crystal structure, the H2Bub120 and H4ub31 monoubiquitinations do not change the structure of the nucleosome core particle and the ubiquitin molecules were flexibly disordered in the H2Bub120/H4ub31 nucleosome structure. These results revealed the differences and similarities of the H2Bub120 and H4ub31 monoubiquitinations at the mono- and poly-nucleosome levels and provide novel information to clarify the roles of monoubiquitination in chromatin.
Proline substitution independently enhances H‐2Db complex stabilization and TCR recognition of melanoma‐associated peptides

The immunogenicity of H‐2Db (Db) restricted epitopes can be significantly increased by substituting peptide position 3 to a proline (p3P). The p3P modification enhances MHC stability without altering the conformation of the modified epitope allowing for T‐cell cross‐reactivity with the native peptide. The present study reveals how specific interactions between p3P and the highly conserved MHC heavy chain residue Y159 increase the stability of Db in complex with an optimized version of the melanoma‐associated epitope gp10025–33. Furthermore, the p3P modification directly increased the affinity of the Db/gp10025–33‐specific T‐cell receptor (TCR) pMel. Surprisingly, the enhanced TCR binding was independent from the observed increased stability of the optimized Db/gp10025–33 complex and from the interactions formed between p3P and Y159, indicating a direct effect of the p3P modification on TCR recognition.
REAL-TIME VIDEO-BASED RECONSTRUCTION OF URBAN ENVIRONMENTS

We present an approach for automatic 3D reconstruction of outdoor scenes using computer vision techniques. Our system collects video, GPS and INS data which are processed in real-time to produce geo-registered, detailed 3D models that represent the geometry and appearance of the world. These models are generated without manual measurements or markers in the scene and can be used for visualization from arbitrary viewpoints, documentation and archiving of large areas. Our system consists of a data acquisition system and a processing system that generated 3D models from the video sequences off-line but in real-time. The GPS/INS measurements allow us to geo-register the pose of the camera at the time each frame was captured. The following stages of the processing pipeline perform dense reconstruction and generate the 3D models, which are in the form of a triangular mesh and a set of images that provide texture. By leveraging the processing power of the GPU, we are able to achieve faster than real-time performance, while maintaining an accuracy of a few cm.
On the connectivity in finite ad hoc networks

Connectivity and capacity analysis of ad hoc networks has usually focused on asymptotic results in the number of nodes in the network. In this letter we analyze finite ad hoc networks. With the standard assumption of uniform distribution of nodes in [0, z], z > 0, for a one-dimensional network, we obtain the exact formula for the probability that the network is connected. We then extend this result to find bounds for the connectivity in a two-dimensional network in [0, z]/sup 2/.
Multiple breeders, breeder shifts and inclusive fitness returns in an ant

In social insects, colonies may contain multiple reproductively active queens. This leads to potential conflicts over the apportionment of brood maternity, especially with respect to the production of reproductive offspring. We investigated reproductive partitioning in offspring females (gynes) and workers in the ant Formica fusca, and combined this information with data on the genetic returns gained by workers. Our results provide the first evidence that differential reproductive partitioning among breeders can enhance the inclusive fitness returns for sterile individuals that tend non-descendant offspring. Two aspects of reproductive partitioning contribute to this outcome. First, significantly fewer mother queens contribute to gyne (new reproductive females) than to worker brood, such that relatedness increases from worker to gyne brood. Second, and more importantly, adult workers were significantly more related to the reproductive brood raised by the colony, than to the contemporary worker brood. Thus, the observed breeder shift leads to genetic benefits for the adult workers that tend the brood. Our results also have repercussions for genetic population analyses. Given the observed pattern of reproductive partitioning, estimates of effective population size based on worker and gyne samples are not interchangeable.
Active Learning with Labeled and Unlabeled Documents in Text Categorization

In many real-world learning problems, preparing labeled examples for training is very expensive. In this paper a method for designing a classifier has suggested. At first an initial naïve Bayesian classifier is built, with a few labeled examples. Then an active learning method called Uncertainty Sampling with new similarity idea for batch selection has been used to select more informative documents for learning. So that, required labeled examples is reduced noticeably. Then by applying EM method, a large number of unlabeled document are given to the classifier. The classifier estimates unknown labels and uses them for retraining itself. Finally a boosting committee is built based on the derived naive Bayesian. The final class prediction is made through committee voting. The applied boosting method has not examined on text categorization up to now. It improves recall parameter of the classifier.
An Analytical Framework for Runtime of a Class of Continuous Evolutionary Algorithms

Although there have been many studies on the runtime of evolutionary algorithms in discrete optimization, relatively few theoretical results have been proposed on continuous optimization, such as evolutionary programming (EP). This paper proposes an analysis of the runtime of two EP algorithms based on Gaussian and Cauchy mutations, using an absorbing Markov chain. Given a constant variation, we calculate the runtime upper bound of special Gaussian mutation EP and Cauchy mutation EP. Our analysis reveals that the upper bounds are impacted by individual number, problem dimension number n, searching range, and the Lebesgue measure of the optimal neighborhood. Furthermore, we provide conditions whereby the average runtime of the considered EP can be no more than a polynomial of n. The condition is that the Lebesgue measure of the optimal neighborhood is larger than a combinatorial calculation of an exponential and the given polynomial of n.
Modeling Emotion Influence in Image Social Networks

We study emotion influence in large image social networks. We focus on users' emotions reflected by images that they have uploaded and social influence that plays a role in changing users' emotions. We first verify the existence of emotion influence in the image networks, and then propose a probabilistic factor graph based emotion influence model to answer the questions of “who influences whom”. Employing a real network from Flickr as the basis in our empirical study, we evaluate the effectiveness of different factors in the proposed model with in-depth data analysis. The learned influence is fundamental for social network analysis and can be applied to many applications. We consider using the influence to help predict users' emotions and our experiments can significantly improve the prediction accuracy (3.0-26.2 percent) over several alternative methods such as Naive Bayesian, SVM (Support Vector Machine) or traditional Graph Model. We further examine the behavior of the emotion influence model, and find that more social interactions correlate with higher emotion influence between two users, and the influence of negative emotions is stronger than positive ones.
A single nucleotide polymorphism in the Bax gene promoter affects transcription and influences retinal ganglion cell death

Pro-apoptotic Bax is essential for RGC (retinal ganglion cell) death. Gene dosage experiments in mice, yielding a single wild-type Bax allele, indicated that genetic background was able to influence the cell death phenotype. DBA/2JBax+/− mice exhibited complete resistance to nerve damage after 2 weeks (similar to Bax−/− mice), but 129B6Bax+/− mice exhibited significant cell loss (similar to wild-type mice). The different cell death phenotype was associated with the level of Bax expression, where 129B6 neurons had twice the level of endogenous Bax mRNA and protein as DBA/2J neurons. Sequence analysis of the Bax promoters between these strains revealed a single nucleotide polymorphism (T129B6 to CDBA/2J) at position −515. A 1.5- to 2.5-fold increase in transcriptional activity was observed from the 129B6 promoter in transient transfection assays in a variety of cell types, including RGC5 cells derived from rat RGCs. Since this polymorphism occurred in a p53 half-site, we investigated the requirement of p53 for the differential transcriptional activity. Differential transcriptional activity from either 129B6 or DBA/2J Bax promoters were unaffected in p53−/− cells, and addition of exogenous p53 had no further effect on this difference, thus a role for p53 was excluded. Competitive electrophoretic mobility-shift assays identified two DNA–protein complexes that interacted with the polymorphic region. Those forming Complex 1 bound with higher affinity to the 129B6 polymorphic site, suggesting that these proteins probably comprised a transcriptional activator complex. These studies implicated quantitative expression of the Bax gene as playing a possible role in neuronal susceptibility to damaging stimuli.
Profile-driven Program Synthesis For Evaluation Of System Power Dissipation

This paper presents a new approach for estimatingpower dissipation in a high performance microprocessor chip.First, characteristic profile (including parameters such as thecache miss rate, branch prediction miss rate, pipeline stalls,instruction mix, memory references, etc.) is extracted fromapplication programs. Then, mixed integer linear programmingand heuristic rules are used to gradually transform a genericprogram template to into a fully functional program. Thesynthesized program exhibits the same performance and powerdissipation behavior (as characterized by the extracted profile),yet it has an instruction trace orders of magnitude smaller thanthe initial trace. The synthesized program is subsequentlysimulated on a register-transfer level description of the targetmicroprocessor to provide the power dissipation value. Resultsobtained for the Intel's Pentium processor executing standardbenchmark programs show a simulation time reduction by 3-5orders of magnitude.
Simulation Logic

Simulation relations have been discovered in many areas: Computer Science, philosophical and modal logic, and set theory. However, the simulation condition is strictly a first-order logic statement. We extend modal logic with modalities and axioms, the latter’s modeling conditions are the simulation conditions. The modalities are normal, i.e., commute with either conjunctions or disjunctions and preserve either Truth or Falsity (respectively). The simulations are considered arrows in a category where the objects are descriptive, general frames. One can augment the simulation modalities by axioms for requiring the underlying modeling simulations to be bisimulations or to be p-morphisms. The modal systems presented are multi-sorted and both sound and complete with respect to their algebraic and Kripke semantics.
Class-specific 3D localization using constellations of object parts

Improvement in acquisition systems, has resulted in the ability to capture more realistic 3D models of real world objects, creating a need for better data processing techniques, as in the case of text and images. In this paper, we address the issue of learning classspecific, deformable, 3D part-based structure for object part localization in 3D models/scenes. We employ an inference framework upon fully connected part-based graphs inspired by Pictorial Structures (PS), which combine the local appearance of parts and the long-range structural properties. Using efficient tools for learning the model and performing inference, we show good results on a variety of classes, outperforming PS [7] and ISM [15]. Further, a similar inference framework is employed to find dense correspondences between 3D models, seeded by the above object part localization. Our results show promise for application in more complex 3D processing tasks such as part retrieval, pose estimation, scene understanding and recognition.
A Minimum of Three Motifs Is Essential for Optimal Binding of Pseudomurein Cell Wall-Binding Domain of Methanothermobacter thermautotrophicus

We have biochemically and functionally characterized the pseudomurein cell wall-binding (PMB) domain that is present at the C-terminus of the Surface (S)-layer protein MTH719 from Methanothermobacter thermautotrophicus. Chemical denaturation of the protein with guanidinium hydrochloride occurred at 3.8 M. A PMB-GFP fusion protein not only binds to intact pseudomurein of methanogenic archaea, but also to spheroplasts of lysozyme-treated bacterial cells. This binding is pH dependent. At least two of the three motifs that are present in the domain are necessary for binding. Limited proteolysis revealed a possible cleavage site in the spacing sequence between motifs 1 and 2 of the PMB domain, indicating that the motif region itself is protected from proteases.
Block diagonalisation with adaptive resource allocation algorithm for multi-user MIMO-OFDM systems

The challenging issue in multi-user MIMO-OFDM system is to cancel multi-access interference (MAI) when different users share the same subcarrier. Also, the presence of MAI makes the resource allocation problem very complicated. Hence it is essential to find the optimal transmit and receive weight vectors, to reduce MAI and to adaptively assign resources to meet the quality of service (QoS) requirements. In this paper, block diagonalisation (BD) with waterfilling power allocation is considered and analysed their performance. This BD with waterfilling power allocation algorithm increases the system capacity with zero MAI. In order to have further increase in system performance, the proposed method considers rate adaptation scheme and margin adaptation scheme. In rate adaptation technique BD with power and subcarrier allocation is performed to maximise the system capacity. In margin adaptation technique BD with power and bit allocation is done to improve QoS of the system. The simulation results show that there is significant improvement in system performance also guaranteeing zero MAI.
Adenylyl cyclase AC8 directly controls its micro-environment by recruiting the actin cytoskeleton in a cholesterol-rich milieu

The central and pervasive influence of cAMP on cellular functions underscores the value of stringent control of the organization of adenylyl cyclases (ACs) in the plasma membrane. Biochemical data suggest that ACs reside in membrane rafts and could compartmentalize intermediary scaffolding proteins and associated regulatory elements. However, little is known about the organization or regulation of the dynamic behaviour of ACs in a cellular context. The present study examines these issues, using confocal image analysis of various AC8 constructs, combined with fluorescence recovery after photobleaching and fluorescence correlation spectroscopy. These studies reveal that AC8, through its N-terminus, enhances the cortical actin signal at the plasma membrane; an interaction that was confirmed by GST pull-down and immunoprecipitation experiments. AC8 also associates dynamically with lipid rafts; the direct association of AC8 with sterols was confirmed in Förster resonance energy transfer experiments. Disruption of the actin cytoskeleton and lipid rafts indicates that AC8 tracks along the cytoskeleton in a cholesterol-enriched domain, and the cAMP that it produces contributes to sculpting the actin cytoskeleton. Thus, an adenylyl cyclase is shown not just to act as a scaffold, but also to actively orchestrate its own micro-environment, by associating with the cytoskeleton and controlling the association by producing cAMP, to yield a highly organized signalling hub.
A Large Field of View Coincidence Imaging System Based on One-Dimensional Sharing Block Detectors

For such as breast cancer imaging, dedicated coincidence imaging detector will be promising for new instrumentation of nuclear medicine. For this purpose, a large field of view (FOV) coincidence imaging system was developed and tested. The imaging system consists of four sets of one-dimensional sharing block detectors and a single gamma probe and measures coincidence between these two detectors. The one-dimensional sharing detector uses 5 GSO blocks optically coupled to 6 dual photomultiplier tubes (PMT). The size of a single GSO is 2.9 mm times 2.9 mm times 15 mm. The signals from four one-dimensional sharing detectors are fed to weighted summing circuits. They are digitized by 100 MHz free running analog to digital (A-D) converters and are used to calculate the position of gamma interaction. Coincidence was measured between this gamma imaging detector (panel detector) and a hand-held single gamma probe. Acquired data was transferred to a personal computer and displayed. Most spots corresponding to GSO crystals were resolved in the position histogram. Spatial resolution was around 4 to 6 mm FWHM when the detector is greater than 25 mm. The sensitivity was 0.1-0.2% when the single probe was 25 mm away from the imager surface. Images of phantoms were successfully obtained. We conclude developed coincidence imaging system has large FOV and easy to handle, reasonable spatial resolution and may have potential to be a new instrument for nuclear medicine.
Comparison of the C‐MAC® and GlideScope® videolaryngoscopes in patients with cervical spine disorders and immobilisation

In‐line stabilisation of the neck can increase the difficulty of tracheal intubation with direct laryngoscopy. We randomly assigned 56 patients with cervical spine pathology scheduled for elective surgery to tracheal intubation using either the C‐MAC® (n = 26) or GlideScope® (n = 30), when the head and neck were stabilised in‐line. There was no significant difference in the median (IQR [range]) intubation times between the C‐MAC (19 (14–35 [9–90]) s and the GlideScope (23, (15–32 [8–65]) s. The first‐attempt failure rate for the C‐MAC was 42% (95% CI 23–63%) compared with 7% (95% CI 1–22%) for the GlideScope, p = 0.002. The laryngeal view was excellent and comparable with both devices, with the C‐MAC requiring significantly more attempts and optimising manoeuvers (11 vs 5, respectively, p = 0.04). There were no significant differences in postoperative complaints e.g. sore throat, hoarseness and dysphagia. Both devices provided an excellent glottic view in patients with cervical spine immobilisation, but tracheal intubation was more often successful on the first attempt with the GlideScope.
Korean to English TV Caption Translator: "CaptionEye/KE"

In this paper, we present CaptionEye/KE, a Korean to English machine translation system that is applied to a practical TV caption translation. And its experimental evaluation is performed on actual TV news caption texts that are extracted by caption extractor. This system adopts a highly robust HMM (Hidden-Markov Model) POS (part-of-speech) tagger, a Korean dependency parser using verb phrase patterns and a pattern-based English generator. To overcome language-typical differences between Korean and English, we implement a data driven system that is based on a large quantity of verb phrase patterns. The current size of verb phrase patterns exceeds 80,000 entries. When the size of patterns grows up more and more, we can expect the quality of translation to improve. The result of experimental evaluation shows that the degree of understandability amounts up to 2.68 indicating that the meaning of translated English sentence is relatively clear to users.