Results 11 to 20 of about 26,066,357 (246)
New Recursive Formulas for Eigenvalue Sensitivity Analysis
Eigenvalue sensitivity analysis represents a key discipline in many engineering system applications where the dynamic behavior of such systems is closely related to the eigenvalues of the system (state) matrix.
A.A. Al-Ohaly, M.A. El-Kady
doaj +2 more sources
On the complexity of integer polynomial recursive sequences
Background. Linear recursive sequences represent the “classic'” object of combinatorial analysis. To express an arbitrary term of a linear recursive sequence, there are exact formulas of exponential type as in the case of a field of complex numbers ...
S.S. Marchenkov
doaj +1 more source
Recursive principal components analysis [PDF]
A recurrent linear network can be trained with Oja's constrained Hebbian learning rule. As a result, the network learns to represent the temporal context associated to its input sequence. The operation performed by the network is a generalization of Principal Components Analysis (PCA) to time-series, called Recursive PCA. The representations learned by
openaire +3 more sources
Sentiment analysis studies in the literature mostly use either recurrent or recursive neural network models. Recurrent models capture the effect of time and propagate the information of sentiment labels in a review throughout the word sequence. Recursive
Cem Rifki Aydin, Tunga Gungor
doaj +1 more source
Linear Abadi and Plotkin Logic [PDF]
We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic/linear type theory with fixed points, and show, following Plotkin's suggestions, that it can be used to define a wide ...
Lars Birkedal +2 more
doaj +1 more source
Evolving Recursive Programs using Non-recursive Scaffolding [PDF]
Genetic programming has proven capable of evolving solutions to a wide variety of problems. However, the successes have largely been with programs without iteration or recursion; evolving recursive programs has turned out to be particularly challenging ...
Otero, Fernando E. B. +10 more
core +1 more source
The types and categories of Old English recursive compounding
This article deals with the recursive compounding of Old English nouns, adjectives, verbs and adverbs. It addresses the question of the textual occurrences of the compounds of Old English by means of a corpus analysis based on the Dictionary of Old ...
Carmen Novo Urraca
doaj +1 more source
Recursive Markov Decision Processes and Recursive Stochastic Games [PDF]
We introduce Recursive Markov Decision Processes (RMDPs) and Recursive Simple Stochastic Games (RSSGs), and study the decidability and complexity of algorithms for their analysis and verification.
Mihalis Yannakakis +3 more
core +1 more source
A recursion planning analysis of inductive completion [PDF]
We use the AI proof planning techniques ofrecursion analysis andrippling as tools to analyze so-calledinductionless induction proof techniques. Recursion analysis chooses induction schemas and variables and rippling controls rewriting in explicit induction proofs.
Barnett, R., Basin, D., Hesketh, J.
openaire +4 more sources
Recursive Concurrent Stochastic Games [PDF]
. We study Recursive Concurrent Stochastic Games (RCSGs), extending our recent analysis of recursive simple stochastic games [14, 15] to a concurrent setting where the two players choose moves simultaneously and independently at each state.
Mihalis Yannakakis +3 more
core +1 more source

