Miracle-dz/UniFAR-FTUs huggingface dataset:
Large-scale feature matching with distributed and heterogeneous computing

Feature matching is a fundamental problem in many computer vision tasks. As datasets become larger, and individual image resolution increases, this is becoming more and more computationally demanding work. While prior knowledge about the scene geometry can, in some cases, reduce the number of image pairs that need to be considered, the sheer volume of data means that parallel and distributed computing solutions must be considered. In this paper we examine the costs incurred in such solutions, and assess the way in which the problem scales with the number of cores within a single node, and the number of nodes in a distributed system. We also consider the role of heterogeneous systems, where nodes with different numbers and types of cores (including GPUs) are included in a distributed system. We show that distribution of this task across a cluster of machines has good (sometimes super-linear) scalability. However, scalability on many-core machines and GPU architectures is more limited, and is thus an important area for future research.
Etapas iniciales de corrosión atmosférica indoor de metales electrónicos de contacto en clima tropical húmedo: estaño y níquel

Samples of electrolytic tin and nickel have been exposed for 1 to 12 m in indoor environment, inside a box (rain sheltered cabinet), placed in tropical humid marine-urban climate, as a part of Gulf of Mexico. The corrosion aggressiveness of box has been classified as a very high corrosive, based on the monitored chlorides and SO 2 deposition rates, and the Temperature/Relative Humidity air daily complex. The annual mass increasing of nickel is approximately twice higher than its values of mass loss (C). The relation between nickel mass loss or increasing and time of wetness (t) of metal surface is linear and does not obey the power equation C = A t n , which has be found for tin. The SEM images reveal a localized corrosion on nickel and tin surfaces. XRD detects the formation of SnCl 2 . H 2 O as a corrosion product. Within the time on the tin surface appear black spots, considered as organic material.
A Short 'Second Best' Narrative of the Ukrainian Economy (Una Breve 'Segunda Mejor Opción' De Narrativa De La Economía Ucraniana)

espanolEste articulo defiende que, en terminos de la segunda mejor opcion, no se puede atribuir ni a la corrupcion ni al sector informal o a la inestabilidad politica el rendimiento limitado de la economia ucraniana. En Ucrania, la corrupcion parece funcionar como "lubrificante para las ruedas de la economia", al tiempo que la actividad economica informal incrementa el bienestar de la poblacion. Tampoco se puede demostrar de manera concluyente ninguna conexion entre la inestabilidad politica y el rendimiento economico. El origen de la falta de eficiencia de la inversion publica y privada se encuentra en un deficiente gobierno publico. Las inversiones masivas en infraestructuras pueden constituir un remedio (i) en forma de partenariados entre los sectores publicos y privados con la colaboracion del gobierno a nivel sub-nacional y (ii) financiando los proyectos mediante una expansion monetaria interior, desde un punto de vista de politica macroeconomica que se enfoque en el aspecto monetario de la inversion mas que en el fiscal. La expansion monetaria propuesta puede funcionar unicamente con el enlace correcto entre multiplicadores, aceleradores y la acumulacion de capital. Tambien se debe prestar una especial atencion a la mejora del sector bancario, con una estructura industrial actualmente ineficiente. EnglishThis article maintains that in our second best world, neither corruption nor the informal sector and political instability can be held responsible for the moderate performance of the Ukrainian economy. Corruption in Ukraine appears to act as "grease in the wheels of the economy", while informal activities add to the welfare of its people. And, no connection of political instability with economic performance may be contemplated conclusively. The cause of the inefficiency of private and public investment is traced to poor public governance. Massive infrastructure investments can become the remedy (i) in the context of public-private partnerships with the collaboration of the subnational governments, and (ii) in financing the projects through domestic monetary expansion, under a macroeconomic policy viewpoint emphasizing the monetary rather than fiscal side of the venture. The proposed monetary expansion can only work only under the proper multiplier, accelerator, and capital accumulation link. Special care should be taken to improve the industrial organization of the inefficient banking sector.
Empirical Correlation between Geotechnical and Geophysical Parameters in a Landslide Zone (Case Study: Nargeschal Landslide)

Today, geotechnical and geophysical techniques are used for landslide evaluation. Geotechnical methods provide accurate data, but are time consuming and costly. Geophysical techniques, however, are fast and inexpensive, yet their accuracy is lower than that of the geotechnical methods. Therefore, simultaneous use of geotechnical and geophysical methods provides a suitable solution for landslide evaluation. Availability of geotechnical and geophysical data makes it possible to investigate correlation between different parameters. Correlating geotechnical and geophysical parameters ends up lowering field investigation costs and enhancing subsurface survey speed in a landslide zone. In the present study, in order to evaluate Nargeschal landslide in Iran, ambient noise measurement, ERT survey, and geotechnical investigations were used. Once finished with data processing, the data obtained from geotechnical and geophysical investigations were correlated. These included SPT-N – electrical resistivity, soil moisture content – electrical resistivity, and SPT-N – shear wave velocity correlations. The correlations were examined using two methods, namely Spearman’s coefficient test and least square regression analysis. The results obtained from the two methods were in good agreement with one another. The correlations obtained in this study were of moderate to very strong strength and fell in the range of the results of previous studies. Investigation of the results indicated significant influences of ground water on electrical resistivity and soil stiffness on shear wave velocity. Results of this study can be used for soil classification and determination of mechanical and seismic characteristics of soil across various areas.
Optimal Full Waveform Inversion Strategy in Azimuthally Rotated Elastic Orthorhombic Media

The elastic orthorhombic assumption is one of the most practical Earth models that takes into account the horizontal anisotropic layering and vertical fracture network. In this model, the rotation angle of the vertical planes of symmetry is a crucial parameter needed to increase the convergence of an anisotropic full waveform inversion (FWI) as well as to provide the fracture geometry along azimuthal direction. As an initial step, we investigate the possibility of recovering the azimuth angle via FWI, which may offer high-resolution information. We first utilize our new parameterization with deviation parameters, which provides the opportunity for multi-stage FWI. Based on the radiation patterns and gradient directions of each parameter, we show that the azimuth angle mainly affects the parameters that have azimuth-dependent radiation patterns, so that we can hierarchically build up the subsurface model from isotropic to VTI to azimuthally rotated orthorhombic models with less trade-offs. From the numerical example for a synthetic 3D model, we expect that both a deviation parameter and the azimuth angle can be recovered in the last stage of FWI with minimum trade-offs.
Serpentinite stock south of Niedamirów - Lasocki Range, Sudetes, compared with other circum-Karkonosze ultramafic bodies.

Newly discovered serpentinite occurring in the Lasocki Range south of Niedamirow village is built up of abundant serpentine, often as pseudomorphs after olivine, chlorite and tremolite but there are also preserved relics of chromium diopside, titanian pargasitic hornblende and Mn-rich ilmenite. Thus the protolith of the serpentinite was most likely an ilmenite-bearing clinopyroxene-hornblende peridotite. On the basis of mineral chemistry and overall chemical composition it may be concluded that the protolith intruded from the metasomatically altered lithospheric mantle. It intruded probably along deep faults. The age of the intrusion is not known. By analogy to the hornblende-peridote of Janowice Wielkie it may be supposed that it intruded after the late Variscan Karkonosze granite (304 - 327 Ma). The comparison of chemical composition of the investigated rock and five other circum-Karkonosze ultramafic bodies with primitive mantle and trends of its differentiation makes possible to put forward the hypothesis that at the time preceding the intrusions of ultramafics the Karkonosze - Izera region was underlain by anomalous mantle enriched in fluids, Al, Fe, Ti and other incompatible elements, i.e. that beneath the discussed region there was an area corresponding to an ancient hot spot. Pien serpentynitowy na poludnie od Niedamirowa, Grzbiet Lasocki, Sudety, na tle innych wokolkarkonoskich ultramafitow Abstrakt Nowo odkryty serpentynit zbudowany jest w znacznej mierze z serpentynu tworzącego pseudomorfozy po oliwinie, chlorytu i tremolitu. Pierwotne mineraly zachowane są w formie reliktow. Są nimi diopsyd chromowy, tytanowa pargasytowa hornblenda i bogaty w mangan ilmenit. Protolitem serpentynitu byl najprawdopodobniej ilmenitonośny klinopiroksenowo-hornblendowy perydotyt. Na podstawie skladu chemicznego mineralow i calej skaly sądzic mozna, ze protolit pochodzi z metasomatycznie zmienionego litosferycznego plaszcza Ziemi, znacznie wzbogaconego we fluidy, Al, Fe, Ti i inne pierwiastki niekompatybilne. Protolit ten intrudowal przypuszczalnie wzdluz linii przeciecia glebokich uskokow. Wiek intruzji nie jest znany, aczkolwiek poprzez analogie do hornblendowego perydotytu Janowie Wielkich mozna sądzic, ze ultrabazyt Niedamirowa intrudowal po waryscyjskim granicie Karkonoszy (304 - 327 min lat). Porownanie skladu chemicznego serpentynitu Niedamirowa i pieciu innych cial ultramaficznych wystepujących wokol masywu Karkonoszy ze skladem niezroznicowanego plaszcza Ziemi i kierunkami jego dyferencjacji pozwolilo wysunąc hipoteze, ze w czasie poprzedzającym intruzje ultramafitow pod regionem karkonosko-izerskim znajdowal sie diapir plaszcza Ziemi o podwyzszonej temperaturze ("hot spot").
Enforcing Customizable Consistency Properties in Software-Defined Networks

It is critical to ensure that network policy remains consistent during state transitions. However, existing techniques impose a high cost in update delay, and/or FIB space. We propose the Customizable Consistency Generator (CCG), a fast and generic framework to support customizable consistency policies during network updates. CCG effectively reduces the task of synthesizing an update plan under the constraint of a given consistency policy to a verification problem, by checking whether an update can safely be installed in the network at a particular time, and greedily processing network state transitions to heuristically minimize transition delay. We show a large class of consistency policies are guaranteed by this greedy heuristic alone; in addition, CCG makes judicious use of existing heavier-weight network update mechanisms to provide guarantees when necessary. As such, CCG nearly achieves the "best of both worlds": the efficiency of simply passing through updates in most cases, with the consistency guarantees of more heavyweight techniques. Mininet and physical testbed evaluations demonstrate CCG's capability to achieve various types of consistency, such as path and bandwidth properties, with zero switch memory overhead and up to a 3× delay reduction compared to previous solutions.
High Altitude Illness

Introduction The aims of this article are to outline the physiology of high altitude, the treatment of altitude illness and to describe opportunities for further education in mountain medicine. Human difficulty with the rarefied air at high altitudes has been recognised since ancient times. Writings attributable to Aristotle (384-322 BC) describe travel on Mount Olympus in Macedonia: 'Also, because the rarity of the air which was there did not fill them with breath, they were not able to survive there unless they applied moist sponges to their noses' (1). International frontiers frequently follow geographic features such as mountain ranges. This means that conflicts may well arise in high altitude areas (the European Alps of France and Italy in the Second World War, the Himalayan regions of India and Pakistan, and more recently the highlands of Afghanistan) with major implications for troop movement.
Dependent Types in Haskell: Theory and Practice

Haskell, as implemented in the Glasgow Haskell Compiler (GHC), has been adding new type-level programming features for some time. Many of these features---chiefly: generalized algebraic datatypes (GADTs), type families, kind polymorphism, and promoted datatypes---have brought Haskell to the doorstep of dependent types. Many dependently typed programs can even currently be encoded, but often the constructions are painful. In this dissertation, I describe Dependent Haskell, which supports full dependent types via a backward-compatible extension to today's Haskell. An important contribution of this work is an implementation, in GHC, of a portion of Dependent Haskell, with the rest to follow. The features I have implemented are already released, in GHC 8.0. This dissertation contains several practical examples of Dependent Haskell code, a full description of the differences between Dependent Haskell and today's Haskell, a novel type-safe dependently typed lambda-calculus (called Pico) suitable for use as an intermediate language for compiling Dependent Haskell, and a type inference and elaboration algorithm, Bake, that translates Dependent Haskell to type-correct Pico.
A profile of combat injury.

Traumatic combat injuries differ from those encountered in the civilian setting in terms of epidemiology, mechanism of wounding, pathophysiologic trajectory after injury, and outcome. Except for a few notable exceptions, data sources for combat injuries have historically been inadequate. Although the pathophysiologic process of dying is the same (i.e., dominated by exsanguination and central nervous system injury) in both the civilian and military arenas, combat trauma has unique considerations with regard to acute resuscitation, including (1) the high energy and high lethality of wounding agents; (2) multiple causes of wounding; (3) preponderance of penetrating injury; (4) persistence of threat in tactical settings; (5) austere, resource-constrained environment; and (5) delayed access to definitive care. Recognition of these differences can help bring focus to resuscitation research for combat settings and can serve to foster greater civilian-military collaboration in both basic and transitional research.
CrowdSeed: query processing on microblogs

Databases often offer poor answers with respect to judgemental queries such as asking the best among the movies shown in recent months. Processing such queries requires human input for providing missing information in order to clarify uncertainty or inconsistency in queries. Nowadays, it is common to see people seeking answers on micro-blogs through asking or sharing questions with their friends. This can be easily done via smart phones, which diffuse a question to a large number of users through message propagation in microblogs. This trend is important and known as CrowdSearch. Due to conflicting attitudes among crowds, the majority vote is employed as a crowd-wisdom aggregation schema. In this demo, we show the problem of minimizing the monetary cost of a crowdsourced query, given the specified expected accuracy of the aggregated answer. We present CrowdSeed, a system that automatically integrates human input for processing queries imposed on microblogs. We demonstrate the effectiveness and efficiency of our system using real world data, as well as presenting interesting results from a game called "Who is in the CrowdSeed? ".
Exercise and physical activity in the prevention and treatment of atherosclerotic cardiovascular disease.

Regular physical activity using large muscle groups, such as walking, running, or swimming, produces cardiovascular adaptations that increase exercise capacity, endurance, and skeletal muscle strength. Habitual physical activity also prevents the development of coronary artery disease (CAD) and reduces symptoms in patients with established cardiovascular disease. There is also evidence that exercise reduces the risk of other chronic diseases, including type 2 diabetes,1 osteoporosis,2 obesity,3 depression,4 and cancer of the breast5 and colon.6 This American Heart Association (AHA) Scientific Statement for health professionals summarizes the evidence for the benefits of physical activity in the prevention and treatment of cardiovascular disease, provides suggestions to healthcare professionals for implementing physical activity programs for their patients, and identifies areas for future investigation. This statement focuses on aerobic physical activity and does not directly evaluate resistance exercises, such as weight lifting, because most of the research linking physical activity and cardiovascular disease has evaluated aerobic activity. Whenever possible, the writing group has cited summary articles or meta-analyses to support conclusions and recommendations. This evidence supports the recommendation from the Centers for Disease Control and Prevention (CDC) and the American College of Sports Medicine (ACSM) that individuals should engage in 30 minutes or more of moderate-intensity physical activity on most (preferably all) days of the week.7 Physical activity is defined as any bodily movement produced by skeletal muscles that results in energy expenditure beyond resting expenditure. Exercise is a subset of physical activity that is planned, structured, repetitive, and purposeful in the sense that improvement or maintenance of physical fitness is the objective. Physical fitness includes cardiorespiratory fitness, muscle strength, body composition, and flexibility, comprising a set of attributes that people have or achieve that relates to the ability to perform physical activity. When defining the amount of …
Higher Prices for Larger Quantities? Nonmonotonic Price-Quantity Relations in B2B Markets

We study a microprocessor company selling short-life-cycle products to a set of buyers that includes large consumer electronic goods manufacturers. The seller has a limited capacity for each product and negotiates with each buyer for the price. Our analysis of their sales data reveals that larger purchases do not always result in bigger discounts. Instead, the discount curve is like an “N. ” While existing theories cannot explain this nonmonotonic pattern, we develop an analytical model and show that the nonmonotonicity is rooted in how sellers value capacity when negotiating with a buyer. Large buyers accelerate the selling process and small buyers are helpful in consuming the residual capacity. However, satisfying midsized buyers may be costly because supplying these buyers can make it difficult to utilize the remaining capacity, which is often too much for small buyers but not enough for large buyers. We briefly discuss the implications for capacity rationing and posted pricing as well as potential appl.
Heat shock protein 70-associated peptides elicit specific cancer immunity

Vaccination of mice with heat shock protein 70 (hsp70) preparations derived from the Meth A sarcoma, but not from normal tissues, renders the mice immune to a substantial challenge with Meth A sarcoma. The immunogenicity is dose dependent and tumor specific. Treatment of an antigenically active hsp70 preparation with ATP followed by removal of low-molecular weight material leaves hsp70 intact, as judged by SDS- PAGE but results in loss of antigenicity, as judged by tumor rejection assays. Separation of this low-molecular weight material on a C18 reverse-phase column shows a diverse array of peptides with molecular mass between 1,000 and 5,000 daltons. Our data indicate that antigenicity of hsp70 preparations derives, not from hsp70 per se, but from associated peptides. These observations may suggest a novel method of using the peptide-binding property of hsp70 for specific vaccination against cancer and infectious diseases.
Chaos Does Help Motion Control

This work consists in the realization and control of a walking microrobot actuated by piezoelectric materials. Usually, the actuation of robot legs is controlled by square wave signals characterized by fixed amplitude and frequency. In this work the control signals are generated performing a frequency modulation driven by the chaotic evolution of Chua's circuit state variables. The smooth changes of the actuation signal frequency, performed by our chaotic system, enhance the microrobot walking capabilities especially when walking on given surfaces.
The Evolving Role of Immune Checkpoint Inhibitors in Cancer Treatment.

UNLABELLED Traditional treatment modalities for advanced cancer (radiotherapy, chemotherapy, or targeted agents) act directly on tumors to inhibit or destroy them. Along with surgery, these modalities are predominantly palliative, with toxicity and only modest improvements in survival in patients with advanced solid tumors. Accordingly, long-term survival rates for most patients with advanced cancer remain low, thus there is a need for cancer treatments with favorable benefit and toxicity profiles that can potentially result in long-term survival. The immune system plays a critical role in the recognition and eradication of tumor cells ("immune surveillance"), and immunotherapies based on this concept have been used for decades with some success against a few tumor types; however, most immunotherapies were limited by a lack of either substantial efficacy or specificity, resulting in toxicity. We now have a greater understanding of the complex interactions between the immune system and tumors and have identified key molecules that govern these interactions. This information has revitalized the interest in immunotherapy as an evolving treatment modality using immunotherapeutics designed to overcome the mechanisms exploited by tumors to evade immune destruction. Immunotherapies have potentially complementary mechanisms of action that may allow them to be combined with other immunotherapeutics, chemotherapy, targeted therapy, or other traditional therapies. This review discusses the concepts and data behind immunotherapies, with a focus on the checkpoint inhibitors and their responses, toxicities, and potential for long-term survival, and explores promising single-agent and combination therapies in development. IMPLICATIONS FOR PRACTICE Immunotherapy is an evolving treatment approach based on the role of the immune system in eradicating cancer. An example of an immunotherapeutic is ipilimumab, an antibody that blocks cytotoxic T-lymphocyte antigen-4 (CTLA-4) to augment antitumor immune responses. Ipilimumab is approved for advanced melanoma and induced long-term survival in a proportion of patients. The programmed death-1 (PD-1) checkpoint inhibitors are promising immunotherapies with demonstrated sustained antitumor responses in several tumors. Because they harness the patient's own immune system, immunotherapies have the potential to be a powerful weapon against cancer.