A Modular Reasoning System Using Uninterpreted Predicates for Code Reuse Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, and Ingrid Chieh Yu Department of Informatics, University of Oslo P.O. Box 1080 Blindern, N-0316

Source URL: einarj.at.ifi.uio.no

Central Europe towards Sustainable Building 2013 Sustainable refurbishment of existing building stock DEFINITION OF A NEW DESIGN PROCESS FOR THE REUSE OF MONUMENTAL BUILDINGS1 Esra YALDIZ

Source URL: www.cesb.cz

Proceedings of the 7th International Alumina Quality WorkshopRECENT ADVANCES IN THE TREATMENT AND REUSE OF BAUXITE REFINERY RESIDUES (BAUXSOL™)

Source URL: www.aqw.com.au

IP Reuse: A Novel VHDL to Verilog Translation Flow Alessandro Fasan Andrea Fedeli STMicroelectronics, New Ventures Group, S.I.C.L., San Jose, CA, USA.

Source URL: deepchip.com

AN INVESTIGATION OF SELECTED CYBERINFRASTRUCTURE AND INTEROPERABILITY ELEMENTS: DATA SHARING AND REUSE IN THE SCIENCES Angela P. Murillo University of North Carolina-Chapel Hill

Source URL: www.ieee-tcdl.org

A Shading Reuse Method for Efficient Micropolygon Ray Tracing Qiming Hou Kun Zhou State Key Lab of CAD&CG, Zhejiang University∗ Abstract

Source URL: www.houqiming.net

Nanotechnology-Enabled Water Treatment A Vision to Enable Decentralized Water Treatment & Reuse and Address Challenges of the Water-Energy Nexus Pedro J.J. Alvarez 2016 Clarke Prize Conference

Source URL: www.nwri-usa.org

Recycle Ann Arbor ReUse Center

Source URL: semircd.org

Compatibility and reuse in component-based systems via type and unit inference Christian K¨uhnel1 1) Andreas Bauer2,1

Source URL: www.tautschnig.net

• Type theory
• Theoretical computer science
• Data types
• Mathematical logic
• Programming language theory
• Logic in computer science
• Object-oriented programming
• Polymorphism
• Subtyping
• Type system
• Unification
• Model theory

Knowledge Modeling for Data Sharing, Integration, and Reuse Pascal Hitzler Data Semantics Laboratory (DaSe Lab) Data Science and Security Cluster (DSSC)

Source URL: daselab.cs.wright.edu