Jasmine Roberts
A comprehensive repository of software development libraries, platforms, and tools specifically to the domains of augmented, virtual, and mixed reality.
Menampilkan 20 dari ~272326 hasil · dari arXiv, DOAJ, CrossRef
Jasmine Roberts
A comprehensive repository of software development libraries, platforms, and tools specifically to the domains of augmented, virtual, and mixed reality.
Anatoly Levenchuk
Systems thinking is a way of making sense about the world in terms of multilevel, nested, interacting systems, their environment, and the boundaries between the systems and the environment. In this paper we discuss the evolution of systems thinking and discuss what is needed for an ontology of the current generation of systems thinking.
H. A. Proper
This document has emerged out of Origin's past experiences with architecture-driven application development (AD2), and the need to further formalise and consolidate these experiences.
David Landsberg, Earl Barr
Research Proposal in Automated Fix Detection
Varun Mathur
This review presents and evaluates various formalisms for the purpose of modelling the semantics of financial derivatives contracts. The formalism proposed by Lee is selected as the best candidate among those initially reviewed. Further examination and evaluation of this formalism is done.
Adam Barker
How experiences gained in industry can improve academic research and teaching.
Pirmin Stüble, Caroline Röhr
The three cesium selenido ferrate title compounds with an Se:Fe ratio of 2:1 were synthesized from stoichiometric samples reacting elemental Cs either (A) with Fe and Se in a double‐crucible setup (Cs[FeSe2], Cs3[FeSe2]2) or (B) with previously prepared FeSe2 (Cs3[FeSe2]2, Cs7[Fe4S8]) (Tmax = 800–1000 °C). The pure FeIII ferrate Cs[FeSe2] crystallizes in the Tl[FeSe2] type [monoclinic, space group C2/m, a = 1392.95(10), b = 564.43(3), c = 737.44(6) pm, β = 119.163(5)°, Z = 4, R1 = 0.0550]. It is thus not isotypic to all other alkali ferrates(III) A[FeS2] and A[FeSe2] containing chains of edge‐sharing tetrahedra, but crystallizes in a t2 subgroup of the Immm structure of Cs[FeS2]. The mixed‐valent chain compound Cs3[FeSe2]2 is isotypic to its sulfido analogue [orthorhombic, space group Pnma, a = 777.88(6), b = 1151.02(6), c = 1341.61(7) pm, Z = 4, R1 = 0.0470]. In contrast to the isopunctal Na3[FeSe2]2 type K/Rb compounds the chains are only slightly corrugated. The monoclinic, likewise mixed‐valent FeII/III selenido ferrate Cs7[Fe4Se8] [monoclinic, space group C2/c, a = 1953.79(10), b = 879.71(5), c = 1717.03(10) pm, β = 117.890(2)°, Z = 4, R1 = 0.0816] is isostructural both to the cesium sulfido and tellurido compound. The structure contains oligomeric moieties of four edge sharing [FeSe4] tetrahedra forming slightly distorted tetrahedral clusters [Fe4Se8]7–, which are surrounded by a cube of 26 Cs cations. Based on a structure map, the crystal chemistry of the three title compounds is discussed together with all chain/cluster ferrates of the general series A1+x[FeIII1–xFeIIxQ2] (x = 0–1; A = Na, K, Rb, Cs; Q = S, Se, Te).
Saheed A. Busari, Emmanuel Letier
This report presents a theoretical complexity analysis and empirical scalability analysis of the Requirements and Architecture Decision Analyser (RADAR).
Hua Lin, Hong Chen, Zi‐Xiong Lin et al.
AbstractThe new title compound is synthesized by reaction of Ga and Se in a CsCl flux in the presence of Mn (CsCl:Mn:Ga:Se = 6:4:5:12,1273 K, 4 d; 60% yield).
Rafael Patrocinio Alarcón Velandia
This article pursues the objective to initiate a debate on the concerns regarding the death of literature writers and their characters. Avoiding the temptation to impregnate the role of theoretical arguments on the various causes of suicide in a person, despite the presence of common factors, here it aims to recognize the existence of particular and specific reasons in each suicide. While countless treaties and literary works have been written on suicide, those follow religious, philosophical, socio-anthropological, economic, medical and psychiatric and genetic approaches. Thus, without claiming to exhaust the subject, rather than closing with concluding thoughts, some questions are formulated to continue the reflection on the phenomenon of suicide.
Matthew D. Ward, George N. Oh, Adel Mesbah et al.
AbstractRh2U6S15 (I), Cs2Ti2U6Se15 (II), Cs2Cr2U6Se15 (III), and Cs2Ti2U6Te15 (IV) are prepared by solid state reaction of the elements and CsCl at 1173 K (evacuated C‐coated silica tube, complex heating schedule).
Agnieszka Będkowska-Kopczyk
Verbs of emotion with se in Slovene: between middle and reflexive semantics. A cognitive analysisThis article presents a cognitive analysis of Slovene emotion verbs with the personal pronoun se ‘self’, e.g., bati se ‘to be scared’. Slavic verbs of this type are traditionally considered reflexive. The objectives of the article are twofold. First, the article aims to demonstrate that se in Slovene verbs of emotion indicates not the reflexive, but the middle voice construction. However, given specific pragmatic factors, these verbs also form reflexive constructions with the heavy form sebe ‘self’, or even both middle and reflexive constructions with se and sebe, respectively. Second, this article challenges Anna Wierzbicka’s assumption that the Slavic verbs with the light form of the personal pronoun or the -sja affix (Russian) express (almost) volitional, i.e. self-induced emotion. In line with cognitive Suzanne Kemmer, it is claimed that the constructions with the verbs under discussion indicate a low degree of volitionality in the process of emotional change i.e. they lexicalize an event that occurs independently of the Experiencer participant’s will.
Alexander Reshytko
We present a metamodel for modeling control and data flows on subclass scales in object-oriented systems. UML Profiles were used as a representation mean and a complete metamodel definition was provided with an example of a diagram application.
Virginie Wiels
Proving the efficacy of certification standards
Alexei Iliasov
We show how the event-based notation offered by Event-B may be augmented by algorithmic modelling constructs without disrupting the refinement-based development process.
Philip L. Bewig
Principles, Techniques and Practice of Spreadsheet Style
Jan A. Bergstra
The notion of an instruction sequence fault is considered from various perspectives. Four different viewpoints on what constitutes a fault, or how to use the notion of a fault, are formulated. An integration of these views is proposed.
Jan A. Bergstra
Decision taking is discussed in the context of the role it may play for various types of agents, and it is contrasted with action determination. Some remarks are made about the role of decision taking and action determination in the ongoing debate concerning the reverse polder development of the hertogin Hedwige polder.
Gordon Guthrie, Stephen McCrory
Hypernumbers is a new commercial web-based spreadsheet. It addresses several risk factors in deploying spreadsheets.
Markus Herrmannsdoerfer
This paper gives an overview of the Edapt solution to the GMF model migration case of the Transformation Tool Contest 2011.
Halaman 4 dari 13617