Results 271 to 280 of about 1,200,996 (319)
Some of the next articles are maybe not open access.
Discrete Applied Mathematics, 2017
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Banik, Aritra +3 more
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Banik, Aritra +3 more
openaire +2 more sources
2023
Giovanna Capponi’s interest in Afro-diasporic religions (especially Cuban Santería and Brazilian Candomblé) grew as she studied their rhythmical patterns from a young age. After high school, she studied anthropology at the University of Bologna. She continued being interested in the cultural and religious backgrounds where the rhythms dedicated to the ...
openaire +1 more source
Giovanna Capponi’s interest in Afro-diasporic religions (especially Cuban Santería and Brazilian Candomblé) grew as she studied their rhythmical patterns from a young age. After high school, she studied anthropology at the University of Bologna. She continued being interested in the cultural and religious backgrounds where the rhythms dedicated to the ...
openaire +1 more source
Journal of Graph Theory, 2001
The authors give two new proofs of a result by \textit{K. Heinrich}, \textit{D. Langdeau} and \textit{H. Verrall} [J. Comb. Des. 8, No. 2, 100-121 (2000; Zbl 0946.05022)] that provide necessary and sufficient conditions for the existence of a set \(S\) of 3-paths in \(K_n\) having the property the every 2-path in \(K_n\) lies in exactly one of the ...
McGee, J., Rodger, C. A.
openaire +2 more sources
The authors give two new proofs of a result by \textit{K. Heinrich}, \textit{D. Langdeau} and \textit{H. Verrall} [J. Comb. Des. 8, No. 2, 100-121 (2000; Zbl 0946.05022)] that provide necessary and sufficient conditions for the existence of a set \(S\) of 3-paths in \(K_n\) having the property the every 2-path in \(K_n\) lies in exactly one of the ...
McGee, J., Rodger, C. A.
openaire +2 more sources
ACM SIGPLAN Notices, 2007
The success of software verification depends on the ability to find a suitable abstraction of a program automatically. We propose a method for automated abstraction refinement which overcomes some limitations of current predicate discovery schemes.
Beyer, D. +3 more
openaire +2 more sources
The success of software verification depends on the ability to find a suitable abstraction of a program automatically. We propose a method for automated abstraction refinement which overcomes some limitations of current predicate discovery schemes.
Beyer, D. +3 more
openaire +2 more sources
SSRN Electronic Journal, 2015 Path dependency is defined, and three different specific concepts of path dependency – cumulative causation, lock in, and hysteresis – are analyzed. The relationships between path dependency and equilibrium, and path dependency and fundamental uncertainty are also discussed.
openaire +1 more source
2021
This chapter addresses progressive Christians, explicating what happened to the evangelical Left in Brazil. Brazil’s role in the development of reformist and radical Christianity, particularly among Catholics, is well known, even celebrated; this chapter explores the country’s Protestant Left and what it stood for in its moments of greatest potential ...
openaire +1 more source
This chapter addresses progressive Christians, explicating what happened to the evangelical Left in Brazil. Brazil’s role in the development of reformist and radical Christianity, particularly among Catholics, is well known, even celebrated; this chapter explores the country’s Protestant Left and what it stood for in its moments of greatest potential ...
openaire +1 more source
Path specification and path coherence
Proceedings of the 9th annual conference on Computer graphics and interactive techniques, 1982This paper presents an interactive method for specifying a path in space and time through a three-dimensional environment. A sequence is generated by showing the series of views along the path. The sequence is previewed on a vector scope, and after it is interactively refined, each frame is rendered on a raster device.
Kim L. Shelley, Donald P. Greenberg
openaire +1 more source
Journal of Algebra and Its Applications, 2007
Under a certain condition, we find the explicit formulas for the trace functions of certain intertwining operators among gl(n)-modules, introduced by Etingof in connection with the solutions of the Calogero–Sutherland model. If n = 2, the master function of the trace function is exactly the classical Gauss hypergeometric function.
openaire +1 more source
Under a certain condition, we find the explicit formulas for the trace functions of certain intertwining operators among gl(n)-modules, introduced by Etingof in connection with the solutions of the Calogero–Sutherland model. If n = 2, the master function of the trace function is exactly the classical Gauss hypergeometric function.
openaire +1 more source