Results 1 to 10 of about 84,271 (219)
IEEE Access, 2023 Solving trajectories of multi-phase dynamic advanced vehicles is difficult due to the coexistence of discontinuous aerodynamics, long-range and multi-peak features.
Jun Huang +4 more
doaj +1 more source
Advances in Difference Equations, 2021 We first present a generalized class of binary interpolating refinement schemes and their properties. Then the refinement-schemes-based unified algorithms for the solution of certain nth order linear and nonlinear differential equations with a set of ...
Syeda Tehmina Ejaz +3 more
doaj +1 more source
Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We present an approach to constrained Horn clause (CHC) verification combining three techniques: abstract interpretation over a domain of convex polyhedra, specialisation of the constraints in CHCs using abstract interpretation of query-answer ...
Bishoksan Kafle, John P. Gallagher
doaj +1 more source
Correctness of Concurrent Objects under Weak Memory Models [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 In this paper we develop a theory for correctness of concurrent objects under weak memory models. Central to our definitions is the concept of observations which determine when effects of operations become visible, and hence determine the semantics of ...
Graeme Smith +2 more
doaj +1 more source
Relaxing Behavioural Inheritance [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Object-oriented (OO) inheritance allows the definition of families of classes in a hierarchical way. In behavioural inheritance, a strong version, it should be possible to substitute an object of a subclass for an object of its superclass without any ...
Nuno Amálio
doaj +1 more source
Acta Crystallographica Section E: Crystallographic Communications, 2017 The structure of the title molecular salt, C10H13N4+·N3−, has been redetermined from the data published by Qian & Huang [Acta Cryst. (2010), E66, o3086; refcode WACMIY (Groom et al., 2016)].
Jan Fábry
doaj +1 more source
Acta Crystallographica Section E: Crystallographic Communications, 2016 The title structure, C6H9.5N3O20.5+·C7H6.5NO20.5−, which might be named schematically as 2-amino-4,6-dimethoxypyrimidine-(μ2-hydrogen)-4-aminobenzoate to indicate a bridging H atom, has been redetermined from the data published by Thanigaimani, Muthiah &
Jan Fábry
doaj +1 more source
Redetermination of cytosinium hydrogen maleate–cytosine (1/1) from the original data
Acta Crystallographica Section E: Crystallographic Communications, 2016 The title salt, C4H6N3O+·C4H3O4−·C4H5N3O, has been redetermined from the data published by Benali-Cherif, Falek & Direm [Acta Cryst. (2009), E65, o3058–o3059].
Jan Fábry
doaj +1 more source
Acta Crystallographica Section E: Crystallographic Communications, 2017 The title structure, 4-aminobenzoic acid 4-methylpyridine/4-methylpyridinium 4-aminobenzoate 0.58/0.42, 0.58(C6H7N·C7H7NO2)·0.42(C6H8N+·C7H6NO2−), has been redetermined from the data published by Kumar et al. (2015). Acta Cryst. E71, o125-o126.
Jan Fábry
doaj +1 more source
Acta Crystallographica Section E: Crystallographic Communications, 2018 A large number of structural determinations of compounds containing 2-hydroxy-3,5-dinitrobenzoic acid (I) and its various deprotonated forms, 2-hydroxy-3,5-dinitrobenzoate (II) or 2-carboxy-4,6-dinitrophenolate (III), are biased.
Jan Fábry
doaj +1 more source