90,273 results for arXiv · 1.407s

arxiv.org/abs/1401.7681v2

Modeling Quantum Gravity Effects in Inflation

Cosmological models in 1+1 dimensions are an ideal setting for investigating the quantum structure of inflationary dynamics -- gravity is renormalizable, while there is room for spatial structure not present in the minisuperspace approximation. We us...

arxiv.org/abs/1411.2612v1

Primordial fluctuations in extended Liouville theory

Liouville gravity can be used to precisely model features of 3+1 dimensional cosmology in a simplified 1+1d setting. We study primordial fluctuations in a generally covariant extension of Liouville theory, in the context of single field inflation. Th...

Sponsored Partners
arxiv.org/abs/1604.03496v2

Some consequences of the Firoozbakht's conjecture

In this paper we present the statement of the Firoozbakht's conjecture, some of its consequences if it is proved and we show a consequence of Zhang's theorem concerning the Firoozbakht's conjecture....

arxiv.org/abs/1910.02446v1

Modal Logic via Global Consequence

In modal logic, semantic consequence is usually defined locally by truth preservation at all worlds in all models (with respect to a class of frames). It can also be defined globally by truth preservation in all models (with respect to a class of fra...

arxiv.org/abs/2101.04010v2

Consequences of the packing problem

We study several consequences of the packing problem, a conjecture from combinatorial optimization, using algebraic invariants of square-free monomial ideals. While the packing problem is currently unresolved, we successfully settle the validity of i...

arxiv.org/abs/2006.16226v1

On Matrix Consequence (Extended Abstract)

These results are a contribution to the model theory of matrix consequence. We give a semantic characterization of uniform and couniform consequence relations. These properties have never been treated individually, at least in a semantic manner. We c...

arxiv.org/abs/math/9911204v12

Nonstandard Consequence Operators

In this paper, we investigate the algebras of consequence operators and finite consequence operators on a fixed language. Significant new collections of consequence operators are defined and shown to be complete and distributive sublattices. Further,...

arxiv.org/abs/2411.18849v2

Probabilistic consequence relations

This paper investigates logical consequence defined in terms of probability distributions, for a classical propositional language using a standard notion of probability. We examine three distinct probabilistic consequence notions, which we call mater...

arxiv.org/abs/1810.02929v1

System Consequence

This paper discusses system consequence, a central idea in the project to lift the theory of information flow to the abstract level of universal logic and the theory of institutions. The theory of information flow is a theory of distributed logic. Th...

arxiv.org/abs/hep-ph/9402259v1

Phenomenological Consequences of Singlet Neutrinos

In this paper, we study the phenomenology of right-handed neutrino isosinglets. We consider the general situation where the neutrino masses are not necessarily given by $m_D^2/M$, where $m_D$ and $M$ are the Dirac and Majorana mass terms respective...

arxiv.org/abs/2406.19927v2

Collective motion of energy depot active disks

In the present work we have studied collectives of active disks with an energy depot, moving in the two-dimensional plane and interacting via excluded volume. The energy depot accounts for the extraction of energy taking place at the level of each pa...

arxiv.org/abs/2506.04824v1

A Reasoning-Based Approach to Cryptic Crossword Clue Solving

Cryptic crossword clues are challenging language tasks for which new test sets are released daily by major newspapers on a global basis. Each cryptic clue contains both the definition of the answer to be placed in the crossword grid (in common with r...

arxiv.org/abs/1401.4597v1

Dr.Fill: Crosswords and an Implemented Solver for Singly Weighted CSPs

We describe Dr.Fill, a program that solves American-style crossword puzzles. From a technical perspective, Dr.Fill works by converting crosswords to weighted CSPs, and then using a variety of novel techniques to find a solution. These techniques in...

arxiv.org/abs/2509.07157v1

Crossword: Adaptive Consensus for Dynamic Data-Heavy Workloads

We present Crossword, a flexible consensus protocol for dynamic data-heavy workloads, a rising challenge in the cloud where replication payload sizes span a wide spectrum and introduce sporadic bandwidth stress. Crossword applies per-instance erasure...

arxiv.org/abs/2407.08824v1

Proving that Cryptic Crossword Clue Answers are Correct

Cryptic crossword clues are challenging cognitive tasks, for which new test sets are released on a daily basis by multiple international newspapers. Each cryptic clue contains both the definition of the answer to be placed in the crossword grid (in c...

arxiv.org/abs/2311.15626v2

The WebCrow French Crossword Solver

Crossword puzzles are one of the most popular word games, played in different languages all across the world, where riddle style can vary significantly from one country to another. Automated crossword resolution is challenging, and typical solvers re...

arxiv.org/abs/2002.01746v2

Quantum Many-Body Scars in Optical Lattices

The concept of quantum many-body scars has recently been put forward as a route to describe weak ergodicity breaking and violation of the Eigenstate Thermalization Hypothesis. We propose a simple setup to generate quantum many-body scars in a doubly...

arxiv.org/abs/1301.0785v1

Adaptive Intelligent Cooperative Spectrum Sensing In Cognitive Radio

Radio Spectrum is most precious and scarce resource and must be utilized efficiently and effectively. Cognitive radio is the promising solutions for the optimum utilization of the scared natural resource. The spectrum owned by the primary user should...

arxiv.org/abs/2509.25582v2

Safe In-Context Reinforcement Learning

In-context reinforcement learning (ICRL) is an emerging RL paradigm where an agent, after pretraining, can adapt to out-of-distribution test tasks without any parameter updates, instead relying on an expanding context of interaction history. While IC...

arxiv.org/abs/2201.04767v1

How to make the toss fair in cricket?

In the sport of cricket, the side that wins the toss and has the first choice to bat or bowl can have an unfair or a critical advantage. The issue has been discussed by International Cricket Council committees, as well as several cricket experts. In...

arxiv.org/abs/2203.10706v1

Predicting Cricket Outcomes using Bayesian Priors

This research has developed a statistical modeling procedure to predict outcomes of future cricket tournaments. Proposed model provides an insight into the application of stratified survey sampling to the team selection pattern by incorporating indiv...

arxiv.org/abs/2411.17518v1

Misère Cricket Pitch

Misère games in general have little algebraic structure, but if the games under consideration have properties then some algebraic structure re-appears. In 2023, the class of Blocking games was identified. Misère Cricket Pitch was suggested as a pro...

arxiv.org/abs/1203.4334v1

Hierarchical structure and biomineralization in cricket tooth

Cricket is a truculent insect with stiff and sharp teeth as a fighting weapon. The structure and possible biomineralization of the cricket teeth are always interested. Synchrotron radiation X-ray fluorescence, X-ray diffraction and small angle X-ray...

arxiv.org/abs/1107.3104v1

Bernoulli Runs: Using "Book Cricket" to Evaluate Cricketers

This paper proposes a simple method to evaluate batsmen and bowlers in cricket. The idea in this paper refines "book cricket" and evaluates a batsman by answering the question: How many runs a team consisting of same player replicated eleven times wi...