Results 271 to 280 of about 110,390 (311)

Automatic Addition of Conflicting Properties

2016
The problem of model/program repair focuses on revising an existing model/program to satisfy new properties. These properties can be safety, liveness, availability, or fault-tolerance requirements. Existing solutions focus on adding compatible properties, i.e., properties that can be satisfied while preserving the existing properties.
Mohammad Roohitavaf, Sandeep S. Kulkarni
openaire   +1 more source

Some properties of modular addition

Математические вопросы криптографии, 2019
Исследуется задача, которая возникла при попытке применить разностный криптоанализ к алгоритму «Магма». Получена общая формула распределения в строке разностной таблицы сложения по модулю $2^n$ и построен эффективный метод вычисления распределения в строке с заданным номером.
openaire   +2 more sources

On the properties of an additive increase rate accelerator

Computer Networks, 2009
We propose AIRA, an Additive Increase Rate Accelerator. AIRA extends AIMD functionality towards adaptive increase rates, depending on the level of network contention and bandwidth availability. In this context, acceleration grows when resource availability is detected by goodput/throughput measurements and slows down when increased throughput does not ...
Ioannis Psaras, Vassilis Tsaoussidis
openaire   +1 more source

Carcinogenic properties of certain rubber additives

European Journal of Cancer (1965), 1968
Resume Cent-vingt rats mâles du stock CB recurent des injections intraperitoneales de divers additifs du caoutchouc, dissous dans le polyethylene glycol: la N-nitroso 2,3,4, trimthyl-1,2-dihydroquinoline polymerisee , la N-methyl-N,4-dinitrosoaniline , la N,N-dinitosopenta methylene-tetramine et la N-nitrisodiphenylamine.
E, Boyland, R L, Carter, J W, Gorrod, F J, Roe   +3 more
openaire   +2 more sources

Additional Properties of Integers

2020
In this chapter, we will present exponentiation in integers. We will then derive general properties of exponentiation including the negative operator. We will also present root of order n in integers and discuss the extension of the nth root to negative numbers.
openaire   +1 more source

On an additive property of sequences of nonnegative integers

Periodica Mathematica Hungarica, 2002
Let \(A=\{a_1\leq a_2\leq \dots\}\) be a sequence of natural numbers and denote by \(R_k(n)\) the number of solutions of \(n=\sum_{j=1}^ka_{i_j}\). In the middle of the eighties \textit{P. Erdős} and \textit{A. Sárközy} [Pac. J. Math.
openaire   +2 more sources

Additional Properties of Distributions

1998
Some algebraic operations on the delta function were studied in the last chapter. In subsequent chapters we shall be required to transform this function to certain curvilinear coordinates. For this purpose we devote an entire section to this topic. Let us first study the meaning of the function δ[f (x)] and prove the result $$\delta \left[ {f\left(
openaire   +1 more source

Additivity and Product Properties

2004
We have some unfinished business from Chapter 9: the proof of two of the properties of the Brouwer degree. We will need two more tools from algebraic topology for these proofs.
openaire   +1 more source

Additional Properties and Tests

1975
The tests discussed in the previous chapter together provide a broad picture of the general characteristics of a hydrocarbon fuel, showing how these vary with fuel type. Very many other tests are described in the handbooks for further and deeper investigation into fuel properties, and growing numbers of rig tests and field tests are available for the ...
openaire   +1 more source

Additional properties and uses of essential oils

Journal of Clinical Periodontology, 2003
AbstractMuch evidence has been published supporting the use of mouthwashes in a number of crucial areas of oral health. These areas include antibacterial activity, home irrigation, maintenance of implant health, postsurgery uses, reduction of bacteria in dental aerosols and bacteraemia reduction.
openaire   +3 more sources