Results 21 to 30 of about 1,126,210 (312)
Journal of Automated Reasoning, 2023 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]
EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, 2016 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
, 2017 python script to split a single line fasta file with many loci into locus specific fasta ...
Jesse W. Breinholt (7851209) +1 more
core +2 more sources
Ars Adriatica, 2017 Temeljem podataka prikupljenih arhivskim i terenskim istraživanjima te njihovim prevođenjem iz analognog u digitalni format, oblikovana je serija novih kartografskih prikaza graditeljskih transformacija unutar povijesnog splitskog predgrađa Veli Varoš u ...
Nikola Bojić
doaj +1 more source
Split and non-split hub number of graphs [PDF]
, 2022 A split hub set S in a graph G is a hub set such that the induced subgraph hV n Si is disconnected. The split hub number of G, denoted by hs(G) is the minimum size of a split hub set in G. In this paper, the split hub number for several classes of graphs
Sharada, B., Pavithra, M.
core
On split twisted inner derivation triple systems with no restrictions on their 0-root spaces
Open Mathematics, 2022 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
Reshuffling of global value chains: United States-China rivalry and the role of the EU
Revista CIDOB d'Afers Internacionals, 2023 The United States and China are locked in a strategic rivalry covering numerous fields, like trade and finance. The most important one, however, is technology.
Alicia García Herrero
doaj +1 more source
A Study on the Development of the Split-Type Carbon Composite Bicycle Frames [PDF]
한국정밀공학회지, 2017 Finite element analysis was performed for a split-type CFRP bicycle frame, which was designed to apply a compression molding process with carbon fiber prepreg for a conventional bicycle.
Chan Gon Park +3 more
doaj +1 more source
Split Decisions, Split Decisions [PDF]
The Scientific World Journal, 2000 The lead stories in Nature and Science went in opposite directions this week. Science chose outer space, launching into NASA’s hotly disputed decision to shelve a planned mission to Pluto. Nature plunged into inner space with a story about a report to the European Commission advising against granting “premature” approval to create human embryos for ...
openaire +3 more sources