The majority of industrial-strength object-oriented (OO) software is written using nominally-typed OO programming languages. Extant domain-theoretic models of OOP developed to analyze OO type systems miss, however, a crucial feature of these mainstre...
...
Unity and diversity also emerge as important themes in this second report (“The World’s Muslims: Religion, Politics and Society”). Pew Research’s global survey of Muslims analyzes opinions on a …
An approximation to the ~4 Mbp basic genome shared by 32 strains of E. coli representing six evolutionary groups has been derived and analyzed computationally. A multiple-alignment of the 32 complete genome sequences was filtered to remove mobile ele...
In this paper we show a new technique to analyze families of rankings. In particular we focus on sports rankings and, more precisely, on soccer leagues. We consider that two teams compete when they change their relative positions in consecutive ranki...
Feb 26, 2026 · JCDC unifies cyber defenders from organizations worldwide. This team proactively gathers, analyzes, and shares actionable cyber risk information to enable synchronized, holistic …
A general and basic model of primordial evolution--a soup of reacting finitary and discrete processes--is employed to identify and analyze fundamental mechanisms that generate and maintain complex structures in prebiotic systems. The processes--$ε...
We analyze how equilibrium housing prices are determined in the process of economic development within an overlapping generations model with perfect housing and rental markets. We characterize the rent growth rate in all equilibria. The economy exhib...
This paper combines and develops the models in Lastrapes (2002) and Mankiw & Weil (1989), which enables us to analyze the effects of interest rate and population growth shocks on housing price in one integrated framework. Based on this model, we carr...
Investment horizon approach has been used to analyze indexes of Polish stock market.Optimal time horizon for each return value is evaluated by fitting appropriate function form of the distribution. Strong asymmetry of gain-loss curves is observed f...
In this letter we discuss use of Granger causality to the analyze systems of coupled circular variables, by modifying a recently proposed method for multivariate analysis of causality. We show the application of the proposed approach on several Kur...
MulVAL: A logic-based, data-driven enterprise network security analyzer - Originally developed at Kansas State University, updated for CyberCAPTOR (⭐ 37)
PowerHuntShares is an audit script designed in inventory, analyze, and report excessive privileges configured on Active Directory domains. (⭐ 986)
We analyze certain parametrized families of one-dimensional maps with infinitely many critical points from the measure-theoretical point of view. We prove that such families have absolutely continuous invariant probability measures for a positive L...
Learn how to quickly and easily build AI-driven agents with Copilot Studio, custom apps using Power Apps, automate workflows to improve business productivity using Power Automate, analyze data for …
In 2016 and 2017, the COMPASS Collaboration at CERN collected a large sample of DIS events with a longitudinally polarized 160 GeV/c muon beam scattering off a liquid hydrogen target. Part of the collected data has been analyzed to extract preliminar...
In recent years economics agents and systems have became more and more interacting and juxtaposed, therefore the social sciences need to rely on the studies of physical sciences to analyze this complexity in the relationships. According to this point...
The thermodynamical stability of a set of circular double helical molecules is analyzed by path integral techniques. The minicircles differ only in \textit{i)} the radius and \textit{ii)} the number of base pairs ($N$) arranged along the molecule axi...
The low-redshift mass-metallicity relation (MZR) is well studied, but the high-redshift MZR remains difficult to observe. To study the early MZR further, we analyze the Cosmic Reionization on Computers (CROC) simulations with a focus on the MZR from...
Boulders on the surfaces of planets, satellites and small bodies, as well as their geological associations, provide important information about surface processes. We analyzed all available images of the surface of Mercury that have sufficient resolut...