Miracle-dz/UniFAR-FTUs huggingface dataset:
Cost Sharing over Combinatorial Domains

We study the problem of designing cost-sharing mechanisms for combinatorial domains. Suppose that multiple items or services are available to be shared among a set of interested agents. The outcome of a mechanism in this setting consists of an assignment, determining for each item the set of players who are granted service, together with respective payments. Although there are several works studying specialized versions of such problems, there has been almost no progress for general combinatorial cost-sharing domains until recently [9]. Still, many questions about the interplay between strategyproofness, cost recovery, and economic efficiency remain unanswered. The main goal of our work is to further understand this interplay in terms of budget balance and social cost approximation. Towards this, we provide a refinement of cross-monotonicity (which we term trace-monotonicity) that is applicable to iterative mechanisms. The trace here refers to the order in which players become finalized. On top of this, we also provide two parameterizations (complementary to a certain extent) of cost functions, which capture the behavior of their average cost-shares. Based on our trace-monotonicity property, we design an Iterative Ascending Cost-Sharing Mechanism, which is applicable to the combinatorial cost-sharing setting with symmetric submodular valuations. Using our first cost function parameterization, we identify conditions under which our mechanism is weakly group-strategyproof, \( O(1) \) -budget-balanced, and \( O(H_n) \) -approximate with respect to the social cost. Furthermore, we show that our mechanism is budget-balanced and \( H_n \) -approximate if both the valuations and the cost functions are symmetric submodular; given existing impossibility results, this is best possible. Finally, we consider general valuation functions and exploit our second parameterization to derive a more fine-grained analysis of the Sequential Mechanism introduced by Moulin. This mechanism is budget balanced by construction, but in general, only guarantees a poor social cost approximation of \( n \) . We identify conditions under which the mechanism achieves improved social cost approximation guarantees. In particular, we derive improved mechanisms for fundamental cost-sharing problems, including Vertex Cover and Set Cover.
Breaking the Speed-Power Tradeoffs in Broadband Circuits: Reviewing design techniques for transceivers up to 56 GHz

The power consumption of broadband circuits used in wireline systems becomes increasingly more critical as higher speeds are sought. This article presents a number of design techniques that greatly relax the tradeoffs between the speed and power consumption of functions such as multiplexers (MUXs), frequency dividers, and equalizers. Examples include quadrature multiplexing, charge steering, and feedforward techniques. The concepts have been demonstrated in CMOS transceivers up to 56 GHz.
Hyperspectral Anomaly Detection via Dual Dictionaries Construction Guided by Two-Stage Complementary Decision

Low rank and sparse representation (LRSR) with dual-dictionaries-based methods for detecting anomalies in hyperspectral images (HSIs) are proven to be effective. However, the potential anomaly dictionary is vulnerable to being contaminated by the background pixels in the above methods, and this limits the effect of hyperspectral anomaly detection (HAD). In this paper, a dual dictionaries construction method via two-stage complementary decision (DDC–TSCD) for HAD is proposed. In the first stage, an adaptive inner window–based saliency detection was proposed to yield a coarse binary map, acting as the indicator to select pure background pixels. For the second stage, a background estimation network was designed to generate a fine binary map. Finally, the coarse binary map and fine binary map worked together to construct a pure background dictionary and potential anomaly dictionary in the guidance of the superpixels derived from the first stage. The experiments conducted on public datasets (i.e., HYDICE, Pavia, Los Angeles, San Diego-I, San Diego-II and Texas Coast) demonstrate that DDC–TSCD achieves satisfactory AUC values, which are separately 0.9991, 0.9951, 0.9968, 0.9923, 0.9986 and 0.9969, as compared to four typical methods and three state-of-the-art methods.
Potency of Balinese Kecombrang (Etlingeraelatior) Extract As Antioxidant Against The Activity of Superoxide Dismutase (SOD), Glutathione (GSH) And Fatty liver in Obese rats

Kecombrang is a plant that contains many antioxidants such as polyphenols, tannins, saponins, flavonoids and steroids. The purpose of this study was to observe the potential of the ethanolic extract of kecombrang flowers and stems as an antioxidant on the activity of superoxide dismutase (SOD),glutathione (GSH)and fatty liver of obese wistar rats. This study used 24 rats divided into 4 treatment groups, namely the normal group (standard diet), group 1 (high fat diet), group 2 (high fat diet + 100 mg / kg bw kecombrang flowers extract) and group 3 (high fat diet + 100 mg / kg bw kecombrang stems extract). The treatment duration was 30 days and on the last treatment day, the rats were fasted for 14 hours and then their blood was taken and dissected for measurement of SOD, and GSH activity. Liver was taken for fatty liver analysis. The results showed that the extracts intake of kecombrang flowers and stems gave increase SOD and GSH concentrations and decrease fatty liver with significant differences (p <0.05). It can be concluded that the intake of kecombrang flower and stem extracts have the potential as an antioxidant against SOD, GSH activity, and reduce fatty liver.
O DANO MORAL DO SERVIDOR PÚBLICO DECORRENTE DA INSTAURAÇÃO DE PROCEDIMENTO CORRECIONAL SEM JUSTA CAUSA

Trata-se de pesquisa que apresenta a tese de que a instauração de uma sede correcional disciplinar em face de um servidor público, sem um profundo e consistente juízo de admissibilidade por parte da autoridade titular do jus puniendi, no qual se averigue a existência de justa causa para a existência do feito jurisdicional administrativo, lesa a personalidade do servidor e, consequentemente, é passível de ser compensada a título de dano moral. Decorreu de pesquisa indutiva com julgados, na qual se buscou estabelecer uma referência geral com base no conhecimento de certo número de dados singulares para a elaboração de uma conclusão de cunho genérico. A investigação identificou os direitos da personalidade lesados e como a instauração do procedimento lesa tais poderes. Daí que se concluiu pela viabilidade e operabilidade da tese defendida, que encontrou respaldo em decisões de órgãos de apelação e da instância superior e suprema.
Low tension graphene drums for electromechanical pressure sensing

We present a process to fabricate electromechanical pressure sensors using multilayer graphene in a sealed drum geometry. The drum resonators are fabricated on insulating sapphire substrates with a local back gate for direct radio frequency ( rf ? > ) actuation and detection of the mechanical modes. Using this scheme, we show the detection and electrostatic tuning of multiple resonant modes of the membrane up to 200 MHz. The geometry of the device also helps in attaining low tensile stress in the membrane, thereby giving high gate tunability (∼1 MHz/V) of the resonator modes. We study the resonant frequency shifts in the presence of helium gas and demonstrate a sensing capability of 1 Torr pressure in a cryogenic environment.
Effectiveness of an Intervention Programme on Adherence to the Mediterranean Diet in a Preschool Child: A Randomised Controlled Trial

Background: The Mediterranean diet is considered one of the dietary patterns with the most accumulated scientific evidence on health benefits. In children, it has positive effects in the prevention of obesity and cardiovascular diseases, as well as in the prevention of diabetes. We aimed to evaluate the medium-term efficacy of an intervention programme, targeting adherence to the Mediterranean diet among preschool children. Methods: In a randomised, parallel trial of participants aged 3–5 years, a school garden was attended in the experimental group, and in the control group, the usual content on the human body and health were taught. Adherence to the Mediterranean diet was assessed using the KIDMED questionnaire, controlling for weight, height, body mass index (BMI) and socio-demographic variables. Results: A reduction in BMI was found in the experimental group after one year and at the end of the follow-up period. In the overall score obtained in the KIDMED survey, a statistical trend was found between the two groups (p = 0.076). In multivariate analysis, consumption of pulses more than once a week’ was predictive of improved diet quality, with an Odds Ratio (OR) in the experimental group of 1.382 (95% CI 1.126–1.695; p = 0.009). Conclusions: The experimental approach improved the quality of the participants’ diet, increasing adherence to the Mediterranean diet due to increased consumption of plant-based protein.
An ant colony approach to operation sequencing optimization in process planning

Computer-aided process planning is an important component for linking design and manufacturing in computer-aided design/computer-aided process planning/computer-aided manufacturing integrated manufacturing systems. Operation sequencing in computer-aided process planning is one of the most essential tasks. To solve the problem and acquire optimal process plans, operation sequencing is modeled as a combinatorial optimization problem with various constraints, and a novel modified ant colony optimization algorithm is developed to solve it. To ensure the feasibility of process plans, constrained relationships considered among operations are classified into two categories called precedence constraint relationships and clustering constraint relationships. Operation precedence graph based on constrained relationships is formed to get visual representation. To ensure good manufacturing economy, in the mathematical model for optimization, total weighted production cost or weighted resource transformation time related to machine changes, setup changes, tool changes, machines and tools is utilized as the evaluation criterion. To avoid local optimum and enhance global search ability, adaptive updating method and local search mechanism are embedded into the optimization algorithm. Case studies of three parts are carried out to demonstrate the feasibility and robustness of the modified ant colony optimization algorithm, and some comparisons between the modified ant colony optimization algorithm and previous genetic algorithm, simulated annealing algorithm, tabu search and particle swarm optimization algorithm are discussed. The results show that the modified ant colony optimization algorithm performs well in the operation sequencing problem.
Development and Evaluation of Event-Driven SOI Pixel Detector for X-ray Astronomy

Ayaki Takeda∗a, Takeshi Go Tsurua, Takaaki Tanakaa, Hideaki Matsumuraa, Yasuo Araib, Koji Moric, Yusuke Nishiokac, Ryota Takenakac, Takayoshi Kohmurad , Shinya Nakashimae, Shoji Kawahito f , Keiichiro Kagawa f , Keita Yasutomi f , Hiroki Kamehama f and Sumeet Shrestha f aDepartment of Physics, Faculty of Science, Kyoto University bInstitute of Particle and Nuclear Studies (IPNS), High Energy Accelerator Research Organization (KEK) cDepartment of Applied Physics, Faculty of Engineering, University of Miyazaki dDepartment of Physics, School of Science and Technology, Tokyo University of Science eJapan Aerospace Exploration Agency (JAXA) fResearch Institute of Electronics, Shizuoka University
Linguística Funcional Centrada no Uso: teoria, método e aplicação

Neste texto, apresentamos o número especial 2022 da Revista Odisseia, organizado para abrigar trabalhos voltados para as mais recentes tendências de pesquisa na área da Linguística Funcional Centrada no Uso. De início, partimos da contextualização dessa perspectiva linguística no cenário acadêmico brasileiro, explicitando sucintamente seus pressupostos teóricos e categorias analíticas. Contemplamos aspectos de ordem conceitual e metodológica com que pesquisadores funcionalistas passaram a lidar devido à incorporação de postulados e conceitos operacionais da Gramática de Construções. Por fim, descrevemos os trabalhos que compõem este dossiê, os quais se voltam tanto para a reflexão e/ou a discussão de questões teóricas e metodológicas quanto para a aplicação desse viés funcionalista à descrição e à análise do português.
Collaborative Teacher Development on Teaching World Englishes

Teachers play a central role in shaping education. Educational innovations succeed or fail with the teachers who shape it (Lieberman & Pointer Mace, 2008); thus teachers’ professional development process should be given utmost importance and organized in a way that supports and promotes their growth. Traditional INSET programs based on knowledge-transmission are found to be ineffective in reaching this aim. The present case-study introduces a collaborative INSET program, in which the participating pre-and in-service teachers tried to develop their understanding of World Englishes and integrate it into teaching under the guidance of university supervisors. Data collected by means of interviews revealed that this process enriched the knowledge of the participants and enabled them to look at the relevant issue from a critical perspective.
Antimicrobial Synergy between Aminoglycosides and Licorice Extract in Listeria monocytogenes

Listeria monocytogenes is a foodborne pathogen that can develop serious invasive infections. Among foodborne pathogens, L. monocytogenes exhibits the highest case fatality despite antibiotic treatment, suggesting the current therapy should be improved. Although ampicillin and gentamicin are used as a combination therapy to treat listeriosis, our results showed there is no synergy between the two antibiotics. We discovered that aqueous extract of licorice generated significant antimicrobial synergy when combined with aminoglycosides, such as gentamicin, in L. monocytogenes. In the presence of 1 mg/mL licorice extract, for instance, the minimum inhibitory concentration (MIC) of gentamicin was reduced by 32-fold. Moreover, antimicrobial synergy with licorice extract made gentamicin-resistant clinical isolates of L. monocytogenes susceptible to gentamicin. Given the common use of licorice as a food sweetener in Western countries and a herb in Oriental medicine, our findings suggest that licorice extract can be potentially used as an antibiotic adjuvant to improve the efficacy of antimicrobial treatment of listeriosis.
A survey of interconnection requirements for wind power

The unpredictability and variability of wind power increasingly challenges real-time balancing of supply and demand in electric power systems. In liberalised markets, balancing is a responsibility jointly held by the TSO (real-time power balancing) and PRPs (energy programs). In this paper, a procedure is developed for the simulation of power system balancing and the assessment of AGC performance in the presence of large-scale wind power, using the Dutch control zone as a case study. The simulation results show that the performance of existing AGC-mechanisms is adequate for keeping ACE within acceptable bounds. At higher wind power penetrations, however, the capabilities of the generation mix are increasingly challenged and additional reserves are required for keeping ACE at the same level. Index Terms — Wind Power, System Integration, Secondary Control, Automatic Generation Control, Dynamic Simulation
Methylglyoxal Induces Inflammation, Metabolic Modulation and Oxidative Stress in Myoblast Cells

Uremic sarcopenia is a serious clinical problem associated with physical disability and increased morbidity and mortality. Methylglyoxal (MG) is a highly reactive, dicarbonyl uremic toxin that accumulates in the circulatory system in patients with chronic kidney disease (CKD) and is related to the pathology of uremic sarcopenia. The pathophysiology of uremic sarcopenia is multifactorial; however, the details remain unknown. We investigated the mechanisms of MG-induced muscle atrophy using mouse myoblast C2C12 cells, focusing on intracellular metabolism and mitochondrial injury. We found that one of the causative pathological mechanisms of uremic sarcopenia is metabolic flow change to fatty acid synthesis with MG-induced ATP shortage in myoblasts. Evaluation of cell viability revealed that MG showed toxic effects only in myoblast cells, but not in myotube cells. Expression of mRNA or protein analysis revealed that MG induces muscle atrophy, inflammation, fibrosis, and oxidative stress in myoblast cells. Target metabolomics revealed that MG induces metabolic alterations, such as a reduction in tricarboxylic acid cycle metabolites. In addition, MG induces mitochondrial morphological abnormalities in myoblasts. These changes resulted in the reduction of ATP derived from the mitochondria of myoblast cells. Our results indicate that MG is a pathogenic factor in sarcopenia in CKD.
`Family Friendly' Policies and Practices in the Oil and Gas Industry: Employers' Perspectives

The paper explores whether key oil and gas companies are expressing aware ness of the work-family debate and reports findings from an ongoing three-year study, funded by the ESRC, which provides an account of the work-family interface in relation to the oil and gas industry. Although this paper is informed by our research as a whole,1 it draws on a specific subset of our data, namely in-depth interviews with human resource personnel in eighteen oil and gas companies (see Table i). 2 Companies determined who should be interviewed and this varied depending on size, internal functional design (e.g. geographical location of senior staff), and the extent to which the research was seen to be of value. In eight com panies, the interviews were conducted with the most senior human resources manager, while in others the personnel interviewed had titles such as 'employee relations manager' or 'support services manager'. American, Canadian, Italian, French, Norwegian and British-owned firms are included. Interviews lasted between one and one-and-a-half hours. Our research has examined how the term 'family friendly' is understood and used by oil and gas companies, providing a useful case in typifying a global business associated with pioneering labour market changes, with high levels of institu tionalised insecurity and traditionally a male dominated workforce. Are there demonstrable 'family-friendly' policies in existence in their organisation? What factors do human resources personnel perceive to be influencing policy develop ment, and what conditions promote opportunities for the development of'family responsive policies'? The paper highlights the extent to which companies share and compete with each other in this sphere. We explore whether there are internal or
A multi-period scheduling method for trading-off between skilled-workers allocation and outsource service usage in dynamic CMS

In this paper, a new method is proposed for short-term period scheduling of dynamic cellular manufacturing systems in a dual resource constrained environment. The aim of this method is to find best production strategy of in-house manufacturing using worker assignment (both temporary and skilled workers) and outsourcing, while part demands are uncertain and can be varied periodically. For this purpose, a multi-period scheduling model has been proposed which is flexible enough to use in real industries. To solve the proposed problem, a number of metaheuristics are developed including Branch and Bound; a hybrid Tabu Search and Simulated Annealing algorithms and a hybrid Ant Colony Optimization and Simulated Annealing algorithms. A Taguchi method (L27 orthogonal optimisation) is used to estimate parameters of the proposed method in order to solve experiments derived from the literature. For evaluating the system imbalance in dynamic market demands, a new measuring index is developed. Our findings indicate that the uncertain market demands affects the part allocating which may induce workstation-load variations that yield to cell-load variation accordingly. To solve this problem, two methods are offered. The results show that promoting staff and using freezing technique are promising ways to reduce system imbalance while confronting with the mentioned condition. The outcomes also show the superiority of the proposed hybrid method in providing solutions with better quality.
Histone Demethylase KDM5C Drives Prostate Cancer Progression by Promoting EMT

Simple Summary Prostate cancer is the most common cancer in men and is one of the leading causes of cancer-related deaths. During prostate cancer progression and metastasis, the epithelial cells can undergo epithelial–mesenchymal transition (EMT). Here, we show that the histone demethylase KDM5C is highly expressed in metastatic prostate cancer. We establish that stable clones silence KDM5C in prostate cancer cells. Knockdown of KDM5C leads to a reduced migratory and invasion capacity. This is associated with changes by multiple molecular mechanisms. This signaling subsequently modifies the expression of various transcription factors like Snail, Twist, and Zeb1/2, which are also known as master regulators of EMT. Taken together, our results indicate the potential to therapeutically target KDM5C either alone or in combination with Akt/mTOR-inhibitor in prostate cancer patients by targeting the EMT signaling pathways. Abstract Prostate cancer (PCa) poses a major public health problem in men. Metastatic PCa is incurable, and ultimately threatens the life of many patients. Mutations in tumor suppressor genes and oncogenes are important for PCa progression, whereas the role of epigenetic factors in prostate carcinogenesis is insufficiently examined. The histone demethylase KDM5C exerts important roles in tumorigenesis. KDM5C has been reported to be highly expressed in various cancer cell types, particularly in primary PCa. Here, we could show that KDM5C is highly upregulated in metastatic PCa. Functionally, in KDM5C knockdown cells migratory and invasion capacity was reduced. Interestingly, modulation of KDM5C expression influences several EMT signaling pathways (e.g., Akt/mTOR), expression of EMT transcription factors, epigenetic modifiers, and miR-205, resulting in increased expression of E-cadherin and reduced expression of N-cadherin. Mouse xenografts of KDM5C knockdown cells showed reduced tumor growth. In addition, the Akt/mTOR pathway is one of the classic signaling pathways to mediate tumor metabolic homeostasis, which is beneficial for tumor growth and metastasis. Taken together, our findings indicate that a combination of a selective KDM5C- and Akt/mTOR-inhibitor might be a new promising therapeutic strategy to reduce metastatic burden in PCa.
CMOS technology scaling for low voltage low power applications

This paper reports the scaling guidelines for CMOS technologies optimized for supply voltages lower than standard values in low power applications. The optimum device structures for several lithographic generations targeted for common supply voltages are provided, using an analytical simulator/optimizer incorporating appropriate physically based models. It is shown that lowering the power consumption without significant performance loss is possible. The advantages of scaling the threshold voltage with supply voltage are emphasized.