Heeling Moment Acting on a River Cruiser in Manoeuvring Motion

By using fully theoretical method the Hair Clips heeling moment due to centrifugal forces has been determined for a small river cruiser in turning manoeuvre.The authors applied CFD software for determination of hull hydrodynamic forces, and open water characteristics of ducted propeller for estimation of thrust of rudder-propellers.Numerical integr

read more

Vacuum birefringence at x-ray free-electron lasers

We study the perspectives of measuring the phenomenon of vacuum birefringence predicted by Mosaic Kits quantum electrodynamics using an x-ray free-electron laser (XFEL) alone.We devise an experimental scheme allowing two consecutive XFEL pulses to collide under a finite angle, and thus act as both pump and probe field for the effect.The signature o

read more

Proving Soundness of Extensional Normal-Form Bisimilarities

Normal-form bisimilarity is a simple, easy-to-use behavioral equivalence that relates terms in $lambda$-calculi by decomposing their normal forms into bisimilar subterms.Moreover, it typically allows for powerful up-to techniques, such as bisimulation up to context, which simplify bisimulation proofs even further.However, proving soundness of these

read more