Results 41 to 50 of about 11,242,110 (313)
Non-determinism in the Uptake of Gestural Information [PDF]
Journal of Nonverbal Behavior, 2015 It is well established that gestures and speech form an integrated system of communication; gestures that match the meaning of the speech they accompany favor the listener’s discourse comprehension, whereas mismatching gestures whose meaning conveys information contradicting that conveyed by speech, impair comprehension.
I. Cutica, M. Bucciarelli
semanticscholar +3 more sources
Kolmogorov complexity and non-determinism
Theoretical Computer Science, 2002 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Grigorieff, Serge, Marion, Jean-Yves
openaire +3 more sources
TERNARY ∗-BANDS ARE GLOBALLY DETERMINED
Ural Mathematical Journal, 2023 A non-empty set \(S\) together with the ternary operation denoted by juxtaposition is said to be ternary semigroup if it satisfies the associativity property \(ab(cde)=a(bcd)e=(abc)de\) for all \(a,b,c,d,e\in S\).
Indrani Dutta, Sukhendu Kar
doaj +1 more source
Model-based Testing of the Java Network API [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Testing networked systems is challenging. The client or server side cannot be tested by itself. We present a solution using tool "Modbat" that generates test cases for Java's network library java.nio, where we test both blocking and non-blocking network ...
Cyrille Artho, Guillaume Rousset
doaj +1 more source
Hierarchical gate-level verification of speed-independent circuits [PDF]
, 1995 This paper presents a method for the verification of speed-independent circuits. The main contribution is the reduction of the circuit to a set of complex gates that makes the verification time complexity depend only on the number of state signals (C ...
Cortadella, Jordi +2 more
core +2 more sources
Deep ConvNet: Non-Random Weight Initialization for Repeatable Determinism, Examined with FSGM
Sensors, 2021 A repeatable and deterministic non-random weight initialization method in convolutional layers of neural networks examined with the Fast Gradient Sign Method (FSGM).
Richard N. M. Rudd-Orthner +1 more
doaj +1 more source
Stochastic non-determinism and effectivity functions [PDF]
Journal of Logic and Computation, 2014 This paper investigates stochastic nondeterminism on continuous state spaces by relating nondeterministic kernels and stochastic effectivity functions to each other.
E. Doberkat, Pedro Sánchez Terraf
semanticscholar +1 more source
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
, 2020 We describe a technique for systematic testing of multi-threaded programs. We combine Quasi-Optimal Partial-Order Reduction, a state-of-the-art technique that tackles path explosion due to interleaving non-determinism, with symbolic execution to handle ...
A Farzan +22 more
core +1 more source
Non-Determinism in TensorFlow ResNets
, 2020 We show that the stochasticity in training ResNets for image classification on GPUs in TensorFlow is dominated by the non-determinism from GPUs, rather than by the initialisation of the weights and biases of the network or by the sequence of minibatches given.
Morin, Miguel, Willetts, Matthew
openaire +2 more sources
Typed Non-determinism in Functional and Concurrent Calculi
, 2023 We study functional and concurrent calculi with non-determinism, along with type systems to control resources based on linearity. The interplay between non-determinism and linearity is delicate: careless handling of branches can discard resources meant to be used exactly once.
van den Heuvel, B +3 more
openaire +2 more sources