Miracle-dz/UniFAR-FTUs huggingface dataset:
CONTENT ANALYSIS OF WEB-BASED COLLABORATIVE DESIGN Empirical Evidence of design process

specific web sites that provide dedicated web hosted " collaboration and information spaces " for the AEC industry to support design, engineering and construction teams. These systems have an underlying software structure that is shared for many independent building projects. A typical system provides controlled access to the project data from any physical location through the Internet. WBCS can have various features, such as email, message board, document repository, calendar functions, to-do-lists, and project administrative features. The software itself is not new; it has already been applied in architecture and even more in engineering. Current studies indicate that there are over 260 WBCS available on the market (Orr 2004). However, many architects are hesitant to use the new technology and are not convinced of its potential. The concern firms share is that a WBCS may waste time or fail to enable a successful project (Laiserin 2002). The question is: do WBCS tools contribute effectively to building projects? Current research has investigated several limited aspects of Web-based communication. Previous studies have generally dealt with data from an experimental setting or are single case studies. The objective of this study is to measure the use of WBCS within AEC. This study employs a new approach in AEC research by using data produced as a byproduct of the commercial use of design support software. 105 MOTIVATION The architecture industry may be undergoing a major shift in the way it conducts business; it appears to be shifting towards a Design-Build operation , according to Cramer (2003). Firms and teams are working more closely together. As outlined by Cohen (2000), Orr (2004) and Laiserin (2003), integration of technology is required to streamline businesses and support the AEC organizations. A few companies have already been successful using advanced integrated information exchange to improve their bottom line (Johnson and Laepple 2003). However, the industry still lacks a system that supports the information flow over the entire building project cycle (Alshawi and Ingirige 2003). Some market analysts suggest that WBCS will reach a $25 billion market in a few years (Gartner Group 2001). To reach this level, improvements of existing systems are necessary, but to do so the current use in practice must be known. This research investigates the actual use of these Web-Based Communication Systems to help software developers produce better products and better meet the demands of this expanding market. Other researchers have investigated the use …
MRA-based Statistical Learning from Incomplete Rankings

Statistical analysis of rank data describing preferences over small and variable subsets of a potentially large ensemble of items {1,. , n} is a very challenging problem. It is motivated by a wide variety of modern applications, such as recommender systems or search engines. However, very few inference methods have been documented in the literature to learn a ranking model from such incomplete rank data. The goal of this paper is twofold: it develops a rigorous mathematical framework for the problem of learning a ranking model from incomplete rankings and introduces a novel general statistical method to address it. Based on an original concept of multiresolution analysis (MRA) of incomplete rankings, it finely adapts to any observation setting, leading to a statistical accuracy and an algorithmic complexity that depend directly on the complexity of the observed data. Beyond theoretical guarantees, we also provide experimental results that show its statistical performance.
Chiral lattice gauge theories and the strong coupling dynamics of a Yukawa-Higgs model with Ginsparg-Wilson fermions

The Yukawa-Higgs/Ginsparg-Wilson-fermion construction of chiral lattice gauge theories described in hep-lat/0605003 uses exact lattice chirality to decouple the massless chiral fermions from a mirror sector, whose strong dynamics is conjectured to give cutoff-scale mass to the mirror fermions without breaking the chiral gauge symmetry. In this paper, we study the mirror sector dynamics of a two-dimensional chiral gauge theory in the limit of strong Yukawa and vanishing gauge couplings, in which case it reduces to an XY model coupled to Ginsparg-Wilson fermions. For the mirror fermions to acquire cutoff-scale mass it is believed to be important that the XY model remain in its ``high temperature'' phase, where there is no algebraic ordering—a conjecture supported by the results of our work. We use analytic and Monte-Carlo methods with dynamical fermions to study the scalar and fermion susceptibilities, and the mirror fermion spectrum. Our results provide convincing evidence that the strong dynamics does not ``break" the chiral symmetry (more precisely, that the mirror fermions do not induce algebraic ordering in two-dimensions), and that the mirror fermions decouple from the infrared physics.
Proof Tree Kernels : a Candidate Ingredient for Intelligent Optimization

Reactive search techniques typically rely on the search history in order to adapt heuristics to the local conformation of the search space. By viewing search history as the trace of the optimization program, we aim to apply strategies for learning from example-traces, as developed in the fields of machine learning and inductive logic programming. We believe that Proof Tree Kernels, which we recently developed as a similarity measure between program traces, should provide a useful ingredient to fully exploit search histories. By retaining much of the structural information contained in traces, they can be employed to model the space conformation in order to appropriately adapt search heuristics or develop evaluation scores for candidate moves.
Instance-based matching of hierarchical ontologies

We study an instance-based approach for matching hierarchical ontologies, such as product catalogs. The motivation for utilizing instances is that metadata-based match approaches often suffer from semantic heterogeneity, e.g. ambiguous concept names, different concept granularities or incomparable categorizations. Our instance-based match approach matches categories based on the instances (e.g. products) assigned to them. This way we partly translate the ontology match problem into an instance match problem which is often easier to solve, especially when instances carry globally unique object ids. Since concepts of different ontologies rarely match 1:1 we propose to determine correspondences between sets of concepts. We experimentally evaluate the match approaches for real product catalogs.
Stereo-based 3D localization for grasping known objects with a robotic arm system

Robust visual servoing is still a difficult problem for a robotic arm system. Within the computer vision community, many object recognition and localization systems have been developed, but in general, they are not tailored to robotic arm applications. In particular, accurate object detection and localization in the camera coordinate system is crucial for grasping. In this paper, we will present a system that makes explicit use of the stereo camera system to locate objects in 3D space and utilizes a commodity graphics card for real-time calculation of depth information that is both low in cost and efficient. In motion planning, the bidirectional RRT (Bi-RRT) algorithm is used to search for a valid path for efficient grasping. Our robot arm can robustly and autonomously grasp single-colored objects and textured objects in 3D space. We realized a grasping scenario with a dexterous arm, ADAM, where an object in front of ADAM could be grasped. This demonstration shows how the proposed components build a dexterous and robust system integrating object detection, stereo vision, and motion planning.
A novel H-infinity filtering for road constrained target tracking

This paper is concerned with the H∞ filtering for road constrained target tracking problem. The additional information of road can improve the estimation accuracy when it is properly incorporated into the estimation process. In this paper, two constrained H∞ filtering methods considering the road constraints as prior information are proposed. The new approaches achieve not only higher accuracy, but also robustness against model uncertainty. Two simulation examples are present to illustrate the performance of the proposed approaches.
Calcineurin-dependent nuclear import of the transcription factor Crz1p requires Nmd5p

Calcineurin is a conserved Ca2+/calmodulin-specific serine-threonine protein phosphatase that mediates many Ca2+-dependent signaling events. In yeast, calcineurin dephosphorylates Crz1p, a transcription factor that binds to the calcineurin-dependent response element, a 24-bp promoter element. Calcineurin-dependent dephosphorylation of Crz1p alters Crz1p nuclear localization. This study examines the mechanism by which calcineurin regulates the nuclear localization of Crz1p in more detail. We describe the identification and characterization of a novel nuclear localization sequence (NLS) in Crz1p, which requires both basic and hydrophobic residues for activity, and show that the karyopherin Nmd5p is required for Crz1p nuclear import. We also demonstrate that the binding of Crz1p to Nmd5p is dependent upon its phosphorylation state, indicating that nuclear import of Crz1p is regulated by calcineurin. Finally, we demonstrate that residues in both the NH2- and COOH-terminal portions of Crz1p are required for regulated Crz1p binding to Nmd5p, supporting a model of NLS masking for regulating Crz1p nuclear import.
Molecular Imaging & Contrast Agents-Sunrise Course Preclinical & Clinical Applications of Metal Based Paramagnetic / Iron Contrast

Introduction Magnetic resonance imaging is a powerful tool for visualizing cellular/macrophage tracking and migration or inflammatory processes. MRI examinations can be performed longitudinally and non-invasively, at isotropic image resolutions approaching 50 microns within reasonable scan times in live animals. Whereas vascular and interstitial compartments are investigated using Gadolinium-based contrast agents, specific molecular or cellular imaging can be obtained using metal-based contrast agent like Manganese (Mn) or iron oxide particles. To provide enhanced contrast on an MR image, cells are loaded with an MRI contrast agent prior to or during imaging. Superparamagnetic iron oxide (SPIO) nanoparticles can be used to generate contrast based on magnetic susceptibility differences between the labeled cells and the surrounding tissue. Cellular detection is most often accomplished via T2 or T2* imaging (negative contrast) after incorporation of iron oxide either within or attached to the cell. Coupling of the particles with fluorophores allows correlation of in vivo and ex vivo MRI with optical imaging and histology. At sufficient iron concentration and high resolution, single cells can be detected, even in vivo. Methods to provide positive and/or quantifiable contrast from iron containing cells are currently important topics of research. On the other hand, the T1 paramagnetic effect of Mn gives directly a positive contrast effect that can be used to assess the intracellular distribution of this ion.
Trajectory planning of redundant robot manipulators using QPSO algorithm

QPSO algorithm (QPSO) is introduced to design a collision-free trajectory for planar redundant manipulators. Chaotic sequences instead of random sequences are used in QPSO to diversify the QPSO population. Kinematics redundancy is integrated into the presented method as planning variables. Quadrinomial and quintic polynomials are used to describe the segment of the trajectory. QPSO optimizes the trajectory and ensures obstacle avoidance can be achieved. Simulations are carried out for different obstacles to prove the validity of the proposed algorithm. Different test data generated by GA and QPSO are provided with a tabular comparison. Simulation studies show QPSO has potential online usage in engineering and distinct fast computation speed compared with GA.
Super-Resolution Imaging Reveals That AMPA Receptors Inside Synapses Are Dynamically Organized in Nanodomains Regulated by PSD95

The spatiotemporal organization of neurotransmitter receptors in postsynaptic membranes is a fundamental determinant of synaptic transmission and information processing by the brain. Using four independent super-resolution light imaging methods and EM of genetically tagged and endogenous receptors, we show that, in rat hippocampal neurons, AMPARs are often highly concentrated inside synapses into a few clusters of ∼70 nm that contain ∼20 receptors. AMPARs are stabilized reversibly in these nanodomains and diffuse freely outside them. Nanodomains are dynamic in their shape and position within synapses and can form or disappear within minutes, although they are mostly stable for up to 1 h. AMPAR nanodomains are often, but not systematically, colocalized with clusters of the scaffold protein PSD95, which are generally of larger size than AMPAR nanoclusters. PSD95 expression level regulates AMPAR nanodomain size and compactness in parallel to miniature EPSC amplitude. Monte Carlo simulations further indicate the impact of AMPAR concentration in clusters on the efficacy of synaptic transmission. The observation that AMPARs are highly concentrated in nanodomains, instead of diffusively distributed in the PSD as generally thought, has important consequences on our understanding of excitatory neurotransmission. Furthermore, our results indicate that glutamatergic synaptic transmission is controlled by the nanometer-scale regulation of the size of these highly concentrated nanodomains.
Scalable Path-Sensitive Program Analysis via Dynamic Programming

Path-sensitivity improves program analysis by excluding infeasible paths and avoiding the merging of paths into a single abstraction if they exhibit different behavior. The main challenge however is that path-sensitive analysis is not scalable. In this paper, we present a symbolic execution-based framework which uses dynamic programming (DP) in order to reuse analyses arising from symbolic execution already performed. A straightforward implementation of DP, however, will allow little reuse. This is because symbolic execution repeatedly considers similar subtrees with different contexts. The first of our contributions to use a method of interpolation in order to generalize the result of symbolic execution so that it can be reused in another context. This has the effect of pruning the symbolic execution space, and is the basis of making our analysis scalable. However, interpolation introduces inaccuracy because some of the paths pruned may in fact be infeasible. We therefore introduce a technique to ensure precision by testing that a notion of witness paths that concretely demonstrate a particular analysis, and we require that pruned paths satisfy the witness criterion. In the end, we show that, in a sense defined by traditional abstract interpretation, our framework loses no accuracy beyond the abstraction that is required to close loops via their invariants. We finally demonstrate practicality of our framework by instantiating it with a driving application: static backward slicing analysis. We show that our approach can produce slices significantly smaller than a path-insensitive version scaling up to tens of thousand of lines of C code.
Short-Term Delayed Recall of Auditory Verbal Learning Test Is Equivalent to Long-Term Delayed Recall for Identifying Amnestic Mild Cognitive Impairment

Delayed recall of words in a verbal learning test is a sensitive measure for the diagnosis of amnestic mild cognitive impairment (aMCI) and early Alzheimer’s disease (AD). The relative validity of different retention intervals of delayed recall has not been well characterized. Using the Auditory Verbal Learning Test–Huashan version, we compared the differentiating value of short-term delayed recall (AVL-SR, that is, a 3- to 5-minute delay time) and long-term delayed recall (AVL-LR, that is, a 20-minute delay time) in distinguishing patients with aMCI (n = 897) and mild AD (n = 530) from the healthy elderly (n = 1215). In patients with aMCI, the correlation between AVL-SR and AVL-LR was very high (r = 0.94), and the difference between the two indicators was less than 0.5 points. There was no difference between AVL-SR and AVL-LR in the frequency of zero scores. In the receiver operating characteristic curves analysis, although the area under the curve (AUC) of AVL-SR and AVL-LR for diagnosing aMCI was significantly different, the cut-off scores of the two indicators were identical. In the subgroup of ages 80 to 89, the AUC of the two indicators showed no significant difference. Therefore, we concluded that AVL-SR could substitute for AVL-LR in identifying aMCI, especially for the oldest patients.
Monitoring the Cure State of Thermosetting Resins by Ultrasound

The propagation of low intensity ultrasound in a curing resin, acting as a high frequency oscillatory excitation, has been recently proposed as an ultrasonic dynamic mechanical analysis (UDMA) for cure monitoring. The technique measures sound velocity and attenuation, which are very sensitive to changes in the viscoelastic characteristics of the curing resin, since the velocity is related to the resin storage modulus and density, while the attenuation is related to the energy dissipation and scattering in the curing resin. The paper reviews the results obtained by the authors’ research group in the last decade by means of in-house made ultrasonic set-ups for both contact and air-coupled ultrasonic experiments. The basics of the ultrasonic wave propagation in polymers and examples of measurements of the time-evolution of ultrasonic longitudinal modulus and chemical conversion of different thermosetting resins are presented. The effect of temperature on the cure kinetics, the comparison with rheological, low frequency dynamic mechanical and calorimetric results, and the correlation between ultrasonic modulus and crosslinking density will be also discussed. The paper highlights the reliability of ultrasonic wave propagation for monitoring the physical changes taking place during curing and the potential for online monitoring during polymer and polymer matrix composite processing.
An alternative proof of Lovász's cathedral theorem

A graph G with a perfect matching is called saturated if G + e has more perfect matchings than G for any edge e that is not in G. Lovasz gave a characterization of the saturated graphs called the cathedral theorem, with some applications to the enumeration problem of perfect matchings, and later Szigeti gave another proof. In this paper, we give a new proof with our preceding works which revealed canonical structures of general graphs with perfect matchings. Here, the cathedral theorem is derived in quite a natural way, providing more refined or generalized properties. Moreover, the new proof shows that it can be proved without using the Gallai-Edmonds structure theorem.
The mean‐field approximation in quantum electrodynamics: The no‐photon case

We study the mean‐field approximation of quantum electrodynamics (QED) by means of a thermodynamic limit. The QED Hamiltonian is written in Coulomb gauge and does not contain any normal ordering or choice of bare electron/positron subspaces. Neglecting photons, we properly define this Hamiltonian in a finite box [−L/2; L/2)3, with periodic boundary conditions and an ultraviolet cutoff λ. We then study the limit of the ground state (i.e., the vacuum) energy and of the minimizers as L goes to infinity, in the Hartree‐Fock approximation.
Parallel Strategies for Harmony Search on CUDA to Solve Traveling Salesman Problem

This paper presents parallel strategies applied to Harmony Search (HS) on CUDA for solving Traveling Salesman Problem (TSP), which is an NP-hard problem in combinatorial optimization. The implementations are tested with data instances of varying problem size from TSPLIB to measure speedup attained over serial implementation. In our experiment, HSGPU parallel implementation can acquire 32 times speedup as compared with CPU-based implementation.
A stochastically stable solution to the problem of robocentric mapping

This paper provides a novel solution for robocentric mapping using an autonomous mobile robot. The robot dynamic model is the standard unicycle model and the robot is assumed to measure both the range and relative bearing to the landmarks. The algorithm introduced in this paper relies on a coordinate transformation and an extended Kalman filter like algorithm. The coordinate transformation considered in this paper has not been previously considered for robocentric mapping applications. Moreover, we provide a rigorous stochastic stability analysis of the filter employed and we examine the conditions under which the mean-square estimation error converges to a steady-state value.
Polymeric Tubulysin-Peptide Nanoparticles with Potent Antitumor Activity

Purpose: Tubulysins are naturally occurring tetrapeptides with potent antiproliferative activity against multiple cancer cell lines. However, they are also highly toxic in animal models. In order to improve the therapeutic index of this class of compounds, a nanoparticle prodrug of tubulysin A (TubA) was synthesized and evaluated in vitro and in vivo. Experimental Design: A thiol derivative of TubA was covalently attached to a linear, β-cyclodextrin based polymer through a disulfide linker (CDP-TubA). The polymer conjugate assembled into stable nanoparticles. Inhibition of tubulin polymerization and antiproliferative activity of the polymer conjugate were evaluated in vitro. The preclinical efficacy of CDP-TubA administered i.v. was evaluated in nude mice bearing s.c. implanted human HT29 colorectal and H460 non–small cell lung carcinoma tumors. Results: The IC50 of CDP-TubA (in Tub A equivalents) was 24, 5, and 10 nmol/L versus 3, 1, and 2 nmol/L for Tub A in NCI-H1299 (lung), HT-29 (colon), and A2780 (ovarian) cell lines, respectively. Tub A and the active thiol derivative were potent inhibitors of tubulin polymerization, whereas CDP-TubA showed minimal inhibition, indicating that target inhibition requires release of the peptide drug from the nanoparticles. The maximum tolerated dose of CDP-TubA was 6 mg/kg (in TubA equivalents) versus 0.05 mg/kg for TubA in nude mice. In vivo, a single treatment cycle of three weekly doses of CDP-TubA showed a potent antitumor effect and significantly prolonged survival compared with TubA alone. Conclusions: Cyclodextrin polymerized nanoparticles are an enabling technology for the safe and effective delivery of tubulysins for the treatment of cancer.
Rapid Prediction of Player Retention in Free-to-Play Mobile Games

Predicting and improving player retention is crucial to the success of mobile Free-to-Play games. This paper explores the problem of rapid retention prediction in this context. Heuristic modeling approaches are introduced as a way of building simple rules for predicting short-term retention. Compared to common classification algorithms, our heuristic-based approach achieves reasonable and comparable performance using information from the first session, day, and week of player activity.