Results 11 to 20 of about 119,561 (298)
Convergence Analysis for the SMC‐MeMBer and SMC‐CBMeMBer Filters [PDF]
The convergence for the sequential Monte Carlo (SMC) implementations of the multitarget multi‐Bernoulli (MeMBer) filter and cardinality‐balanced MeMBer (CBMeMBer) filters is studied here. This paper proves that the SMC‐MeMBer and SMC‐CBMeMBer filters, respectively, converge to the true MeMBer and CBMeMBer filters in the mean‐square sense and the ...
Lian, Feng +3 more
openaire +5 more sources
From the SmA to the Hexatic, Including the SmC*, SmC*A and SmC*re Phases: A 2H NMR Relaxation Study
AbstractThe molecular dynamics of a ferroelectric liquid crystal, denoted ZLL 7/*, is investigated by means of 2H NMR relaxation. The spin–lattice (T1Q and T1Z) and spin–spin (T2) relaxation times of two isotopomers of ZLL 7/*, labeled on the phenyl and biphenyl fragments, are measured and their behavior upon passing from the SmA to the hexatic phase ...
DOMENICI, VALENTINA +4 more
openaire +4 more sources
Evidence for binary Smc complexes lacking kite subunits in archaea
SMC complexes play a central role in chromosome organization in all domains of life. The bacterial Smc–ScpAB complex is a three-subunit complex composed of Smc, ScpA and ScpB.
Jae-Hyun Jeon +6 more
doaj +2 more sources
Characterization of a novel human SMC heterodimer homologous to the Schizosaccharomyces pombe Rad18/Spr18 complex [PDF]
The structural maintenance of chromosomes (SMC) protein encoded by the fission yeast rad18 gene is involved in several DNA repair processes and has an essential function in DNA replication and mitotic control.
Moghraby, Jeelan S. +11 more
core +4 more sources
We address the problem of determining the satisfiability of a Boolean combination of convex constraints over the real numbers, which is common in the context of hybrid system verification and control. We first show that a special type of logic formulas, termed monotone Satisfiability Modulo Convex (SMC) formulas, is the most general class of formulas ...
Shoukry, Yasser +5 more
openaire +3 more sources
PARAMETERIZED EXERCISES IN SMC [PDF]
The authoring of parameterized exercises has been a useful activity both for teachers, who could take advantage of databases of parameterized exercises for preparing study materials, but also for students that learn by producing new problems. This has been verified during the realization of MSc dissertations written by High School teachers that, as ...
Cruz, João Pedro +2 more
openaire +2 more sources
MAGMA-SMC: The Molecular Cloud Survey of the SMC [PDF]
AbstractWe present a brief summary and description of the upcoming 12CO(1-0) Magellanic Mopra Assesment (MAGMA) SMC survey data release. The MAGMA-SMC survey has sampled 100% of the known CO in the SMC (at ∼33″ resolution; 12 pc at D = 60 kpc). Having explored 522 × 103 square parsecs throughout the SMC with 69 5′ × 5′ fields, to a sensitivity of ∼150 ...
Erik Muller +4 more
openaire +1 more source
A Review of Different Configurations and Control Techniques for DSTATCOM in the Distribution system [PDF]
This paper presents a review of DSTATCOM Topologies and power quality control Techniques. The used topologies are Three-phase Three-wire and Three-phase four-wire and control techniques are Instantaneous reactive power theory(IRP), Synchronous Reference ...
Sree Jyothi Khammampati R +2 more
doaj +1 more source
This tutorial paper surveys the main features of Uppaal SMC, a model checking approach in Uppaal family that allows us to reason on networks of complex real-timed systems with a stochastic semantic. We demonstrate the modeling features of the tool, new verification algorithms and ways of applying them to potentially complex case studies.
Alexandre David +4 more
openaire +2 more sources
Energy Absorption of Macrocomposite Laminates [PDF]
PhDThe aim of this project was two-fold. Firstly to provide an understanding of the behaviour of SMC when subjected to drop weight impact and secondly to investigate the effect of a surface layer of a metallic material (stainless steel, aluminium ...
Ahmadnia, Ali
core +3 more sources

