Miracle-dz/UniFAR-FTUs huggingface dataset:
3D video player system with haptic interaction based on depth image-based representation

In this paper, we propose a three-dimensional (3D) video player system that provides haptic interaction with objects in a video scene based on a depth image-based representation. In order to represent dynamic 3D scenes, 3D video media combining general color video and synchronized depth video (depth image sequences) containing per-pixel depth information were exploited. With the proposed system, viewers can touch and explore the shape of objects visible in a scene via a three degree-of-freedom (DOF) haptic interface. To support haptic interaction in the 3D video player, a modified proxy graph algorithm was proposed which calculates the contact force between the 3D video scene and the viewers' finger. In addition, the proposed system architecture was implemented which encompassed 3D video contents generation, depth data enhancement, compression, and haptic rendering. The proposed 3D video player system showed stable, smooth, and immersive interaction in real-time.
Architecture models refinement for fine grain timing analysis of embedded systems

As real-time systems have become more and more complex, architects rely on abstract models of computation in order to design and analyse these systems. In order to ease the production of source code that respects such models of computation, developper can take advantage of code generators and/or middleware. However, when analyzing an abstract model of computation, timing overheads due to generated code or middleware components are not taken into account. Answering this issue is even more problematic in the domain of embedded systems because of the variability of execution platforms. To tackle this problem, we present in this paper a model refinement and timing analysis framework: abstract models of computation are first transformed in more precise models, which include the timing characteristics of the execution platform. These refined models are then used for a more precise timing analysis. The experiment results we present in this paper show that our method can deal with realistic software architecture of real-time systems.
A New Look at Nonnegativity on Closed Sets and Polynomial Optimization

We first show that a continuous function f is nonnegative on a closed set $K\subseteq R^n$ if and only if (countably many) moment matrices of some signed measure $d\nu =fd\mu$ with support equal to K, are all positive semidefinite (if $K$ is compact $\mu$ is an arbitrary finite Borel measure with support equal to K. In particular, we obtain a convergent explicit hierarchy of semidefinite (outer) approximations with {\it no} lifting, of the cone of nonnegative polynomials of degree at most $d$. Wen used in polynomial optimization on certain simple closed sets $\K$ (like e.g., the whole space $\R^n$, the positive orthant, a box, a simplex, or the vertices of the hypercube), it provides a nonincreasing sequence of upper bounds which converges to the global minimum by solving a hierarchy of semidefinite programs with only one variable. This convergent sequence of upper bounds complements the convergent sequence of lower bounds obtained by solving a hierarchy of semidefinite relaxations.
Web Search Based on Cultural Algorithm New Framework

With the development of information technology, especially the widespread use of Web, information on Web increases rapidly and becomes a huge information resource. In the meanwhile, such abundant information makes it an urgent problem: how to extract useful content rapidly and efficiently from information resources. This paper proposes a framework for evolutionary systems to search implicit knowledge on the web. Based on Cultural Algorithms (CA), the web search process is supported by the domain knowledge objects in the belief space, and the optimization process is supported by evolutionary search in the population space. This framework in web search may help increase competition and diversity on the web.
Image Congruence and the Adoption of Service Innovations

In this article, the authors investigate whether the fit between consumers’ image and the image of an innovation, commonly referred to as image congruence, has an impact on customers’ attitudes toward innovative services as well as the intention to use these new services. Moreover, situational influences (i.e., private vs. public, and friends vs. colleagues) are examined. The results of the two experiments show that not only does image congruence have a significant impact on consumer attitudes and the adoption decision, but there is also an interaction between image congruence and the consumption situation. Contrary to the authors’ expectations, consumers with low image congruence are influenced more by their surroundings than consumers with high image congruence. It seems that as long as the fit between the consumer’s self-image and the service image is high, signals from the consumer’s environment are overruled.
On the large-signal modeling of AlGaN/GaN devices using genetic neural networks

An accurate large-signal model for AlGaN-GaN HEMT is presented. This model is derived from a distributed small-signal model that efficiently describes the physics of the device. A genetic neural network based model for the gate and drain currents and charges is presented along with its parameters extraction procedure. The model shows very good results for simulating the high-power operation of a 8×125-μm gate width AlGaN/GaN HEMT and the associated nonlinearities even beyond the 1-dB gain compression point.
Astrometry of H2O Masers in Nearby Star-Forming Regions with VERA III. IRAS22198+6336 in Lynds1204G

We present results of multi-epoch VLBI observations with VERA (VLBI Exploration of Radio Astrometry) of the 22 GHz H2O masers associated with a young stellar object (YSO) IRAS 22198+6336 in a dark cloud, L 1204 G. Based on phase-referencing VLBI astrometry, we derived an annual parallax of IRAS 22198+6336 to be 1.309˙ 0.047 mas, corresponding to the distance of 764˙ 27 pc from the Sun. Although the most principal error source of our astrometry is attributed to the internal structure of the maser spots, we successfully reduced the errors in the derived annual parallax by employing position measurements for all of the 26 detected maser spots. Based on this result, we reanalyzed the spectral energy distribution of IRAS 22198+6336 and found that the bolometric lumi— —
Learning While Innovating: The Abandonment of Corporate Venture Capital Programs

This paper draws upon prior research on organizational learning and innovation diffusion to empirically investigate the abandonment of an administrative innovationcorporate venture capital (CVC) programs by information technology (IT) firms. CVC programs are modeled upon the venture capital (VC) practices of finding, funding, and guiding entrepreneurial startups. We examine the effect of firms’ direct experiences with the innovation on its ability to retain or abandon the innovation. We also investigate how this experience interacts with the contagion influences that bias firms towards abandonment. Results suggest that direct experience with the CVC program decreases the likelihood of its abandonment by a focal firm. We also find that firms with a richer understanding of their CVC program are less susceptible to contagion
Inhibition of Dystrophin Breakdown and Endothelial Nitric-Oxide Synthase Uncoupling Accounts for Cytoprotection by 3-[2-[4-(3-Chloro-2-methylphenyl)-1-piperazinyl]ethyl]-5,6-dimethoxy-1-(4-imidazolylmethyl)-1H-indazole Dihydrochloride 3.5 Hydrate (DY-9760e) in Left Ventricular Hypertrophied Mice

Using a heart ischemia/reperfusion model in rats, we recently demonstrated that 3-[2-[4-(3-chloro-2-methylphenyl)-1-piperazinyl]ethyl]-5,6-dimethoxy-1-(4-imidazolylmethyl)-1H-indazole dihydrochloride 3.5 hydrate (DY-9760e), a calmodulin inhibitor, is a cardioprotective drug. Here, we examined cardioprotective mechanisms of DY-9760e in hypertrophy and heart failure using a mouse transverse aortic constriction (TAC) model. Mice were subjected to TAC and 2 weeks later they were administered DY-9760e for another 6 weeks (at 10 or 20 mg/kg/day p.o.). Chronic administration inhibited TAC-induced increased heart-to-body weight ratio dose-dependently. Consistent with inhibition of hypertrophy, fraction shortening, an indicator of heart contractile function, assessed by echocardiography was completely restored by DY-9760e (20 mg/kg/day) administration. Inhibition of TAC-induced atrial natriuretic peptide (ANP) up-regulation further confirmed an antihypertrophic effect of DY-9760e. It is noteworthy that we found that breakdown of dystrophin and spectrin by calpain was associated with heart failure in TAC mice. Caveolin-3 breakdown was closely associated with endothelial nitric-oxide synthase (eNOS) dissociation from the plasma membrane and its subsequent uncoupling. Uncoupled monomeric eNOS formation was associated with increased protein tyrosine nitration, suggesting peroxynitrite production and NO and superoxide formation. It is important to note that 6 weeks of DY-9760e treatment significantly blocked hypertrophic responses, such as increased heart weight and ANP induction. Overall, we show that inhibition of both dystrophin/spectrin breakdown and uncoupling of eNOS probably underlies the cardioprotective mechanisms of DY-9760e. The observed protection of sarcolemmal proteins and eNOS by DY-9760e during pressure overload suggests a novel therapeutic strategy to rescue the heart from hypertrophy-induced failure.
MiR-129 triggers autophagic flux by regulating a novel Notch-1/ E2F7/Beclin-1 axis to impair the viability of human malignant glioma cells

Abnormalities of autophagy have been implicated in an increasing number of human cancers, including glioma. To date, there is a wealth of evidence indicating that microRNAs (miRNAs) contribute significantly to autophagy in a variety of cancers. Previous studies have suggested that miR-129 functioned as an important inhibitor of the cell cycle and could promote the apoptosis of many cancer cell lines in vitro. Here, we reported that miR-129 acted as a potent inducer of autophagy. Forced expression of miR-129 could induce autophagic flux by targetedly suppressing Notch-1 in glioma cells. The autophagy induced by miR-129 could restrain the activity of mammalian target of rapamycin (mTOR) and upregulate Beclin-1. Moreover, we demonstrated that E2F transcription factor 7 (E2F7) could also trigger autophagic flux by upregulating Beclin-1 and mediating miR-129-induced autophagy. Additionally, knockdown of Notch-1 could upregulate the expression of E2F7, whereas downregulation of E2F7 alleviated shNotch-1-induced autophagic flux. In particular, knockdown of endogenous Beclin-1 could effectively reduce autophagic flux stimulated by miR-129 and E2F7. Interestingly, upon attenuation of miR-129- or E2F7-triggered autophagic flux rescued cell viability suppressed by them. More importantly, intratumoral injection of pHAGE-miR-129 lentivirus in a nude mouse xenograft model significantly restrained tumor growth and triggered autophagy. In conclusion, these findings identify a new function for miR-129 as a potent inducer of autophagy through a novel Notch-1/E2F7/Beclin-1 axis in glioma.
Predicting Software Product Quality: A Systematic Mapping Study

Predicting software product quality (SPQ)is becoming a permanent concern during software lifecycle phases. In this paper, a systematic mapping studywas performed to summarize the existing SPQ prediction(SPQP) approaches in literature and to organizethe selected studies according to seven classificationcriteria: SPQP approaches, research types, empiricaltypes, data sets used in the empirical evaluation of thesestudies, artifacts, SQ models, and SQ characteristics.Publication channels and trends were also identified.After identifying 182 documents in ACM Digital Library,IEEE Xplore, ScienceDirect, SpringerLink, and Googlescholar, 69 papers were selected. The results showthat the main publication source of the papers identifiedwas conference. Data mining techniques are themost frequently SPQP approaches reported in literature.Solution proposal was the main research type identified.The majority of the papers selected were history-basedevaluations using existing data which were mainly obtainedfrom open source software projects and domainspecific projects. Source code was the main artifactconcerned with SPQP approaches. Well-known SQmodels were hardly mentioned and reliability is the SQcharacteristic through which SPQP was mainly achieved.SPQP-related subject seems to need more investigationfrom researchers and practitioners. Moreover, SQ modelsand standards need to be considered more in futureSPQP research.
A Novel Functional CTL Avidity/Activity Compartmentalization to the Site of Mucosal Immunization Contributes to Protection of Macaques against Simian/Human Immunodeficiency Viral Depletion of Mucosal CD4+ T Cells

The presence of high-avidity CTLs in the right compartment can greatly affect clearance of a virus infection (for example, AIDS viral infection of and dissemination from mucosa). Comparing mucosal vs systemic immunization, we observed a novel compartmentalization of CTL avidity and proportion of functionally active Ag-specific CD8+ T cells to tissues proximal to sites of immunization. Whereas both s.c. and intrarectal routes of immunization induced tetramer+ cells in the spleen and gut, the mucosal vaccine induced a higher percentage of functioning IFN-γ+ Ag-specific CD8+ T cells in the gut mucosa in mice. Translating to the CD8+ CTL avidity distribution in rhesus macaques, intrarectal vaccination induced more high-avidity mucosal CTL than s.c. vaccination and protection of mucosal CD4+ T cells from AIDS viral depletion, whereas systemic immunization induced higher avidity IFN-γ-secreting cells in the draining lymph nodes but no protection of mucosal CD4+ T cells, after mucosal challenge with pathogenic simian/human immunodeficiency virus. Mucosal CD4+ T cell loss is an early critical step in AIDS pathogenesis. The preservation of CD4+ T cells in colonic lamina propria and the reduction of virus in the intestine correlated better with high-avidity mucosal CTL induced by the mucosal AIDS vaccine. This preferential localization of high-avidity CTL may explain previous differences in vaccination results and may guide future vaccination strategy.
Intra-Urban Human Mobility and Activity Transition: Evidence from Social Media Check-In Data

Most existing human mobility literature focuses on exterior characteristics of movements but neglects activities, the driving force that underlies human movements. In this research, we combine activity-based analysis with a movement-based approach to model the intra-urban human mobility observed from about 15 million check-in records during a yearlong period in Shanghai, China. The proposed model is activity-based and includes two parts: the transition of travel demands during a specific time period and the movement between locations. For the first part, we find the transition probability between activities varies over time, and then we construct a temporal transition probability matrix to represent the transition probability of travel demands during a time interval. For the second part, we suggest that the travel demands can be divided into two classes, locationally mandatory activity (LMA) and locationally stochastic activity (LSA), according to whether the demand is associated with fixed location or not. By judging the combination of predecessor activity type and successor activity type we determine three trip patterns, each associated with a different decay parameter. To validate the model, we adopt the mechanism of an agent-based model and compare the simulated results with the observed pattern from the displacement distance distribution, the spatio-temporal distribution of activities, and the temporal distribution of travel demand transitions. The results show that the simulated patterns fit the observed data well, indicating that these findings open new directions for combining activity-based analysis with a movement-based approach using social media check-in data.
Guidelines for the provision and assessment of nutrition support therapy in the adult critically ill patient: Society of Critical Care Medicine and American Society for Parenteral and Enteral Nutrition: Executive Summary*

Practice guidelines are not intended as absolute requirements. The use of the practice guidelines does not, in anyway, project or guarantee any specific benefit in outcome or survival. The judgment of the healthcare professional based on individual circumstances of the patient must always take precedence over the recommendations in these guidelines. The guidelines offer basic recommendations that are supported by review and analysis of the pertinent available current literature, by other national and international guidelines, and by the blend of expert opinion and clinical practicality. The “intensive care unit” (ICU) or “critically ill” patient is not a homogeneous population. Most studies in which the guidelines are based are limited by sample size, patient heterogeneity, variability in definition of disease state and severity of illness, lack of baseline nutritional status, and lack of statistical power for analysis. Whenever possible, these factors are taken into account and the grade of statement will reflect the power of the data. One of the major methodologic problems with any guideline is defining the exact population to be included.
Real-Time Data Stream Management System for Large Volume of RFID Events

A data stream management system (DSMS) for the real-time processing of a large volume of RFID events is proposed herein. It allows the real-time scheduling of groups of operators, the components of a query, to process user queries of various kinds within the time limit. It also creates user-level threads consisting of operators, and the DSMS scheduler schedules the threads of a query, depending on the priority. A prototype of the proposed system was built, and the scheduling of a large volume of RFID events was shown through experiments.
Path computation with multiple constraints QoS in multi-domain

The interest for providing services with performance guarantees across different connected networks has given new technical solutions allowing the computation of constrained inter-domain paths. Thus, the present paper treats the problem of computing inter-domain paths subject to multiple constraints. We study here existing algorithms for inter-domain computations, and describe new approach approximating exact solutions. Some previous study proposed an exact solution, named pID-MCP, allowing the pre computation of path segments in the domains. We propose a novel algorithm named ID-MCPAA that treats the computational complexity of the problem, can find a feasible path not found by previous solutions and ameliorate existing techniques. Our algorithm is compatible with existing techniques and fulfills the multi constraints requirements after proving the correctness and the complexity of exact solutions, we evaluate by simulation the performance of the algorithm.
Analyzing Java software by combining metrics and program visualization

Shimba, a prototype reverse engineering environment, has been built to support the understanding of Java software. Shimba uses Rigi and SCED to analyze, visualize, and explore the static and dynamic aspects, respectively, of the subject system. The static software artifacts and their dependencies are extracted from Java byte code and viewed as directed graphs using the Rigi reverse engineering environment. The static dependency graphs of a subject system can be annotated with attributes, such as software quality measures, and then be analyzed and visualised using scripts through the end user programmable interface. Shimba has recently been extended with the Chidamber and Kemerer suite of object oriented metrics. The metrics measure properties of the classes, the inheritance hierarchy, and the interaction among classes of a subject system. Since Shimba is primarily intended for the analysis and exploration of Java software, the metrics have been tailored to measure properties of software systems using a reverse engineering environment. The static dependency graphs of the system under investigation are decorated with measures obtained by applying the object oriented metrics to selected software components. Shimba provides tools to examine these measures, to find software artifacts that have values that are in a given range, and to detect correlations among different measures. The object oriented analysis of the subject Java system can be investigated further by exporting the measures to a spreadsheet.
Privacy-Preserving Two-Party k-Means Clustering in Malicious Model

In data mining, clustering is a well-known and useful technique. One of the most powerful and frequently used techniques is k-means clustering. Most of the privacy-preserving solutions based on cryptography proposed by different researchers in recent years are in semi-honest model, where participating parties always follow the protocol. This model is realistic in many cases. But providing stonger solutions considering malicious model would be more useful for many practical applications because it tries to protect a protocol from arbitrary malicious behavior using cryptographic tools. In this paper, we have proposed a new protocol for privacy-preserving two-party k-means clustering in malicious model. We have used threshold homomorphic encryption and non-interactive zero knowledge protocols to construct our protocol according to real/ideal world paradigm.
Ochratoxins in Feed, a Risk for Animal and Human Health: Control Strategies

Ochratoxin A (OTA) has been shown to be a potent nephrotoxic, hepatotoxic, and teratogenic compound. In farm animals, the intake of feed contaminated with OTA affects animal health and productivity, and may result in the presence of OTA in the animal products. Strategies for the control of OTA in food products require early identification and elimination of contaminated commodities from the food chain. However, current analytical protocols may fail to identify contaminated products, especially in animal feed. The present paper discusses the impact of OTA on human and animal health, with special emphasis on the potential risks of OTA residue in animal products, and control strategies applied in the feed industry.
Mesh sensitivity for numerical solutions of phase-eld equa- tions using r-adaptive nite element methods

There have been several recent works on developing moving mesh methods for solv- ing phase-eld equations. However, it is observed that some of these moving mesh solutions are essentially different with the solutions on very ne xed meshes. One of the purposes of this work is to understand the reason for the differences. We carried out numerical sensitivity studies systematically in this paper and it can be concluded that for the phase-eld equations, the nu- merical solutions are very sensitive to the starting mesh and the monitor function. At the same time, an efcient alternating Crank-Nicolson time discretization scheme is developed for solving the nonlinear system resulting from a nite element approximation to the phase-eld equations. AMS subject classcations : 65M20, 65M50, 65M60, 80A22