Miracle-dz/UniFAR-FTUs huggingface dataset:
An Analysis of M2M Platforms: Challenges and Opportunities for the Internet of Things

IoT (Internet of Things) resources could be conceived as service end-points for Machine-to-Machine (M2M) platforms, i.e. Things/Resources as a Service (TaaS or RaaS). Moreover, technologies involved in this platforms, provide to devices the needed capabilities to expose their services in a straightforward manner. Consequently, a solid, well-designed M2M/IoT platform should provide the basis for the simplified management of resources. The goal of this paper is to provide an initial analysis of the requirements for an M2M platform together with the considerations about IoT technologies, which will serve as a starting point for defining the actual services for IoT devices via M2M. Towards this direction, the current state of the art in M2M communications, in terms of standardization and already deployed platforms are taken into account, and an analysis of several of this platforms is done, showing up its main focuses and how all them have to evolve, in order to meet with upcoming requirements. The new trends about interaction between real and virtual worlds, and the challenges and opportunities identified, form the basis upon which every M2M/IoT standard platform should be built.
Crossbar NoCs Are Scalable Beyond 100 Nodes

We describe the design and layout of a radix-128 crossbar in 90 nm CMOS. The data path is 32 bits wide and runs at 750 MHz using a three-stage pipeline, while fitting in a silicon area as small as 6.6 mm2 by filling it at the 90% level. The control path occupies 7 mm2 next to the data path by filling it at 35% level, and reconfigures the data path once every three clock cycles. Next, we arrange 128 1 mm2 “user tiles” around the crossbar, forming a 150 mm2 die, and we connect all tiles to the crossbar via global links running on top of the tiles. Including the overhead of repeaters and flip flops on global links, the area cost of the crossbar is 11% of the die. Thus, we prove that crossbar networks-on-chips (NoCs) are small enough for radices exceeding by far the few tens of ports, that were believed to be the practical limit up to now, and reaching above 100 ports. We also attempt a first-order comparison between our crossbar and a model of a popular mesh NoC, and we find that our crossbar NoC increases performance when traffic is global and stressed, at the cost of worse performance when traffic is local and benign. Finally, we present an experimental cost analysis showing that crossbar area practically grows as O(N2W), as all wiring of the crossbar fits over its standard cells, while crossbar delay grows as O(N√W) , as wire length increases with the perimeter of the crossbar.
A 6-10 GHz CMOS Tunable Power Amplifier for Reconfigurable RF Transceivers

1. Introduction Recently, a multi-standard transceiver has started to attract more attention with the overwhelming increase of various wireless standards that covers different frequency bands and uses diverse modulation standards. Moreover, the realization of a single chip that covers all the standards is desired for low-cost and downsizing. For this reason, a power amplifier that can tune the output impedance using a CMOS process is one of the important issues to realize a multi-standard transceiver. Until now, most of the standards for personal and domestic use such as the cellular network, Wi-Fi, WiMAX and others are concentrated mainly under 6GHz. However, if we think about the growth of millimeter wave applications in the future, it is expected that a multi-standard transceiver at high frequency is necessary. Therefore I designed and measured a multi-band power amplifier for the application in the frequency band from 6 to 10 GHz.
Control of Multi-Agent Formations with Only Shape Constraints

This paper considers a novel problem of how to choose an appropriate geometry for a group of agents with only shape constraints but with a flexible scale. Instead of assigning the formation system with a specific geometry, here the only requirement on the desired geometry is a shape without any location, rotation and, most importantly, scale constraints. Optimal rigid transformation between two different geometries is discussed with especial focus on the scaling operation, and the cooperative performance of the system is evaluated by what we call the geometries degrees of similarity (DOS) with respect to the desired shape during the entire convergence process. The design of the scale when measuring the DOS is discussed from constant value and time-varying function perspectives respectively. Fixed structured nonlinear control laws that are functions on the scale are developed to guarantee the exponential convergence of the system to the assigned shape. Our research is originated from a three-agent formation system and is further extended to multiple (n > 3) agents by defining a triangular complement graph. Simulations demonstrate that formation system with the time-varying scale function outperforms the one with an arbitrary constant scale, and the relationship between underlying topology and the system performance is further discussed based on the simulation observations. Moveover, the control scheme is applied to bearing-only sensor-target localization to show its application potentials.
Mathematical Reasoning with Diagrams

Mateja Jamnik, published by CSLI Publications. ©2001 by CSLI Publications. All rights reserved. This text may be used and shared in accordance with the fair-use provisions of U.S. copyright law, and it may be archived and redistributed in electronic form, provided that this entire notice, including copyright information, is carried and provided that CSLI Publications is notified and no fee is charged for access. Archiving, redistribution, or republication of this text on other terms, in any medium, requires the consent of CSLI Publications. Mathematical Reasoning with Diagrams Mateja Jamnik
Fast and accurate processor models for efficient MPSoC design

With growing system complexity and ever-increasing software content, the development of embedded software for upcoming MPSoC architectures is a tremendous challenge. Traditional ISS-based validation becomes infeasible due to the large complexity. Addressing the need for flexible and fast simulating models, we introduce in this article our approach of abstract processor modeling in the context of multiprocessor architectures. We combine modeling of computation on processors with an abstract RTOS and accurate interrupt handling into a versatile, multifaceted processor model with several levels of features. Our processor models are utilized in a framework allowing designers to develop a system in a top-down manner using automatic model generation and compilation down to a given MPSoC architecture. During generation, instances of our processor models are integrated into a system model combining software, hardware, and bus communication. The generated system model serves for rapid design space exploration and a fast and accurate system validation. Our experimental results show the benefits of our processor modeling using an actual multiprocessor mobile phone baseband platform. Our abstract models of this complex system reach a simulation speed of 300MCycles/s within a high accuracy of less than 3% error. In addition, our results quantify the speed/accuracy trade-off at varying abstraction levels of our models to guide future processor model designers.
Photovoltaic Array Sizing for PV-Electrolyzer

Hydrogen that used as fuel in fuel cell vehicles can be produced from renewable sources such as wind, solar, and hydro technologies. PV-electrolyzer is one of the promising methods to produce hydrogen with zero pollution emission. Hydrogen production from a PV-electrolyzer system depends on the efficiency of the electrolyzer and photovoltaic array, and sun irradiance at that site. In this study, the amount of hydrogen is obtained using mathematical equations for difference driving distance and sun peak hours. The results show that the minimum of 99 PV modules are used to generate 1.75 kgH2 per day for two vehicles. Keywords—About four key words or phrases in alphabetical order, separated by commas.
3D object tracking using three Kalman filters

In the recent years, 3D tracking has gained attention due to the perforation of powerful computers and the increasing interest in tracking applications. One of the most common tracking algorithms used is the Kalman filter. Kalman filter is a linear estimator that is based on approximating system's dynamics using Gaussian probability distribution. In this paper, we provide a detailed evaluation of the most common Kalman filters, their use in the literature and their implementation for 3D visual tracking. The main types of Kalman filters discussed are linear Kalman filter, extended Kalman filer and unscented Kalman filter.
Barrier to gene flow between two ecologically divergent Populus species, P. alba (white poplar) and P. tremula (European aspen): the role of ecology and life history in gene introgression

The renewed interest in the use of hybrid zones for studying speciation calls for the identification and study of hybrid zones across a wide range of organisms, especially in long‐lived taxa for which it is often difficult to generate interpopulation variation through controlled crosses. Here, we report on the extent and direction of introgression between two members of the ‘model tree’ genus Populus: Populus alba (white poplar) and Populus tremula (European aspen), across a large zone of sympatry located in the Danube valley. We genotyped 93 hybrid morphotypes and samples from four parental reference populations from within and outside the zone of sympatry for a genome‐wide set of 20 nuclear microsatellites and eight plastid DNA restriction site polymorphisms. Our results indicate that introgression occurs preferentially from P. tremula to P. alba via P. tremula pollen. This unidirectional pattern is facilitated by high levels of pollen vs. seed dispersal in P. tremula (pollen/seed flow = 23.9) and by great ecological opportunity in the lowland floodplain forest in proximity to P. alba seed parents, which maintains gene flow in the direction of P. alba despite smaller effective population sizes (Ne) in this species (P. alba Nec. 500–550; P. tremula Nec. 550–700). Our results indicate that hybrid zones will be valuable tools for studying the genetic architecture of the barrier to gene flow between these two ecologically divergent Populus species.
A robust local census-based stereo matching insensitive to illumination changes

In this paper, we present a novel robust census transform stereo matching algorithm based on the classic census transform. While many stereo algorithms have been proposed in recent years, their similarity measures greatly depends on the intensity statistic of the stereo image pairs and are sensitive to the noise. Although the classic census non-parametric transform can improve the performance of disparity maps in the nonideal illumination condition, it also has some drawbacks. We take the summation of the intensity mean and a small value as the center pixel to revise the classic census transform. Experiments have been carried out under different illumination conditions, and the results show that the proposed algorithm achieves high efficiency and accuracy and is robust to the illumination changes.
Local cortical pulling-force repression switches centrosomal centration and posterior displacement in C. elegans

Centrosome positioning is actively regulated by forces acting on microtubules radiating from the centrosomes. Two mechanisms, center-directed and polarized cortical pulling, are major contributors to the successive centering and posteriorly displacing migrations of the centrosomes in single-cell–stage Caenorhabditis elegans. In this study, we analyze the spatial distribution of the forces acting on the centrosomes to examine the mechanism that switches centrosomal migration from centering to displacing. We clarify the spatial distribution of the forces using image processing to measure the micrometer-scale movements of the centrosomes. The changes in distribution show that polarized cortical pulling functions during centering migration. The polarized cortical pulling force directed posteriorly is repressed predominantly in the lateral regions during centering migration and is derepressed during posteriorly displacing migration. Computer simulations show that this local repression of cortical pulling force is sufficient for switching between centering and displacing migration. Local regulation of cortical pulling might be a mechanism conserved for the precise temporal regulation of centrosomal dynamic positioning.
A Magnetic Resonant Coupling Wireless Power Transmission System under Different Load Conditions

Since the magnetic resonant coupling was suggested for wireless power transfer (WPT), the theoretical analysis and experimental verification of resonant coupling structures have been investigated. However, the relationship between the performance characteristics and the load conditions has not been fully explored yet. In this research, a magnetic resonant coupling wireless power transmission system is theoretically analyzed and simulated under different load conditions. The transmitting circuit is constant and receiving circuit is changeable. The load conditions making power efficiency at center frequency over 50 percents has been found out. Then, the experiment results are obtained to support above.
Theoretical and experimental study of metastable solid solutions and phase stability within the immiscible Ag–Mo binary system

Metastable solid solutions are phases that are synthesized far from thermodynamic equilibrium and offer a versatile route to design materials with tailor-made functionalities. One of the most investigated classes of metastable solid solutions with widespread technological implications is vapor deposited ternary transition metal ceramic thin films (i.e., nitrides, carbides, and borides). The vapor-based synthesis of these ceramic phases involves complex and difficult to control chemical interactions of the vapor species with the growing film surface, which often makes the fundamental understanding of the composition-properties relations a challenging task. Hence, in the present study, we investigate the phase stability within an immiscible binary thin film system that offers a simpler synthesis chemistry, i.e., the Ag-Mo system. We employ magnetron co-sputtering to grow Ag1−xMox thin films over the entire composition range along with x-ray probes to investigate the films structure and bonding properties. C.
Passive Spiral Formation from Halo Gas Starvation: Gradual Transformation into S0s

Recent spectroscopic and high-resolution Hubble Space Telescope (HST) imaging observations have revealed significant numbers of "passive" spiral galaxies in distant clusters, with all the morphological hallmarks of a spiral galaxy (in particular, spiral arm structure), but with weak or absent star formation. Exactly how such spiral galaxies formed and whether they are the progenitors of present-day S0 galaxies is unclear. Based on analytic arguments and numerical simulations of the hydrodynamical evolution of a spiral galaxy's halo gas (which is a likely candidate for the source of gas replenishment for star formation in spirals), we show that the origin of passive spirals may well be associated with halo gas stripping. Such stripping results mainly from the hydrodynamical interaction between the halo gas and the hot intracluster gas. Our numerical simulations demonstrate that even if a spiral orbits a cluster with a pericenter distance ~3 times larger than the cluster core radius, ~80% of the halo gas is stripped within a few Gyr and, accordingly, cannot be accreted by the spiral. Furthermore, our study demonstrates that this dramatic decline in the gaseous infall rate leads to a steady increase in the Q parameter for the disk, with the spiral arm structure, although persisting, becoming less pronounced as the star formation rate gradually decreases. These results suggest that passive spirals formed in this way gradually evolve into red cluster S0s.
The Next Step in Conceptualizing the Presentation of Expert Evidence as Education: The Case for Didactic Trial Procedures

he presentation of expert evidence is a commonplace occurrence in American trials. As of the late 1980s, the Cook County state courts averaged one expert per trial. ’ In the early 1990s. the Rand Corporation released the results of a study of the use of experts in California state trials. ’ Experts appeared as witnesses in 86% of those trials, and on the average there were 3.3 experts per trial. ’ The numbers are so staggering that one respected commentator has suggested that American evidentiary hearings are becoming trial by expert. ’
Elliptic Curve Cryptosystems Immune to Any Reduction into the Discrete Logarithm Problem (Special Section on Cryptography and Information Security)

In 1990, Menezes, Okamoto and Vanstone proposed a method that reduces EDLP to DLP, which gave an impact on the security of cryptosystems based on EDLP. But this reducing is valid only when Weil pairing can be defined over the m-torsion group which includes the base point of EDLP. If an elliptic curve is ordinary, there exists EDLP to which we cannot apply the reducing. In this paper, we investigate the condition for which this reducing is invalid. key words: Public-key, Discrete logarithms, Elliptic curves.
Product Market Regulation, Firm Selection and Unemployment

This paper analyzes the effect of Product Market Regulation (PMR) on unemployment in a search model with heterogeneous multiple-worker firms. In our setup, PMR modifies the distribution of firm productivities, thereby affecting the equilibrium rate of unemployment. We distinguish between PMR related to entry costs and PMR that generates recurrent fixed costs. We find that: (i) higher entry costs raise the rate of unemployment mainly through our novel selection effect, (ii) higher fixed costs lower unemployment through the selection effect and increase it through the competition effect analyzed in Blanchard and Giavazzi (2003). We propose econometric evidence consistent with the unemployment effects of sunk versus recurring costs.
Attachment 1 : Tables and schemes

Table 1: Evidence based recommendations: basic monitoring . 2 Table 2: Evidence based recommendations for advanced haemodynamic monitoring: echocardiography.3 Table 3: Evidence based recommendations; extended hemodynamic monitoring: transpulmonary thermodilution and pulse contour analysis . 3 Table 4: Evidence based recommendations: extended hemodynamic monitoring: pulmonary artery catheter . 4 Table 5: Evidence based recommendations: volume management.4 Table 6: Evidence based recommendations: postoperative cardiocirculatory dysfunction . 4 Table 7: Evidence based recommendations: left heart failure . 5 Table 8: Evidence based recommendations: right heart failure . 5 Table 9: Evidence based recommendations: Intraaotic balloon counterpulsation . 5 Scheme 1: Algorithm basic monitoring.6 Scheme 2: Algorithm for indications of advanced hemodynamic monitoring . 6 Scheme 3: Algorithm postoperative volume therapy.7 Scheme 4: Algorithm for post operative cardiocirculatory dysfunction.8 Scheme 5: Algorithm for left heart failure . 9 Scheme 6: Algorithm for right heart failure.10 Scheme 7: Algorithm for IABP.11
Nonlinear Control System Design by Quantifier Elimination

Many problems in control theory can be formulated as formulae in the first-order theory of real closed fields. In this paper we investigate some of the expressive power of this theory. We consider dynamical systems described by polynomial differential equations subjected to constraints on control and system variables and show how to formulate questions in the above framework which can be answered by quantifier elimination. The problems treated in this paper regard stationarity, stability, and following of a polynomially parametrized curve. The software package QEPCAD has been used to solve a number of examples.
Uterine Papillary Serous Carcinoma and Endometrioid Carcinoma: Novel Immunostains with Respect to Clinical-Pathologic Factors

Background:Uterine papillary serous carcinoma (UPSC), also known as type II endometrial carcinoma, is an uncommon aggressive variant of endometrial carcinoma [1, 2]. Its tumorigenesis, as well as its clinical risk factors differ from the commonly occurring endometrioid carcinoma (EC) [3-5]. Typical pathologic factors also differ. Even with minimal myometrial invasion, lymph-vascular space invasion or tumor limited to polyps, UPSC has been found to be associated with widespread metastasis, recurrence, and poor survival [6]. Since UPSC may be difficult to differentiate from high grade endometrioid carcinoma, particularly in mixed carcinomas, immunohistochemical techniques may facilitate such diagnoses, and even potentially serve as prognostic factors. Three novel proteins, L523S (also known as KOC—K homology domain containing protein over expressed in cancer), an oncofetal RNA-binding protein; O8E (also known as CRxA-01), a novel protein involved in T-cell regulation; and WT1 (Wilm's Tumor) a tumor suppressor gene, have shown positive expression in various cancers [7-13]. Their expression and prognostic implication in UPSC is unknown.
Population attributable risk for functional disability associated with chronic conditions in Canadian older adults.

OBJECTIVES to investigate the population impact on functional disability of chronic conditions individually and in combination. METHODS data from 9,008 community-dwelling individuals aged 65 and older from the Canadian Study of Health and Aging (CSHA) were used to estimate the population attributable risk (PAR) for chronic conditions after adjusting for confounding variables. Functional disability was measured using activity of daily living (ADL) and instrumental activity of daily living (IADL). RESULTS five chronic conditions (foot problems, arthritis, cognitive impairment, heart problems and vision) made the largest contribution to ADL- and IADL-related functional disabilities. There was variation in magnitude and ranking of population attributable risk (PAR) by age, sex and definition of disability. All chronic conditions taken simultaneously accounted for about 66% of the ADL-related disability and almost 50% of the IADL-related disability. CONCLUSIONS in community-dwelling older adults, foot problems, arthritis, cognitive impairment, heart problems and vision were the major determinants of disability. Attempts to reduce disability burden in older Canadians should target these chronic conditions; however, preventive interventions will be most efficient if they recognize the differences in the drivers of PAR by sex, age group and type of functional disability being targeted.