Miracle-dz/UniFAR-FTUs huggingface dataset:
The Axiom of Choice and Related Topics

In this paper I will be discussing the Axiom of Choice and its equivalent statements. The Axiom of Choice is an axiom of Zermelo-Fraenkel set theory that states that given a collection of non-empty sets, there exists a choice function which selects one element from each set to form a new set. The equivalents of the Axiom of Choice that I will be discussing include Zorn’s Lemma, which states that a partially ordered set with every chain being bounded above contains a maximal element, and the Well-Ordering Theorem, which states that every set has a well ordering. In addition to proving the equivalence of these statements, I will be discussing the mathematics required to prove them individually, as well as each of their consequences across the field of mathematics.
THE PROBLEM OF MERGE El problema de ensamble

Focusing on biolinguistic considerations, Merge is a formal operation proposed by theoretical linguistics and linked to specific principles of neural computation. In this sense, Merge can be viewed as a natural operation of the brain. Merge is commonly claimed to be a digital operation. In a first approximation, digital computation is the processing of strings of digits according to general rules defined over these digits. However, it seems that neural processes are not digital computations. These conflictive claims, e.g. the digital characterization of Merge and the non-digital characterization of the brain, leads to the following scenario: either Merge is an operation that is not realized in the brain or Merge is realized in the brain but not digitally. The purpose of this paper is to evaluate the problems posed by each thesis.
Feedback mechanisms and sensitivities of ocean carbon uptake under global warming

Global warming simulations are performed with a coupled climate model of reduced complexity to investigate global warming—marine carbon cycle feedbacks. The model is forced by emissions of CO2 and other greenhouse agents from scenarios recently developed by the Intergovernmental Panel on Climate Change and by CO2 stabilization profiles. The uptake of atmospheric CO2 by the ocean is reduced between 7 to 10% by year 2100 compared to simulations without global warming. The reduction is of similar size in the Southern Ocean and in low-latitude regions (32.5°S-32.5°N) until 2100, whereas low-latitude regions dominate on longer time scales. In the North Atlantic the CO2 uptake is enhanced, unless the Atlantic thermohaline circulation completely collapses. At high latitudes, biologically mediated changes enhance ocean CO2 uptake, whereas in low-latitude regions the situation is reversed. Different implementations of the marine biosphere yield a range of 5 to 16% for the total reduction in oceanic CO2 uptake until year 2100. Modeled oceanic O2 inventories are significantly reduced in global warming simulations. This suggests that the terrestrial carbon sink deduced from atmospheric O2/N2 observations is potentially overestimated if the oceanic loss of O2 to the atmosphere is not considered.
Computation Offloading Decision in Mobile Cloud Computing: Challenges of Mobile Devices

Functionality on mobile devices are ever richer in daily life. Mobile devices have limited resources like battery life, storage and processor, etc. Offload-ing some computing tasks from mobile devices to the cloud is a way to solve the limitations of battery life and computing capability of mobile devices. Application offloading is energy efficient only under various conditions. This paper proposes an Enhanced Computation Offloading Algorithm, to extend the life time of mobile devices, partition the job as a graph and taking into account the CPU load, state of Charge, wireless network bandwidth, transmission data size. Based on the inputs, the system decide whether to offload the application to the cloud or not. Offload-ing is an effective method for extending the life time of mobile devices by executing some components of applications remotely. (E.g. processing applications on mobile cloud). Result will demonstrate that the algorithm can significantly reduce energy consumption of mobile device as well as execution time of application.
Link Prediction on the Patent Citation Network

By utilizing increasingly accurate graph embedding methods, link prediction has been demonstratively successful on a growing number of datasets, many of which can serve clear utility. However, link prediction is less well studied on large, sparse, and temporal settings. In this paper, we apply link prediction for the first time to the Patent Citation Network: a large, temporal, sparse graph. Experiments demonstrate weaknesses of a neural network based method, Structural Deep Network Embedding, in contrast with surprisingly good performance of node2vec. By comparing with link prediction results on a more typical dataset, BlogCatalog, we highlight the scalability of the PyTorch BigGraph method, demonstrate difficulties resulting from sparsity, and provide evidence that link prediction can generalize to a temporal setting.
AS ORIGENS DO PENSAMENTO OCIDENTAL THE ORIGINS OF WESTERN THOUGHT

In Metaphysics A.4 (985b4-19 [DK67 A6]), Aristotle provides crucial information about fundamental aspects of the chemistry and microphysics of the atomic theory of Leucippus and Democritus of Abdera. Besides the plenum and the void, which he identifies as the elements of the atomic theory, he presents what he himself names as differences. These fundamental differences are named so because they ought to be responsible for the emergence of all other differences in the physical world, and especially the ones that hit our senses. Aristotle provides a list of three differences both 2 Rev. Archai, n. 27, Brasília, 2019, e02702. in what is recognized as autochthonous terminology from Leucippus and Democritus, and in a translation to terms apparently more intelligible to Aristotelian listeners. Among those differences there is one in particular that is harder to comprehend than the other ones: rhysmos. Aristotle’s translation of rhysmos into schēma has led most interpreters to acknowledge that it referred solely to atoms individually, while the other two differences would refer to relations between atoms. In this paper, I want to propose an interpretation in which rhysmos actually refers to several aspects of the chemistry and microphysics of the atomic theory.
Web Search-based Surveillance of Multiple Diseases in Multiple Countries

SNS-based surveillance lacks when NLP resources or SNS data are scarce; Wikipedia-based is unreliable for widespread languages, and the current search-based is not applicable for low search-volume regions. Thus, how to conduct Internet-based surveillance when those conditions are not met is still an open problem. Our study serves as a (cid:12)rst step in exploring the potential of conducting disease surveillance with relative search volume with sliced-timeframes. Our results show that our approach produces predictions with correlations against oﬃcial patient numbers, ranging from 72% to 95% in countries with a high Web search volume. In countries with fewer Web search volume, our models produced correlations of about 62% for Lassa fever and 59% for Yellow fever in Nigeria. In the contexts Cholera Nigeria and Cholera Haiti , our models yielded promising predictions of 47% and 42%, respectively. Furthermore, the results show that standard regression models are most suitable rather than neural-based models. Longer lookback windows on category \health" lessen the noise on signal and in overall produces the most stable results.
Anti-Psoriatic Effects of Middle Fragment of Chlamydial Plasmid-Encoded Protein pGP3 in an Imiquimod-Induced Psoriasis Mouse Model

Background Previously, we demonstrated that the chlamydial protein pGP3 forms a stable complex with LL-37 to neutralize its proinflammatory activity during the pathogenesis of psoriasis. The middle domain of pGP3 (pGP3M) is critical for the binding and neutralization of LL-37. Here, we further examined the mechanism underlying pGP3-mediated inhibition of psoriasis progression and evaluated the inhibitory effect of pGP3M on the development of psoriasis-like skin lesions in mice. Material/Methods Stock solutions of pGP3M and pGP3 (100 μg/mL) were prepared using sterile ultrapure water and intramuscularly injected into the left leg of the imiquimod (IMQ)-induced psoriasis mouse model. The severity of skin lesions was evaluated based on the psoriasis area and severity index score and ear skin thickness. The skin biopsy and blood samples were collected on the 8th day for histological analysis and inflammatory cytokines detection. Results Erythema, scaling, and thickening were observed on the dorsal skin and the right ear skin of IMQ-treated mice. Treatment with pGP3 and pGP3M alleviated the IMQ-induced erythema, inflammatory cell infiltration, and scaly plaques. Compared with IMQ-treated and PBS-treated mice, pGP3- and PGP3M-treated mice had less inflammatory cell infiltration in skin tissues and had significantly reduced IL-17A, IFN-γ, and IL-22 levels in serum. Conclusions The anti-psoriatic efficacy of exogenous pGP3M was similar to that of pGP3. This indicated that pGP3M attenuated the IMQ-induced inflammatory and psoriatic symptoms in mice by binding and inhibiting LL-37. Further research is needed to examine the toxicity of pGP3 and pGP3M before clinical trial evaluation.
Urban environment quality assessment by using composite index model

Urban environments are often subject to many challenges, which make it very difficult to assess sustainability performance of urbanization. Indexing can be an appropriate systematic tool for sustainability assessment in sophisticated decision‐making situations involving simultaneous consideration of multiple qualitative and quantitative factors. In this study, a systems approach was adopted to develop a composite index called SUQCI (Sustainable Urban Quality Composite Index) in order to assess the potential of a city to become sustainable. The index is composed of 10 components containing a total number of 16 indicators. According to which, the 22 districts of Tehran City were compared in terms of sustainability of urban environment quality. The obtained results indicated that the Districts 1, 2, and 3 are in ideal sustainability conditions. These areas are among prosperous places of the city. About 59.09% of all districts were below the average SUQCI. The Districts 18 and 19 with the SUQCI values of 0.21 and 0.25 remain in critical condition. In overall, a great injustice in distribution of sustainability components is observed in Tehran so that unsustainable urban environment becomes more evident in underserved areas of the city. In recent years, increasing attempts have been made to overcome the injustice. © 2015 American Institute of Chemical Engineers Environ Prog, 34: 1473–1480, 2015
Analysis of the effects that Global Business Environment has on the adaptation of Strategic HR Planning: A Case study of KFC in China

Internationalization has become common in the current business environment as businesses seek opportunities outside their home countries. These organizations not only internationalize their marketing strategies, but also their resources including human resources hence these organizations are faced with the problem of how they will manage their human resources in the foreign countries. The objective of this study is to analyse how organizations such as KFC have undertaken strategic HRM. Literature review reveals that SHRM is as important to an organization as any other element that is internationalized. It shows that SHRM is the most important source of sustainable competitive advantage given that HR is required in order to leverage any other source of competitive advantage. Qualitative research methodology was adopted and interviews were used to collect data from the participants. The study found that a combination of economic, socio-cultural, technological and legal factors affects KFC SHRM in the Chinese market. It is imperative to note that the company has had to significantly adapt its HRM strategies in this market to comply with the needs of the market.
Elaboration of ion‐exchange membranes with semi‐interpenetrating polymer networks containing poly(vinyl alcohol) as polymer matrix

Ion-exchange membranes were prepared with semi-interpenetrating networks (s-IPNs) by mixing a film-forming polymer, poly(vinyl alcohol) (PVA), for the crosslinked matrix and a polyelectrolyte for the specific ion-exchange property. Poly(sodium styrenesulfonate) (PSSNa), poly(styrenesulfonic acid) (PSSH), and poly(acrylic acid) (PAA) were used as anionic polyelectrolytes. Polyethyleneimine (PEI), poly(1,1-dimethyl-3,5-dimethylenepiperidinium chloride) (PDDPCl), and poly(diallyldimethylammonium chloride) (PDDMACl) were used as cationic polyelectrolytes. Membranes with PVA 60% and polyelectrolyte 40% showed the best compromise among mechanical, homogeneous, and ion-exchange properties. Gaseous dibromoethane was used as a crosslinking agent to form the PVA network and for efficient entrapment of the polyelectrolyte in the membrane. The crosslinking time (tc) was optimized for each type of membrane and its influence was studied by thermogravimetric analysis of the sample and scanning electron microscopy observations. The best results (large ion-exchange capacity and small swelling ratio) were obtained for PVA/PAA and PVA/PSSNa/PSSH membranes. Among anion-exchange membranes, PVA/PEI gave the best permselectivity (low co-ion leakage) and the highest ion-exchange capacity. © 2002 Wiley Periodicals, Inc. J Appl Polym Sci 84: 1572–1580, 2002; DOI 10.1002/app.10420
Altered expression of amino acid transporter LATs of intestinal cells in 5-fluorouracil-induced intestinal mucosal inflammation

Received 26 December 2019, accepted 6 January 2020 Correspondence to: Takafumi Ichikawa, Department of Regulation Biochemistry, Kitasato University Graduate School of Medicine 1-15-1 Kitasato, Minami-ku, Sagamihara, Kanagawa 252-0373, Japan E-mail: t.ichika@kitasato-u.ac. jp Altered expression of amino acid transporter LATs of intestinal cells in 5-fluorouracil-induced intestinal mucosal inflammation
cAMP export by the fission yeast Schizosaccharomyces pombe

The fission yeast Schizosaccharomyces pombe produces a cAMP signal in response to glucose detection. Previous characterization of this signaling focused on intracellular levels of cAMP. Here, we find that the cAMP is secreted into the medium almost immediately. This is not due to PKA activation as might have been expected. In addition, a strain that is highly deficient in drug efflux shows only a modest reduction in the secretion of cAMP to the growth medium. These observations reveal a previously unappreciated aspect of cAMP metabolism in an important model organism, leading to new questions regarding the mechanism and benefit of cAMP export in S. pombe.
Neural Style Transfer for Understanding How Stylistic Choices Affect Emotional Affect

We used Multi-Style Neural Style Transfer (NST) on landscape paintings to explore how painting style effects the emotions of viewers. We grouped landscape paintings into "positive", "negative", and "neutral" valence categories and used groups of "positive" and "negative" valence style images in a Multi-Style NST to change the emotional affect of "neutral" valence content landscape painting. We also explored optimization methods such as color preservation, average pooling, and content-style trade-off to improve the appearance of our results. To investigate the performance of our algorithm, we ran a qualitative, randomized survey with 22 participants. As a result, we concluded that even while the emotional inﬂuence of art is subjective and controversial, NST can be effectively used to change the emotional affect of a painting, as well as to help identify common patterns in style that might lead to certain emotional responses from paintings.
Optimum Portfolio Selection Using a Hybrid Genetic Algorithm and Analytic Hierarchy Process: An Application to Amman Stock Exchange

-The aim of this study is to investigate the ability of a hybrid genetic algorithm (HGA) and analytic hierarchy process (AHP) in selecting the optimum portfolio. This of course, helps investors to decide the most appropriate investment alternatives. For that purpose, the study creates portfolios using daily returns of the companies listed in Amman Stock Exchange, for the period from January 1
RECORDS OF PHARMACEUTICAL AND BIOMEDICAL SCIENCES Role of Notch Signaling Pathway in Breast Cancer and Chemo-resistance

Despite the advanced treatment strategies, breast cancer remains the second cancer causing mortality across women worldwide. Notch signaling pathway has been found to be emerged in several cancers as well as in acquired and innate drug resistance. Therefore, understanding the role of Notch molecular mechanism could harbor beneficial impact to overcome chemoresistance and developing novel treatment strategies for cancer. Cisplatin (CIS) is an effective chemotherapeutic agent that is widely used against cancer but resistance is frequently occurs with limited therapeutic efficacy. One approach to overcome such unfavorable resistance is using complementary therapies with CIS. Thymoquinone (TQ) is a main compound in the essential oil of Nigella sativa. It has potent oncostatic activity by modulation of multiple regulatory pathways. Pentoxifylline (PTX) is a methylated xanthine derivative with remarkable anti-inflammatory and immunomodulatory actions. Combining TQ and PTX with CIS could be a promising strategy to suppress Notch signaling and overcome CIS resistance.
Volcanological evolution of Pantelleria Island (Strait of Sicily) peralkaline volcano: a review

Pantelleria volcano has a particularly intriguing evolutionary history intimately related to the peralkaline composition of its explosively erupted magmas. Due to the stratigraphic complexity, studies over the last two decades have explored either only the pre-Green Tuff ignimbrite volcanism or the post-Green Tuff activity. We here focus on the whole evolutionary history, detailing the achievements since the first pioneering studies, in order to illustrate how the adoption and integration of progressively more accurate methods (40Ar/39Ar, paleomagnetism, petrography, and detailed field study) have provided many important independent answers to unresolved questions. We also discuss rheomorphism, a distinct feature at Pantelleria, at various scales and possible evidence for multiple, now hidden, caldera collapses. Although the evolutionary history of Pantelleria has shown that each ignimbrite event was followed by a period of less intense explosivity (as could be the present-day case), new geochronological and geochemical data may indicate a long-term waning of volcanic activity.
Investor Sentiment and IPO Pricing during Pre-Market and Aftermarket Periods

In this study, we separately measure pre-market and aftermarket investor sentiment and investigate their impact on IPO pricing in a two-stage framework. We find that compensation for institutional investors is associated with their fractional allocation and the risk they bear. This helps explain the partial adjustment of offer prices to pre-market sentiment. We also show that pre-market sentiment tends to spill over to the aftermarket period, and aftermarket sentiment causes a further price run-up in the secondary market. Overall, our findings suggest that institutional investors play an important role in re-distributing shares in the secondary market and the momentum in investor sentiment makes it possible for underwriters to implement the staged distribution strategy. JEL Classification Code: G02; G14
Analysis of offloading mechanisms in edge environment for an embedded application

In this world of random technological development, the most valuable and challenging parameter is the computation time of each and every process. When every task has to be automated or has to be controlled, the performance parameters like time, power, energy that are consumed should also be taken into account. Modern technologies indirectly mean high computation complexity which in turn means more power consumption. Many power profiling tools and algorithms are already being used for monitoring power utilization and for minimizing power consumption of processes, which are commonly found in android devices. But these tools have several shortcomings as they could not support many embedded applications and other computation intensive applications to the fullest extent. So the aim of the work is to offload the highly complex code segment and thereby reduce the power consumed by the process as a whole, to a greater extent.Thus, the overall power utilization could be reduced to a notable extent.
Implication Of Academic Staff Qualification On The Quality Of Bachelor Of Education Programs In Public Universities In Kenya

Higher education has been evolving in different dimensions reflecting an ostensibly endless and varied number of factors that have defined its landscape. Some of the factors that characterize the current academic landscape include rapid increase in student enrolment and lack of academic staff matching the students’ enrolment (Altbach & Salmi, 2011). Such trends have raised concerns regarding the quality of education offered in these universities. For instance, Statistics show that by the year 2012, public universities and state-based colleges in the United States of America (USA) hired 16 fewer qualified staff per 1,000 full-time equivalent (FTE) Bachelor Education (B.Ed) students compared with that of year 2000, while the number of academic B.Ed staff per student at public master’s and bachelor’s colleges did not record significant change (Goldring, Gray and Bitterman, 2013). This is further supported by Cole (2009) who posit tha in America there is need to prepare students to take up jobs in other important sectors of the economy and education being one of them. Other countries in the world are also facing unique challenges in meeting the quality standards expected of B.Ed graduates. European Commission (EC) (2010) reports recommends a collaborative governance, facilitation and monitoring of the school as measures to improve quality of university education in Europe. Abstract: The purpose of this paper is to explain the implication of academic staffing in public universities in Kenya by understanding the staffing of Bachelor of Education programs. This study sought to find out how staffing of academic staff influences the quality of Bachelor of Education program in public universities in Kenya. The study used a descriptive research design where a case study method was used to collect in-depth data. It was further guided by the systematic Area Study approach in collection and analysis of the data. A target population of 114,796 with a sample of 433 respondents was involved in the study. Questionnaires, interview guides and document analysis were the main instruments used to collect data. Data was analyzed using frequencies and percentages and presented using line graphs and tables in order to show the trends. The study found out that universities have been employing junior academic staff. They included lecturers, senior lecturers and tutorial fellows. In some years, these universities did not have even a single professor in certain departments. Such realities have been found to affect the quality of B.Ed program. The study recommends the Commission for University Education in Kenya to direct the management of public universities to compile annual reports regarding various qualifications of their academic staff; including their departments and specialization, so that the commission can take punitive measures against universities that fail to comply with the policy of staff recruitment.