Miracle-dz/UniFAR-FTUs huggingface dataset:
Functional analysis of circuits under timing variations

Summary form only given. This work proposes an approach to model and evaluate the functional behavior of logic circuits under timing variations. In the approach, first we construct a Time Accurate Model (TAM) of the circuit to represent its timing behavior in a functional domain under a discrete time model. Then, timing variations are applied by using Variation Logic (VL).
Polycrystalline Tetragonal Zirconia of the Form ZrO2: 3 mol% Re2O3(Re-TZP) for Use in Oxygen Sensors: Synthesis, Characterization and Ionic Conductivity

Oxygen ion conductors of zirconia based ceramics are a class of materials with technological applications in several application areas: sensors of chemical species, oxygen pumps, solid oxide fuel cells among others [1]. For these applications, the zirconia must possess the fluorite type crystal structure, or close to it. Such oxides with this structure are the classic oxygen ion conductors [2]. The fluorite structure consists of a cubic lattice of oxygen ions surrounded by cations. The cations are arranged in a face centered cubic structure with anions occupying tetrahedral positions. This leads to an open structure with large empty octahedral interstices.
The Trajectory of Emergence of Shared Group-Level Constructs

By examining 20 years of research conducted on groups (and teams), in field, academic, and laboratory settings, we used statistical aggregation indices to evaluate arguments that in newly formed groups, (a) evidence of the emergence of group-level shared constructs should be minimal and (b) evidence of the emergence of such constructs should increase over time/interaction. Puzzlingly, we found relatively little evidence supporting these arguments. Instead, emergence of group-level shared constructs seems evident very soon after group formation and, to the extent that this was possible to evaluate, emergence trajectories seemed to vary little across time. This pattern of findings is discussed with respect to both methodological and substantive issues, and we propose mechanisms that might explain what appears to be the surprisingly early emergence of group-level shared constructs.
Generalized Sampling in Computer Graphics

Analysis and reconstruction filters are crucial in graphics. The signal processing community has recently developed new filtering strategies based on a generalization of the traditional sampling pipeline. The main idea is to select simple basis functions such as B-splines but to effectively reshape these kernels by adding a discrete transformation filter. This approach is not widely known to graphics practitioners. In this paper we introduce new notation to succinctly summarize important algorithms in generalized sampling. We also present and analyze novel algorithms, including supersampling for antialiased rendering, and image downscaling for mipmap creation. The advantages of generalized sampling are twofold. The non-negativity of B-spline kernels simplifies both importance-based integration and GPU evaluation. And, the broader support of the transformed kernels improves filtering quality. A key challenge is that the discrete transformation often involves inverse convolutions, but fortunately the associated linear systems are banded and can be parallelized.
Early Validation and Verification of a Distributed Role-Based Access Control Model

To ensure correct implementation of complex access control requirements, it is important that the validated and verified requirements are effectively integrated with the rest of the system. It is also important that the system can be validated and verified early in the development process. In this paper we present an integrated, role-based access control model. The model is based on the graphical behavior tree notation, and can be validated by simulation, as well as verified using a model checker. Using this model, access control requirements can be integrated with the rest of the system from the outset, because: a single notation is used to express both access control and functional requirements; a systematic and incremental approach to constructing a formal behavior tree specification can be adopted; and the specification can be simulated and model checked. The effectiveness of the model is evaluated using a case study with distributed access control requirements.
Existence of snoRNA, microRNA, piRNA characteristics in a novel non-coding RNA: x-ncRNA and its biological implication in Homo sapiens

Comparative genomic analysis constitutes a powerful approach for the systematic understanding of genome. The comparative and evolutionary analysis of known microRNAs in Homo sapiens elucidates the discovery of the existence of the novel non-coding RNA, which is transcribed from the unique gene precursor and produces three different non coding RNAs such as piRNA, snoRNA and microRNA. This new characteristics RNA is named as x-non coding RNA (x-ncRNA). This characteristic pattern shows evolutionary signatures dictated by its precise selective significance and synteny. The evidence of x-ncRNA processing and functionality from hairpin arms were proven by systematic analysis. x-ncRNA analysis proven the bio genesis of human piRNA is originated from the dsDNA, which is also involved in the synthesis of piRNA and/or microRNA, through dicer. These data also shows the presence of human sno-microRNA. Our data demonstrates that the existence of x-ncRNA, genomic origin, conceivable bio genesis pathway, evolutionary relationship and its functions. Key words: snoRNA, microRNA, piRNA, Biogenesis, novel noncoding RNA (x-ncRNA).
Enhanced cardiovascular image analysis by combined representation of results from dynamic MRI and anatomic CTA

The diagnosis support in the field of coronary artery disease (CAD) is very complex due to the numerous symptoms and performed studies leading to the final diagnosis. CTA and MRI are on their way to replace invasive catheter angiography. Thus, there is a need for sophisticated software tools that present the different analysis results, and correlate the anatomical and dynamic image information. We introduce a new software assistant for the combined result visualization of CTA and MR images, in which a dedicated concept for the structured presentation of original data, segmentation results, and individual findings is realized. Therefore, we define a comprehensive class hierarchy and assign suitable interaction functions. User guidance is coupled as closely as possible with available data, supporting a straightforward workflow design. The analysis results are extracted from two previously developed software assistants, providing coronary artery analysis and measurements, function analysis as well as late enhancement data investigation. As an extension we introduce a finding concept directly relating suspicious positions to the underlying data. An affine registration of CT and MR data in combination with the AHA 17-segment model enables the coupling of local findings to positions in all data sets. Furthermore, sophisticated visualization in 2D and 3D and interactive bull's eye plots facilitate a correlation of coronary stenoses and physiology. The software has been evaluated on 20 patient data sets.
Cosmic concordance and the fine structure constant

Recent measurements of a peak in the angular power spectrum of the cosmic microwave background suggest that the geometry of the universe is close to flat. But if other accepted indicators of cosmological parameters are also correct then the best fit model is marginally closed, with the peak in the spectrum at slightly larger scales than in a flat universe. If these observations persevere, one way they might be reconciled with a flat universe is if the fine structure constant had a lower value at earlier times, which would delay the recombination of electrons and protons and also act to suppress secondary oscillations as observed. We discuss evidence for a few percent increase in the fine structure constant between the time of recombination and the present.
Causation and Determinable Properties : On the Efficacy of Colour, Shape, and Size

ing away from a lot of detail, we can see that if you have such a counterfactual conception of causation, then it is easy to derive the causal status of determinables. For on Yablo’s preferred semantics for counterfactuals, and assuming 7 See Yablo 1992: 274. Yablo holds that the ‘contingency’ of effects on their causes is one necessary condition for causation; hence he differs from Lewis (1973) and many others in thinking that counterfactual dependence is a necessary condition of causation. For his way of dealing with problems of pre-emption (etc.) see Yablo 2004: 121ff.
Immersion in Computer Games: The Role of Spatial Presence and Flow

A main reason to play computer games is the pleasure of being immersed in a mediated world. Spatial presence and flow are considered key concepts to explain such immersive experiences. However, little attention has been paid to the connection between the two concepts. Thus, we empirically examined the relationship between presence and flow in the context of a computer role-playing game (N = 70), a racing game (N = 120), and a jump and run game (N = 72). In all three studies, factor analysis revealed that presence and flow are distinct constructs, which do hardly share common variance. We conclude that presence refers to the sensation of being there in the mediated world, whereas flow rather refers to the sensation of being involved in the gaming action. Further analyses showed that flow and presence depend on motivation and immersive tendency. In addition, flow and presence enhanced performance as well as enjoyment.
Effects of Matrix Metalloproteinase Inhibition on Ventricular Remodeling Due to Volume Overload

Background—Left ventricular (LV) hypertrophy and dilatation are important compensatory responses to chronic volume overload. Although LV function is initially preserved by these responses, the continued structural remodeling of the myocardium ultimately becomes maladaptive, leading to the development of heart failure. We have shown previously that increased myocardial matrix metalloproteinase (MMP) activity precedes LV dilatation induced by a chronic volume overload. Accordingly, this study focused on the effects of MMP inhibition therapy (PD 166793, 1 mg · kg−1 · d−1) on LV size and function in a rat model of volume overload–induced heart failure. Methods and Results—Rats were divided into the following groups: treated and untreated infrarenal abdominal aortocaval fistula and treated and untreated sham-operated (control). LV weights of both fistula groups were increased above that of the control group (868±79 mg;P ≤0.001); LV weights in the treated fistula group, however, were lower than in the untreated fistula group at 8 weeks (1447±186 versus 1715±279 mg, respectively;P ≤0.012). The marked ventricular dilatation seen in the untreated fistula group was significantly diminished in the treated fistula group, although the increase in LV compliance was similar in both treated and untreated fistula hearts. Conclusions—MMP inhibition significantly attenuates the myocardial remodeling associated with chronic volume overload, as evidenced by prevention of dilatation, a marked reduction in LV hypertrophy, and preservation of ventricular function.
Hybrid multi-carrier PWM technique with computationally efficient voltage balancing algorithm for modular multilevel converter

Phase-shifted pulse width modulation (PS-PWM) technique is preferred for modular multilevel converters (MMCs) as it has even power distribution and also ensures uniform switch utilization among the submodules (SMs). In contrast, phase disposition PWM (PD-PWM) technique has superior output voltage profile, but suffers from unequal switch utilization. A new PWM technique is proposed in this paper, having the best features of the PS-PWM and PD-PWM. The SM capacitor voltage balancing algorithm has to be incorporated with the modulation scheme to maintain SM voltages at defined voltage level. This paper also presents a modified SM capacitor voltage balancing approach which can be easily implemented with any type of carrier-based PWM technique. The proposed balancing algorithm, as well as PWM technique can be extended to any level of MMC and also applicable to any SM type. The effectiveness of proposed PWM technique is validated for five-level MMC with flying capacitor SMs (FCSM) under different operating conditions against PS-PWM and PD-PWM by simulation results in PLECS platform.
10-Gb/s Transmission Over 10-m SI-POF With  ${M}$ -PAM and Multilayer Perceptron Equalizer

We demonstrate the gigabit-per-second transmission over a step-index plastic optical fiber (SI-POF) of 10-m length with a pulse-amplitude modulation (PAM). A multilayer perceptron-based equalizer is used to mitigate an intersymbol interference and non-linearity in the system. Using this equalizer with 32-PAM, a data rate of 10 Gb/s is achieved over the 10-m SI-POF at a bit error rate of 10−2, which is below the 20% forward error correction limit.
Exploring User Expectancy With Regard to the Use of Institutional Repositories Among University Academics in Indonesia: A Case Study at Syarif Hidayatullah State Islamic University

Academic works produced by university members are valuable resources that should be managed properly. The development of Institutional repositories (IRs) was purposed to preserve and disseminated these resources so that benefit to the university in enhancing university scholarship and performances. However, the existing of repository system is less used. It is alleged that lecturers are not aware and reluctant due to the lack of their motivation. User expectancy is regarded as motivational factor that lead invidual to use insitutitional repositories. The purpose of this paper is to examine the relationship between user expectancy and the use of institutional repositories in higher education institutions in Indonesia. A study is conducted with 50 university lecturers at Syarif Hidayatullah Jakarta. Structural Equation Modelling Partial Least Square (PLS-SEM) is used for data analysis. SmartPLs 2.0 software is employed in the analysis. The result indicated that since the measuring instruments are valid and reliable, user expectancy have influence to the use of IRs. Based on the structural model, it was found that user expectancy contributes to the use of IRs up to 57,6 %.
Performance Analysis of Emerging High Efficiency Video Coding (HEVC)

High definition video is becoming popular day by day due to desire for superior level quality and high resolution video. The upcoming High Efficiency Video Coding (HEVC) standard is designed to serve diverse range of applications like HDTV, video conferencing, fast internet streaming and videophone. This paper describes the performance analysis of HEVC with H.264/AVC video coding standard. Various 1920x1080 resolution high definition sequences are used to check the efficiency of HEVC. Simulation results show that HEVC in comparison to H.264 results in 52 % (average) bit rate improvement without significantly affecting the subjective and objective quality of video. (Gulistan Raja, Awais Khan, Abdur Rashid and Ahmad Khalil Khan, Performance Analysis of EmergingHigh Efficiency Video Coding (HEVC). Life Sci J 2013; 10(3): 800-803). (ISSN: 1097-8135). http://www.lifescience site.com 120
Transcriptomic changes induced by mycophenolic acid in gastric cancer cells.

BACKGROUND Inhibition of inosine monophosphate dehydrogenase (IMPDH) by mycophenolic acid (MPA) can inhibit proliferation and induce apoptosis in cancer cells. This study investigated the underlying molecular mechanisms of MPA's anticancer activity. METHODS A gastric cancer cell line (AGS) was treated with MPA and gene expression at different time points was analyzed using Illumina whole genome microarrays and selected genes were confirmed by real-time RT-PCR. RESULTS Transcriptomic profiling identified 1070 genes with ≥2 fold changes and 85 genes with >4 fold alterations. The most significantly altered biological processes by MPA treatment include cell cycle, apoptosis, cell proliferation and migration. MPA treatment altered at least ten KEGG pathways, of which eight (p53 signaling, cell cycle, pathways in cancer, PPAR signaling, bladder cancer, protein processing in ER, small cell lung cancer and MAPK signaling) are cancer-related. Among the earliest cellular events induced by MPA is cell cycle arrest which may be caused by six molecular pathways: 1) up-regulation of cyclins (CCND1 and CCNE2) and down-regulation of CCNA2 and CCNB1, 2) down-regulation of cyclin-dependent kinases (CDK4 and CDK5); 3) inhibition of cell division related genes (CDC20, CDC25B and CDC25C) and other cell cycle related genes (MCM2, CENPE and PSRC1), 4) activation of p53, which activates the cyclin-dependent kinase inhibitors (CDKN1A), 5) impaired spindle checkpoint function and chromosome segregation (BUB1, BUB1B, BOP1, AURKA, AURKB, and FOXM1); and 6) reduction of availability of deoxyribonucleotides and therefore DNA synthesis through down-regulation of the RRM1 enzyme. Cell cycle arrest is followed by inhibition of cell proliferation, which is mainly attributable to the inhibition of the PI3K/AKT/mTOR pathway, and caspase-dependent apoptosis due to up-regulation of the p53 and FAS pathways. CONCLUSIONS These results suggest that MPA has beneficial anticancer activity through diverse molecular pathways and biological processes.
Functional annotation of expressed sequence tags of Papaver somniferum.

Papaver somniferum (opium poppy) is the source for several pharmaceutical benzylisoquinoline alkaloids (BIA) including morphine, codeine and sanguinarine. In an attempt to identify additional biosynthetic steps at the molecular level, a large expressed sequence tag (EST) dataset with a total of 20,532 sequences from opium poppy were assembled and functionally annotated. Sequence cleaning filter showed 20,445 (709 trimmed) valid sequences and 87 trashed sequences at 96% minimum identity parameter for an alignment with a contaminant. Repeat masking filter showed length of valid sequences 1,69,60,151 bp, GC level 41.12% and masked bases 5,01,768 bp (2.96%) by using RepBase (update 8.12) repeats library of Arabidopsis. Elements observed in EST sequences were 1017 retroelements, 55 LINEs, 55 L1/CIN4, 962 LTR elements, 412 Ty1/Copia, 550 Gypsy/DIRS1, 56 DNA transposons, 15 hoboActivator, 7 Tc1-IS630-Pogo, 7 En-Spm, 11 MuDR-IS905, 6 Tourist/Harbinger, 1 satellite, 920 simple repeats and 1697 low complexity elements. NCBI's vector library UniVec (core) and plastids library of Arabidopsis were used for masking vector and organelle sequences, respectively. For EST sequence assembly, the cutoff for overlap sequence identity was kept 80%. A total of 15,279 assembled unique transcripts were identified, which include 1,408 contigs and 13,871 singletons. Functional annotation was performed through BLASTX using UniProtKB/Swiss-Prot database. EST sequences were retrieved from dbEST (NCBI) and processed, cleaned, clustered and assembled through Gencheck, EGassembler, Phred, RepeatMasker, Cross-Match, Phrap and Cap3 softwares. Mostly hypothetical genes were observed apart from important genes related to secondary metabolism such as enzymes of BIA biosynthesis e.g . , stylopine synthase , S-norcoclaurine synthase 1, salutaridine synthase, salutaridine reductase, (S)-coclaurine Nmethyltransferase, S-adenosyl-L-methionine:3'-hydroxy-N-methylcoclaurine 4'-O-methyltransferase and salutaridinol 7-Oacetyltransferase. This functionally annotated EST dataset will be a useful resource for further studies such as taxonomy, molecular breeding, genetics, genomics and secondary metabolism.
Modal analysis of transmission lines periodically loaded with semi-lumped resonators

This paper is dedicated to the analysis of the wave propagation in transmission lines periodically loaded with semi-lumped LC resonators. The transmission lines loaded with the shunt connected series LC resonators inhibit the wave propagation at the resonance frequency of the resonator. The stopband can be extended by introducing coupling between the resonators resulting in complex propagation modes. This is demonstrated by Bloch analysis of the structure using the equivalent circuit model. The results are validated through comparisons with the full-wave electromagnetic simulations.
A survey of molecular expression by photoreceptors after experimental retinal detachment.

PURPOSE To describe changes in the localization patterns and levels of rod and cone photoreceptor proteins after experimental retinal detachment (RD). METHODS Cat retinas were detached for 1, 3, 7, or 28 days, at which time the eyecups were placed in fixative for immunocytochemical analysis or homogenized for biochemistry. Immunocytochemistry was performed using 19 probes for molecules known to be associated with photoreceptors. Protein concentrations were determined using enzyme-linked immunosorbent assay or Western blot analysis. Cone cell death was analyzed by double labeling with TdT-dUTP terminal nick-end labeling and cone-specific antibodies. RESULTS Although some cones died, many survived long-term RD. Although their profiles may have changed, rod photoreceptors continued to express most of the molecules studied as long as they were alive. In contrast, the cones failed to label with almost all probes specific to them after 3 to 7 days of detachment. The exception was phosducin, which localized to both rods and cones and, in 28-day detachments, increased to 180% of the amount in normal retina. CONCLUSIONS Rods and cones respond differently to RD. This difference may account for a faster return of rod vision and for the lingering changes in color vision and acuity that are often reported after successful reattachment surgeries.
Green communications and positioning by integration of adaptive and distributed beam-forming technologies in cognitive radio systems

Cognitive radio (CR) concepts were introduced by J. Mitola in 1999/2000. It is an approach with high potential to allow most-intensive usage of the precious natural source spectrum. CR is capable of sensing the communication environments and of adapting to its environment by adjusting the radio parameters. With beam-forming techniques, CR can direct its main beam towards CR users while creating nulls to licensed users (LU's) in up-link in order to share the same spectrum with LU's without disturbing them. Adaptive beam-forming (AB) techniques are used for interference reduction by null broadening (NB) of the beam patterns of a CR base station in down-link operations. In this way by steering those NB angular sectors towards selected regions the LU's will experience less interference. Distributed Beam-forming (DB) is a new concept to form beams by distributed wireless sensors in order to transmit signals over a long distance with less transmit power. At IRCTR of Delft University cognitive radio concepts receive broad attention in the Radio Advanced Technology and Systems (RATS) program. Several MSc's and PhD's participate in this program. In this invited paper the latest IRCTR results on AB and DB are overviewed. Furthermore, our Intelligent-WiMAX (I-WiMAX) initiative is summarized with some focus on adaptive OFDM and on applications for green communications and positioning.
TcF 21 functions as a tumor suppressor in colorectal cancer through inactivation of Pi 3 K / aKT signaling

and incorporate the Creative Commons Attribution – Non Commercial (unported, v3.0) License (http://creativecommons.org/licenses/by-nc/3.0/). By accessing the work you hereby accept the Terms. Non-commercial uses of the work are permitted without any further permission from Dove Medical Press Limited, provided the work is properly attributed. For permission for commercial use of this work, please see paragraphs 4.2 and 5 of our Terms (https://www.dovepress.com/terms.php). OncoTargets and Therapy 2017:1