The key aspects of innovation-oriented regional industrial and economic policy

Integration processes taking place in the economy, the new requirements to enhance the effectiveness of production during international competition as well as the need to ensure the social conditions lead to the development and implementation of innovation-oriented regional industrial and economic policy, which in its turn, requires adopting substantial organizational and economic recommendations

Stand up Paddle Surfing-An Aerobic Workout and Balance Training

AbstractOriginating from an ancient Hawaiian tradition Stand Up Paddle Surfing (SUP) is a growing pastime and sports activity in which a person stands upright on a surfboard and propels it using a single paddle. During paddling the board constantly is in an unstable condition forcing paddlers to focus on keeping balance and simultaneously propelling the board by paddling. Therefore it is expected that SUP can be a high impact aerobic workout and balance training. A total of 68 subjects performed on-water and SUP ergometer trials, during ergometer trials heart rate (HR) was permanently measured and balance was assessed before and after all trials (ergometer and on-water) using a single leg hop test on a Win Pod electronic baropedometric platform. Results of the balance tests - though for a relatively small number of participants - showed that after ergometer trials a significant improvement in stability occurred whereas it was only significant for the right foot's anteroposterior movement after on-water trials. The result of the exercise-test illustrated that the HR of beginners stays in the aerobic zone which makes SUP suitable for endurance training

Automated Generation of High-Order Modes for Tests of Quasi-Optical Systems of Gyrotrons for W7-X Stellarator

A test system for the verification of the quasi-optical converter system is vital in the gyrotron development. For this reason, an automated measurement setup has been developed and is benchmarked with the TE$_{28,8}$ mode operating in the cavities of the gyrotrons of W7-X with a high purity of about 95 % and a counter-rotating amount of about 0.3 %. The time duration for the mode generator adjustment has been reduced to two days for this mode. After a successful mode excitation, the quasi-optical mode converter, consisting of a launcher and three mirrors, is measured having a vectorial Gaussian mode content of 97 %

New results on rewrite-based satisfiability procedures

Program analysis and verification require decision procedures to reason on theories of data structures. Many problems can be reduced to the satisfiability of sets of ground literals in theory T. If a sound and complete inference system for first-order logic is guaranteed to terminate on T-satisfiability problems, any theorem-proving strategy with that system and a fair search plan is a T-satisfiability procedure. We prove termination of a rewrite-based first-order engine on the theories of records, integer offsets, integer offsets modulo and lists. We give a modularity theorem stating sufficient conditions for termination on a combinations of theories, given termination on each. The above theories, as well as others, satisfy these conditions. We introduce several sets of benchmarks on these theories and their combinations, including both parametric synthetic benchmarks to test scalability, and real-world problems to test performances on huge sets of literals. We compare the rewrite-based theorem prover E with the validity checkers CVC and CVC Lite. Contrary to the folklore that a general-purpose prover cannot compete with reasoners with built-in theories, the experiments are overall favorable to the theorem prover, showing that not only the rewriting approach is elegant and conceptually simple, but has important practical implications.Comment: To appear in the ACM Transactions on Computational Logic, 49 page

Multi-level hp-finite cell method for embedded interface problems with application in biomechanics

This work presents a numerical discretization technique for solving three-dimensional material interface problems involving complex geometry without conforming mesh generation. The finite cell method (FCM), which is a high-order fictitious domain approach, is used for the numerical approximation of the solution without a boundary-conforming mesh. Weak discontinuities at material interfaces are resolved by using separate FCM meshes for each material sub-domain, and weakly enforcing the interface conditions between the different meshes. Additionally, a recently developed hierarchical hp-refinement scheme is employed to locally refine the FCM meshes in order to resolve singularities and local solution features at the interfaces. Thereby, higher convergence rates are achievable for non-smooth problems. A series of numerical experiments with two- and three-dimensional benchmark problems is presented, showing that the proposed hp-refinement scheme in conjunction with the weak enforcement of the interface conditions leads to a significant improvement of the convergence rates, even in the presence of singularities. Finally, the proposed technique is applied to simulate a vertebra-implant model. The application showcases the method's potential as an accurate simulation tool for biomechanical problems involving complex geometry, and it demonstrates its flexibility in dealing with different types of geometric description

Weak localization and electron-electron interactions in Indium-doped ZnO nanowires

Single crystal ZnO nanowires doped with indium are synthesized via the laser-assisted chemical vapor deposition method. The conductivity of the nanowires is measured at low temperatures in magnetic fields both perpendicular and parallel to the wire axes. A quantitative fit of our data is obtained, consistent with the theory of a quasi-one-dimensional metallic system with quantum corrections due to weak localization and electron-electron interactions. The anisotropy of the magneto-conductivity agrees with theory. The two quantum corrections are of approximately equal magnitude with respective temperature dependences of T^-1/3 and T^-1/2. The alternative model of quasi-two-dimensional surface conductivity is excluded by the absence of oscillations in the magneto-conductivity in parallel magnetic fields.Comment: 13 pages, Corrected forma