Miracle-dz/UniFAR-FTUs huggingface dataset:
An alternative approach to proof in dynamic geometry

[There is an underlying] formalist dogma that the only function of proof is that of verification and that there can be no conviction without deductive proof. If this philosophical dogma goes unchallenged, the critic of the traditional approach to the teaching of proof in school geometry appears to be advocating a compromise in quality: he is a sort of pedagogic opportunist, who wants to offer the student less than the 'real thing. ' The issue then, is not, what is the best way to teach proof, but what are the different roles and functions of proof in mathematics . (adapted from Hersh, 1979, p. 33)
Towards Learning User Preferences for Remote Robot Navigation

We are interested in the design of autonomous robot behaviors that learn the preferences of users over continued interactions so that they may efficiently execute navigation commands given by the user. In this paper, we discuss our planned work to learn a generalized model for robot navigation behaviors using inverse reinforcement learning techniques, and subsequently modify this model per individual user through reinforcement learning. Our approach is motivated by the data collected in an ongoing series of experiments where naive participants provide navigation instructions to a remote fourwheeled robot through natural language dialogue. Participants are tasked with uncovering specific information about an unfamiliar environment via the robot and its sensors, requiring fine-grained robot movement that meets the intention of a given command in order to accomplish the task in a timely manner; this sensitivity often leads to clarification commands to augment the position of the robot in order to achieve the desired user intention. By taking into account user navigation preferences learned from interaction histories, we seek to minimize the number of correction or clarification commands needed for the robot to perform the intended behaviors.
Improving Performance of a TFD-based Spectral Estimation Method in Doppler Ultrasound Blood Flow Measurement

A fundamental problem in Doppler Ultrasound blood flow measurement is the computation of the signal instantaneous frequency. The Cohen class of Time-Frequency Distributions (TFD) has efficiently determined a very close estimation of the instantaneous frequency for quasi-stationary signals such as those associated to arterial blood flow. Nevertheless, its computation has an O(N) complexity, where N is the sample length. This imposes a great limitation when working with real-time systems. Previous work has proposed simplified expressions with comparable order of complexity. In this work a study is conducted to observe the response of different distributions when truncating the TFD’s autocorrelation function. It also studies the relationship with the precision obtained in frequency estimation when considering different distribution kernels. SNR and sample length are considered in order to define a truncation procedure for minimizing RMS error. A real Doppler Ultrasound signal taken from a carotid artery is used for the performance evaluation.
Design , Hardware implementation and Control of a 3-phase , 3-level Unity Power Factor Rectifier

Usage of conventional bridge type rectifiers for obtaining DC power from AC grid results in injection of unwanted current harmonics into the grid. Due to standards such as IEEE 519-1992 [1] which limit the amount of harmonic injection into the mains, the bridge type rectifiers are being replaced by improved power quality converters which have reduced harmonic injection into the mains along with a host of other advantages. This project deals with the hardware development and control of a 3-phase, 3-level UPF rectifier which is a variant of an improved power quality converter named vienna rectifier [2]. The 3-phase, 3-level rectifier is characterised by its input currents being almost sinusoidal, reduced input current ripple, controllable output DC voltage, high power density and UPF operation. Further, reduced losses and a lesser component count of the 3-phase, 3-level rectifier compared to the vienna rectifier indicate a greater scope for reduction in the size of the rectifier along with reduced packaging effort. In this work, the necessary hardware for the 3-phase, 3-level UPF rectifier has been developed, assembled and tested for a power level of 2kW and a DC bus voltage of 750V. A carrier based control strategy has been proposed for the control of the rectifier and its operation is validated on the hardware setup. Based on the results obtained from simulation and hardware implementation, a comparison has been done between the already existing hysteresis based control strategy [2] and the proposed carrier based control strategy. Overall, the project work involves the building of the 3-phase, 3-level UPF rectifier setup, design of the controller parameters, validation of the proposed carrier based control strategy both in simulation/hardware and comparison of the proposed control strategy with an originally existing hysteresis based control strategy.
Equity Valuation Madeis and iVieasuring Goodwiii impairment AAA Financial Accounting Standards Committee

INTRODUCTION The FASB faces two main issues in its project on business combinations. The first involves determining whether two separate methods of accounting for business combinations—purchase and pooling of interests—sire justified, and the second is determining the appropriate method of charging to income the cost of purchased goodwill and other purchased intangibles. In December 2000, the FASB announced its tentative decision to require that acquisition goodwill be periodically tested for impairment and not be subject to systematic amortization. The following month, the FASB suinoimced its tentative decision to eliminate the pooling of interests method of accounting. In this article, we focus on the issue of goodwill impairment testing. There are two main points of discussion on this issue. The first is whether impairment testing rather than systematic amortization is the appropriate accounting treatment for acquisition goodwill. The second is whether impairment testing for goodwill is a feasible alternative; that is, whether one or more methods exist to assess the post-acquisition value of goodwill. The purpose of this commentary is to summarize the available valuation models and to discuss their potential application to the valuation and testing for impairment of acquisition goodwill. ' We do not address the first open issue of whether impairment testing is more appropriate than systematic amortization of acquisition goodwill.
Compositional and Optical Gradient in Films of PbZr x Ti 1x O 3 ( PZT ) Family

Pb(ZrxTi1-x)O3 (PZT) (x = 0-1) films have attracted the attention of researchers for the past 30 years due to their excellent ferroelectric (FE) and electromechanical properties, which have led to the commercialization of thin PZT films for ferroelectric random access memory (FeRAM), forming a market of several millions USD annually. Ferroelectricity of perovskite oxide thin films, especially PZT thin films, can be exploited in semiconductor devices to achieve non-volatile random access memory (NVRAM) with high-speed access and long endurance, which can overcome the barriers, encountered in current semiconductor memory technologies. The ferroelectricity can be also exploited to voltage dependent and thermally sensitive resistors, gas and humidity sensors. Besides, due to large pyroelectric coefficient of PZT, it has drawn interest for use in pyroelectric devices (Izyumskaya et al., 2007; Muralt, 2000; Whatmore et al., 2003). PZT thin films have remarkable advantages over bulk materials: • Can be directly deposited on platinized silicon to allow direct integration with electronics; • Have superior electromechanical properties compared to other ferroelectric ceramics. Thanks to that, PZT films have formed an integral part of the microelectromechanical systems (MEMS) in various applications such as sensors, actuated micromirrors for finetracking high-density optical data storage mechanisms (Yee et al., 2001), and tunable capacitors for high-frequency microwave applications, microelectromechanical systems, infrared detectors, applications in optical devices, for instance, rugate filters (Bovard, 1990), anti-reflection coatings (Oulette et al., 1991), and electro-optic modulators, to name a few. Low density embedded FE memories are being considered for implementation not only in commercial devices, such as smart cards and cellular phones, but also for adaptive FE
Reproductive success of Anacamptis morio (Orchidaceae) in the Donau-Auen National Park, Austria

The reproductive success of the terrestrial deceptive orchid Anacamptis morio was investigated in the Donau-Auen National Park, Austria. In the season 2017, the fruit set of 399 plants was analyzed in relation to floral display parameters (e.g. flower numbers, plant heights) and coflowering conand hetero-specific densities. A central question was, if rare white-flowered plants increase the reproductive success of common purple-flowered plants. The mean fruit set of all plants studied was 17.6 %. On average, 3610 seeds per capsule (N = 10) were formed, of which on average 16.8 % were vital. The fruit set increased with increasing numbers of flowers per inflorescence. However, at a certain number of flowers per inflorescence or a certain plant height, the reproductive success no longer increased, on the contrary the fruit set level stagnated and thereafter decreased. Conspecific densities had a significant negative effect on fruit set as well as on plant height. From 12 co-flowering taxa three occurred in more than 10 % of all studied subareas. However, no evidence was found for a facilitation of the deceptive orchid through rewarding co-flowers. On the contrary, a significant negative effect of Potentilla incana on the fruit set of A. morio was found. There was no difference in the reproductive success among purpleand white-flowered plants. Furthermore, I didn ́t find evidence, that rare whiteflowered plants had a positive effect on the fruit set of conspecific purple-flowered plants as has been suggested, previously. My results suggest that neither negative frequency dependent selection (in favor of rare morphs) nor facilitation of the common morph (through rare white morphs) took place.
Assessment of Transdermal Absorption for Diclofenac Sodium Self-Emulsifying Ointment

In order to study the effect in vitro percutaneous absorption of the diclofenac sodium self-emulsifying ointment and the diclofenac sodium gel (be commercially available), Franz diffusion cell and excised rat belly skin was adopted, and UV was used to determine the content of Dicofenac Sodium in receiver diffusion cell. The results showed that the quantity of cumulative permeation of Diclofenac sodium self-emulsifying ointment and the diclofenac sodium gel respectively was 404.897 μg and 228.400 μg after 12 hours. The results indicated that Diclofenac sodium self-emulsifying ointment has the better effective penetrating action through the skin than the Diclofenac sodium gel.
SPS 2018 , 16-18 May 2018 , Stockholm , Sweden An inverse problem for retrieving time dependency of heat flux in metal cutting via linear programming

Under the concept of "Industry 4.0", production processes will be pushed to be increasingly interconnected, information based on a real time basis and, necessarily, much more efficient. In this context, capacity optimization goes beyond the traditional aim of capacity maximization, contributing also for organization’s profitability and value. Indeed, lean management and continuous improvement approaches suggest capacity optimization instead of maximization. The study of capacity optimization and costing models is an important research topic that deserves contributions from both the practical and theoretical perspectives. This paper presents and discusses a mathematical model for capacity management based on different costing models (ABC and TDABC). A generic model has been developed and it was used to analyze idle capacity and to design strategies towards the maximization of organization’s value. The trade-off capacity maximization vs operational efficiency is highlighted and it is shown that capacity optimization might hide operational inefficiency. © 2017 The Authors. Published by Elsevier B.V. Peer-review under responsibility of the scientific committee of the Manufacturing Engineering Society International Conference 2017.
Design of Hand Glove for Wireless Gesture Control of Robot

These days electronic devices are taking over the world, and have become a huge part of our life. The use of smartphone has become a daily necessity and new groundbreaking innovations allow physically challenged people to be able to live a better life. These electronic devices can be controlled in various ways, but the most popular method for control nowadays is gesture control. In the present work control of wheel based robots by hand gestures has been done with the use of accelerometer, flex sensors and metal contacts between fingers of the glove, and then controlling the robot wirelessly using radio frequency module. The device designed in the present work can sense upto four gestures for various operations of the wheel based robot. International Journal of Pure and Applied Mathematics Volume 114 No. 8 2017, 69-79 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu Special Issue ijpam.eu
Chapter 6 Molecular Aberrations in Bone Marrow Stromal Cells in Multiple Myeloma

Multiple myeloma (MM) is a B-cell malignancy characterized by an accumulation of malignant plasma cells within the bone marrow. Bone marrow mesenchymal stromal cells (BMMSCs) represent a crucial component of MM microenvironment supporting its progression and proliferation. Alterations in BMMSC of MM (MM-BMMSC) have become an important research focus. In this study, we analyzed MM-BMMSC and their modification through interaction with plasma cells in 128 MM patients. MM-BMMSC displayed a senescence-like state that was accompanied by an increase in senescence-associated β-galactosidase activity, a reduced number of colony-forming units, an accumulation of cells in S phase of the cell cycle, and the overexpression of microRNAs (miR-16, miR-223, miR-485-5p, and miR-519d) and p21. MM-BMMSC showed a reduced expression of mitochondrial stress response protein SIRT3 and an increased mitochondrial DNA mass that led to a higher amount of reactive oxygen species compared to healthy donor BMMSC. The interaction between MM cells and MM-BMMSC is a complex mechanism that relies on multiple interacting signaling pathways. Observed aberrations in MM-BMMSC should be confirmed in an in vivo model in order to clarify the importance for the pathogenesis of MM. Eventually, the result of MM therapy could be improved by understanding the interaction between MM cells and MM-BMSCs.
Association between Two Categorical Variables and Information Channels Effectiveness Assessment

The paper deals with the possibilities of association between two categorical variables analyses and the application of such analysis in the i3nformation channels effectiveness assessment in the case when the same information is provided by more different information channels to different groups of people in the framework of one time period. When the association is confirmed by a test, the use of adjusted standardized residuals enabling the pattern of the association among the contingency table cells recognition is appropriate and will be used in the analysis. The association strength measurement possibilities will be described and the odds ratios will be applied in the information channels effectiveness assessment.
SYNTHESIS OF Fe-Co BASED NANOMAGNETIC MATERIALS

Processing of FeCo based nanomagnetic materials was carried out by chemical synthesis, crystallization from amorphous precursors and mechanical alloying. It was found that the products from chemical synthesis depended on the concentration of reaction solution. Uniform fiber like and spheroidal nanopowders were produced using Fe+2 rich and Co+2 rich reaction solutions respectively. The chemically synthesized FeCo based alloys was found to be amorphous. Through crystallization of melt spun amorphous precursors, high density nanocrystalline Fe44.5Co44. 5Zr7B4 alloy was obtained; the nanocrystals had a compacted dendritic morphology. Spheroidal nanocrystalline structure was successfully obtained after mechanical milling of Fe44.5Co44. 5P7B4 for more than 20 h at 300 rpm. The fiber like and compact dendritic morphology was not suitable for soft magnetic properties. Due to the pinning of magnetic domains, the powder nanostructured FeCo based alloys had inferior soft magnetic properties to the ribbon form alloys. The fiber like chemically synthesized and mechanically alloyed FeCo based alloys powders showed large coercivities. The magnetization of chemically synthesized FeCo alloy powders was low, which was considered to be due to solid solution contaminations, amorphous phase formation and the oxidation layer. method9, sputtering10, chemical synthesis11, etc. The materials processed can be in the form of bulk, fine powders, fibers or thin film, corresponding to the novel applications in electromagnetic devices, bioengineering, data storage and silicon integration technology. HiTperm FeCo based alloys nanocrystallized from melt-spun amorphous precursors, showed a stable nanocrystalline structure at high temperatures of up to 600oC and superior soft magnetic properties7. The Cu free HiTperm amorphous precursor Fe44.5Co44. 5Zr7B4 also exhibits a nanocrystallization behavior. Characterization of Cu free HiTperm alloy Fe44.5Co44. 5Zr7B4 was studied earlier12. Processing of FeCo based nanostructured magnetic alloys was also carried out by mechanical alloying13-14. Although the nanocrystalline structure formed after sufficient milling time, the powders were not magnetically soft. In this paper, chemically synthesis of FeCo based alloy nanoparticles is included. The nanostructures and magnetic properties of the materials prepared using the above three techniques are compared and discussed.
CLOUD OPTICAL DEPTH MEASUREMENTS FROM MIE LIDAR AND EL NIÑO OCCURRENCE IN MANILA ( 14 . 64 N , 121 . 07 E ) , PHILIPPINES

Regular lidar operation and data acquisition were done in Manila at the Manila Observatory (14.64N, 121.07E) , Ateneo de Manila University from 1997 to 1998. These years coincided with the occurrence of the El Niño episode that started in the first quarter of 1997 and ended in the first half of 1998. From the lidar data gathered during this time interval, the optical depth of clouds was measured using Klett’s algorithm [1]. The results showed that the computed average cloud optical depth values in 1998 were 7% to 76% smaller compared to 1997 values. The smaller values can be deduced as the effect of the El Niño event based on the rainfall rate and southern oscillation index (SOI) data.
Generation and Evaluation of Alternative Urban Densification Scenarios

This paper discusses a research aiming toward the development of a computational environment for the generation and evaluation of alternative urban densification scenarios. The envisioned densification scenarios include measures such as new buildings on yet empty building lots as well as horizontal and vertical extension of existing buildings. The respective potential future developments are framed here in part by a set of spatial constraints defined in building regulations and guidelines (such as, property boundaries, permitted building heights, daylight access). The generated alternative urban densification solutions can thus be subjected to comparative assessment and ranked with regard to multiple evaluative indicators pertaining to energy and environmental performance.
Computational Study of Cell Mobility and Transport Phenomena Through Textile Vascular Grafts Using a Multi-Scale Approach Dissertation

Textile vascular grafts are biomedical devices that serve as partial replacement of damaged arterial vessels, prevent aneurysms rupture and restore normal blood flow. It is believed that the success of a textile vascular graft, in the healing process after implantation, is due to the porous micro-structure of the wall. Among the key properties that take part in the tissue repair process are the type of fabric and degree of porosity and permeability, defining the ability of a well-controlled environment for the neovascularization, nutrient supply, and cellular transport. Although the transport of fluids through textiles is of great technical interest in biomedical applications, little is known about predicting the micro-flow pattern and the transport and deposition of individual platelets, related with the graft occlusion. Often, this information is difficult to obtain experimentally both in vivo and in vitro, representing a great deal of research efforts. The aim of this work is to investigate how the type of fabric, permeability and porosity affect both the local fluid dynamics at several scales and the fluid-particle interaction among platelets in textile grafts with an anastomosis of end-to-end configuration. Two types of samples were analyzed: woven and electrospun, this last one has been manufactured. This study involves both experimental and computational tests. The experimental tests were performed to characterize the permeability and porosity under static conditions. The computational tests are based on a multiscale approach where the fluid flow was solved with the Finite Element Method and the discrete particles were solved with the Molecular Dynamic Method. The fluid-particle interaction was accomplished in one-, two-, and four-ways, where the blood was considered as a suspension of platelets in plasma. The textile wall was considered as a porous media with two scales of length: straight tubular structure with porous walls for the macro-domain and representative unit cells of fabric for the micro-domain. Additionally, it presents the implementation of a numerical case that includes one of the main applications of textile vascular grafts to repair Abdominal Aortic Aneurysms (AAA). The results have shown that the type of fabric in textile vascular grafts and the degree of porosity and permeability affect the local fluid dynamics and the level of penetration of platelet particles through the graft wall at several length scales, thus indicating their importance as design parameters. It was found that the permeability is strongly depends on the micro-structure of the fabric, changing the local fluid dynamics and the time of residence of platelets inside the wall. Moreover, the porous walls cause deviations from Poiseuille flow due to leakage flow through the wall from a
Analysis : An approach in Natural Language Processing for Data Extraction

Sentiment analysis and opinion mining is the field of study that analyzes people’s opinions, sentiments, evaluations, attitudes, and emotions from written language. It is one of the most active research areas in natural language processing and is also widely studied in data mining, web mining, and text mining. Sentiment analysis has been used in several applications including analysis of the repercussions of events in social networks, analysis of opinions about products and services. The growing importance of sentiment analysis coincides with the growth of social media such as reviews, forum discussions, blogs, micro-blogs, Twitter, and social networks. Methods like supervised machine learning and lexical-based approaches are available for measuring sentiments that have a huge volume of opinionated data recorded in digital form for analysis.