Miracle-dz/UniFAR-FTUs huggingface dataset:
Generation and characterization of Osterix‐Cherry reporter mice

Osterix is a zinc finger containing transcription factor, which functions as a key regulator of osteoblast differentiation. To better understand the temporal and spatial expression of Osterix during embryonic development and in the adult skeleton, we generated Osterix‐Cherry reporter mice. Bacterial recombination techniques were employed to engineer a transgenic construct, which consisted of a ∼39 kb DNA fragment encompassing the Osterix/Sp7 gene, but excluding adjacent gene sequences. Osterix reporter expression was characterized at embryonic, neonatal, and adult ages both by itself and in the context of a cross with Bone Sialoprotein (BSP)‐Topaz reporter mice. Relative to Osterix, BSP is a more mature marker of osteoblast differentiation. In agreement with osteoblast lineage maturation, Osterix reporter expression preceded BSP reporter expression during embryonic development and spatially appeared in a much broader cell population. Strong Osterix reporter expression was observed in mature osteoblasts and osteocytes. However, weaker Osterix‐Cherry positive cells were also observed in the bone marrow, possibly identifying an early osteoprogenitor cell population. Evaluation of Osterix reporter expression in male femur tissue sections from 10 days to 12 weeks of age revealed persistent expression in cells of the osteoblast lineage and a surprising increase in maturing chondrocytes of the growth plate. Also, Osterix reporter expression was transiently detected in the kidney after birth. genesis 51:246–258, 2013. © 2012 Wiley Periodicals, Inc.
Fast aircraft detection based on region locating network in large-scale remote sensing images

Nowadays, we get more and more remote sensing (RS) images which cannot be well processed or used by manual analysis or existing automatic methods. In the past few years, the object detection technology has greatly developed, especially after the usage of CNN in object detectors. However, Object detection in large scale RS images is still a challenging tasks which needs further study. Compared to natural images, RS images include much more objects in different sizes with a larger scope. Therefore, it is extraordinarily time-consuming to detect small objects in a large-scale RS image, since this work needs more scale and location traverses. Algorithms for common images cannot tackle the problem of some special object detection, like aircraft detection, in RS images. In this paper, we introduce an extra Region Proposal strategy named Region Locating Network (RLN) to improve the Faster RCNN framework. The proposed RLN locates spectacular areas where aircrafts are usually found, like parts of the runway and the parking apron. Based on the locating result, we can use Faster RCNN to detect airplanes in several smaller image regions. Extensive experiments show that the proposed method has oblivious improvement in recall rate, accuracy and computing efficiency.
Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests

We propose algorithms for checking language equivalence of finite automata over a large alphabet. We use symbolic automata, where the transition function is compactly represented using (multi-terminal) binary decision diagrams (BDD). The key idea consists in computing a bisimulation by exploring reachable pairs symbolically, so as to avoid redundancies. This idea can be combined with already existing optimisations, and we show in particular a nice integration with the disjoint sets forest data-structure from Hopcroft and Karp's standard algorithm. Then we consider Kleene algebra with tests (KAT), an algebraic theory that can be used for verification in various domains ranging from compiler optimisation to network programming analysis. This theory is decidable by reduction to language equivalence of automata on guarded strings, a particular kind of automata that have exponentially large alphabets. We propose several methods allowing to construct symbolic automata out of KAT expressions, based either on Brzozowski's derivatives or on standard automata constructions. All in all, this results in efficient algorithms for deciding equivalence of KAT expressions.
Finding geolocation of map image

This paper presents a novel framework to find a geolocation from a given map image. The proposed system extracts a road network and place names from the map image. The place names are used as the references and are queried on existing online map services to obtain their locations. The system retrieves the road network around that area then nodes from two sources of the road network are matched. For map registration, set of features based on relative positions, junction shapes and topological relations are proposed. The proposed framework can provide satisfying results in preliminary experiments.
A Theoretical Study on Invisibility Devices based on Materials with Negative Refractive Index

A dielectric medium that is able to hide objects from sight is called invisibility device. Here, we present a new design based on negative refraction index that create invisible space. Our device is flexible enough to generate a large variety of bounded orbits for light rays. In particular, we investigated the relationship between the time delay and the maximum size of the invisible space. Our findings indicate that we can simultaneously make the invisible space larger and time delay shorter within some limits.
Clinical Decision Rule to Identify Orbital Wall Fracture Among Children: Retrospective Derivation and Validation Study.

OBJECTIVES Head and face injuries are leading causes of emergency department visits in children. There is yet no clinical decision rule on face CT such as pediatric head CT rules. The goal was to develop and validate a clinical decision rule for identifying orbital wall fractures in children with periorbital trauma in the emergency department. METHODS This was a retrospective derivation and validation study. Children younger than 18 years who underwent orbit CT after periorbital trauma were included between January 2011 and December 2013 in 3 emergency centers. Among 16 candidate clinical variables, 13 clinical signs and symptoms were selected as clinical predictors. For the fracture model, these clinical predictors were analyzed by 3-fold cross-validation. Diagnostic performance was assessed using the area under the receiver operating characteristic (AUROC) curve in both cohorts. RESULTS Four variables (orbital rim tenderness, periorbital ecchymosis, painful extraocular movement, and nausea/vomiting) had the best predictive model with the highest AUROC value. The AUROC values for fracture prediction were 0.793 (95% confidence interval, 0.741-0.844) and 0.809 (95% confidence interval, 0.742-0.877) in the derivation cohort and validation cohort, respectively. The sensitivity and negative predictive values were 96.4% and 93.4%, respectively, in the derivation cohort, and 97.8% and 98.1%, respectively, in the validation cohort. The sum of these scores ranged from 0 to 4. Patients with a sum of scores of 1 or higher showed significantly increased risk for fracture. CONCLUSIONS The 4-variable predictive model can be useful for finding clinically important orbital wall fractures in children.
Detecting Improvements in Dyspnea in COPD Using a Three-Minute Constant Rate Shuttle Walking Protocol

Abstract Rationale: We examined the responsiveness of a 3-minute constant rate shuttle walking protocol to detect improvements in exertional dyspnea following acute bronchodilation in COPD. Our hypothesis was that the 3-minute constant rate shuttle walking protocol would be able to adequately put forth improvements in exertional dyspnea following acute bronchodilation in this population. Methods: Using a placebo controlled, double-blind cross-over design, 39 patients with moderate to severe COPD performed a 3-min constant rate shuttle walking test during which they were asked to walk on a flat corridor at a speed that was externally imposed by an audio signal. During the test, dyspnea was graded using the 10-point modified Borg scale. The test was performed twice, following the administration of saline placebo or of 500 μg nebulized ipratropium bromide. Results: Improvements of respiratory pattern (respiratory rate and tidal volume) and statistically and clinically significant reductions in Borg dyspnea scores (∆ dyspnea score = 1.0 ± 0.2, p < 0.01) were seen during the 3-min shuttle walking protocol with ipratropium bromide compared to placebo. Conclusion: This 3-minute shuttle walking protocol adequately detected dyspnea and breathing pattern improvements following acute bronchodilation in COPD.
Performance Analysis of Frequency Domain Equalization in SC-FDMA Systems

The performance of linear receivers for detection of the single carrier frequency division multiple access transmission over frequency-selective fading channels is investigated in this work. Firstly, the cumulative distribution functions (CDF) of output signal to interference plus noise ratios (SINR) with zero forcing frequency domain equalization (ZF-FDE) and minimum mean squared error frequency domain equalization (MMSE-FDE) are derived by employing the numerical inversion of Laplace transforms. Next, based on the CDFs of the output SINRs, the approximate average bit error rate expressions as functions of the average receive signal to noise ratio for Gray-coded quaternary phase shift keying constellations are obtained. Finally, analytical and Monte Carlo simulated results are compared, and they perfectly agree for both ZF-FDE and MMSE-FDE.
Modeling and laboratory investigations of microbial oil recovery mechanisms in porous media

Simulation and experimental results on the transport of microbes and nutrients in one-dimensional cores are presented, and the development of a three-dimensional, three-phase, multiple-component numerical model to describe the microbial transport and oil recovery in porous media is described. The change of rock's wettability and associated relative permeability values after microbial treatments were accounted for in the model for additional oil recovery. Porosity and permeability reductions due to cell clogging have been considered and the production of gas by microbial metabolism has been incorporated. Governing equations for microbial and nutrient transport are coupled with continuity and flow equations under conditions appropriate for a black oil reservoir. The computer simulator has been used to determine the effects of various transport parameters on microbial transport phenomena. The model can accurately describe the observed transport of microbes, nutrients, and metabolites in coreflooding experiments. Input parameters are determined by matching laboratory experimental results. The model can be used to predict the propagation of microbes and nutrients in a model reservoir and to optimize injection strategies. Optimization of injection strategy results in increased oil recovery due to improvements in sweep efficiency. Field-scale numerical simulation studies using data from relative permeability experiments indicated that microbial treatmentmore » could improve oil recovery over waterflooding alone. This report addresses the work conducted under project BE3 of the FY92 annual plan. « less
Automatic 3D modelling for prostate cancer brachytherapy

3D visualisation is being used increasingly to improve the accuracy of biopsies and seed placement for prostate cancer brachytherapy (the implantation of small radioactive ‘seeds’ for radiotherapy). The construction of a 3D model requires the segmentation of 2D Magnetic Resonance (MR) images, which remains a challenging problem. The current practice of manual segmentation requires a very high level of expertise and is time-consuming. In this paper, we propose a new method for creating a 3D model of the prostate from MR images obtained pre-operatively. To do this, an Active Appearance Model (AAM) is created from the image data by grouping the MR images based on the region of the prostate each is taken from. A fast optimisation algorithm is then used to segment a new prostate using the AAM. Our results show that this method is fast and accurate compared with manual segmentation enabling this method to be used intra-operatively.
Stereolithographic Ceramic Manufacturing of High Strength Bioactive Glass

Bioactive glasses and glass ceramics like the 45S5 formulation have been studied toward biocompatibility and biodegradability for years. Nevertheless, clinical applications as bone substitute or scaffold material are highly limited because of the often poor mechanical behavior of bioactive glasses. In this study, we are able to provide a new production alternative for 45S5 bioactive glass structures resulting in parts with high density and strength. Using the stereolithographic ceramic manufacturing (SLCM) process, it is possible to additively produce solid bulk glass ceramics as well as delicate scaffold structures. Recent developments in SLCM slurry preparation together with an appropriate selection of raw materials led to 3D parts with a very homogeneous microstructure and a density of about 2.7 g/cm³. Due to the low number and small size of defects, a high biaxial bending strength of 124 MPa was achieved. Weibull distribution also underlines good process control showing a Weibull modulus of 8.6 and a characteristic strength of 131 MPa for the samples tested here. By reaching bending strength values of natural cortical bone, bioactive glasses processed with SLCM could eventually advance to be an interesting bone substitute material even in load-bearing applications, valuing the huge efforts undertaken to understand their bioactive behavior.
FSVO: Semi-direct monocular visual odometry using fixed maps

We propose a fixed-map semi-direct visual odometry (FSVO) algorithm for Micro Aerial Vehicles (MAVs). The proposed approach does not need computationally expensive feature extraction and matching techniques for motion estimation at each frame. Instead, we extract and match ORiented Brief (ORB) features between keyframes and assist-frames. We replace the incremental map generation step in traditional algorithms with fixed map generation at keyframe and assistframe only in our algorithm, resulting in reduced storage memory and higher flexibility for relocalization. Based on the fixed-map, we design a new keyframe selection criterion and a relocalization step. Our algorithm has no limit on the orientation of the camera and reduces drifting effectively. Experimental results on the EuRoC and KITTI datasets show that our algorithm achieves higher precision and robustness than the SVO algorithm.
Hyper-community detection in the blogosphere

Most existing work on learning community structure in social network is graph-based whose links among the members are often represented as an adjacency matrix, encoding direct pairwise associations between members. In this paper, we propose a method to group online communities in blogosphere based on the topics learnt from the content blogged. We then consider a different type of online community formulation - the sentiment-based grouping of online communities. The problem of sentiment-based clustering for community structure discovery is rich with many interesting open aspects to be explored. We propose a novel approach for addressing hyper-community detection based on users' sentiment. We employ a nonparametric clustering to automatically discover hidden hyper-communities and present the results obtained from a large dataset.
Effects of age-associated regional changes in aortic stiffness on human hemodynamics revealed by computational modeling

Although considered by many as the gold standard clinical measure of arterial stiffness, carotid-to-femoral pulse wave velocity (cf-PWV) averages material and geometric properties over a large portion of the central arterial tree. Given that such properties may evolve differentially as a function of region in cases of hypertension and aging, among other conditions, there is a need to evaluate the potential utility of cf-PWV as an early diagnostic of progressive vascular stiffening. In this paper, we introduce a data-driven fluid-solid-interaction computational model of the human aorta to simulate effects of aging-related changes in regional wall properties (e.g., biaxial material stiffness and wall thickness) and conduit geometry (e.g., vessel caliber, length, and tortuosity) on several metrics of arterial stiffness, including distensibility, augmented pulse pressure, and cyclic changes in stored elastic energy. Using the best available biomechanical data, our results for PWV compare well to findings reported for large population studies while rendering a higher resolution description of evolving local and global metrics of aortic stiffening. Our results reveal similar spatio-temporal trends between stiffness and its surrogate metrics, except PWV, thus indicating a complex dependency of the latter on geometry. Lastly, our analysis highlights the importance of the tethering exerted by external tissues, which was iteratively estimated until hemodynamic simulations recovered typical values of tissue properties, pulse pressure, and PWV for each age group.
Las evidencias registradas del tsunami Atlántico de 1755 en la costa de Gibraltar

Evidence of the AD 1755 tsunami consisting of the same type of accretions produced by the re-deposition of earlier sediments, has been recorded at three different height along the coast of Gibraltar: Along a shallow sandy shore, the tsunami wave reached a run-up of 2-3 m, whereas along steep, cliff-lined shores (Rosia Bay) it surpassed 5 m. An overwash deposit was also identified at the bottom of a lagoon (The Inundation), at 0.5 m b.s.l. , on the isthmus that joins the Rock with the mainland. Southern submerged platforms (Vladi's Reef) were also affected by the erosional backwash to a depth of 22 m. The tsunamigenic sediments exhibit a bimodal granulometry, mainly composed of sands with a coarser fraction composed of marine faunal shells remains, together with larger clasts derived from the rocky substrate. All remobilized sediments were dated by historical methods and radiocarbon dating.
The Semantic Drift of Quotations in Blogspace: A Case Study in Short-Term Cultural Evolution

We present an empirical case study that connects psycholinguistics with the field of cultural evolution, in order to test for the existence of cultural attractors in the evolution of quotations. Such attractors have been proposed as a useful concept for understanding cultural evolution in relation with individual cognition, but their existence has been hard to test. We focus on the transformation of quotations when they are copied from blog to blog or media website: by coding words with a number of well-studied lexical features, we show that the way words are substituted in quotations is consistent (a) with the hypothesis of cultural attractors and (b) with known effects of the word features. In particular, words known to be harder to recall in lists have a higher tendency to be substituted, and words easier to recall are produced instead. Our results support the hypothesis that cultural attractors can result from the combination of individual cognitive biases in the interpretation and reproduction of representations.
Bremsstrahlung and Pair Production in the Field of Free Electrons

A formula is given for the doubly differential cross section of electron-electron bremsstrahlung which is exact in lowest-order perturbation theory. Angular distributions and energy spectra of the emitted photon are calculated in the center-of-mass system and the laboratory system. The cross section for pair production in the field of an electron (triplet production) can be derived from the analogous bremsstrahlung formula using the substitution rule. Angular distributions and energy spectra of the produced positron as well as the total cross section for triplet production are computed in the laboratory system. The results for bremsstrahlung and pair production are compared with previous theoretical calculations
Experimentally validated pencil beam scanning source model in TOPAS

The presence of a low-dose envelope, or ‘halo’, in the fluence profile of a proton spot can increase the output of a pencil beam scanning field by over 10%. This study evaluated whether the Monte Carlo simulation code, TOPAS 1.0-beta 8, based on Geant4.9. 6 with its default physics list, can predict the spot halo at depth in phantom by incorporating a halo model within the proton source distribution. Proton sources were modelled using three 2D Gaussian functions, and optimized until simulated spot profiles matched measurements at the phantom surface out to a radius of 100 mm. Simulations were subsequently compared with profiles measured using EBT3 film in Solidwater® phantoms at various depths for 100, 115, 150, 180, 210 and 225 MeV proton beams. Simulations predict measured profiles within a 1 mm distance to agreement for 2D profiles extending to the 0.1% isodose, and within 1 mm/1% Gamma criteria over the integrated curve of spot profile as a function of radius. For isodose lines beyond 0.1% of the central spot dose, the simulated primary spot sigma is smaller than the measurement by up to 15%, and can differ by over 1 mm. The choice of particle interaction algorithm and phantom material were found to cause ~1 mm range uncertainty, a maximal 5% (0.3 mm) difference in spot sigma, and maximal 1 mm and ~2 mm distance to agreement in isodoses above and below the 0.1% level, respectively. Based on these observations, therefore, the selection of physics model and the application of Solidwater® as water replacement material in simulation and measurement should be used with caution.
The quality of life impact of peripheral versus central vision loss with a focus on glaucoma versus age-related macular degeneration

Purpose It is well accepted that conditions that cause central vision loss (CVL) have a negative impact on functional ability and quality of life (QoL), but the impact of diseases that cause peripheral vision loss (PVL) is less well understood. Focusing on glaucoma and age-related macular degeneration (ARMD), the effects of CVL and PVL on QoL were compared. Methods A systematic literature review of publications reporting QoL in patients with CVL or PVL identified 87 publications using four generic (Short-Form Health Survey-36 and -12, EuroQoL EQ-5D and Sickness Impact Profile) and five vision-specific (National Eye Institute Visual Function Questionnaire-51, -39, and -25, Impact of Vision Impairment and Visual Function-14) QoL instruments; 33 and 15 publications reported QoL in ARMD and glaucoma, respectively. Results QoL was impaired to a similar extent by diseases associated with PVL and CVL, but different domains were affected. In contrast to ARMD, mental aspects appeared to be affected more than physical aspects in patients with glaucoma. Conclusions The differential impact upon QoL might be a function of the pathology of the diseases, for example potential for blindness and better ability to perform physical tasks due to retention of central vision may explain these observations in glaucoma.
Redundancy-driven web data extraction and integration

A large number of web sites publish pages containing structured information about recognizable concepts, but these data are only partially used by current applications. Although such information is spread across a myriad of sources, the web scale implies a relevant redundancy. We present a domain independent system that exploits the redundancy of information to automatically extract and integrate data from the Web. Our solution concentrates on sources that provide structured data about multiple instances from the same conceptual domain, e.g., financial data, product information. Our proposal is based on an original approach that exploits the mutual dependency between the data extraction and the data integration tasks. Experiments on a sample of 175,000 pages confirm the feasibility and quality of the approach.