Miracle-dz/UniFAR-FTUs huggingface dataset:
Monotonic modal logics

Monotonic modal logics form a generalisation of normal modal logics in which the additivity of the diamond modality has been weakened to monotonicity: 3p∨3q → 3(p∨q). This generalisation means that Kripke structures no longer form an adequate semantics. Instead monotonic modal logics are interpreted over monotonic neighbourhood structures, that is, neighbourhood structures where the neighbourhood function is closed under supersets. As specific examples of monotonic modal logics we mention Game Logic, Coalition Logic and the Alternating-Time Temporal Logic. This thesis presents results on monotonic modal logics in a general framework. The topics covered include model constructions and truth invariance, definability and correspondence theory, the canonical model construction, algebraic duality (for monotonic neighbourhood frames), coalgebraic semantics, Craig interpolation via superamalgamation, and simulations of monotonic modal logics by bimodal normal ones. The main contributions are: generalisations of the Sahlqvist correspondence and canonicity theorems, a detailed account of algebraic duality via canonical extensions, an analogue of the Goldblatt-Thomason theorem on definable frame classes, results on the relationship between bisimulation and coalgebraic notions of structural equivalence, Craig interpolation results, and a simulation construction which preserves descriptiveness of general frames.
Exploring virtual race participants’ perceptions of event mobile apps and behavioral intention: The stimulus-organism-response approach

Abstract As COVID-19 compels the event industry to embrace a digital transformation with innovative and safer ways of organizing events, investigating event attendees’ emotional responses and behavioral intention toward virtual sporting events becomes extremely important for event stakeholders. However, there is little empirical research on what factors lead to event participants’ hedonic benefit, which is a crucial determinant of satisfaction and revisit intention in the context of virtual sporting events. Based on the Stimulus-Organism-Response (SOR) model, this study therefore develops and examines a conceptually comprehensive model on the interrelationship between mobile app attributes, hedonic benefit, satisfaction with event experience, and revisit intention in the context of a virtual race event. Results identified user interface attractiveness and perceived usefulness as significant determinants of hedonic benefit which, in turn, affect satisfaction with event experience and revisit intention. Further, the results revealed that hedonic benefit mediates the relationships. The findings of this study provide significant theoretical and managerial implications for both researchers and practitioners who are interested in the use of mobile apps in virtual race events.
Validity of Fama-French Three Factor Model for Diversified Financial Companies Listed on the Colombo Stock Exchange

This study aims to test the validity of the Fama and French Three-Factor Model (FF3FM) in explaining the cross-sectional variation in stock returns of the diversified financial companies listed on the Colombo Stock Exchange (CSE). It adopted the Fama and French (1992) approach to construct the portfolios. Accordingly, six portfolios were constructed using a 2x3 annual sorting procedure based on market capitalization and book to market equity ratio. The sample period spans for five years, from April 2014 to March 2019 and the sample is included 37 diversified financial companies listed on the CSE. The data analysis is based on both descriptive statistics and inferential statistics which are derived on correlation analysis and multiple regression analysis. The results indicate that FF3FM performs well in explaining cross-sectional variation in stock returns. All three factors of the model market risk premium, size premium, and value premium exhibit significant relations with excess portfolio returns. The study also finds that market risk premium is the most prominent factor of the model, while the other two factors share equal explanatory power. The results further confirm that FF3FM outperforms Capital Assets Pricing Model (CAPM) in explaining cross-sectional variation in stock returns. The study supports the prediction of Fama French (1992) that high BE/ME ratio portfolios outperform the portfolios with low BE/ME ratios. Considering these findings, it is recommended that, in addition to stock beta, size and value information should be made available to stock investors for conducting better assessment of uncertainties associated with investment returns.
Muslim Secularism by Conduct: Attitudes of Young Australian Muslims to Legal Pluralism and Sharia

ABSTRACT This article examines young Muslim Australians’ attitudes toward implementing Sharia in Australia using 64 semi-structured interviews conducted in Melbourne and Geelong, Australia. We found that although the attitudes can be grouped under the main typologies of Legal Pluralist and Muslim Secularist, there were a variety of responses within each category. While Legal Pluralist A wants Sharia to be officially implemented for Muslims in Australia, Legal Pluralist B thinks Sharia would be beneficial for everyone in Australia. The majority of our respondents (Muslim Secularist) think that Sharia is not suited for Australian state, legal system and politics. Muslim Secularist A does not think that Sharia offer any benefit to modern societies in any part of the world. Muslim Secularist B thinks that Sharia cannot be applied in Australia that has to remain secular because of the religious diversity of the population and Sharia is more useful for Muslim-majority countries. Religiosity does not predict any of these typologies in our participant group since, with few exceptions, all identified themselves as religious Muslims.
The search for substellar companions to subdwarf B stars in connection with evolutionary aspects

The formation and evolution of single hot subdwarf B stars is not entirely understood. Enhanced mass loss during the red giant phase is a prerequisite to explain the very existence of these stars, yet its cause is a matter of debate. One hypothesis predicts that substellar companions like brown dwarfs and exoplanets may be able to have a decisive influence on the formation and evolution of single subdwarf B stars. This dissertation investigates two pulsating subdwarf B stars with the goal to search for substellar companions and to directly measure the evolutionary timescales. The long-term multi-site photometric data were taken in the framework of the EXOTIME (EXOplanet search with the TIming MEthod) program and cover a baseline of several tens of months. The secular behaviour of several pulsations in each target is investigated by applying a timing method and constructing O-C (Observed minus Calculated) diagrams. The analysis results in the fundamental insight that both targets are in a phase of global expansion, that their pulsation periods increase on a timescale of several million years and that the two target stars have probably already undergone core Helium exhaustion. Furthermore, the O-C diagrams show evidence for the presence of substellar companions. The star HS0444+0458 has a brown dwarf companion candidate of roughly 31 Jupiter masses in an orbit of 0.27 astronomical units. An exoplanet candidate of 5.6 Jupiter masses is found to orbit its host star HS0702+6043 at a distance of 1.15 astronomical units. These detections provide a direct support for a formation channel of single subdwarf B stars that includes substellar companions as the mass loss trigger.
The Chinese Spring Festival Impact on Air Quality in China: A Critical Review

It is known that the sharp change of air pollutants affects air quality. Chinese Spring Festival is the most important holiday for Chinese people, and the celebration of the holiday with fireworks and the movement of people all around the country results in significant change in multiple air pollutant emissions of various sources. As many cities and rural areas suffer from the air pollution caused by firework displays and more residential fuel consumption, there is an urgency to examine the impact of the Chinese Spring Festival on air quality. Hence, this paper firstly gives an overall insight into the holiday’s impact on ambient and household air quality in China, both in urban and rural areas. The main findings of this study are: (1) The firework displays affect the air quality of urban and rural atmosphere and household air; (2) the reduction in anthropogenic emissions improves the air quality during the Chinese Spring Festival; (3) the household air in urban areas was affected most by firework burning, while the household air in rural homes was affected most by fuel consumption; and (4) the short-term health impact of air pollution during the holidays also need more concern. Although there have been many publications focused on the holiday’s impact on ambient and household air quality, most of them focused on the measurement of pollutant concentration, while studies on the formation mechanism of air pollution, the influence of meteorological conditions, and the health outcome under the effect of the Chinese Spring Festival are rare. In the future, studies focused on these processes are welcomed.
New Galactic star clusters discovered in the VVV survey

Context. VISTA Variables in the V´oa Lactea (VVV) is one of the six ESO Public Surveys operating on the new 4-meter Visible and Infrared Survey Telescope for Astronomy (VISTA). VVV is scanning the Milky Way bulge and an adjacent section of the disk, where star formation activity is high. One of the principal goals of the VVV Survey is to find new star clusters of different ages. Aims. In order to trace the early epochs of star cluster formation we concentrated our search in the directions to those of known star formation regions, masers, radio, and infrared sources. Methods. The disk area covered by VVV was visually inspected using the pipeline processed and calibrated KS-band tile images for stellar overdensities. Subsequently, we examined the composite JHKS and ZJKS color images of each candidate. PSF photometry of 15 × 15 arcmin fields centered on the candidates was then performed on the Cambridge Astronomy Survey Unit reduced images. After statistical field-star decontamination, color-magnitude and color-color diagrams were constructed and analyzed. Results. We report the discovery of 96 new infrared open clusters and stellar groups. Most of the new cluster candidates are faint and compact (with small angular sizes), highly reddened, and younger than 5Myr. For relatively well populated cluster candidates we derived their fundamental parameters such as reddening, distance, and age by fitting the solar- metallicity Padova isochrones to the color-magnitude diagrams.
Match E⁄ects 1

We present an empirical model of earnings that controls for observable and unobservable characteristics of workers (person e⁄ects), unmeasured characteristics of their employers ((cid:133)rm e⁄ects), and unmeasured characteristics of worker-(cid:133)rm matches (match e⁄ects). We interpret these as the returns to general human capital, (cid:133)rm-speci(cid:133)c human capital, and match-speci(cid:133)c human capital, respectively. We stress the importance of match e⁄ects because the returns to match-speci(cid:133)c human capital will be incorrectly attributed to general and/or (cid:133)rm-speci(cid:133)c human capital when match e⁄ects are omitted, and because general and speci(cid:133)c human capital have very di⁄erent implications for the economic cost of job destruction. We (cid:133)nd that slightly more than half of observed variation in log earnings is attributable to general human capital, 22 percent is attributable to (cid:133)rm-speci(cid:133)c human capital, and 16 percent to match-speci(cid:133)c human capital. Speci(cid:133)cations that omit match e⁄ects over-estimate the returns to experience by as much as 50 percent, over-estimate the returns to a college education by as much as 8 percent, attribute too much variation to person e⁄ects, and too little to (cid:133)rm e⁄ects. Our results suggest that considerable earnings variation previously attributed to general human capital (cid:150) both observed and unobserved (cid:150) is in fact attributable to workers sorting into higher-paying (cid:133)rms and better worker-(cid:133)rm matches.
Management Plan for Antarctic Specially Protected Area No. 133 HARMONY POINT, NELSON ISLAND, SOUTH SHETLAND ISLANDS

In 1997, the Management Plan was adapted to the requirements of Annex V to the Protocol on Environmental Protection to the Antarctic Treaty, and approved by Measure 3 (1997). A second revised Management Plan was approved through Measure 2 (2005). The latest version constitutes the revision of the Management Plan approved by Measure 7 (2012) and was the third revision since the entry into force of Annex V.
Quarterly GDP Estimates for the German States

To date, only annual information on economic activity is published for the 16 German states. In this paper, we calculate quarterly regional GDP estimates for the period between 1995 to 2020, thereby improving the regional datbase in Germany. The new data set will regularly be updated when quarterly economic growth for Germany becomes available. We use the new data for an in-depth business cycle analysis and Ąnd large heterogeneities in the duration and amplitudes of state-speciĄc business cycles as well as in the degrees of cyclical concordance. the German value. This is either done by a bottom-up approach or by a top-down method. The Ąrst approach is characterized by a proportional allocation to the state aggregates of the delta between the state sum of GDP and the Ąxed German benchmark. The second method is characterized by an application of regional key indicators to break down German GDP to the regional unities. All data calculations are based on the current European System on National Accounts to ensure comparability within Germany and across Europe.
Remotely $c$-almost periodic type functions in ${\mathbb{R}}^{n}$

In this paper, we relate the notions of remote almost periodicity and quasi-asymptotical almost periodicity; in actual fact, we observe that a remotely almost periodic function is nothing else but a bounded, uniformly continuous quasi-asymptotically almost periodic function. We introduce and analyze several new classes of remotely $c$-almost periodic functions in ${\mathbb R}^{n},$ slowly oscillating functions in ${\mathbb R}^{n},$ and further analyze the recently introduced class of quasi-asymptotically $c$-almost periodic functions in ${\mathbb R}^{n}. $ We provide certain applications of our theoretical results to the abstract Volterra integro-differential equations and the ordinary differential equations.
The Influence of Organizational Justice Dimensions on Affective Commitment and Employees’ Counterproductive Behavior

Employees' work dynamics in companies are very diverse. Some employees have high commitments, and others are very low. Likewise, the counterproductive behavior of employees in every company is also high or low. The importance of the two factors for the continuity of company operations incites the investigation to ponder the role of the dimensions of justice on affective commitment and counterproductive work behavior of employees in Islamic Financial Institutions (LKS) in DIY. Researchers distributed questionnaires to 219 employees from several LKS in DIY with purposive sampling. The data were then analyzed through SEM-PLS, which measures the research instrument and the influence between the research variables. The results of this study indicated that only procedural and interactional justice trigger affective commitment and deviant workplace behavior, while distributive justice is unable to influence these two variables. The study contributed to LKS managers maintaining a work environment that upholds the principles of justice to increase affective commitment and minimize employees' deviant behavior.
Update and Additional Frequencies for Kepler Star KIC 9700322

Breger et al. (2011) reported on the discovery of 76 frequencies for the star KIC 9700322 from one month (Sept.-Oct. 2009) of short-cadence (1-minute sampling rate) photometric data during Quarter 3 of the NASA Kepler mission. Here we report on a reanalysis combining an additional month (June-July 2009) obtained during Quarter 2 as part of the Kepler Guest Observer program. This analysis confirms all but two of the earlier frequencies > 0.5 c/d, and in addition finds six new combination frequencies of the 8 highest amplitude modes, and three frequencies that are not combinations of these modes. Since we do not know the parents of 12 of the 83 frequencies, additional astrophysical discoveries may await in continued study of this star. The rotational modulations of the two radial modes and the 𝓁 = 2 quintuplet are confirmed. For the two radial modes (f1, f2) and the central (m = 0) mode of the 𝓁 = 2 quintuplet, f6, amplitude variability and/or close frequencies were found. The additional data do not reveal more of the 𝓁=0, 1, 2 or higher-degree p modes that were expected, and this result is still a mystery.
Review of Soil Salinity and Sodicity Challenges to Crop Production in the Lowland Irrigated Areas of Ethiopia and Its Management Strategies

: Ethiopia’s irrigated agriculture productivity has been threatened by severe salinity and sodicity problems which have resulted in signiﬁcantly lower yields, food insecurity, and environmental degradation. The destructive effects of poor irrigation water management with the absence of drainage and anticipated future climate changes can accelerate the formation of salt-affected soil, potentially expanding the problem to currently unaffected regions. This paper synthesizes the available information on the causes, extent, and effects of salt-affected soils on soil and crop production and suggest chemical, biological, and physical reclamation and management approaches for tackling salinity and sodicity problems. The mitigation approaches (e.g., the addition of amendments, plantation of salt-tolerant crops, appropriate irrigation and drainage management, phytoremediation, and bioremediation) have successfully tackled soil salinity and sodicity problems in many parts of the world. These approaches have further improved the socioeconomic conditions of farming communities in salt-affected areas. The paper also discusses the effectiveness of these mitigation strategies under Ethiopian conditions. The policy interventions for reclamation of soil salinity and sodicity that indicates future research attention to restoring agricultural sustainability are also foci of this paper.
Theoretical and experimental investigations on droplet evaporation and droplet ignition at high pressures

The evaporation of fuel droplets under high ambient pressure and temperature in normal gravity and microgravity has been investigated experimentally. For subcritical ambient conditions, droplet evaporation after a heat-up period follows the d(exp 2)-law. For all data the evaporation constant increases as the ambient temperature increases. At identical ambient conditions the evaporation constant under microgravity is smaller compared to normal gravity. This effect can first be observed at 1 bar and increases with ambient pressure. Preliminary experiments on ignition delay for self-igniting fuel droplets have been performed. Above a 1 s delay time, at identical ambient conditions, significant differences in the results of the normal and microgravity data are observed. Self-ignition occurs within different temperature ranges due to the influence of gravity. The time dependent behavior of the droplet is examined theoretically. In the calculations two different approaches for the gas phase are applied. In the first approach the conditions at the interface are given using a quasi steady theory approximation. The second approach uses a set of time dependent governing equations for the gas phase which are then evaluated. In comparison, the second model shows a better agreement with the drop tower experiments. In both cases a time dependent gasification rate is observed.
GHIGLS: H I MAPPING AT INTERMEDIATE GALACTIC LATITUDE USING THE GREEN BANK TELESCOPE

This paper introduces and describes the data cubes from GHIGLS, deep Green Bank Telescope (GBT) surveys of the 21 cm line emission of H i in 37 targeted fields at intermediate Galactic latitude. The GHIGLS fields together cover over 1000 deg2 at 9 &farcm; 55 ? > spatial resolution. The H i spectra have an effective velocity resolution of about 1.0 km s−1 and cover at least - 450 < v LSR < + 250 ? > km s−1, extending to v LSR < + 450 ? > km s−1 for most fields. As illustrated with various visualizations of the H i data cubes, GHIGLS highlights that even at intermediate Galactic latitude the interstellar medium is very complex. Spatial structure of the H i is quantified through power spectra of maps of the integrated line emission or column density, N H I ? > . For our featured representative field, centered on the north ecliptic pole, the scaling exponents in power-law representations of the power spectra of N H I ? > maps for low-, intermediate-, and high-velocity gas components (LVC, IVC, and HVC) are - 2.86 ± 0.04 ? > , - 2.69 ± 0.04 ? > , and - 2.59 ± 0.07 ? > , respectively. After Gaussian decomposition of the line profiles, N H I ? > maps were also made corresponding to the narrow-line and broad-line components in the LVC range; for the narrow-line map the exponent is - 1.9 ± 0.1 ? > , reflecting more small-scale structure in the cold neutral medium (CNM). There is evidence that filamentary structure in the H i CNM is oriented parallel to the Galactic magnetic field. The power spectrum analysis also offers insight into the various contributions to uncertainty in the data, yielding values close to those obtained using diagnostics developed in our earlier independent analysis. The effect of 21 cm line opacity on the GHIGLS N H I ? > maps is estimated. Comparisons of the GBT data in a few of the GHIGLS fields with data from the EBHIS and GASS surveys explore potential issues in data reduction and calibration and reveal good agreement. The high quality of the GHIGLS data enables a variety of studies in directions of low Galactic column density, as already demonstrated by the Planck Collaboration. Fully reduced GHIGLS H i data cubes and other data products are available at www.cita. utoronto.ca/GHIGLS.