Results 21 to 30 of about 109,411 (311)
A theory of dual channel constraints [PDF]
Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results, 2020 The surprising predictability of source code has triggered a boom in tools using language models for code. Code is much more predictable than natural language, but the reasons are not well understood. We propose a dual channel view of code; code combines a formal channel for specifying execution and a natural language channel in the form of identifiers
Casey Casalnuovo +4 more
openaire +1 more source
OPSIThe increasing demand for wedang uwuh during the pandemic requires Weeka Wedang Uwuh as a producer to be quick and responsive in meeting demand. Competition for sales of wedang uwuh is currently quite tight because there are more and more wedang uwuh ...
Riani Nurdin +5 more
doaj +1 more source
Constraint Theory Approach Analysis of the Nigerian Shipbuilding Industry
Logi, 2019 Nigeria has been unable to develop a viable ship building industry over the years notwithstanding several efforts of government at achieving that. The study aimed to identify and determine the principal component constraints to ship building development ...
Nwokedi Theophilus C. +4 more
doaj +1 more source
Short and long supports for constraint propagation
, 2013 Special-purpose constraint propagation algorithms frequently make implicit use of short supports -- by examining a subset of the variables, they can infer support (a justification that a variable-value pair may still form part of an assignment that ...
Gent, Ian Philip +3 more
core +1 more source
Deformed General Relativity and Quantum Black Holes Interior
Universe, 2020 Effective models of black holes interior have led to several proposals for regular black holes. In the so-called polymer models, based on effective deformations of the phase space of spherically symmetric general relativity in vacuum, one considers a ...
Denis Arruga +2 more
doaj +1 more source
FLAVOR CONSTRAINTS ON THEORY SPACE [PDF]
Strong Coupling Gauge Theories and Effective Field Theories, 2003 Composite Higgs models based on the chiral symmetries of ``theory space'' can produce Higgs bosons with masses of order 100 GeV from underlying strong dynamics at scales up to 10 TeV without fine tuning. This talk argues that flavor-violating interactions generically arising from underlying flavor dynamics constrain the Higgs compositeness scale to be ...
Simmons, E.H. +2 more
openaire +4 more sources
Sistemasi: Jurnal Sistem InformasiOne footwear manufacturing company located in Surabaya has experienced an increase in production demand for both women's and men's sandals in recent years. The main issue faced by the company is the presence of bottlenecks at specific workstations due to
Destiara Nabila Widyarsa +1 more
doaj +1 more source
IET Control Theory & Applications, 2021 In this paper, the state‐dependent impulsive consensus problem of nonlinear multi‐agent systems in directed topology with fully relative state constraint impulses is investigated.
Qiangqiang Zhang +3 more
doaj +1 more source
Theory Propagation and Reification [PDF]
, 2015 SAT Modulo Theories (SMT) is the problem of determining the satisfiability of a formula in which constraints, drawn from a given constraint theory T, are composed with logical connectives.
Howe, J. M. +5 more
core +1 more source
The partial side information problem with additional reconstructions
Digital Communications and Networks, 2020 We consider a quadratic Gaussian distributed lossy source coding setup with an additional constraint of identical reconstructions between the encoder and the decoder.
Viswanathan Ramachandran
doaj +1 more source