Pure and Lazy Lambda Mining by Wu, N, aes, J, Bransen, J, Swierstra, W

A DRBEM for Steady Infiltration from Periodic Flat Channels with Root Water Uptake by Solekhudin, Imam, Ang, Keng-Cheng

Subjects: “…Pure Mathematics…”
Get full text

Extracting and Optimizing Formally Verified Code for Systems Programming by Ioannidis, Eleftherios, Kaashoek, M. Frans, Zeldovich, Nickolai

“…MCQC targets the Gallina functional language used in the Coq proof assistant. MCQC translates pure and recursive functions into C++17, while compiling monadic effectful functions to imperative C++ system calls. …”
Get full text

BMM1533 workbook: strength of materials 1 by Siti Rabiatull Aisha, Idris, M., Ishak, Aiman, Mohd Halil

“…This workbook consists of four chapters which are Stress and Strain under Axial Loading, Torsion,Pure Bending and Analysis and Design of Beams for Bending.There are brief, yet compact notes for students to understand better and at the same time easy to remember. …”
Get full text

International conference on mathematical sciences and statistics 2013: selected papers by Kilicman, Adem, Leong, Wah June, Eshkuvatov, Zainidin K.

“…It is a valuable resource for pure and applied mathematicians, statisticians, engineers and scientists.…”

Design principles of atrium buildings for the tropics by Ahmad, Mohd. Hamdan, Mohamad Rasdi, Mohamad Tajuddin

“…From a simple climate modifier to provide light and ventilation in deep spaces or courtyards in traditional buildings of the past, the atrium is presently used as a glamorous architectural feature for purely aesthetic effects. Such attitude towards atrium design has serious financial implications on the energy loads of a building. …”
Get full text

Stable domination and independence in algebraically closed valued fields by Haskell, D, Hrushovski, E, Macpherson, D

“…It contains significant developments in both pure and applied model theory. Part I of the book is a study of stably dominated types. …”

Scholarship voyage by Ujang, Zaini

“…The Merdeka Award Lecture covers the various stages of development in the voyage of scholarship of Zaini Ujang; from childhood to professorship, from personal experience to philosophical maturity, from uncertainties to idealism, and from pure chemistry to professional insights on water sustainability. …”
Get full text

Australian Trade Mark Law, 3rd Edition by Burrell, RG, Handler, RBM

“…<i>Australian Trade Mark Law 3rd edition</i>, provides a comprehensive overview of trade mark law in Australia. It moves beyond a purely descriptive account of existing legislation and case law to help readers to view and question the law through a critical lens. …”

Dependence of the fracture toughness on the sintering time of dense hydroxyapatite bioceramics by Tolouei, R., Singh, R., Sopyan, I., Yong, T.C., Amiriyan, M., Dung, T.W.

“…The nanocrystalline and highly pure Hydroxyapatite powders produced by wet chemical precipitation method were used as starting material. …”

Risk, regulation, and investor protection: The case of investment management by Franks, J, Mayer, C

“…Discusses recent examples of investment managers in the United Kingdom who have failed their clients due to fraud, negligence, or pure financial risk, and draws lessons from these cases for the design of investor protection. …”

The philosophy of decoration in Islamic architecture by Omer, Spahic

“…The book, however, is not written from a pure architecture perspective. The nature of its studies is a philosophical or conceptual rather than a empirical one. …”
Get full text

Naturalistic explanation in Spinoza's ethics: being mind-full of nature by Shoolman, Harvey

“…He also gives insight into the way Spinoza understood both mathematics and physical science in purely naturalistic terms as examples of embodied rational practice, a view that is completely at odds with modern conceptions of what scientists do. …”

Origami Programming by Gibbons, J

“…One style of functional programming is based purely on recursive equations. Such equations are easy to explain, and adequate for any computational purpose, but hard to use well as programs get bigger and more complicated. …”

A commentary on the rules for kings (Majlis Aceh) by Jusoh, Yahaya, Jasmi, Kamarul Azmi

“…Some of the sections applied Islamic concepts clearly, others have a mixture of both Islamic and cadat elements, and purely cadat. A Commentary on the Rules for Kings (Majlis Aceh) provides information and knowledge about Islamic civilization in the Malay archipelago which are significant and beneficial to researchers and academicians in the fields of history, education, sociology, politics, and comparative law of Islam and cadat.…”
Get full text

Halal all that you need to know (vol 1)

“…It exists in many aspects of life and comes with its counterpart toyyebah (pure and clean). It is a standard that all Muslims must adhere to achieve not only the worldly benefits but also the spiritual gain towards being closer to the Creator. …”
Get full text

City of equals by Wolff, J, de-Shalit, A

“…First, access to the goods and services of the city should not be based purely on the market. Second, each city-zen should be able to live a life they find meaningful. …”

Providing learning support in the Malaysian context of open and distance learning (ODL) issues and concerns

“…They may be distance teachers, tutors, advisers,counsellors working directly with distance learners or administrators and mangers organising learning support in DE.They may work in a variety of institutions, some purely operating at a distance, some in a mixed or dual mode institutions.The intention above all is to produce a practical resource of immediate use by Malaysian DE stakeholders …”

Genomic citizenship: the molecularization of identity in the contemporary Middle East by McGonigle, Ian

“…Considering possible consequences of findings on the diverse origins of the Qatari population for tribal identities, he argues that the nation cannot be defined as either a purely natural or biological entity. Rather, it is reified, reinscribed, and refracted through genomic research and discourse. …”
Get full text

Sade by Warman, C

“…<br/> This book is about how Sade took a pure version of eighteenth-century materialism and rendered it into an even purer form of pornography. …”