Generating additional constraints in algebraic cryptanalysis using sat oracles

2021 ◽  
pp. 104-110
Author(s):  
A. A. Semenov ◽  
K. V. Antonov ◽  
I. A. Gribanova
Keyword(s):  
Algebraic Cryptanalysis ◽  
Additional Constraints

scholarly journals Cluster-Wise Weighted NMF for Hyperspectral Images Unmixing with Imbalanced Data

2021 ◽  
Vol 13 (2) ◽  
pp. 268
Author(s):  
Xiaochen Lv ◽  
Wenhong Wang ◽  
Hongfu Liu
Keyword(s):  
Spatial Information ◽  
Hyperspectral Image ◽  
Imbalanced Data ◽  
Reconstruction Error ◽  
Hyperspectral Data ◽  
Weight Matrix ◽  
Hyperspectral Images ◽  
Mixed Data ◽  
Sparsity Constraints ◽  
Additional Constraints

Hyperspectral unmixing is an important technique for analyzing remote sensing images which aims to obtain a collection of endmembers and their corresponding abundances. In recent years, non-negative matrix factorization (NMF) has received extensive attention due to its good adaptability for mixed data with different degrees. The majority of existing NMF-based unmixing methods are developed by incorporating additional constraints into the standard NMF based on the spectral and spatial information of hyperspectral images. However, they neglect to exploit the nature of imbalanced pixels included in the data, which may cause the pixels mixed with imbalanced endmembers to be ignored, and thus the imbalanced endmembers generally cannot be accurately estimated due to the statistical property of NMF. To exploit the information of imbalanced samples in hyperspectral data during the unmixing procedure, in this paper, a cluster-wise weighted NMF (CW-NMF) method for the unmixing of hyperspectral images with imbalanced data is proposed. Specifically, based on the result of clustering conducted on the hyperspectral image, we construct a weight matrix and introduce it into the model of standard NMF. The proposed weight matrix can provide an appropriate weight value to the reconstruction error between each original pixel and the reconstructed pixel in the unmixing procedure. In this way, the adverse effect of imbalanced samples on the statistical accuracy of NMF is expected to be reduced by assigning larger weight values to the pixels concerning imbalanced endmembers and giving smaller weight values to the pixels mixed by majority endmembers. Besides, we extend the proposed CW-NMF by introducing the sparsity constraints of abundance and graph-based regularization, respectively. The experimental results on both synthetic and real hyperspectral data have been reported, and the effectiveness of our proposed methods has been demonstrated by comparing them with several state-of-the-art methods.

scholarly journals An Antigenic Thrift-Based Approach to Influenza Vaccine Design

Vaccines ◽  
2021 ◽  
Vol 9 (6) ◽  
pp. 657
Author(s):  
Jai S. Bolton ◽  
Hannah Klim ◽  
Judith Wellens ◽  
Matthew Edmans ◽  
Uri Obolski ◽  
...  
Keyword(s):  
Influenza Vaccine ◽  
Influenza Season ◽  
Vaccine Design ◽  
Antigenic Drift ◽  
Influenza Vaccines ◽  
Immune Protection ◽  
Immune Selection ◽  
Drift Theory ◽  
Gradual Accumulation ◽  
Additional Constraints

The antigenic drift theory states that influenza evolves via the gradual accumulation of mutations, decreasing a host’s immune protection against previous strains. Influenza vaccines are designed accordingly, under the premise of antigenic drift. However, a paradox exists at the centre of influenza research. If influenza evolved primarily through mutation in multiple epitopes, multiple influenza strains should co-circulate. Such a multitude of strains would render influenza vaccines quickly inefficacious. Instead, a single or limited number of strains dominate circulation each influenza season. Unless additional constraints are placed on the evolution of influenza, antigenic drift does not adequately explain these observations. Here, we explore the constraints placed on antigenic drift and a competing theory of influenza evolution – antigenic thrift. In contrast to antigenic drift, antigenic thrift states that immune selection targets epitopes of limited variability, which constrain the variability of the virus. We explain the implications of antigenic drift and antigenic thrift and explore their current and potential uses in the context of influenza vaccine design.

scholarly journals Energy-aware very fast decision tree

2021 ◽  
Author(s):  
Eva García-Martín ◽  
Niklas Lavesson ◽  
Håkan Grahn ◽  
Emiliano Casalicchio ◽  
Veselka Boeva
Keyword(s):  
Energy Consumption ◽  
Decision Tree ◽  
Concept Drift ◽  
Algorithm Design ◽  
Energy Aware ◽  
Battery Capacity ◽  
Very Fast Decision Tree ◽  
Public Datasets ◽  
Additional Constraints ◽  
Fast Decision

AbstractRecently machine learning researchers are designing algorithms that can run in embedded and mobile devices, which introduces additional constraints compared to traditional algorithm design approaches. One of these constraints is energy consumption, which directly translates to battery capacity for these devices. Streaming algorithms, such as the Very Fast Decision Tree (VFDT), are designed to run in such devices due to their high velocity and low memory requirements. However, they have not been designed with an energy efficiency focus. This paper addresses this challenge by presenting the nmin adaptation method, which reduces the energy consumption of the VFDT algorithm with only minor effects on accuracy. nmin adaptation allows the algorithm to grow faster in those branches where there is more confidence to create a split, and delays the split on the less confident branches. This removes unnecessary computations related to checking for splits but maintains similar levels of accuracy. We have conducted extensive experiments on 29 public datasets, showing that the VFDT with nmin adaptation consumes up to 31% less energy than the original VFDT, and up to 96% less energy than the CVFDT (VFDT adapted for concept drift scenarios), trading off up to 1.7 percent of accuracy.

scholarly journals Global earthworm distribution and activity windows based on soil hydromechanical constraints

2021 ◽  
Vol 4 (1) ◽  
Author(s):  
Siul A. Ruiz ◽  
Samuel Bickel ◽  
Dani Or
Keyword(s):  
Soil Structure ◽  
Mechanistic Model ◽  
Biophysical Model ◽  
Ecosystem Functions ◽  
Soil Conditions ◽  
Agricultural Systems ◽  
Occurrence Patterns ◽  
Additional Constraints ◽  
Earthworm Activity ◽  
Good Agreement

AbstractEarthworm activity modifies soil structure and promotes important hydrological ecosystem functions for agricultural systems. Earthworms use their flexible hydroskeleton to burrow and expand biopores. Hence, their activity is constrained by soil hydromechanical conditions that permit deformation at earthworm’s maximal hydroskeletal pressure (≈200kPa). A mechanistic biophysical model is developed here to link the biomechanical limits of earthworm burrowing with soil moisture and texture to predict soil conditions that permit bioturbation across biomes. We include additional constraints that exclude earthworm activity such as freezing temperatures, low soil pH, and high sand content to develop the first predictive global map of earthworm habitats in good agreement with observed earthworm occurrence patterns. Earthworm activity is strongly constrained by seasonal dynamics that vary across latitudes largely due to soil hydromechanical status. The mechanistic model delineates the potential for earthworm migration via connectivity of hospitable sites and highlights regions sensitive to climate.

scholarly journals SUSY breaking constraints on modular flavor S3 invariant SU(5) GUT model

2021 ◽  
Vol 2021 (2) ◽  
Author(s):  
Xiaokang Du ◽  
Fei Wang
Keyword(s):  
Susy Breaking ◽  
Flavor Symmetry ◽  
Modular Invariance ◽  
Lepton Flavor ◽  
Flavor Structure ◽  
Flavor Mixing ◽  
Breaking Mechanism ◽  
Gut Scale ◽  
Additional Constraints ◽  
Rule Out

Abstract Modular flavor symmetry can be used to explain the quark and lepton flavor structures. The SUSY partners of quarks and leptons, which share the same superpotential with the quarks and leptons, will also be constrained by the modular flavor structure and show a different flavor(mixing) pattern at the GUT scale. So, in realistic modular flavor models with SUSY completion, constraints from the collider and DM constraints can also be used to constrain the possible values of the modulus parameter. In the first part of this work, we discuss the possibility that the S3 modular symmetry can be preserved by the fixed points of T2/ZN orbifold, especially from T2/Z2. To illustrate the additional constraints from collider etc on modular flavor symmetry models, we take the simplest UV SUSY-completion S3 modular invariance SU(5) GUT model as an example with generalized gravity mediation SUSY breaking mechanism. We find that such constraints can indeed be useful to rule out a large portion of the modulus parameters. Our numerical results show that the UV-completed model can account for both the SM (plus neutrino) flavor structure and the collider, DM constraints. Such discussions can also be applied straightforwardly to other modular flavor symmetry models, such as A4 or S4 models.

scholarly journals Truthful fair division without free disposal

2020 ◽  
Vol 55 (3) ◽  
pp. 523-545 ◽  
Author(s):  
Xiaohui Bei ◽  
Guangda Huzhang ◽  
Warut Suksompong
Keyword(s):  
Fair Division ◽  
Multiple Agents ◽  
Two Agents ◽  
Free Disposal ◽  
Cake Cutting ◽  
Strategic Agents ◽  
Additional Constraints

Abstract We study the problem of fairly dividing a heterogeneous resource, commonly known as cake cutting and chore division, in the presence of strategic agents. While a number of results in this setting have been established in previous works, they rely crucially on the free disposal assumption, meaning that the mechanism is allowed to throw away part of the resource at no cost. In the present work, we remove this assumption and focus on mechanisms that always allocate the entire resource. We exhibit a truthful and envy-free mechanism for cake cutting and chore division for two agents with piecewise uniform valuations, and we complement our result by showing that such a mechanism does not exist when certain additional constraints are imposed on the mechanisms. Moreover, we provide bounds on the efficiency of mechanisms satisfying various properties, and give truthful mechanisms for multiple agents with restricted classes of valuations.

scholarly journals More about solar g modes

2018 ◽  
Vol 612 ◽  
pp. L1 ◽  
Author(s):  
E. Fossat ◽  
F. X. Schmider
Keyword(s):  
Cross Correlation ◽  
Previous Analysis ◽  
Model Parameters ◽  
Real Spectrum ◽  
Space Observatory ◽  
Correlation Peak ◽  
Similar Frequency ◽  
Precise Estimation ◽  
The One ◽  
Additional Constraints

Context. The detection of asymptotic solar g-mode parameters was the main goal of the GOLF instrument onboard the SOHO space observatory. This detection has recently been reported and has identified a rapid mean rotation of the solar core, with a one-week period, nearly four times faster than all the rest of the solar body, from the surface to the bottom of the radiative zone. Aim. We present here the detection of more g modes of higher degree, and a more precise estimation of all their parameters, which will have to be exploited as additional constraints in modeling the solar core. Methods. Having identified the period equidistance and the splitting of a large number of asymptotic g modes of degrees 1 and 2, we test a model of frequencies of these modes by a cross-correlation with the power spectrum from which they have been detected. It shows a high correlation peak at lag zero, showing that the model is hidden but present in the real spectrum. The model parameters can then be adjusted to optimize the position (at exactly zero lag) and the height of this correlation peak. The same method is then extended to the search for modes of degrees 3 and 4, which were not detected in the previous analysis.Results. g-mode parameters are optimally measured in similar-frequency bandwidths, ranging from 7 to 8 μHz at one end and all close to 30 μHz at the other end, for the degrees 1 to 4. They include the four asymptotic period equidistances, the slight departure from equidistance of the detected periods for l = 1 and l = 2, the measured amplitudes, functions of the degree and the tesseral order, and the splittings that will possibly constrain the estimated sharpness of the transition between the one-week mean rotation of the core and the almost four-week rotation of the radiative envelope. The g-mode periods themselves are crucial inputs in the solar core structure helioseismic investigation.

scholarly journals Deblending by direct inversion

Geophysics ◽  
2012 ◽  
Vol 77 (3) ◽  
pp. A9-A12 ◽  
Author(s):  
Kees Wapenaar ◽  
Joost van der Neut ◽  
Jan Thorbecke
Keyword(s):  
Inverse Problem ◽  
Seismic Data ◽  
Iterative Procedure ◽  
Inversion Process ◽  
Direct Inversion ◽  
Source Data ◽  
Band Limited ◽  
Blended Data ◽  
Simultaneous Source ◽  
Additional Constraints

Deblending of simultaneous-source data is usually considered to be an underdetermined inverse problem, which can be solved by an iterative procedure, assuming additional constraints like sparsity and coherency. By exploiting the fact that seismic data are spatially band-limited, deblending of densely sampled sources can be carried out as a direct inversion process without imposing these constraints. We applied the method with numerically modeled data and it suppressed the crosstalk well, when the blended data consisted of responses to adjacent, densely sampled sources.

GEOMETRICAL CONSTRAINTS FOR D = 10, N = 1 SUPERGRAVITY

1989 ◽  
Vol 04 (15) ◽  
pp. 3819-3831 ◽  
Author(s):  
LING-LIE CHAU ◽  
CHONG-SA LIM
Keyword(s):  
Equations Of Motion ◽  
Bianchi Identities ◽  
Dynamical Consequence ◽  
Integrability Conditions ◽  
Geometrical Constraints ◽  
Additional Constraints

A set of geometrical constraints for D = 10, N = 1 supergravity is formulated. It has the meaning as integrability conditions on "hyperplanes" determined by light-like lines in the superspace. The dynamical consequence of these geometrical constraints is studied via Bianchi identities. Since no equations of motion have resulted, these geometrical constraints can form an off-shell set of constraints for the theory. We also discuss additional constraints that lead to Poincare supergravity equations of motion. The relation of the theory with D = 4 N = 4 supergravity is also illuminated.

Sign in / Sign up

Export Citation Format

Share Document