Learn More
Optically active tetrahydroisoquinoline alkaloids, (R)-(+)-higenamine (1R) and (S)-(-)-higenamine (1 S), and their optically active 1-naphthylmethyl analogues (2 and 3), were synthesized by enantioselective hydrogenation of the corresponding dihydroisoquinoline intermediates 7 as a key step. The evaluation of the platelet anti-aggregation effect(More)
Software reverse engineering is an engineering process analyzing a system for specific purposes such as identifying interrelationship between system components or reorganizing the system structure. The HELISCOPE project aims to develop an unmanned helicopter and its on-flight embedded computing system for navigation and real-time transmission of motion(More)
In this paper, we introduce the target scenario of our HELISCOPE project with the emphasis on the four modes for flying-camera task. We also explain the control points that are considered as the interfaces where the on-flight embedded software and mechanical implementation of the unmanned helicopter are contacted for the autopilot necessarily used in(More)
Formal verification plays an important role in demonstrating safety and correctness of safety-critical systems such as airplanes and helicopters. Small-scale unmanned helicopters have been increasingly developed and deployed for various scientific, commercial and defense applications. The HELISCOPE project is aiming to develop an unmanned helicopter and its(More)
While the conventional remote method invocation mechanism has been considered for a long time as the primary approach for facilitating interactions among real-time objects, a multicast support mechanism has been recognized in recent years as an attractive supplement, if not a favored approach, in many applications. One highly promising concrete formulation(More)
Formal verification has played an important role in demonstrating correctness of safety-critical systems. Small-scale unmanned helicopters have been increasingly developed for various purposes such as scientific exploration and commercial or defense applications. The HELISCOPE project in Korea aims to develop a small-scale unmanned helicopter and its(More)
We perform a full amplitude analysis of B 0 ! c 0 K þ À decays, with c 0 ! þ À or e þ e À , to constrain the spin and parity of the Zð4430Þ À. The J P ¼ 1 þ hypothesis is favored over the 0 À , 1 À , 2 À and 2 þ hypotheses at the levels of 3:4, 3:7, 4:7 and 5:1, respectively. The analysis is based on a 711 fb À1 data sample that contains 772 Â 10 6 B " B(More)
In order to obtain proton magnetic resonance spectra from the renal tumor in human kidney we performed localized magnetic resonance spectroscopy using a saddle-type flexible surface coil. Five patients biopsy-proven as renal cell carcinoma at different stages were put in supine/lateral position to minimize motion artifacts while acquiring the spectrum.(More)