Results 11 to 20 of about 3,615,104 (291)
Characteristic of Quaternion Algebra Over Fields
Quaternion is an extension of the complex number system. Quaternion are discovered by formulating 4 points in 4-dimensional vector space using the cross product between two standard vectors. Quaternion algebra over a field is a 4-dimensional vector space
Muhammad Faldiyan +2 more
doaj +1 more source
Pengembangan Prototype Leg Split Machine 2in1
Penelitian ini bertujuan untuk mengembangkan produk yaitu prototype leg split machine 2 in 1 (dua fungsi) untuk membantu melakukan split sekaligus mengukur kemampuan split.
Filli Azandi +3 more
doaj +1 more source
Splitting split supersymmetry [PDF]
In split supersymmetry, the supersymmetric scalar particles are all very heavy, at least at the order of 10{sup 9} GeV, but the gauginos, Higgsinos, and one of the neutral Higgs bosons remain below a TeV. Here we further split the split supersymmetry by taking the Higgsino mass parameter {mu} to be very large.
Kingman Cheung, Cheng-Wei Chiang
openaire +3 more sources
AbstractAVATAR is an elegant and effective way to split clauses in a saturation prover using a SAT solver. But is it refutationally complete? And how does it relate to other splitting architectures? To answer these questions, we present a unifying framework that extends a saturation calculus (e.g., superposition) with splitting and that embeds the ...
Ebner, Gabriel +2 more
openaire +5 more sources
Split and Merge Strategies for Solving Uncertain Equations Using Affine Arithmetic [PDF]
The behaviour of systems is determined by various parameters. Due to several reasons like e. g. manufacturing tolerances these parameters can have some uncertainties.
Oliver Scharf +2 more
doaj +1 more source
The Market Reaction to Stock Splits – Evidence from the Warsaw Stock Exchange
Theoretical background: A share split is an operation that increases the total number of shares. The split is a technical operation and should not affect the market value of the company.
Paweł Sekuła
doaj +1 more source
On split twisted inner derivation triple systems with no restrictions on their 0-root spaces
The aim of this paper is to study the structure of arbitrary split twisted inner derivation triple systems. We obtain a sufficient condition for the decomposition of arbitrary twisted inner derivation triple system T{\mathscr{T}} which is of the form T=U+
Cao Yan, Luo Fang
doaj +1 more source
The Split Vehicle Routing Problem with Simultaneous Delivery and Pickup (SVRPSDP) consists of two subproblems, i.e., the Vehicle Routing Problem with Simultaneous Delivery and Pickup (VRPSDP) and the Split Delivery Vehicle Routing Problem (SDVRP ...
Yuxin Liu, Zihang Qin, Jin Liu
doaj +1 more source
We define a superposition calculus with explicit splitting and an explicit, new backtracking rule on the basis of labelled clauses. For the first time we show a superposition calculus with explicit backtracking rule sound and complete. The new backtracking rule advances backtracking with branch condensing known from SPASS. An experimental evaluation of
Fietzke, A. +1 more
openaire +5 more sources
Posjeti stranih ratnih brodova Splitu tijekom 1970-ih i 1980-ih godina
Na temelju dokumenata Službe državne sigurnosti Socijalističke Republike Hrvatske u prilogu su prikazani posjeti stranih ratnih brodova Splitu tijekom 1970-ih i 1980-ih godina.
Nikica Barić
doaj +1 more source

