Sleep medicineSleep medicine is a medical specialty or subspecialty devoted to the diagnosis and therapy of sleep disturbances and disorders. From the middle of the 20th century, research has provided increasing knowledge of, and answered many questions about, sleep–wake functioning. The rapidly evolving field has become a recognized medical subspecialty in some countries. Dental sleep medicine also qualifies for board certification in some countries. Properly organized, minimum 12-month, postgraduate training programs are still being defined in the United States.
Knowledge sharingKnowledge sharing is an activity through which knowledge (namely, information, skills, or expertise) is exchanged among people, friends, peers, families, communities (for example, Wikipedia), or within or between organizations. It bridges the individual and organizational knowledge, improving the absorptive and innovation capacity and thus leading to sustained competitive advantage of companies as well as individuals. Knowledge sharing is part of the knowledge management process.
Logical frameworkIn logic, a logical framework provides a means to define (or present) a logic as a signature in a higher-order type theory in such a way that provability of a formula in the original logic reduces to a type inhabitation problem in the framework type theory. This approach has been used successfully for (interactive) automated theorem proving. The first logical framework was Automath; however, the name of the idea comes from the more widely known Edinburgh Logical Framework, LF.
