BACKGROUND The effects of cyclosporine (Cs), a fungal cyclic polypeptide with potent immunosuppressive activity, on fertility have assumed greater significance with the increasing numbers of transplantations being performed all over the world. Current study was undertaken to investigate the potential of Satureja khuzestanica Essential Oil (SEO) as an antioxidant to mitigate Cs-induced reprotoxi...

Donghun Lee, Jongwon Kim and TaeWon Seo Robotica / FirstView Article / September 2012, pp 1 ­ 8 DOI: 10.1017/S0263574711000774, Published online: 25 July 2011 Link to this article: http://journals.cambridge.org/abstract_S0263574711000774 How to cite this article: Donghun Lee, Jongwon Kim and TaeWon Seo Optimal design of 6­DOF eclipse mechanism based on task­oriented workspace. Robotica, Availab...

Blackhat Search Engine Optimization (SEO) has been widely used to promote spam or malicious web sites. Traditional blackhat SEO campaigns often target hot keywords and establish link networks by spamming popular forums or compromising vulnerable sites. However, such SEO campaigns are actively disrupted by search engines providers, making the operational cost much higher in recent years. In this...

Purpose For companies that intend to respond the modern conscious consumers' needs, a great competitive advantage is played on ability incorporate sustainability messages in marketing communications. The aim of this paper address important priority web context, building semantic algorithm allows content managers evaluate quality contents for search engines, considering current development. Desi...

In this paper, we present a modification of a closed-loop identification scheme known as the “Hansen scheme”. The advantage of the alternative procedure is that the order of the resulting model is tunable by the user.

Testing Automaton (TA) is a new kind of ω-automaton introduced by Hansen et al. [6] as an alternative to the standard Büchi Automata (BA) for the verification of stutter-invariant LTL properties. Geldenhuys and Hansen [5] shown later how to use TA in the automata-theoretic approach to LTL model checking. They propose a TA-based approach using a verification algorithm that requires two searches ...