Miracle-dz/UniFAR-FTUs huggingface dataset:
Nanogels from Metal-Chelating Crosslinkers as Versatile Platforms Applied to Copper-64 PET Imaging of Tumors and Metastases

Metals are essential in medicine for both therapy and diagnosis. We recently created the first metal-chelating nanogel imaging agent, which employed versatile, reproducible chemistry that maximizes chelation stability. Here we demonstrate that our metal chelating crosslinked nanogel technology is a powerful platform by incorporating 64Cu to obtain PET radiotracers. Polyacrylamide-based nanogels were crosslinked with three different polydentate ligands (DTPA, DOTA, NOTA). NOTA-based nanogels stably retained 64Cu in mouse serum and accumulated in tumors in vivo as detected by PET/CT imaging. Measurement of radioactivity in major organs ex vivo confirmed this pattern, revealing a high accumulation (12.3% ID/g and 16.6% ID/g) in tumors at 24 and 48 h following administration, with lower accumulation in the liver (8.5% ID/g at 24 h) and spleen (5.5% ID/g). Nanogels accumulated even more efficiently in metastases (29.9% and 30.4% ID/g at 24 and 48 h). These metal-chelating nanogels hold great promise for future application as bimodal PET/MRI agents; chelation of β-emitting radionuclides could enable radiation therapy.
Free viewpoint image reconstruction from 3-D multi-focus imaging sequences and its implementation by GPU-based computing

We previously proposed a method of generating free viewpoint images directly from multi-focus imaging sequences without any depth estimation. The method is realized with few conditional evaluation and high parallelism. Therefore, it is very effective for the method to be implemented to hardware such as FPGA, GPU, and so on. In this paper, we discuss GPU-based distributed processing for further acceleration. We show some experimental results by using synthetic images.
Comparing Click Logs and Editorial Labels for Training Query Rewriting

Clicks on web advertisements in response to web search queries is a major source of revenue for search companies. Query rewrites can signican tly increase the coverage of web advertisements. In previous work we focused on optimizing the relevance between the query issued by the web searcher, and rewritten queries used to place advertisements. In this preliminary study, we examine some features of query rewrites which are predictive of click-throughs on sponsored search listings retrieved for those rewrites, by mining web search-click logs. We also compare the features which are predictive of relevance (judged by human editors) and the clicks in user query logs during query rewriting. Our preliminary results suggest that similar features are predictive, and so we may be able to train our models on click log data in place of human relevance judgments.
Random Variable Analogy Measurement Based ICA

In this paper we propose the analogy measurement of two random variables, and discuss the principle of maximizing nongaussianity of observed data to estimate independent components sequentially based on unsupervised learning neural network. We also prove the non-polynomial moment theorem in a generalized scheme, and reveal the feasibility that replaces the analogy measurement by the expectation of a non-quadratic smooth even function based on the theorem. A formula to compute the sign of above algorithm is given, which overcomes the contradiction between the objective function and the sign computation formula.
On the Impact of Seed Words on Sentiment Polarity Lexicon Induction

Sentiment polarity lexicons are key resources for sentiment analysis, and researchers have invested a lot of efforts in their manual creation. However, there has been a recent shift towards automatically extracted lexicons, which are orders of magnitude larger and perform much better. These lexicons are typically mined using bootstrapping, starting from very few seed words whose polarity is given, e.g., 50-60 words, and sometimes even just 5-6. Here we demonstrate that much higher-quality lexicons can be built by starting with hundreds of words and phrases as seeds, especially when they are in-domain. Thus, we combine (i) mid-sized high-quality manually crafted lexicons as seeds and (ii) bootstrapping, in order to build large-scale lexicons.
Drawing Road Networks with Mental Maps

Tourist and destination maps are thematic maps designed to represent specific themes in maps. The road network topologies in these maps are generally more important than the geometric accuracy of roads. A road network warping method is proposed to facilitate map generation and improve theme representation in maps. The basic idea is deforming a road network to meet a user-specified mental map while an optimization process is performed to propagate distortions originating from road network warping. To generate a map, the proposed method includes algorithms for estimating road significance and for deforming a road network according to various geometric and aesthetic constraints. The proposed method can produce an iconic mark of a theme from a road network and meet a user-specified mental map. Therefore, the resulting map can serve as a tourist or destination map that not only provides visual aids for route planning and navigation tasks, but also visually emphasizes the presentation of a theme in a map for the purpose of advertising. In the experiments, the demonstrations of map generations show that our method enables map generation systems to generate deformed tourist and destination maps efficiently.
WSNTB: A testbed for heterogeneous wireless sensor networks

In this paper, we design and implement a testbed to realize various experiments in heterogeneous wireless sensor networks. Our implementation includes hardware infrastructure and software framework. The hardware infrastructure consists of servers, gateways with converters, and sensor nodes in three-tier. Our testbed can support different sensor nodes with USB or RS232 interface. Users can experiment with real hardware resources and interactive with our testbed in real-time. Here, we deploy two kinds of self-designed sensor nodes, Octopus I and Octopus II, in our testbed. The Octopus sensor nodes are compatible with IEEE 802.15. 4/ZigBee standard for experiments. The software framework composes with three main layers: services interface layer, testbed core layer, and resource access layer. Our testbed allows users to customize their applications for specific sensor nodes and experiments locally with remote hardware resource. Users can freely choose the number of nodes and assign a period of processing time through our testbed Website. By using our testbed, users can save lots time from creating an experiment environment, reduce the hardware expense, enhance the devices utilization rate, and fasten on the verification of experiment results.
Mobility predictive call admission control for wireless multimedia services

The effective delivery of multimedia traffic in next generation mobile cellular communication environment becomes an increasingly important issue as cell sizes shrink to accommodate continuously large demand for high capacity. Each cell can reserve fractional bandwidth exclusively for handoff calls. It is important to determine the right amount of bandwidth reserved for handoff calls because the blocking probability of new calls may increase if the amount of reserved bandwidth is more than sufficient. Efficient call admission control (CAC) policies and bandwidth reservation techniques are required to address this problem. In this paper, a predictive CAC algorithm combined with dynamic resource reservation scheme is proposed to provide consistent QoS guarantees for multimedia traffic on a mobile computing environment. CAC mechanisms coupled with different reservation policies are analysed and comparisons are made in terms of blocking probabilities and resource utilization. Simulation results shows that the proposed scheme meet the target rates and outperforms the conventional admission control schemes
Centromere identity in Drosophila is not determined in vivo by replication timing

Centromeric chromatin is uniquely marked by the centromere-specific histone CENP-A. For assembly of CENP-A into nucleosomes to occur without competition from H3 deposition, it was proposed that centromeres are among the first or last sequences to be replicated. In this study, centromere replication in Drosophila was studied in cell lines and in larval tissues that contain minichromosomes that have structurally defined centromeres. Two different nucleotide incorporation methods were used to evaluate replication timing of chromatin containing CID, a Drosophila homologue of CENP-A. Centromeres in Drosophila cell lines were replicated throughout S phase but primarily in mid S phase. However, endogenous centromeres and X-derived minichromosome centromeres in vivo were replicated asynchronously in mid to late S phase. Minichromosomes with structurally intact centromeres were replicated in late S phase, and those in which centric and surrounding heterochromatin were partially or fully deleted were replicated earlier in mid S phase. We provide the first in vivo evidence that centromeric chromatin is replicated at different times in S phase. These studies indicate that incorporation of CID/CENP-A into newly duplicated centromeres is independent of replication timing and argue against determination of centromere identity by temporal sequestration of centromeric chromatin replication relative to bulk genomic chromatin.
Sole Mothers in Australia: Supporting Mothers to Seek Work

The rapid increase in the numbers of sole parents in Australia - and their high risk of poverty - has meant that these families have become a focus of increasing concern. This paper explores the issue of sole motherhood and employment, with a particular emphasis on examining the relationship between social security policies and current discourses on the role of women in Australian society, including the perspectives of sole mothers themselves. The paper is part of an edited collection (Duncan and Edwards, forthcoming), covering nine countries ranging from Ireland (where the vast majority of sole mothers are not employed and where the expectation of policy is that such women should stay and home to care for their children) to Sweden (where almost all sole mothers are in employment and where public policy is explicitly designed to support them) and the USA (where most sole mothers are employed despite low levels of public provision for working mothers). Other countries in the collection include the UK, Japan, Germany and France. As other comparative work has shown, variations in sole mothers’ employment rates across countries cannot be readily explained (Bradshaw et al., 1996). The distinctive approach adopted in this book is that the national case studies each explore the processes by which sole mothers combine paid work and mothering. The paper brings together an analysis of the dominant political and popular discourses about motherhood; of the nature of the state welfare regime; of the constraints and opportunities of local labour markets; and of the formal provision and support offered by social security, child support and child care policies. This provides a context for understanding how different groups of sole mothers negotiate their social identity as mothers and as workers.
Contour integration: Psychophysical, neurophysiological, and computational perspectives

One of the important roles of our visual system is to detect and segregate objects. Neurons in the early visual system extract local image features from the visual scene. To combine these features into separate, global objects, the visual system must perform some kind of grouping operation. One such operation is contour integration. Contours form the outlines of objects, and are the first step in shape perception. We discuss the mechanism of contour integration from psychophysical, neurophysiological, and computational perspectives.
A HOL extension of GNY for automatically analyzing cryptographic protocols

This paper describes a Higher Order Logic (HOL) theory formalizing an extended version of the Gong, Needham, Yahalom (GNY) belief logic, a theory used by software that automatically proves authentication properties of cryptographic protocols. The theory's extensions to the GNY logic include being able to specify protocol properties at intermediate stages and being able to specify protocols that use multiple encryption and hash operations, message authentication codes, computed values (e.g., hash codes) as keys, and key-exchange algorithms.
Environment-based trajectory clustering to extract principal directions for autonomous vehicles

This work presents a trajectory clustering approach that groups trajectories without the need of manually-tuned distance thresholds. Contrary to trajectory clustering approaches that use continuous, often geometrically-motivated similarity measures, path similarity is binary. Similar to homotopy classes, path equivalence is based on the obstacles in the environment. The goal states are, however, not fixed, but the paths have certain length restrictions. The equivalence is efficiently checked by closing the paths with sampled intermediate trajectories and using point-in-polygon tests. The proposed algorithm has linear complexity in the number of paths for non-overlapping clusters and, under certain assumptions, also in the case of overlapping clusters. Experimental results from an integration into a path-planning-based road course estimation system are shown and compared to a traditional distance-similarity cluster analysis to demonstrate the performance.
On the response surface methodology and designed experiments for computationally intensive distributed aerospace simulations

Distributed real-time simulation is the focus of intense development, with complex systems being represented by individual component simulations interacting as a coherent model. The real-time architecture may be composed of physically separated simulation centres. Commercial off-the-shelf (COTS) and freeware real-time software exists to provide data communication channels between the components, subject to adequate system bandwidth. However, if the individual models are too computationally intensive to run in real time, then the performance of the real-time simulation architecture is compromised. Model representations are developed from dynamic simulation by the response surface methodology (RSM), allowing complex systems to be included in a real-time environment. A Permanent Magnet AC (PMAC) motor drive simulation with model reference control for a more electric aircraft application is examined as a candidate for inclusion in a real-time simulation environment.
In the Absence of Effector Proteins, the Pseudomonas aeruginosa Type Three Secretion System Needle Tip Complex Contributes to Lung Injury and Systemic Inflammatory Responses

Herein we describe a pathogenic role for the Pseudomonas aeruginosa type three secretion system (T3SS) needle tip complex protein, PcrV, in causing lung endothelial injury. We first established a model in which P. aeruginosa wild type strain PA103 caused pneumonia-induced sepsis and distal organ dysfunction. Interestingly, a PA103 derivative strain lacking its two known secreted effectors, ExoU and ExoT [denoted PA103 (ΔU/ΔT)], also caused sepsis and modest distal organ injury whereas an isogenic PA103 strain lacking the T3SS needle tip complex assembly protein [denoted PA103 (ΔPcrV)] did not. PA103 (ΔU/ΔT) infection caused neutrophil influx into the lung parenchyma, lung endothelial injury, and distal organ injury (reminiscent of sepsis). In contrast, PA103 (ΔPcrV) infection caused nominal neutrophil infiltration and lung endothelial injury, but no distal organ injury. We further examined pathogenic mechanisms of the T3SS needle tip complex using cultured rat pulmonary microvascular endothelial cells (PMVECs) and revealed a two-phase, temporal nature of infection. At 5-hours post-inoculation (early phase infection), PA103 (ΔU/ΔT) elicited PMVEC barrier disruption via perturbation of the actin cytoskeleton and did so in a cell death-independent manner. Conversely, PA103 (ΔPcrV) infection did not elicit early phase PMVEC barrier disruption. At 24-hours post-inoculation (late phase infection), PA103 (ΔU/ΔT) induced PMVEC damage and death that displayed an apoptotic component. Although PA103 (ΔPcrV) infection induced late phase PMVEC damage and death, it did so to an attenuated extent. The PA103 (ΔU/ΔT) and PA103 (ΔPcrV) mutants grew at similar rates and were able to adhere equally to PMVECs post-inoculation indicating that the observed differences in damage and barrier disruption are likely attributable to T3SS needle tip complex-mediated pathogenic differences post host cell attachment. Together, these infection data suggest that the T3SS needle tip complex and/or another undefined secreted effector(s) are important determinants of P. aeruginosa pneumonia-induced lung endothelial barrier disruption.
Introductory Chapter Understanding E-services, Self Services and Mobile Communications: past Research and Future Directions

As the introductory chapter to the first book of " Advances in E-Services and Mobile Applications series " , this chapter provides a short overview of the e-service concept and discusses similarities and differences of the e-service concept in relation to other well established concepts such as services, goods, and self services. In addition the chapter provides a broad overview of the type of research conducted within the field of mobile applications and communications. Finally the chapter concludes with some directions for future research in these fields.
A blended community of inquiry approach: The usage of social network as a support for Course Management System

This research offers an opportunity to investigate the usage of Social Network Site (SNS) as a support for Course Management Systems (CMS) in Community of Inquiry (CoI) model in a blended learning. In order to investigate the largely unexplored benefits of educational SNSs, the researchers used SNS to support CMS for students to evaluate the influence of using non-commercial social network upon the perception of students learning experience in blended learning. Although SNSs provide great Web 2.0 learning applications that can support teaching and learning, the advantages of these websites are oftentimes ignored. There are currently few researches regarding the educational benefits of SNSs in teaching and learning. The researchers used pre-questionnaire and post-questionnaire for assessing the level of students' experience before and after using SNS based on the CoI model. Through statistical analysis by using t-test analysis, the usage of social network is proven to enhance students' learning experience. And lastly, the guidelines of this research study can help lecturers make a decision to use SNS as a support of CMS for teaching and learning.
Third-order intermodulation distortion in capacitively-driven CC-beam micromechanical resonators

The mechanism behind third order intermodulation distortion (IM/sub 3/) in capacitively driven clamped-clamped beam micromechanical ("CC-beam /spl mu/mechanical") resonators is shown to arise mainly from nonlinear interactions between applied off-resonance electrical signals and the mechanical displacements they induce. Analytical formulations for the third-order input intercept point (IIP/sub 3/) are then presented, first with simplifications that allow a closed form expression, then with additional complexities to account for second-order effects, such as beam bending due to an applied dc-bias voltage. Using this analytical formulation, predicted voltage IIP/sub 3/'s of 1.8 V and 6.5 V for 9.2 MHz and 17.4 MHz /spl mu/mechanical resonators, respectively, closely match measured values of 1.8 V and 6.3 V. Extensive data on the dependence of IIP/sub 3/ on dc-bias voltage, resonator Q, and resonator center frequency, are also included to lend further insight into the trade-offs involved when designing for a specific linearity requirement.
Information and communication infrastructure development and agro-food trade.

The purpose of this paper is to provide an adapted gravity trade model to measure the influence of communication infrastructure development on agro-food trade. The adapted gravity trade model presents associations of bilateral agro-food trade between oEcD countries with traditional gravity equation variables and particularly with variables of the information and communication infrastructure development. Using the adapted gravity trade model we find a positive association between the information and communication infrastructure development and bilateral agro-food trade flows between oEcD countries. This association is significantly stronger for agricultural than for food products. The improved information and communication infrastructure development improves information and reduces trade transaction costs.
Comparative analysis of the thermal resistance profiles of power light-emitting diodes cree and rebel types

Analysis of the thermal resistance of power light-emitting diodes (LEDs) of Cree and Rebel types is developed. Components of the thermal resistance of the diodes are determined and several distinguishes between different methods are obtained. Behavior of bottleneck effect related to definite interfaces is established. The value of LED active junction area is evaluated too.
A buffer size customization approach for application-specific NoC design

In this paper, we present a design space exploration framework to allow the designer to customize a candidate on-chip interconnect architecture in order to match the application-specific workload in System-on-Chip. To show the benefit of using this methodology, a buffer space allocation algorithm is presented to allow designers to allocate only the required resource for each channel based on the traffic pattern of a target application. Simulations are conducted and results show that the proposed method achieves similar performance compared to the uniformly buffer space allocation method while using only 70% of resources budget.
Formal Dependability Engineering with MIOA

In this paper, we introduce MIOA, a stochastic process algebra-like specification language with datatypes, as well as a logic intSPDL, and its model checking algorithms. MIOA, which stands for Markovian input/output automata language, is an extension of Lynch's input/automata with Markovian timed transitions.MIOA can serve both as a fully fledged ``stand-alone'' specification language and the semantic model for the architectural dependability modelling and evaluation language Arcade. The logic intSPDL is an extension of the stochastic logic SPDL, to deal with the specialties of MIOA. intSPDL in the context of Arcade can be seen as the semantic model of abstract and complex dependability measures that can be defined in the Arcade framework. We define syntax and semantics of both MIOA and intSPDL, and show examples of applying MIOA and intSPDL in the realm of dependability modelling with Arcade.