For an endofunctor H on a hyper-extensive category preserving countable coproducts we describe the free corecursive algebra on Y as the coproduct of the final coalgebra for H and the free Halgebra on Y . As a consequence, we derive that H is a cia functor, i.e., its corecursive algebras are precisely the cias (completely iterative algebras). Also all functors H(−) + Y are then cia functors. For...

*KURAに登録されているコンテンツの利用については,著作権法に規定されている私的使用や引用などの範囲内で行ってください。 *著作権法に規定されている私的使用や引用などの範囲を超える利用を行う場合には,著作権者の許諾を得てください。ただし,著作権者 から著作権等管理事業者(学術著作権協会,日本著作出版権管理システムなど)に権利委託されているコンテンツの利用手続については ,各著作権等管理事業者に確認してください。 Title Differential roles of orexin receptor-1 and -2 in the regulation of Non-REM and REM sleep Author(s) Mieda, Michihiro; Hasegawa, Emi; Kisanuki, Yaz Y.; Sinton, Christopher M.; Yanagis...

The C++ Information Abstractor, cia++, builds a database of information extracted from C++ programs. The database can serve as a foundation for the rapid development of C++ programming tools. Such tools include tools that graphically display various views of the program structure, tools that answer queries about program symbols and relationships, and tools that extract self-contained components...

Any untoward incident occurs while transmitting data digitally may lead to threats whenever the is transmitted malicious destination unknowingly, there arises a question of integrity. In this scenario cryptography plays crucial role in ensuring users both confidentiality and integrity over various network platform, supporting with algorithms like AES, hashing etc., ensure end user safety. paper...

Iron-regulatory protein 1 (IRP1) belongs to a family of RNA-binding proteins that modulate metazoan iron metabolism. Multiple mechanisms are employed to control the action of IRP1 in dictating changes in the uptake and metabolic fate of iron. Inactivation of IRP1 RNA binding by iron primarily involves insertion of a [4Fe-4S] cluster by the cytosolic iron-sulfur cluster assembly (CIA) system, co...

Collagen-induced arthritis (CIA) was induced in female Wistar rats by intradermal injection of porcine immunization grade native collagen type II (Chondrex). Development and progression of CIA was monitored by studying histopathological, radiographical and biochemical features of arthritic manifestations in the knee joints, hind limb and blood plasma. In addition, oxidative stress status of art...

BACKGROUND Chemotherapy-induced amenorrhea (CIA) is one of the most frequent therapy-related adverse events observed in breast cancer patients who have undergone chemotherapy. Although the characteristics of CIA have been studied in Western countries, little is known about CIA in Asian. We conducted a retrospective analysis to assess the characteristics and influencing factors of CIA and its as...