Cross-border Electric Interconnection towards renewables is a promising solution for electric sector under the UN 2030 sustainable development goals which is widely promoted in emerging economies. This paper comprehensively investigates state of art...
Artificial intelligence (AI) is rapidly transforming the global economy, and Latin America is no exception. In recent years, there has been a growing interest in AI development and implementation in the region. This paper presents a ranking of Latin...
579 In this paper, we have proposed a novel counter- factual framework CLEVER for debiasing fact- checking models. Unlike existing works, CLEVER is augmentation-free and mitigates biases on infer- …
Sep 25, 2024 · In this paper, we revisit the roles of augmentation strategies and equivariance in improving CL's efficacy. We propose CLeVER (Contrastive Learning Via Equivariant …
The paper develops a logical understanding of processes for signature of legal contracts, motivated by applications to legal recognition of smart contracts on blockchain platforms. A number of axioms and rules of inference are developed that can be u...
Jul 4, 2025 · An original glossy-paper concert poster advertising the Grateful Dead, using their very popular 1971 live-album artwork designed by Stanley Mouse and Alton Kelley, performing with the …
Sep 30, 2025 · This piece traces its pedigree to a June 1975 auction by pioneer paper money dealer William Donlon of Utica, New York where it was one of the few lots in that sale deemed worthy …
This paper reports on our initial evaluation of The Equitable AI Research Roundtable -- a coalition of experts in law, education, community engagement, social justice, and technology. EARR was created in collaboration among a large tech firm, nonprof...
In this paper, we investigate the potential of the Boyer-Moore waterfall model for the automation of inductive proofs within a modern proof assistant. We analyze the basic concepts and methodology underlying this 30-year-old model and implement a new...
In this paper, we present two novel manifold inexact augmented Lagrangian methods, \textbf{ManIAL} for deterministic settings and \textbf{StoManIAL} for stochastic settings, solving nonsmooth manifold optimization problems. By using the Riemannian gr...
A graphical design is a proper subset of vertices of a graph on which many eigenfunctions of the Laplacian operator have mean value zero. In this paper, we show that extremal independent sets make extremal graphical designs, that is, a design on whic...
In this paper, we utilize the machinery of cluster algebras, quiver mutations, and brane tilings to study a variety of historical enumerative combinatorics questions all under one roof. Previous work [Zha, LMNT14], which arose during the second autho...
This paper discusses Centre for Development of Advanced Computing Mumbai's (CDACM) submission to the NLP Tools Contest on Statistical Machine Translation in Indian Languages (ILSMT) 2014 (collocated with ICON 2014). The objective of the contest was t...
This paper presents Centre for Development of Advanced Computing Mumbai's (CDACM) submission to NLP Tools Contest on Statistical Machine Translation in Indian Languages (ILSMT) 2015 (collocated with ICON 2015). The aim of the contest was to collectiv...
In the present paper, we will present a survey of the language resources and technologies available for the non-scheduled and endangered languages of India. While there have been different estimates from different sources about the number of language...
Many logical properties are known to be undecidable for normal modal logics, with few exceptions such as consistency and coincidence with $\mathsf{K}$. This paper shows that the property of being a union-splitting in $\mathsf{NExt}\mathsf{K}$, the la...
In this paper we introduce a new problem in the field of production planning which we call the Production Leveling Problem. The task is to assign orders to production periods such that the load in each period and on each production resource is balanc...
This paper presents and defends an argument that the continuum hypothesis is false, based on considerations about objective chance and an old theorem due to Banach and Kuratowski. More specifically, I argue that the probabilistic inductive methods st...
In this paper, we study the spherical indicatrices of W-direction curves in three dimensional Euclidean space which were defined by using the unit Darboux vector field W of a Frenet curve, in [11]. We obtain the Frenet apparatus of these spherical in...
This paper proposes a definition of the term "tetrel bond" based on the evidence documented in the current literature. It lists the donors, acceptors, as well as related characteristic features of tetrel bonds that are commonly observed in the crysta...
The paper deals with a third order semilinear equation which char- acterizes exponentially shaped Josephson junctions in superconductivity. The initial-boundary problem with Dirichlet conditions is analyzed. When the source term F is a linear functio...
Automatic term extraction plays an essential role in domain language understanding and several natural language processing downstream tasks. In this paper, we propose a comparative study on the predictive power of Transformers-based pretrained langua...
Removing rain streaks from a single image continues to draw attentions today in outdoor vision systems. In this paper, we present an efficient method to remove rain streaks. First, the location map of rain pixels needs to be known as precisely as pos...
This paper introduces a new rain removal model based on the shrinkage of the sparse codes for a single image. Recently, dictionary learning and sparse coding have been widely used for image restoration problems. These methods can also be applied to t...
Supernova (SN) light echoes could be a powerful tool for determining distances to galaxies geometrically, Sparks 1994. In this paper we present CCD photometry of the environments of 64 historical supernovae, the first results of a program designed...
Scale-up is the process of growing a venture in size. The paper identifies modularity and speed as keys to successful scale-up. On that basis four types of scale-up are identified: Smart, dumb, forced, and fumbled. Smart scale-up combines modularity...
In this paper, it is shown that in interaction with an oscillating bubbles cluster the fluid becomes inhomogeneous. The radial variation of the acoustic refractive index of the fluid generates an acoustic lens with spherical symmetry. When the focal...
In this paper, we will deform the usual energy-momentum dispersion relation of a photon gas at an intermediate scale between the Planck and electroweak scales. We will demonstrate that such a deformation can have non-trivial effects on the physics of...
In this paper we construct the subset of modes on $S^7$ that are relevant in the compactification of eleven-dimensional supergravity on a squashed $S^7$ when restricted to the sector that comprises singlets under the $Sp(1)\times Sp(2)$ isometry of t...
Squashed entanglement is a measure for the entanglement of bipartite quantum states. In this paper we present a lower bound for squashed entanglement in terms of a distance to the set of separable states. This implies that squashed entanglement is fa...
The squashed entanglement is a fundamental entanglement measure in quantum information theory, finding application as an upper bound on the distillable secret key or distillable entanglement of a quantum state or a quantum channel. This paper simplif...
This paper defines the squashed entanglement of a quantum channel as the maximum squashed entanglement that can be registered by a sender and receiver at the input and output of a quantum channel, respectively. A new subadditivity inequality for the...
This paper explores the possible contextual factors that drove some individuals to lead, and others to join the pro-secessionist rebellion in the 2013-2014 conflict in Eastern Ukraine. We expand on the existing rational choice literature on revolutio...
This study uses Vector Autoregression (VAR) Methodology as well as Vector Error Correction (VEC) Methodology to examine the existence and direction of causality between economic growth and IMF lending for Ukraine. The paper examines the IMF lending d...
Reliable navigation in unstructured, real-world environments remains a significant challenge for embodied agents, especially when operating across diverse terrains, weather conditions, and sensor configurations. In this paper, we introduce GeNIE (Gen...
Open GENIE is the successor to the widely used and high successful GENIE program that is used as the principal front-end neutron data analysis tool at the ISIS spallation neutron source. In this paper, the background and motivation for the Open GEN...
This paper describes experiments on fine-tuning a small language model to generate forecasts of long-horizon stock price movements. Inputs to the model are narrative text from 10-K reports of large market capitalization companies in the S&P 500 index...
Buy low, sell high is one of the basic rules of thumb used in investment, although it is not considered to be a beneficial strategy. In this paper, we show how the appropriate permutation-based representation (i.e., the epistemic form) of a minute-by...
The paper describes a neural approach for modelling and control of a turbocharged Diesel engine. A neural model, whose structure is mainly based on some physical equations describing the engine behaviour, is built for the rotation speed and the exh...