Miracle-dz/UniFAR-FTUs huggingface dataset:
WCET(m) Estimation in Multi-core Systems Using Single Core Equivalence

Multi-core platforms represent the answer of the industry to the increasing demand for computational capabilities. From a real-time perspective, however, the inherent sharing of resources, such as memory subsystem and I/O channels, creates inter-core timing interference among critical tasks and applications deployed on different cores. As a result, modular per-core certification cannot be performed, meaning that: (1) current industrial engineering processes cannot be reused, (2) software developed and certified for single-core chips cannot be deployed on multi-core platforms as is. In this work, we propose the Single Core Equivalence (SCE) technology: a framework of OS-level techniques designed for commercial (COTS) architectures that exports a set of equivalent single-core virtual machines from a multi-core platform. This allows per-core schedulability results to be calculated in isolation and to hold when multiple cores of the system run in parallel. Thus, SCE allows each core of a multi-core chip to be considered as a conventional single-core chip, ultimately enabling industry to reuse existing software, schedulability analysis methodologies and engineering processes.
Design of an electronically tunable laser diode integrated on the SOI platform

Fast tunable laser diodes are expected to play a crucial role in future optical packetswitched data center and metro networks. We propose a heterogeneously integrated laser diode for fast and wide wavelength tuning. The laser structure consists of III-V tunable twin-guide (TTG) membrane that is adhesively bonded on sampled-grating-containing SOI structures. In this paper, we will present a detailed design analysis of the suggested laser structure. Emphasis is put on the optimisation of the modal gain, tuning efficiency and grating coupling constant. Simulations of an adiabatic tapered coupler to efficiently couple the light from the III-V waveguide to the underlying silicon device layer are presented as well.
Spiral of silence on social media and the moderating role of disagreement and publicness in the network: Analyzing expressive and withdrawal behaviors

Using two-wave panel data from Hong Kong, this study examines the spiral of silence process on social media. It extends the theoretical framework by including both supporting and disagreeing opinion expression and examining not only expressive but also withdrawal behaviors on social media. This study also investigates the moderating roles of disagreement and publicness as two affordances on social media that influence the spiral of silence process. Results from the moderated mediation model with a panel lagged and autoregressive analysis suggest that fear of social isolation (FSI) has an indirect effect on discouraging disagreeing opinion expression but not supporting opinion expression and on encouraging withdrawal behaviors through enhancing willingness to self-censor (WTSC) on social media. This indirect effect is contingent on the levels of disagreement and publicness in one’s network. Higher levels of disagreement and publicness promote the spiral of silence. Implications of the findings are discussed.
Tools for Conviviality

The multidimensional analysis of ceilings for industrial growth was first formulated in a Spanish document co-authored by Valentina Borremans and myself and submitted as a guideline for a meeting of two dozen Chilean socialists and other Latin Americans at CIDOC (the Center for Intercultural Documentation) in Cuernavaca, Mexico. The next version was presented at the Zeno Symposium organized by Professor Richard Wollheim in Cyprus. It was published in Esprit, Paris, March 1972, with criticisms by Th. Adam, Pierre Caussat, J. P. Chevenement, Paul Fraisse, Yves Goussault, Pierre Kende, J. W. Lapierre, Michel Panoff, Henri Pequignot, Jean Marie Domenach, and Paul Thibaud. A third version served me and my deceased friend Greer Taylor as the basis for our participation in the Canadian Conference on the Law in January 1972 in Ottawa. Comments by David Weisstub, Nils Christie, Allen M. Linden, J. G. Castel, H. w. Arthurs, Jos# Antonio Viera-Gallo, J. C. Smith, and Bonaventura de Sousa Santos, and other critical papers by jurists, will be published in mid-1973 in Toronto. During the summer of 1972, participants in my CIDOC seminar contributed very helpful papers. I'm especially grateful for the assistance of John Bradley, John Brewer, Jos# Maria and Veronica Bulnes, Martin Cohen, Irene Curbelo de Diaz, Dennis Detzel, Joseph Fitzpatrick, Amnon Goldworth, Conrad Johnson, Hartmut von Hentig, John MacKnight, Michael Maccoby, Leslie Marcus, Francisco Mir6 Quesada, Marie-No#lle Monteil, William Ophuls, Marta H. Reed, Everett Reimer, Francisco Varela, Etienne Verne, Jacques Vidal and German Zabala. Dennis Sullivan has patiently and critically assisted me in editing the final version. After I had delivered this manuscript to the publisher, I received valuable suggestions from J.P. Naik and his friends in India. These have seeped into the text to the extent this can happen in the correction of proofs. Second only to Valentina Borremans and Greer Taylor, Heinz von Foerster, Erich Fromm, Hermann Schwember and Abrah#n Diaz Gonzales have exerted the most decisive influence on the formulation of my ideas. 2A (023)
Explorations into adolescents' perceived maturity with parents and peers

Many social relationships have the potential to influence perceived maturity. Previous research has not examined the possibility of distinct perceptions emerging from different relationships. This initial investigation focuses on parents and peers as the two groups with which social perceptions of maturity might vary. This investigation also addresses potential changes in perceived maturity over time, and its association with chronological age and gender of the adolescent. Additionally, Moffitt’s (1993) developmental taxonomy and an alternative model for adolescents’ association with deviant peers are tested. Three hundred and twenty six adolescents (129 boys, 197 girls) from a high school in a large urban city in western Canada participated in this study. Students ranged from 12 to 17 years of age and were in grades 8 through 11 at the first wave of data collection. Two waves of data, one year apart, were used. Analyses found support for a differentiation between perceived maturity with parents and peers for about 40% of participants. Changes in perceived maturity over a one-year period were also found for parents (53%) and for peers (52%). Results indicated that there was no statistically significant relationship between chronological age or gender of the adolescent and perceived maturity. Neither Moffitt’s (1993) model nor the alternative model was supported. Implications for the differences in perceived maturity between parents and peers as well as changes in perceived maturity are discussed.
Replication of Hepatitis C Virus in Cultured Non‐neoplastic Human Hepatocytes

We established a replication system for hepatitis C virus (HCV) using the PH5CH non‐neoplastic human hepatocyte line that had been immortalized with simian virus 40 large T antigen. In cells inoculated with sera derived from two HCV‐positive blood donors, positive‐stranded HCV RNA was detected up to 30 days postinoculation (p.i.). Semi‐quantitative analysis of HCV RNA revealed that HCV multiplied during the period of culture. Sequence analysis of the HCV hypervariable region 1 (HVR1) in both cases indicated that HVR1 populations from the cells at 8 days p.i. were apparently different from those of the original inocula. HVR1 populations in infected cells became homogeneous or just a few species were selected over time. These results suggest that HCV is replicating in the human hepatocyte PH5CH cells. This culture system will be useful for detailed studies of the biological effects of HCV in human hepatocytes.
Design of Compact Dual-Passband Filters by Parasitic Passband With Controllable Passbands

This letter presents a new method for designing dual-passband filter by parasitic passband. On the one hand, the interdigital capacitor at the openings of the hairpin resonators is used to push the parasitic passband to higher frequency. On the other hand, we can use a coupled structure (stepped impedance resonators) at the bottom of hairpin resonators to make two passbands closer. Four complementary split-ring resonators on both the sides of the tap lines are used to achieve the independent adjustment of bandwidth. When the center frequency of the first passband is fixed at 2.4 GHz, the second passband can be tuned from 3.9 to 6.2 GHz. Meanwhile, we use only one resonant structure to achieve the dual passband response by these methods. Thus, the sizes of the filters are also minimized obviously. Finally, several filters are fabricated and measured to demonstrate the design.
Sensitivity to Anticancer Agents and Resistance Mechanisms in Clear Cell Carcinoma of the Ovary

We conducted the present study to determine the chemoresistance mechanisms in clear cell carcinoma of the ovary (CCC). Five human CCC cell lines (HAC‐2, RMG‐I, RMG‐II, KK, and KOC‐7c) were used in this study. The sensitivity of the cells to the anticancer agents was determined by 3–(4,5–dimethylthiazol‐2‐yl)‐2,5‐diphenyltetrazolium bromide (MTT) assay and we assessed drug sensitivity by calculating assay area under the curve (AUC) for each agent. The expression of multi‐drug resistance genes (MDR‐1, MRP‐1, MRP‐2) was detected by reverse transcription‐polymerase chain reaction (RT‐PCR). Glutathione (GSH) concentration was measured by an enzymatic assay. Topoisomerase (topo) I activity was assayed in terms of relaxation of supercoiled plasmid substrate DNA. The IC50 to anticancer agents ranged widely. The assay AUC indicated that 3 of 5 cell lines (RMG‐I, RMG‐II, and KK) were sensitive to paclitaxel (PTX), 3 (HAC‐2, RMG‐I, and RMG‐II) were sensitive to 7–ethyl‐10‐hydroxycamptothecin (SN‐38), which is an active metabolite of camptothecin (CPT‐11), and only one (HAC‐2) was sensitive to cisplatin (CDDP). All cell lines were resistant to mitomycin‐C (MMC) and etoposide (VP‐16). The MRP‐1 gene was detected in all cell lines. Only one cell line showed both MRP‐2 and MDR‐1 gene expression. Except for HAC‐2 cells, expression of MRP genes was related to CDDP resistance, and MDR‐1 gene expression was associated with PTX resistance. GSH concentrations increased after exposure to CDDP or MMC in all cell lines. There was a significant correlation between topo‐I enzymatic activity and the response to SN‐38. The present study revealed several resistance mechanisms in CCC and the results suggested that PTX and CPT‐11 might be effective agents to treat CCC.
Silver solid solution piezoelectrics

Using density functional theory calculations, we investigate the feasibility of using silver on the perovskite A-site in high-performance lead-free piezoelectrics. The calculations show that silver atoms are ferroelectrically active and can off-center by 0.5A. To induce Ag ferroelctric behavior absent in pure AgNbO3 we explore solid solutions of AgNbO3 with well-known simple perovskites PbTiO3, BaZrO3, and BaTiO3. For the AgNbO3–PbTiO3 solid solution, we predict a morphotropic phase boundary near (AgNbO3)3∕8(PbTiO3)5∕8. We find an unusual sequence of compositional phase transitions in AgNbO3–BaZrO3 and AgNbO3–BaTiO3 which are due to the effects of volume expansion in perovskites. For the AgNbO3–BaTiO3 solid solution we find two morphotropic phase boundaries at 12.5% and 37.5% AgNbO3 compositions with favorable piezoeletric properties and indications of high TC.
Lower body kinetics during the jump shrug: impact of load

The jump shrug (JS) is a weightlifting variation that can be used to teach the power clean (PC), but can also be used to train lower body power itself.1 The JS is ballistic in nature and requires a subject to perform a countermovement with the barbell to the top of the knee, return to the mid-thigh position, and maximally jump while simultaneously shrugging their shoulders.1-3 This PC variation differs from others in that there is a deliberate attempt to jump with the barbell. Despite its potential to produce high amounts of lower body power, only one study has investigated the power development potential of the JS. Suchomel et al.1 demonstrated that the JS produced statistically greater peak force (PF), velocity (PV) and power (PP) than the hang clean (HC) when performed at the same absolute loads. However, their study only examined main effect differences and did not examine the impact that load had on the kinetics associated with power development during the JS.
Complex Regulatory Networks of Flowering Time in Rice

Rice flowering is inhibited when days are long during Spring and early Summer. This phenomenon is mediated by several independent pathways. Several genes are preferentially expressed under such conditions, including Grain yield and heading date 7 (Ghd7), Heading date 1 (Hd1), Heading date 5 (Hd5), and Heading date 6 (Hd6). By contrast, Oryza sativa Constans-like 4 (OsCOL4) deters flowering regardless of day length. The AP2-like genes Supernumerary Bract (SNB) and Oryza sativa Indeterminate Spikelet1 (OsIDS1) constitutively inhibit flowering. However, as days become shorter in late Summer, flowering is induced. Although Hd1 protein functions as a repressor under long days, it becomes a promoter under short days (SD). Both OsMADS50 and OsDof12 induce flowering specifically under LD, while Oryza sativa Indeterminate 1 (OsId1) causes flowering regardless of day length. Levels of expression by the repressors decrease as plants mature. For example, Ghd7 transcripts are more abundant in young plants. Transcripts of SNB and OsIDS1 are degraded by miR172, which is induced in older plants. Most of the upstream signals are transferred to Early heading date 1 (Ehd1), an immediate upstream regulator of the florigen genes Heading data 3a (Hd3a) and Rice FT 1 (RFT1). However, some signals directly turn on the florigens that are transferred to the shoot apical meristem, where the reproductive transition occurs.
Is higher-quality land developed earlier?

Is higher-quality land developed earlier? To answer this question, the paper applies comparative static analysis to the Arnott–Lewis model of the transition of land from agricultural to urban use. It is shown that (i) an increase in agricultural fertility increases structural density and delays development; (ii) a decrease in land preparation cost reduces structural density and hastens development; and (iii) both an increase in amenities and a decrease in structure construction costs normally hasten but in anomalous cases can delay development.
Hybrid Precoding for Millimeter Wave MIMO Systems: A Matrix Factorization Approach

This paper investigates the hybrid precoding design for millimeter wave multiple-input multiple-output systems with finite-alphabet inputs. The precoding problem is a joint optimization of analog and digital precoders, and we treat it as a matrix factorization problem with power and constant modulus constraints. This paper presents three main contributions. First, we present a sufficient condition and a necessary condition for hybrid precoding schemes to realize unconstrained optimal precoders exactly when the number of data streams <inline-formula> <tex-math notation="LaTeX">$N_{\mathrm {s}}$ </tex-math></inline-formula> satisfies <inline-formula> <tex-math notation="LaTeX">$N_{\mathrm {s}}=\min \{\mathrm {rank}({\mathbf{H}}),N_{\mathrm {rf}}\}$ </tex-math></inline-formula>, where <inline-formula> <tex-math notation="LaTeX">${\mathbf{H}}$ </tex-math></inline-formula> represents the channel matrix and <inline-formula> <tex-math notation="LaTeX">$N_{\mathrm {rf}}$ </tex-math></inline-formula> is the number of radio frequency chains. Second, we show that the coupled power constraint in our matrix factorization problem can be removed without loss of optimality. Third, we propose a Broyden-Fletcher-Goldfarb-Shanno-based algorithm to solve our matrix factorization problem using gradient and Hessian information. Several numerical results are provided to show that our proposed algorithm outperforms existing hybrid precoding algorithms.
Energy-efficient bridge-to-digital converters

This paper presents an overview of energy-efficient analog-to-digital converters (ADCs) specifically intended for the readout of Wheatstone bridge sensors. Apart from achieving good energy-efficiency, such bridge-to-digital converters (BDCs) must achieve low input-referred offset, drift and noise; high gain accuracy, stability and linearity; as well as high immunity to power-supply and common-mode variations. Various BDC architectures are discussed, beginning with traditional designs, in which an instrumentation amplifier is used to drive an ADC, and moving on to more recent work, which attempt to increase energy efficiency and reduce complexity by eliminating the instrumentation amplifier. The performance of these topologies, and in particular their energy-efficiency, will be compared and summarized.
The Interaction of Religion, Political Ideology, and Concern About Climate Change in the United States

ABSTRACT Political ideology and religion are considered important influences on attitudes about climate change, as many people rely on ideological and religious cues to help shape attitudes about this highly complex, uncertain, and politicized issue. While many scholars have studied the impacts of political orientation and religious affiliation independently, few have studied whether and how they interact in shaping concern about climate change. This article uses a large sample study to examine the impact of religious tradition on two indicators of concern about climate change within categories of political ideology. This study shows that religious affiliation moderates the impact of ideology, and that these interaction effects vary across religious traditions. Perhaps most significantly, this study reveals that religious affiliation is most influential on political liberals but has very little impact on conservatives. This holds significant implications for the way we understand the relationship between religion and environmental attitudes.
Perceptual DFT Watermarking With Improved Detection and Robustness to Geometrical Distortions

More than ever, the growing amount of exchanged digital content calls for efficient and practical techniques to protect intellectual property rights. During the past two decades, watermarking techniques have been proposed to embed and detect information within these contents, with four key requirements at hand: robustness, security, capacity, and invisibility. So far, researchers mostly focused on the first three, but seldom addressed the invisibility from a perceptual perspective and instead mostly relied on objective quality metrics. In this paper, a novel DFT watermarking scheme featuring perceptually optimal visibility versus robustness is proposed. The watermark, a noise-like square patch of coefficients, is embedded by substitution within the Fourier domain; the amplitude component adjusts the watermark strength, and the phase component holds the information. A perceptual model of the human visual system (HVS) based on the contrast sensitivity function (CSF) and a local contrast pooling is used to determine the optimal strength at which the mark reaches the visibility threshold. A novel blind detection method is proposed to assess the presence of the watermark. The proposed approach exhibits high robustness to various kinds of attacks, including geometrical distortions. Experimental results show that the robustness of the proposed method is globally slightly better than state-of-the-art. A comparative study was conducted at the visibility threshold (from subjective data) and showed that the obtained performances are more stable across various kinds of content.
Bounding Connected Tree-Width

Diestel and M\"uller showed that the connected tree-width of a graph $G$, i.e., the minimum width of any tree-decomposition with connected parts, can be bounded in terms of the tree-width of $G$ and the largest length of a geodesic cycle in $G$. We improve their bound to one that is of correct order of magnitude. Finally, we construct a graph whose connected tree-width exceeds the connected order of any of its brambles. This disproves a conjecture by Diestel and M\"uller asserting an analogue of tree-width duality.
The increasing mortality advantage of the married: The role played by education

Background: In several European countries the excess mortality of nonmarried people relative to the married has increased. In this study we describe in detail the increasing mortality advantage of the married in Norway and investigate the extent to which changes in educational composition of marital-status groups can account for this increasing mortality gap. Methods: Using register data for the entire population of Norway, we estimated discrete-time hazard models for mortality at age 50–89 in years 1975–2008. We also estimated one-year death probabilities by age, period, marital status, education, and spouse’s education. These were used to calculate period-specific age-standardized death probabilities for marital-status categories and hypothetical versions of these, assuming constant death probabilities in each educational group in each marital-status category or constant educational distributions. Hypothetical and observed versions were then compared. Results: The mortality of nonmarried people relative to married people increased sharply over the years 1975–2008. During the first part of this period, mortality was constant or even increasing among the never-married, who at the end of the period could be considered as lagging 30 years behind the married. Educational patterns have changed markedly, but this explains only up to 5% of the increasing mortality disadvantage of the never-married. Educational changes have contributed more to the growing disadvantage of the widowed, while the picture is more mixed for the divorced. Contribution: We demonstrate that there has been a large widening in the marital-status differences in mortality in Norway since the 1970s and that little of this difference can be attributed to changes in educational distributions.
N‐Acetylcysteine Modifies cis‐Dichlorodiammineplatinum‐induced Effects in Bladder Cancer Cells

We previously demonstrated a role of reactive oxygen species (ROS) in cytotoxicity induced by cis‐dichlorodiammineplatinum (CDDP) in combination with glutathione (GSH) depletors in bladder cancer cells. However, the relationship between CDDP and ROS is still unclear, although many mechanisms of drug resistance have been well characterized. The present study was undertaken to investigate the effects of N‐acetylcysteine (NAC), a GSH precursor, on the CDDP‐induced effects in bladder cancer cells (KU1). The cytotoxic effects of CDDP were significantly blunted by NAC (1 mM) in KU1 cells. The IC50 of CDDP only (10.2±1.2 μM) is significantly lower than that of CDDP with NAC (IC50: 20.3±1.6 μM) in KU1 cells. NAC also significantly increased the intracellular concentration of GSH in KU1 cells (37.2±1.6 nmol/106 cells), compared to controls (15.9±7.6 nmol/106 cells). While CDDP produced a significant increase in ROS as measured in terms of dichlorofluorescein (DCF) production in KU1 cells in a time‐dependent manner, pretreatment with NAC significantly reduced CDDP‐induced intracellular DCF in KU1 cells. Moreover, TdT‐mediated dUTP‐biotin nick‐end labeling (TUNEL) assay showed that CDDP‐induced apoptosis (31.1±3.8%) was significantly inhibited by pretreatment with NAC in KU1 cells (11.2±2.6%). These results demonstrated that NAC scavenges CDDP‐induced ROS and inhibits CDDP‐induced cytotoxicity, suggesting that ROS mediate the CDDP‐induced cytotoxicity in bladder cancer cells.