Miracle-dz/UniFAR-FTUs huggingface dataset:
Synthesis of real-time embedded software by timed quasi-static scheduling

A formal synthesis method for complex real-time embedded software is proposed in this work. Compared to previous work, our method not only synthesizes embedded software with complex interrelated branching choices for execution within a user-given memory bound, but also tries to guarantee the satisfaction of local and global time constraints. Our proposed method called timed quasi-static scheduling (TQSS) synthesizes real-time embedded software code from a set of time complex-choice Petri nets. The two most important issues in real-time embedded software, namely memory and time constraints are both elegantly and efficiently handled in TQSS. We show the feasibility of our method through a master-slave role switch application which is a part of the Bluetooth wireless communication protocol.
Neighbourhood branding and the right to the city

In this article we seek to encourage geographers to consider the discursive dimensions of urbanization as a locus for activist inquiry into the right to the city. Drawing from literatures on urban branding and critical toponymy, we implicate the entrepreneurial phenomenon of neighbourhood branding as a primary enabler of urban gentrification and dispossession. Placing the discursive elision of local history, identity, and aspirations into dialectical relation to material infringements upon inhabitants’ collective rights, we suggest how both branding and activist counter-branding tactics may be fruitful sites for future empirical research on the right to the city.
A Fully Integrated 240-GHz Direct-Conversion Quadrature Transmitter and Receiver Chipset in SiGe Technology

This paper presents a fully integrated direct-conversion quadrature transmitter and receiver chipset at 240 GHz. It is implemented in a 0.13-μm SiGe bipolar-CMOS technology. A wideband frequency multiplier (×16) based local-oscillator (LO) signal source and a wideband on-chip antenna designed to be used with an external replaceable silicon lens makes this chipset suited for applications requiring fixed and tunable LO. The chipset is packaged in a low-cost FR4 printed circuit board resulting in a complete solution with compact form-factor. At 236 GHz, the effective-isotropic-radiated-power is 21.86 dBm and the minimum single-sideband noise figure is 15 dB. The usable RF bandwidth for this chipset is 65 GHz and the 6-dB bandwidth is 17 GHz. At the system level, we demonstrate a high data-rate communication system where an external modem is operated in its two IF-bandwidth modes (250 MHz and 1 GHz). For the quadrature phase-shift keying modulation scheme, the measured data rate is 2.73 Gb/s (modem 1-GHz IF) with bit-error rate of 10-9 for a 15-cm link. The estimated data rate over the 17-GHz RF bandwidth is, hence, 23.025 Gb/s. Also, higher order modulation schemes like 16 quadrature amplitude modulation (QAM) with a data rate of 0.677 Gb/s and 64-QAM with a data rate of 1.0154 Gb/s (modem 250-MHz IF) is demonstrated. A second application demonstrator is presented where the wide tunable RF bandwidth of the chipset is used for material characterization. It is used to characterize an FR4 material (DE104) over the 215-260-GHz range.
Application of emotion recognition methods in automotive research

This paper reports on a pilot study applying emotion recognition technologies developed for Human-Machine-Interfaces in automobile research. The aim of the study was to evaluate technologies for quantifying driving pleasure in a close-to-reality scenario. Results show that car driving scenarios pose particular requirements on emotion recognition technologies which could be met by modifications of current systems.
Is It Really That Funny? Laughter, Emotional Contagion, and Heuristic Processing During Shared Media Use

ABSTRACT When people use humorous media content, their behavior and assessments of the content may depend on the emotional expressions (e.g., laughter) of those around them. In a laboratory experiment in which 80 participants watched a movie clip with a confederate who either laughed or remained silent, we identified two parallel processes. The confederate’s laughter induced behavioral responses in our participants (laughing or smiling). Through those responses, a corresponding appraisal of the media content was generated: The content was rated funnier in comparison to situations in which the confederate did not laugh. This effect corresponds to emotional contagion processes and was especially pronounced in introverts. Additionally, participants who were low in conscientiousness directly elevated their funniness ratings (more than their own emotional expressions would suggest) when the confederate laughed. Those who were high in conscientiousness, however, lowered their ratings of the content’s funniness in the presence of a laughing confederate. This finding suggests the existence of an additional cognitive process that links confederate’s laughter and participant’s content ratings beyond automatic contagion. Participants with low conscientiousness use the confederate’s laughter as a heuristic cue for the content’s funniness, while highly conscientious participants discount the confederate’s laughter as a cue for content funniness.
New results of phase shifting in the wavelet space

This paper investigates the relationship between even-phase coefficients and odd-phase coefficients in a two-channel perfect reconstruction filter bank. We demonstrate that they are linked to each other by a unique phase-shifting matrix. In the case of multilevel wavelet decomposition, we present an efficient recursive solution to directly perform phase shifting in the wavelet space. Our proposed solution can also be easily generalized into the case of two-dimensional wavelet transform. Direct phase-shifting methods in the wavelet space have potential applications in wavelet-based image/video coding and compressed domain processing.
A Functional and Structural Investigation of the Human Fronto-Basal Volitional Saccade Network

Almost all cortical areas are connected to the subcortical basal ganglia (BG) through parallel recurrent inhibitory and excitatory loops, exerting volitional control over automatic behavior. As this model is largely based on non-human primate research, we used high resolution functional MRI and diffusion tensor imaging (DTI) to investigate the functional and structural organization of the human (pre)frontal cortico-basal network controlling eye movements. Participants performed saccades in darkness, pro- and antisaccades and observed stimuli during fixation. We observed several bilateral functional subdivisions along the precentral sulcus around the human frontal eye fields (FEF): a medial and lateral zone activating for saccades in darkness, a more fronto-medial zone preferentially active for ipsilateral antisaccades, and a large anterior strip along the precentral sulcus activating for visual stimulus presentation during fixation. The supplementary eye fields (SEF) were identified along the medial wall containing all aforementioned functions. In the striatum, the BG area receiving almost all cortical input, all saccade related activation was observed in the putamen, previously considered a skeletomotor striatal subdivision. Activation elicited by the cue instructing pro or antisaccade trials was clearest in the medial FEF and right putamen. DTI fiber tracking revealed that the subdivisions of the human FEF complex are mainly connected to the putamen, in agreement with the fMRI findings. The present findings demonstrate that the human FEF has functional subdivisions somewhat comparable to non-human primates. However, the connections to and activation in the human striatum preferentially involve the putamen, not the caudate nucleus as is reported for monkeys. This could imply that fronto-striatal projections for the oculomotor system are fundamentally different between humans and monkeys. Alternatively, there could be a bias in published reports of monkey studies favoring the caudate nucleus over the putamen in the search for oculomotor functions.
Novel Experimental and Clinical Therapeutic Uses of Low-Molecular-Weight Heparin/Protamine Microparticles

Low-molecular-weight heparin/protamine microparticles (LMW-H/P MPs) were produced as a carrier for heparin-binding growth factors (GFs) and for various adhesive cells. A mixture of low-molecular-weight heparin (MW: approximately 5000 Da, 6.4 mg/mL) and protamine (MW: approximately 3000 Da, 10 mg/mL) at a ratio of 7:3 (vol:vol) yields a dispersion of microparticles (0.5–3 µm in diameter). LMW-H/P MPs immobilize, control the release and protect the activity of GFs. LMW-H/P MPs can also bind to cell surfaces, causing these cells to interact with the LMW-H/P MPs, inducing cells/MPs-aggregate formation and substantially promoting cellular viability. Furthermore, LMW-H/P MPs can efficiently bind to tissue culture plates and retain the binding of important GFs, such as fibroblast growth factor (FGF)-2. The LMW-H/P MPs-coated matrix with various GFs or cytokines may provide novel biomaterials that can control cellular activity such as growth and differentiation. Thus, LMW-H/P MPs are an excellent carrier for GFs and various cells and are an efficient coating matrix for cell cultures.
Kinetic Analysis of Substrate Utilization by Native and TNAP-, NPP1-, or PHOSPHO1-Deficient Matrix Vesicles

During the process of endochondral bone formation, chondrocytes and osteoblasts mineralize their extracellular matrix by promoting the formation of hydroxyapatite seed crystals in the sheltered interior of membrane‐limited matrix vesicles (MVs). Here, we have studied phosphosubstrate catalysis by osteoblast‐derived MVs at physiologic pH, analyzing the hydrolysis of ATP, ADP, and PPi by isolated wild‐type (WT) as well as TNAP‐, NPP1‐ and PHOSPHO1‐deficient MVs. Comparison of the catalytic efficiencies identified ATP as the main substrate hydrolyzed by WT MVs. The lack of TNAP had the most pronounced effect on the hydrolysis of all physiologic substrates. The lack of PHOSPHO1 affected ATP hydrolysis via a secondary reduction in the levels of TNAP in PHOSPHO1‐deficient MVs. The lack of NPP1 did not significantly affect the kinetic parameters of hydrolysis when compared with WT MVs for any of the substrates. We conclude that TNAP is the enzyme that hydrolyzes both ATP and PPi in the MV compartment. NPP1 does not have a major role in PPi generation from ATP at the level of MVs, in contrast to its accepted role on the surface of the osteoblasts and chondrocytes, but rather acts as a phosphatase in the absence of TNAP. © 2010 American Society for Bone and Mineral Research
TWO-DIMENSIONAL ONE-COMPONENT PLASMA IN A QUADRUPOLAR FIELD

The classical two-dimensional one-component plasma is an exactly solvable model at some special temperature even when the one-body potential acting on the particles has a quadrupolar term. As a supplement to a recent work of Di Francesco, Gaudin, Itzykson and Lesage1 about an N-particle system (N large but finite), a macroscopic argument is given for confirming that the particles form an elliptical blob, the analogy between the classical plasma and a quantum N-fermion system in a magnetic field is used for the microscopic approach, and a microscopic calculation of the surface charge–surface charge correlation function is performed; an expected universal form is shown to be realized by this correlation function.
The Afterglow, Energetics, and Host Galaxy of the Short-Hard Gamma-Ray Burst 051221a

We present detailed optical, X-ray, and radio observations of the bright afterglow of the short gamma-ray burst 051221a obtained with Gemini, Swift XRT, and the Very Large Array, as well as optical spectra from which we measure the redshift of the burst, z = 0.5464. At this redshift the isotropic-equivalent prompt energy release was about 1.5 × 1051 ergs, and using a standard afterglow synchrotron model, we find that the blast wave kinetic energy is similar, EK,iso ≈ 8.4 × 1051 ergs. An observed jet break at t ≈ 5 days indicates that the opening angle is θj ≈ 7° and the total beaming-corrected energy is therefore ≈2.5 × 1049 ergs, comparable to the values inferred for previous short GRBs. We further show that the burst experienced an episode of energy injection by a factor of 3.4 between t = 1.4 and 3.4 hr, which was accompanied by reverse shock emission in the radio band. This result provides continued evidence that the central engines of short GRBs may be active significantly longer than the duration of the burst and/or produce a wide range of Lorentz factors. Finally, we show that the host galaxy is actively forming stars at a rate of about 1.6 M☉ yr-1, yet exhibits evidence for an appreciable population of old stars (~1 Gyr) and near-solar metallicity. These properties are intermediate between those of long GRB hosts and previous short burst hosts. The lack of bright supernova emission and the low circumburst density (n ~ 10-3 cm-3), however, continue to support the idea that short bursts are not related to massive stellar death. Given that the total energy release is larger than the predicted yield for a neutrino annihilation mechanism, this suggests that magnetohydrodynamic processes may be required to power the burst.
FAKTOR-FAKTOR YANG MEMENGARUHI NIAT DAN PERILAKU WHISTLEBLOWING MAHASISWA AKUNTANSI

This study aimed to analyze the influence of the factors contained in Theory of Planned Behavior are the attitude toward the behavior, subjective norms, and perceived behavioral control on whistleblowing intention and behavior. Specifically, the primary purposes of this study is to examines: (1) influence of attitude toward the behavior on whistleblowing intention, (2) influence of subjective norm on whistleblowing in ten tion, and (3) influence of perceived behavioral control on whistleblowing intention, (4) influence of perceived behavioral control on whistleblowing behavior and (5) influence of whistleblowing intention on whistleblowing behavior. This study conducted with survey method by distributing questionnaires to accounting studen’s Udayana University. The population of this study is 380 accounting student s. The sampling method is purposive sampling . The sampling of this study is 175 accounting student . The questionnaire can be used as many as 116 questionnaires. Data analysis is done by path analysis model. The results showed that attitudes toward behavior, subjective norm and perceived behavioral control have positive effect on whistleblowing intention. Whistleblowing intention and perceived behavioral control have positive effect on whistleblowing behavior.
Hanle effect in the CN violet system with LTE modeling

Context. Weak entangled magnetic fields with mixed polarity occupy the main part of the quiet Sun. The Zeeman effect diagnostics fails to measure such fields because of cancellation in circular polarization. However, the Hanle effect diagnostics, accessible through the second solar spectrum, provides us with a very sensitive tool for studying the distribution of weak magnetic fields on the Sun. Aims. Molecular lines are very strong and even dominate in some regions of the second solar spectrum. The CN B 2 Σ −X 2 Σ system is one of the richest and most promising systems for molecular diagnostics and well suited for the application of the differential Hanle effect method. The aim is to interpret observations of the CN B 2 Σ − X 2 Σ system using the Hanle effect and to obtain an estimation of the magnetic field strength. Methods. We assume that the CN molecular layer is situated above the region where the continuum radiation is formed and employ the single-scattering approximation. Together with the Hanle effect theory this provides us with a model that can diagnose turbulent magnetic fields. Results. We have succeeded in fitting modeled CN lines in several regions of the second solar spectrum to observations and obtained a magnetic field strength in the range from 10–30 G in the upper solar photosphere depending on the considered lines.
Impacts of Polarimetric Radar Observations on Hydrologic Simulation

Rainfall estimated from the polarimetric prototype of the Weather Surveillance Radar-1988 Doppler [WSR-88D (KOUN)] was evaluated using a dense Micronet rain gauge network for nine events on the Ft. Cobb research watershed in Oklahoma. The operation of KOUN and its upgrade to dual polarization was completed by the National Severe Storms Laboratory. Storm events included an extreme rainfall case from Tropical Storm Erin that had a 100-yr return interval. Comparisons with collocated Micronet rain gauge measurements indicated all six rainfall algorithms that used polarimetric observations had lower root-meansquared errors and higher Pearson correlation coefficients than the conventional algorithm that used reflectivity factor alone when considering all events combined. The reflectivity based relation R(Z) was the least biased with an event-combined normalized bias of 29%. The bias for R(Z), however, was found to vary significantly from case to case and as a function of rainfall intensity. This variability was attributed to different drop size distributions (DSDs) and the presence of hail. The synthetic polarimetric algorithm R(syn) had a large normalized bias of 231%, but this bias was found to be stationary. To evaluate whether polarimetric radar observations improve discharge simulation, recent advances in Markov Chain Monte Carlo simulation using the Hydrology Laboratory Research Distributed Hydrologic Model (HL-RDHM) were used. This Bayesian approach infers the posterior probability density function of model parameters and output predictions, which allows us to quantify HL-RDHM uncertainty. Hydrologic simulations were compared to observed streamflow and also to simulations forced by rain gauge inputs. The hydrologic evaluation indicated that all polarimetric rainfall estimators outperformed the conventional R(Z) algorithm, but only after their long-term biases were identified and corrected.
Insights into the therapeutic potential of hypoxia-inducible factor-1α small interfering RNA in malignant melanoma delivered via folate-decorated cationic liposomes

Malignant melanoma (MM) represents the most dangerous form of skin cancer, and its incidence is expected to rise in the coming time. However, therapy for MM is limited by low topical drug concentration and multidrug resistance. This article aimed to develop folate-decorated cationic liposomes (fc-LPs) for hypoxia-inducible factor-1α (HIF-1α) small interfering (siRNA) delivery, and to evaluate the potential of such siRNA/liposome complexes in MM therapy. HIF-1α siRNA-loaded fc-LPs (siRNA-fc-LPs) were prepared by a film hydration method followed by siRNA incubation. Folate decoration of liposomes was achieved by incorporation of folate/oleic acid-diacylated oligochitosans. The resulting siRNA-fc-LPs were 95.3 nm in size with a ζ potential of 2.41 mV. The liposomal vectors exhibited excellent loading capacity and protective effect toward siRNA. The in vitro cell transfection efficiency was almost parallel to the commercially available Lipofectamine™ 2000. Moreover, the anti-melanoma activity of HIF-1α siRNA was significantly enhanced through fc-LPs. Western blot analysis and apoptosis test demonstrated that siRNA-fc-LPs substantially reduced the production of HIF-1α-associated protein and induced the apoptosis of hypoxia-tolerant melanoma cells. Our designed liposomal vectors might be applicable as siRNA delivery vehicle to systemically or topically treat MM.
Peer assessment of, for and as learning: a core component of an accredited professional development course for Higher Education teachers

A core competence associated with effective teaching in Higher Education is self-awareness and is associated with reflective practice, an active process of learning and teaching development. Through reflection, teachers can gain insight into personal strengths and limitations which consequently can be of benefit when focusing on enhancing the knowledge, skills and dispositions of their learners. This study concerns an accredited programme for the professional development of teachers in Higher Education, developed for both experienced and novice teachers to learn new skills and share existing ideas. The design of the programme ensures that peer assessment and feedback are embedded to support assessment of, for and as learning. This study examines the perceived value of peer assessment and feedback in relation to learning from the perspectives of both learners enrolled on the programme and the academic programme team. Attention is paid to how the use of peer assessment and feedback has impacted on the learning experience of teachers and a conceptual model is proposed as to how peer assessment and feedback can be effectively used as a method of assessment of, for and as learning.
Meeting the Leadership Challenge of Employee Well-Being Through Relationship PsyCap and Health PsyCap

Increasing recognition is being given to the role that employee overall well-being plays in desired outcomes of today’s organizations. To help organizational leaders searching for understanding and answers, we propose that the positive core construct of psychological capital (or simply PsyCap), consisting of the positive psychological resources of hope, efficacy, resiliency, and optimism can be extended into the well-being domain. Although PsyCap has been clearly demonstrated to be related to employee attitudes, behaviors, and performance, linking it with other life domains relevant to overall well-being has yet to be tested. After first building a comprehensive conceptual foundation for extending PsyCap into the well-being domain, we empirically found that a cross section of employees’ (N = 523) “Relationship PsyCap” and “Health PsyCap” were related to both their respective satisfaction appraisals and desired objective outcomes. In addition, these two extended life satisfactions, along with the already well-established work satisfaction, combined to relate to the appraisal of the study participants’ overall well-being. This well-being was in turn found to be related to their overall level of PsyCap. These findings have implications for helping leaders meet the challenges they face in both understanding and helping develop the overall well-being of their employees.
A Bayesian hierarchical diffusion model decomposition of performance in Approach–Avoidance Tasks

Common methods for analysing response time (RT) tasks, frequently used across different disciplines of psychology, suffer from a number of limitations such as the failure to directly measure the underlying latent processes of interest and the inability to take into account the uncertainty associated with each individual's point estimate of performance. Here, we discuss a Bayesian hierarchical diffusion model and apply it to RT data. This model allows researchers to decompose performance into meaningful psychological processes and to account optimally for individual differences and commonalities, even with relatively sparse data. We highlight the advantages of the Bayesian hierarchical diffusion model decomposition by applying it to performance on Approach–Avoidance Tasks, widely used in the emotion and psychopathology literature. Model fits for two experimental data-sets demonstrate that the model performs well. The Bayesian hierarchical diffusion model overcomes important limitations of current analysis procedures and provides deeper insight in latent psychological processes of interest.