Miracle-dz/UniFAR-FTUs huggingface dataset:
System Level Power and Thermal Management on Embedded Processors

Semiconductor scaling technology has led to a sharp growth in transistor counts. This has resulted in an exponential increase on both power dissipation and heat flux (or power density) in modern microprocessors. These microprocessors are integrated as the major components in many modern embedded devices, which offer richer features and attain higher performance than ever before. Therefore, power and thermal management have become the significant design considerations for modern embedded devices. Dynamic voltage/frequency scaling (DVFS) and dynamic power management (DPM) are two well-known hardware capabilities offered by modern embedded processors. However, the power or thermal aware performance optimization is not fully explored for the mainstream embedded processors with discrete DVFS and DPM capabilities. Many key problems have not been answered yet. What is the maximum performance that an embedded processor can achieve under power or thermal constraint for a periodic application? Does there exist an efficient algorithm for the power or thermal management problems with guaranteed quality bound? These questions are hard to be answered because the discrete settings of DVFS and DPM enhance the complexity of many power and thermal management problems, which are generally NP-hard. The dissertation presents a comprehensive study on these NP-hard power and thermal management problems for embedded processors with discrete DVFS and DPM capabilities. In the domain of power management, the dissertation addresses the power minimization problem for real-time schedules, the energy-constrained make-span minimization problem on homogeneous and heterogeneous chip multiprocessors (CMP) architectures, and the battery aware energy management problem with nonlinear battery discharging model. In the domain of thermal management, the work addresses several thermal-constrained performance maximization problems for periodic embedded applications. All the addressed problems are proved to be NP-hard or strongly NP-hard in the study. Then the work focuses on the design of the off-line optimal or polynomial time approximation algorithms as solutions in the problem design space. Several addressed NP-hard problems are tackled by dynamic programming with optimal solutions and pseudo-polynomial run time complexity. Because the optimal algorithms are not efficient in worst case, the fully polynomial time approximation algorithms are provided as more efficient solutions. Some efficient heuristic algorithms are also presented as solutions to several addressed problems. The comprehensive study answers the key questions in order to fully explore the power and thermal management potentials on embedded processors with discrete DVFS and DPM capabilities. The provided solutions enable the theoretical analysis of the maximum performance for periodic embedded applications under power or thermal constraints.
Oncogenic functions of Gli in pancreatic adenocarcinoma are supported by its PRMT 1-mediated methylation

Correspondence: Mien-Chie Hung, Department of Molecular and Cellular Oncology, University of Texas MD Anderson Cancer Center, 1515 Holcombe Blvd., Unit 108, Houston, TX 77030. Tel. : 713-792-3668. Fax: 713-794-3270. mhung@mdanderson.org. †These authors contributed equally Conflicts of Interest The authors have declared that no conflict of interest exists. HHS Public Access Author manuscript Cancer Res. Author manuscript; available in PMC 2017 December 01. Published in final edited form as: Cancer Res. 2016 December 1; 76(23): 7049–7058. doi:10.1158/0008-5472.CAN-16-0715. A uhor M anscript
Angle of Arrival Localization in Indoor Multipath Environments

In current information systems, location information forms a growing field of interest. Multiple technologies exist for indoor localization, but none of these meet the high accuracy demands in all circumstances. An important performance limiting factor in radio frequency localization systems exists in multipath propagation. This research focuses on indoor angle of arrival localization with exploitation of multipath components. The considered system exists of a mobile transmitter and one or more reference nodes, being phased antenna arrays. These antenna arrays are used for angle of arrival estimation of impinging multipath signal components. With a floor plan of the environment, localization algorithms can be applied to retrieve the position of the mobile node.
Clinicopathological characterization of adenoid cystic carcinoma of the esophagus : a case report and literature review

Adenoid cystic carcinoma of the esophagus (EACC) is an infrequent malignancy prone to misdiagnosis because of it sharing similar histological patterns with other esophageal tumors. In this work, we comprehensively studied the pathological features of EACC based on a 53-year-old male patient. Histological examination revealed that the lesion presented three types of classical structures, including tubular, cribriform and solid patterns. Immunohistochemical analysis indicated that myoepithelial cell markers CD10 and P63-labelled cells locate in the outer layer of tubular and cribriform patterns, whereas glandular cell markers CK7 and CK8 positive cells accumulate in the inner layer of these patterns. As EACC develops from tubular and cribriform patterns to solid pattern, CK7 and CK8-labelled inner cells gradually disappeared, while P63-positive cells diffusely penetrated into entire tumor mass in the solid pattern. Additionally, it was found that enhanced staining of EMT (Epithelial to mesenchymal transition) marker vimentin in the course of the progression of EACC. These new identified immunohistochemical characters combined with classical histological patterns may not only facilitate precise diagnosis of EACC, but also help in developing targeted therapy for this malignancy.
Does Flickr work in disaster management ? – a case study of Typhoon Morakot in Taiwan

Social media obviously provide an alternative data source for an insight into human social system and human environmental interactions. Albeit with noticeable biases, an amount of research has raised to harness it. These issues are critical in the context of disasters as relief work cannot afford to risk of incorrect decision making. This paper evaluates the suitability of Flickr to facilitate different stages of disaster management. A case is discussed using the the most severe strike of the typhoon in Taiwan on Aug 6-10, 2009.
Tight contact structures on the Weeks manifold

We construct tight contact structures on the Weeks manifold W , the closed hyperbolic 3–manifold with smallest volume. The contact structures are constructed through contact surgery diagrams involving contact (±1)– surgeries. The tightness of these contact structures are verified by showing that the contact Ozsváth–Szabó invariants of the structures are nonzero.
DEVELOPMENT OF NEURAL NETWORK EXPERIMENT USING FOOD TEXTURE ESTIMATION

This paper describes an experiment for students in an electrical and information engineering course in order to learn an application of neural network model. The input to the neural network model is parameters in the load and the sound which occur when a vegetable is probed by an equipment. The output is the numerical value ranged [0,1]. The value means strength level of food texture words such as “munching-ness” or “crunchiness”. The equipment originally has been developed in order to examine textures of the vegetables in our previous study. The equipment mainly consists of an air cylinder, a sharp metal probe, a sound sensor and a load sensor. The probe is attached on the tip of the rod of the air cylinder. The probe is moved down by the cylinder to cut the vegetable. The vegetable is put on the load sensor. The electrical signals in the sound and the load are recorded simultaneously. The signal data is preserved in PC. The proposed experiment is divided into several steps. Firstly, the students have to make about 20 vegetable samples such as a cucumber and a radish. These samples are made in which the students cut the vegetables in the same size by using a knife and a ruler. Secondly, they have to learn the structure and usage of the equipment. Thirdly, they will carry out an experiment to obtain the sound and the load data of the vegetable samples by using the equipment. They have to memorize the temperature, the humidity, the size of the samples, the sampling rate, the range of the amplifiers, the cylinder air pressure and so on. After the data of all the vegetable samples is acquired in the experiment, they must make a program to analyse the acquired data and construct the neural network model to estimate the textures. The training data is numerical value of the textures such as “munching-ness” and “crunchiness”. They have to determine the appropriate value of the texture of the cucumber and the radish by tasting them. After training the neural network model, they should confirm whether the moderate output is obtained when the test sample data is inputted.
Time-Domain Equalization for Single-Frequency Full-Duplex Wireless Relay Using H2 Optimal Control

In this article, we propose a design method of a digital filter that suppresses self-interference arising at a singlefrequency full-duplex wireless relay, and also compensates frequency selective fading from a source station to the relay station. The signals and the wireless relaying system can be modeled as random processes and a discrete-time linear time-invariant system respectively. We formulate the filter design problem based on the minimum-mean-square error (MMSE) criterion. It is shown that the filter design problem is equal to an H optimal control problem. The effectiveness of the proposed method is shown by simulations.
MODEL-BASED REWEIGHTING FOR NONRESPONSE ADJUSTMENT

In virtually every survey, no matter how carefully it is designed, we must accept the fact that some data will be missing. Some measures must be taken to deal with such nonresponse. Over the years, a host of techniques has been developed. Many of the methods for coping with nonresponse make use of models, either explicitly or implicitly. Even the most ardent advocates of the pure design-based school will resort to some model assumptions when it comes to adjusting for nonresponse. This presents a new set of problems associated with the statistical inferences, since the randomization distributions on which the inferences are based are no longer purely designbased, unless the nonresponse mechanism can be considered to be part of that design. In this paper, we shall focus on the implications of the estimation method to be used and the amount of information about the nonrespondents that is available. It will be assumed that the prime tbcus of the survey is to obtain estimates of descriptive statistics, such as means, totals, differences and ratios. We will restrict discussion on unit nonresponse, where normally an "appropriate" weighting procedure is used to compensate tor the nonresponse. (We define weighting procedures here broadly to include weight adjustments implied by regression, ratio or similar estimation techniques using auxiliary data.) In Section 2, we discuss the basic theory underlying many of the adjustment methods and give a brief literature review. In Sections 3 and 4, we give examples of two surveys at Statistics Canada where some of these models have been studied recently. We summarize our findings in Section 5.
Development of Ocean Acidification Flow-Thru Experimental Raceway Units (OAFTERU): Simulating the Future Reefs in the Keys Today

Ocean acidification, whether from anthropogenically-induced CO2 production or natural causes, is an ecological threat to marine organisms. In order to calculate potential impacts of ocean acidification upon ecologically keystone species such as coral, it is essential to employ forecasted pH levels in manipulative experiments to determine physiological indices of such species. The Mote Marine Tropical Research Laboratory (Mote TRL) in Summerland Key, Florida has an established deep well from which its supply of seawater is obtained. This unique source of seawater is 80 feet deep, “fossil” marine water that has a pH that is relatively acidic (pH around 7.6, pCO2 ranging from 200 to 2000 μatm). Manipulation of this water by aeration adjusts the pH to varying levels between 7.6 and present day values (>8.0-8.4). We are currently testing methods for utilizing this unique seawater system as the foundation for manipulative ocean acidification studies with Florida Keys corals and other reef ecosystem species in both flow-through and large mesocosm-based designs. Advance knowledge of potential climate-driven trends in coral growth and health will permit improved modeling for prediction and more effectively guide policy decisions for how financial resources should be directed to protection and restoration of coral reef ecosystems. Developing such long term research infrastructure at the existing Mote TRL facility will provide an optimum global research center for examining and modeling effects of ocean acidification on corals as well as other important estuarine and marine species.
Sigma Versus Beta-convergence in EU 28 : do they lead to different results ?

The process of economic convergence has been undoubtedly marked by the financial crisis. The paper focuses on analysis and evaluation of the impact of financial crisis on the real convergence among EU member states. The beta-convergence approach is verified by econometric modelling techniques, namely with the use of cross-sectional linear regression analysis. The next focus is given on the examining of the sigmaconvergence which is tested by standard deviation of real GDP per capita. The aim is to verify the hypothesis that the approach of beta-convergence and the concept of sigma-convergence lead to a different results for the EU member states in the period 2001-2012. Key-Words: sigma-convergence, beta-convergence, cross-sectional analysis, EU, financial crisis
DEVELOPMENT OF INDUSTRIALIZED , FLEXIBLE AND DEMOUNTABLE MULTI-FAMILY BUILDING < IFD COLLECTIVE HOUSING >

Current practice in design of multifamily buildings exhibits an important partitioning of design and construction process for spatial systems and structural systems into two distinct phases. Uncontrolled overlapping of different functions and components in the building structure needs both: reconstruction of building design and construction process and network between functional systems and technical systems based on functions’ independence and components’ exchangeability aspects. New network aspects support the systematization of the subsystems and components into Industrialized, Flexible and Demountable IFD systems’ configuration for the building structure. IFD systems’ configuration stand to support the fluctuations of the three main variables in contemporary housing: changing dynamics in use; adaptability and transformations of building systems and functions; optimization of the building life circle impact and adaptability costs. Industrialized-to replace the conventional construction process and reach high level quality and lower costs; Flexible-to facilitate changes over time of spatial and technical systems; and Demountable-to meet the needs for systems transformations without demolitions. Contribution of this work is threefold. Main findings come from an analysis of the resent apartment buildings in Europe, based on open building principles and strategies for IFD systems’ configurations. First is a systematization of industrialized components and systems according to open building independent levels and systems’ building method. Providing independence and exchangeability of functional and technical systems and focus on structure’s configuration design as the main boundary condition for housing transformation capacity. Second is a description of the IFD systems’ configuration and giving the initial design characteristics. Third is reduction of the fixed connections for simply demountable dry joints which implies reducing the cost of the disassembly in the network and demolition actions of the whole system. Finally, the improvement of buildings capacity to adapt to spatial and technical changing requirements and consequently extend the service life of the building and its systems has been considered as a key issue of sustainable development in the future. First is the design of flexible systems’ configuration and later on, systems disassembly and transformations.
START (screening tool to alert doctors to the right treatment)—an evidence-based screening tool to detect prescribing omissions in elderly patients

Background inappropriate prescribing encompasses acts of commission i.e. giving drugs that are contraindicated or unsuitable, and acts of omission i.e. failure to prescribe drugs when indicated due to ignorance of evidence base or other irrational basis e.g. ageism. There are considerable published data on the prevalence of inappropriate prescribing; however, there are no recent published data on the prevalence of acts of omission. The aim of this study was to calculate the prevalence of acts of prescribing omission in a population of consecutively hospitalised elderly people. Methods a screening tool (screening tool to alert doctors to the right treatment acronym, START), devised from evidencebased prescribing indicators and arranged according to physiological systems was prepared and validated for identifying prescribing omissions in older adults. Data on active medical problems and prescribed medicines were collected in 600 consecutive elderly patients admitted from the community with acute illness to a teaching hospital. On identification of an omitted medication, the patient’s medical records were studied to look for a valid reason for the prescribing omission. Results using the START list, we found one or more prescribing omissions in 57.9% of patients. In order of prevalence, the most common prescribing omissions were: statins in atherosclerotic disease (26%), warfarin in chronic atrial fibrillation (9.5%), anti-platelet therapy in arterial disease (7.3%) and calcium/vitamin D supplementation in symptomatic osteoporosis (6%). Conclusion failure to prescribe appropriate medicines is a highly prevalent problem among older people presenting to hospital with acute illness. A validated screening tool (START) is one method of systematically identifying appropriate omitted medicines in clinical practice.
PR ] 6 M ay 2 01 9 Random-cluster dynamics in Z 2 : rapid mixing with general boundary conditions

The random-cluster model with parameters (p, q) is a random graph model that generalizes bond percolation (q = 1) and the Ising and Potts models (q ≥ 2). We study its Glauber dynamics on n×n boxes Λn of the integer lattice graph Z, where the model exhibits a sharp phase transition at p = pc(q). Unlike traditional spin systems like the Ising and Potts models, the random-cluster model has non-local interactions. Long-range interactions can be imposed as external connections in the boundary of Λn, known as boundary conditions. For select boundary conditions that do not carry long-range information (namely, wired and free), Blanca and Sinclair proved that when q > 1 and p 6= pc(q), the Glauber dynamics on Λn mixes in optimal O(n 2 logn) time. In this paper, we prove that this mixing time is polynomial in n for every boundary condition that is realizable as a configuration on Z \ Λn. We then use this to prove near-optimal Õ(n) mixing time for “typical” boundary conditions. As a complementary result, we construct classes of non-realizable (non-planar) boundary conditions inducing slow (stretched-exponential) mixing at p≪ pc(q).
Student ’ s Profile vs . Teacher ’ s Profile : Convergence and Divergence in the 1 st Cycle of Basic Education

In Portugal, Compulsory Education is for all children and young people between the ages of six and eighteen, and it is hoped that at the end of this period they will reach a specific profile, recently determined by the Ministry of Education. One of the main educational actors is undoubtedly the teacher who has a central role in the definition of strategies and methodologies which are directed towards the expected profile of the student. This means that the teacher's own profile, from the first years of schooling, should ensure that the teacher has characteristics which are conducive to the determination of a teaching-learning environment where students construct the multiple literacies that seem necessary to respond to the demands of our current society. The article intends to present an analysis of content around the documents that regulate the profile of the teacher of the 1st Cycle of Basic Education, in articulation with the profile of students leaving compulsory education, so as to look for points of convergence and divergence that foster reflection on the contribution of these two poles to the success of students and the education system itself. The results showed that it is necessary to rethink the teacher’s profile in order to be more in accordance with the Profile of students leaving compulsory education.
Stochastic Spectral Methods for Linear Bayesian Inference

Simulation-based control of dynamic systems is of key importance for many areas of science and industry. To ensure the predictive capabilities, simulation models used for predicting control responses have to be calibrated to available observations. Bayesian approaches to make inference from data on unobservable quantities are used because of their consistent, inherent treatment of diverse sources of uncertainties. Spectral approaches to uncertainty quantification have become popular over the last years. However, their combination with Bayesian inference usually employs expensive probabilistic sampling methods. In this work, a family of linear Bayesian approaches is presented which directly results in a representation of the posterior. A specific implementation is discussed which overcomes some of the difficulties that remained unsolved in related approaches. All implementation details are given, and the applicability is demonstrated on some linear and non-linear numerical examples.
Lateral Non-Homogeneities Characterization Using Seismic Surface Wave

Seismic surface waves are well-suited for the study of the elastic profile of soils. Therefore this technique was adopted to evaluate the properties of stone columns used for ground improvement. A scaled-down model of typical stone columns in soft clay was constructed. Measurements were made on stone columns, under controlled conditions so that the properties of the materials used in the model under test were within limited ranges. The dispersive curve produced in this study demonstrated an increased phase velocity with increasing wavelength for the measurements on the clay (between columns), and decreased phase velocity with increasing wavelength for the measurements on the column. The results showed that were useful in characterization of the lateral non-homogeneities works such as vibro-stone column. These results pointed to the results can be influenced by the positioning of sensors with respect to the survey target. Benefit of this technique can be applied as a tool in quality control.