Miracle-dz/UniFAR-FTUs huggingface dataset:
Using Unsatisfiable Cores to Estimate Maximum Power in CMOS Combinational Circuits

With the growing integration scales in circuits, the maximum power estimation in CMOS combinational circuits becomes a major design concern for circuit reliability. Previous works formulate it in 0-1 integer linear programming (ILP). However, their approaches do not explicitly express the constraints among variables in the objective function, namely power constraints. The power constraints intuitively characterize the maximum power dissipation. Therefore they cost more time in ILP solving. Motivated by the applications of unsatisfiable cores in optimizing large-scale search problems, we propose a core-guided approach – TEMPO to intuitively express the power constraints. TEMPO includes two processes – refine and abstract, the former for extracting power constraints from unsatisfiable cores and the latter for searching new unsatisfiable cores. The experimental results in the typical MCNC benchmarks show that our approach can improve the speed of solution. Especially, our approach has good performance in challenging benchmarks.
Are Foam Rollers for Muscle Massage Really Beneficial ?

Over recent years in gyms in the United States, foam rollers have sprouted like flowers in spring. Media reports have celebrated the use of these rollers and other aids for promoting a type of self­administered massage therapy called "self­ myofascial release. " This soft tissue therapy for the treatment of skeletal muscle immobility and pain purportedly soothes muscle soreness, increases range of motion, and even improves athletic performance. [1,2]
Age peculiarities of the blockade of α2-adrenoceptors in the formation of the heart sympathetic innervations

Sympathetic nerves affect the heart by releasing mediators norepinephrine and epinephrine and interacting with adrenoreceptors (ARs) located on the outer membrane of cardiomyocytes. In the adrenergic system, the biological signals of norepinephrine and epinephrine affect cardiomyocytes through three different receptor families: α1-АR, α2-АR, and β-АR. Currently, there are nine confirmed subtypes of ARs: α1А-, α1B-, α1D-, α2A-, α2B-, α2C-, β1-, β2-, and β3-ARs. [1,2] It is believed that α2-ARs in the heart of mammals modulate regulatory effects. α2-ARs are located mainly on the presynaptic membrane and regulate the release of norepinephrine and epinephrine from nerve terminals. [3] All subtypes of α2-ARs are interacting with Gi/Go proteins decrease the activity of adenylate cyclase, which reduces the amount of intracellular cyclic adenosine monophosphate. [3,4] α2-ARs are one of the first G-protein receptors identified in the human and mouse genome. [5] All α2-AR subtypes have been identified based on pharmacological analysis and molecular cloning. [6] Immunoblotting assay revealed α2-ARs in cardiac tissue of rats. [7] The method of real-time polymerase chain reaction (PCR, real-time PCR) used in the studies at the mRNA level, immunoblotting, and cytochemical assays with isolated cardiomyocytes confirmed the presence of all three α2-AR subtypes. The mRNA of all α2-AR subtypes was also detected in the human heart by PCR. [8] These three subtypes are widely expressed in various tissues and organs, and mediate various physiological and pharmacological effects in the cardiovascular system. [2,9] During the stimulation of α2-AR, a wide range of the effects of agonists of these receptors hypotension and bradycardia, anesthetic effect, hypothermia, and sedation. [10] Studies in mice with blockade of separate α2-AR subtypes have shown that only a few functions proceed with the participation of one subtype. Most of the physiological and pharmacological functions of α2-ARs were assigned to the α2A-AR subtype. It is known that α2A subtype of AR mediates hypotension, bradycardia, and modulates ABSTRACT
An Improved Small-Size Multiband LTE/GSM/UMTS/WLAN Antenna for Mobile Phone

A planar monopole antenna having small-size, dielectric-loaded yet providing two bands for covering the seven-band LTE/GSM/UMTS/WLAN operation in the mobile phone is presented in this letter. The small-size yet wide band operation is achieved by adjusting the locations of antenna and RF Ground; the antenna is covered by a thin FR4 layer which gives a shorter guided wavelength and wider band-width for each resonant mode to achieve antenna size reduction. The occupied volume of the antenna is only 20×18 2 mm . The proposed antenna is suitable for slim mobile phone applications.
Tilburg University Redistribution and Education Subsidies are Siamese Twins

We develop a model of human capital formation with endogenous labor supply and heterogeneous agents to explore the optimal level of education subsidies along with the optimal progressive schedule of the labor income tax and optimal capital income taxes. Subsidies on education ensure efficiency in human capital accumulation, while taxes on skilled labor help to redistribute income towards the less able. We thus provide a rationale for the widely observed presence of education subsidies. The actually observed tax codes and level of education subsidies suggest that a large part of education subsidies can be justified on these grounds.
Structure and kinematics of the nearby dwarf galaxy UGCA 105

Owing to their shallow stellar potential, dwarf galaxies possess thick gas disks, which makes them good candidates for studies of the galactic vertical kinematical structure. We present 21 cm line observations of the isolated nearby dwarf irregular galaxy UGCA 105, taken with the Westerbork Synthesis Radio Telescope (WSRT), and analyse the geometry of its neutral hydrogen (H I) disk and its kinematics. The galaxy shows a fragmented H I distribution. It is more extended than the optical disk, and hence allows one to determine its kinematics out to very large galacto-centric distances. The H I kinematics and morphology are well-ordered and symmetric for an irregular galaxy. The H I is sufficiently extended to observe a substantial amount of differential rotation. Moreover, UGCA 105 shows strong signatures for the presence of a kinematically anomalous gas component. Performing tilted-ring modelling by use of the least-squares fitting routine TiRiFiC, we found that the H I disk of UGCA 105 has a moderately warped and diffuse outermost part. Probing a wide range of parameter combinations, we succeeded in modelling the data cube as a disk with a strong vertical gradient in rotation velocity (approximate to-60 km s(-1) kpc(-1)), as well as vertically increasing inwards motion (approximate to-70 km s(-1) kpc(-1)) within the radius of the stellar disk. The inferred radial gas inflow amounts to 0.06 M-circle dot yr(-1), which is similar to the star formation rate of the galaxy. The observed kinematics are hence compatible with direct or indirect accretion from the intergalactic medium, an extreme backflow of material that has formerly been expelled from the disk, or a combination of both.
Grounding of methods for business change: Altering between empirical, theoretical and internal grounding

Methods can be a useful support during business change. Methods are not static objects, they need to be refined due to new circumstances and new knowledge. How shall such method development be performed? How can such methods be justified? In this paper we propose an approach for Grounded Method development. This approach take generation and grounding on different levels (empirical, theoretical and internal) into consideration. We illustrate Grounded Method development through a case; the refinement of a change method, which was applied in an action research project in a steel company.
Enhancing a Crowd-based Delivery Network with Mobility Predictions

In this paper, a new application domain for mobility predictions is presented. Based on the application domain new challenges arise in terms of when and how the mobility prediction has to be done. This results in three cases for mobility predictions, i.e. predicting some time beforehand, predicting before departure, and predicting when departed. Several approaches are introduced to tackle the three cases, which are evaluated empirically on the GeoLife dataset.
Effects of Hom Mali Brown Rice Flour Extract on Aspergillus niger Growth

The objectives of this study were to determine the optimum extraction process for Hom Mali brown rice flour (HMBRF) and to investigate the growth of Aspergillus niger using the extract as a culture medium. A completely randomized design (CRD) factorial experiment was used to assess the effects of α-amylase, BAN  480L, concentrations (0.025, 0.050, 0.075 and 0.100 % v/w) and digestion time (15, 20, 25, 30 and 35 min). The optimum conditions for HMBRF extraction involved mixing HMBRF with distilled water (1:3.7), adding α-amylase at 0.05 % v/w of HMBRF, digesting for 30 min at 75°C in a water bath, then cooling down rapidly in an ice bath, boiling for 10 min to stop enzyme activity and separating the supernatant by centrifuging at 5,000 rpm for 30 min. HMBRF extracted solution contained total soluble solids (TSS) with 16.80°Brix and 6.78% reducing sugar. The growth of A. niger in the extract at 6°Brix was not significantly different (p>0.05) from growth in the control medium (PDB, commercial). There was high correlation between TSS and the growth of A. niger. This study revealed that HMBRF extract contained nutrients suitable for growing A. niger. Therefore, processing of the culture medium in dry form should be subjected to further study.
Impact of Snow Grain Shape and Black Carbon–Snow Internal Mixing on Snow Optical Properties: Parameterizations for Climate Models

AbstractA set of parameterizations is developed for spectral single-scattering properties of clean and black carbon (BC)-contaminated snow based on geometric-optics surface wave (GOS) computations, which explicitly resolves BC–snow internal mixing and various snow grain shapes. GOS calculations show that, compared with nonspherical grains, volume-equivalent snow spheres show up to 20% larger asymmetry factors and hence stronger forward scattering, particularly at wavelengths <1 μm. In contrast, snow grain sizes have a rather small impact on the asymmetry factor at wavelengths <1 μm, whereas size effects are important at longer wavelengths. The snow asymmetry factor is parameterized as a function of effective size, aspect ratio, and shape factor and shows excellent agreement with GOS calculations. According to GOS calculations, the single-scattering coalbedo of pure snow is predominantly affected by grain sizes, rather than grain shapes, with higher values for larger grains. The snow single-scattering coal.
Inferring Semantically Enriched Representative Trajectories

In the analysis and visualisation of clustered spatial trajectories, the computation of a representative trajectory for a given cluster of data trajectories plays an important role. Usually, such a representative trajectory is computed based upon the data trajectories' spatial characteristics only, e. g. , as an average, median, or central trajectory. However, in many cases, the input data is enriched by various types of semantic information which may document characteristics of the trajectories as well. We present an approach to inferring representative trajectories for a given cluster of trajectories. Our approach constructs an extended finite state machine describing the spatial and non-spatial properties of the data trajectories in a given cluster. This extended finite state machine then can be used to generate a representative trajectory exhibiting characteristic changes in spatial and non-spatial properties. The extended finite state machine constructed is annotated with these changes, hence enabling domain experts to further analyse and assess the constructed representative trajectory.
TRANSPORT AND SUSTAINABLE DEVELOPMENT - IMPACT OF THE SYSTEMS OF POPULATION MOBILITY AND GOODS ON THE ECOLOGICAL FOOTPRINT IN GALICIA (SPAIN)

Although the calculation of indicators of sustainable development is increasing on both national and global levels, its implementation to the regional analysis is still very incipient, especially regarding those indicators that are considered as measures of the strong sustainability. Some recent researches have determined that the ecological footprint in Galicia reaches 7.01 hectares per capita, much higher than the Spanish one (4.90) or the world average (2.18). Among others, one of the main reasons of this figure for this indicator in this specific Spanish region is the excessive contribution of the footprint of energy (2.18 hectares per capita), and, in this group, the significant weight of the means and methods of transport that are used. This document deals with the analysis of this specific component of the ecological footprint in Galicia from different perspectives: first, the influence of using an intensive transport of goods on the combustion of fossil fuels to the detriment of other more sustainable transports; secondly, the mobility habits of the population (both acquired or imposed as there are no alternatives); and, finally, some reflections about the structural reasons of this behaviour.
Algebraic Properties of the Energy-momentum Tensor and Vacuum-like States o+ Matter

The physical interpretation . of some algebraic structures of the energy-momentum tensor allows us to suppose that there is a possible form of matter, called the ~-vacuum, which macroscopically possesses the properties of vacuum. The assumption that an actually occurring vacuum is a ~-vacuum retains the Lorentz invariance of the Lagrangian (when gravitation is neglected) and preserves the theories based on the requirement of this invariance, and at the same time makes the Mach principle no longer logically convincing. The space time of a ~-vacuum is an Einstein space in the sense of Petrov's definition. [2] A uniform world of ~-vacuum has the de Sitter metric.
Menggunakan Vector Space Model untuk Mendeteksi Plagiarisme

A statement cited from other sources but is not referenced correctly can be categorized as plagiarism. Plagiarism can be identified by measuring the similarity of paragraphs in documents. If a database has n documents, the complexity to calculate the degree of similarity between two documents is O(n 2 ), and if the value of n is very large, the calculation will take a lot of time. In this paper, we propose and describe an algorithm to measure the similarity of documents. The process is started by finding k relevant documents using swish-e (simple web indexing system for humans enhanced), and then, the vectors of paragraphs are constructed. Cosine angle of two vectors is computed to measure the similarity of paragraphs in the documents. Our results show that the algorithm works well to measure the similarity of paragraphs in document.
Contextualizing Mangrove Forest Deforestation in Southeast Asia Using Environmental and Socio-Economic Data Products

Research Highlights: This paper provides an alternative approach to contextualize mangrove forest loss by integrating available environmental and socio-economic data sets and products. Background and Objectives: Mangrove forest ecosystems grow in brackish water especially in areas exposed to accumulation of organic matter and tides. This forest type is widely distributed in tropical and subtropical coastal areas. Recent studies have revealed that the mangrove forest ecosystem had significantly degraded due to Land Use and Cover Changes (LUCC) in the recent past. Therefore, contribution of mangrove deforestation drivers has to be assessed to ensure a comprehensive analysis for ecosystem conservation and restoration and facilitate decision making. Materials and Methods: Firstly, a correlation analysis was conducted between individual data products and mangrove deforestation. Each data product was associated with the Dominant Land Use of Deforested Mangrove Patches data for 2012. Next, calculations were performed for specific data combinations to estimate the contributions of anthropogenic factors to mangrove deforestation. Results: In general, our study revealed that 22.64% of the total deforested area was converted into agriculture, 5.85% was converted into aquaculture, 0.69% was converted into infrastructure, and 16.35% was not converted into any specific land use class but was still affected by other human activities. Conclusions: We discovered that the percentage of land affected by these anthropogenic factors varied between countries and regions. This research can facilitate trade-off analysis for natural resources and environmental sustainability policy studies. Diverse management strategies can be evaluated to assess the trade-offs between preserving mangrove forests for climate change mitigation and transforming them for economic purposes.
Effects of temperature on tissue–diet isotopic spacing of nitrogen and carbon in otolith organic matter

Reconstruction of the trophic position of a fish can be performed by analysing stable nitrogen and carbon isotopes in otolith protein. However, ambient temperature may affect the tissue–diet isotopic spacing of stable isotopes from diet to predator tissue and bias estimates of trophic position. To test this, otolith protein, heart and muscle tissue from a rearing experiment with juvenile cod held at different temperatures (4, 7, 10 and 14°C) were analysed. There was no significant effect of temperature on otolith δ15N, whereas muscle and heart exhibited a slight decrease in δ15N values with increasing temperature corresponding to maximum of 0.6‰ over the 10°C range. By contrast, the otolith protein δ13C values at 4 and 7°C were significantly higher than for 10 and 14°C, suggesting an approximate 1‰ increased tissue–diet enrichment at the lower temperatures. Temperature had no significant effect on muscle and heart δ13C values. Considering the annual mean variation in ocean temperatures, our results indicate that the trophic signals recorded in the otoliths will reflect changes in diet isotope values with little bias from the ambient temperature experienced by the fish.
Shear‐enhanced compaction and strain localization: Inelastic deformation and constitutive modeling of four porous sandstones

[1] We studied the mechanics of compactant failure in four sandstones associated with a broad range of failure modes in the brittle-ductile transition. While Berea and Bentheim sandstones can fail by compaction localization, homogeneous cataclastic flow dominates failure modes in Adamswiller and Darley Dale sandstones at high effective pressures. We acquired new experimental data to complement previous studies, focusing on the strain hardening behavior in samples under drained conditions. The initial yield stresses were identified as the critical stresses at the onset of shear-enhanced compaction, subsequent yield stresses were considered to depend on hardening given by plastic volumetric strain. The yield stresses were described by elliptical yield caps in the stress space, and we compared the cap evolution with two constitutive models: the critical state model and the cap model. Bentheim sandstone showed the best agreement with both models to relatively large strains. Darley Dale sandstone showed the best agreement with the associated flow rule as prescribed by the normality condition, which is implicitly assumed in both constitutive models. Shear-enhanced compaction in Bentheim and Berea sandstones was appreciably more than that predicted for an associative flow rule, with the implication that a nonassociative model is necessary for capturing the inelastic and failure behavior of these sandstones over a broad range of effective pressures. With reference to the nonassociative model formulated by Rudnicki and Rice, bifurcation analysis would predict the transition of failure mode from shear band to compaction band and ultimately to cataclastic flow, in qualitative agreement with the experimental observations.
Role of Plant Growth Promoting Rhizobacteria in Sustainable Agriculture: A Review

Deterioration of soil and land degradation has adversely affected food production. The last few decades have seen a lot of research on the role of soil microorganisms – the plant growth producing rhizobacteria (PGPR) in increasing the sustainability of agriculture so much so that soil microbes are now being proclaimed as a cornerstone of the next green revolution. These microbes can provide protection against biotic stresses of some pathogenic microbes and also increase tolerance for abiotic stresses such as drought, salinity and heavy metal toxicity thus promoting increased yield. This review is an attempt to study the current knowledge on the use of soil bacteria to mitigate biotic and abiotic stress factors of plants and the challenges involved in putting this knowledge into practical use for improvement in crop yield.
Current-induced magnetization reversal in pseudo spin valves in current-in-plane configuration

We demonstrate the current-induced complete magnetization reversal of the free layer in lateral nanowires patterned from metallic pseudo spin valve stacks. The reversal is induced by Oersted fields in conjunction with a dipolar coupling via the lateral stray fields of the two magnetic layers. Starting from the parallel state the Oersted field rotates the magnetization vectors of both magnetic layers in opposite directions so far off the wire axis that the dipolar coupling becomes strong enough to stabilize an antiparallel configuration. As simulations and experiments show this coupling is only achieved for a narrow range of layer thicknesses and for suitable wire geometries. The reversal process is demonstrated as well for straight wires as for wire segments of L-shaped wires with inhomogeneous magnetization in which domain walls are present before and after the switching process.
Les Houches "Physics at TeV Colliders 2005'' Beyond the Standard Model working group: summary report

The work contained herein constitutes a report of the “Beyond the Standard Model” working group for the Workshop “Physics at TeV Colliders”, Les Houches, France, 2–20 May, 2005. We present reviews of current topics as well as original research carried out for the workshop. Supersymmetric and non-supersymmetric models are studied, as well as computational tools designed in order to facilitate their phenomenology.
SEX STEROID HORMONE INFLUENCE ON ENDOCANNABINOID SYSTEM IN THE FEMALE REPRODUCTIVE TRACT

iii Resumo . iv Index of figures . vii Index of tables . viii List of abbreviations . ix Introduction . 2 1. Cannabinoids: Historical background . 2 1.1 Cannabinoid Receptors . 2 1.2 Endocannabinoids . 3 1.3 Synthesis and Degradation . 4 1.4 Endocannabinoid Signaling . 6 1.5 Phisiological Function . 8 2. eCBs, Estradiol and PGs cross-talk in reproduction . 10 3. Ovarian steroid hormones . 13 3.1. Estrogens . 15 3.2. Rat uterus and hormone cycle . 15 3.3. Phisiological actions . 17 3.4. Tamoxifen . 17 4. Endocannabinoid system and estradiol cross-talk . 20 5. Aims of the present study . 21 Materials and Methods . 23 1. Animals and treatments . 23 2. Tissue preparation . 24 3. Stereology . 25 4. Anandamide and prostaglandins extraction . 27 4.1. Prostaglandins . 27