Results 31 to 40 of about 622,762 (333)
Symbol–Relation Grammars: A Formalism for Graphical Languages
Information and Computation, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
FERRUCCI, Filomena +6 more
openaire +3 more sources
Historicka Sociologie, 2013 Simmel’s social theory, namely his formal sociology, has long been considered if not dead, then of little relevance for contemporary sociological theories. This study is an attempt at proving the contrary. Our aim is to show that Simmel’s social ontology
Lukáš Bůžek
doaj
Efficient and formal generalized symbolic execution [PDF]
Automated Software Engineering, 2011 Programs that manipulate dynamic heap objects are difficult to analyze due to issues like aliasing. Lazy initialization algorithm enables the classical symbolic execution to handle such programs. Despite its successes, there are two unresolved issues: (1) inefficiency; (2) lack of formal study.
Deng, Xianghua, Lee, Jooyong, Robby
openaire +2 more sources
Simulation tools: formal language for cellular automatons behavior description
Adaptivni Sistemi Avtomatičnogo Upravlinnâ, 2022 Object is a formal language for cellular automatons behavior description. The main tasks are 1) to describe variety of possible events that cell can experience in cellular automaton; 2) to define possible attributes that can cause these events (over ...
Н. Смолій +2 more
doaj +1 more source
Frontiers in Psychology, 2013 Using a naturalistic video database, we examined whether gestures scaffolded the symbolic development of a language-enculturated chimpanzee, a language-enculturated bonobo, and a human child during the second year of life.
Kristen eGillespie-Lynch +4 more
doaj +1 more source
Classical Solutions of Hyperbolic Equation with Translation Operators in Free Terms
Mathematics, 2023 In this paper, we study the question of constructing explicit solutions in a half-space of a hyperbolic equation containing translation operators in space variables in all coordinate directions.
Vladimir Vasilyev, Natalya Zaitseva
doaj +1 more source
Some explicit expressions concerning formal group laws
, 2014 This paper provides some explicit expressions concerning the formal group laws of the Brown-Peterson cohomology, the cohomology theory obtained from Brown-Peterson theory by killing all but one Witt symbol, the Morava $K$-theory and the Abel cohomology ...
Bakuradze, Malkhaz, Jibladze, Mamuka
core +1 more source
The coupled-cluster approach to quantum many-body problem in a three-Hilbert-space reinterpretation [PDF]
, 2013 The quantum many-body bound-state problem in its computationally successful coupled cluster method (CCM) representation is reconsidered. In conventional practice one factorizes the ground-state wave functions $|\Psi\rangle= e^S |\Phi\rangle$ which live ...
Bishop, Raymond F., Znojil, Miloslav
core +4 more sources
Life, 2011 Is life physicochemically unique? No. Is life unique? Yes. Life manifests innumerable formalisms that cannot be generated or explained by physicodynamics alone.
David L. Abel
doaj +1 more source
Quantum linguistics and Searle's Chinese room argument [PDF]
, 2011 Viewed in the light of the remarkable performance of ‘Watson’ - IBMs proprietary artificial intelligence computer system capable of answering questions posed in natural language - on the US general knowledge quiz show ‘Jeopardy’, we
Bishop, J. M., Coecke, B., Nasuto, S. J.
core +2 more sources