Parameterized Interfaces for Open System Verification of Product Lines∗ Colin Blundell University of Pennsylvania Kathi Fisler WPI

Source URL: web.cs.wpi.edu

• Theoretical computer science
• Logic
• Mathematical logic
• Formal methods
• Logic in computer science
• Boolean algebra
• Hardware verification languages
• Model checking
• Temporal logic
• Formal verification
• Propositional calculus
• E

Cites & Insights Crawford at Large/Online Edition Libraries • Policy • Technology • Media Volume 12, Number 5: June 2012

Source URL: citesandinsights.info

• Library science
• Information science
• Information management
• Information
• Librarian
• Special library
• Library
• E-book
• Public Libraries
• Amazon Kindle

THE LASER-SCAN FASTRAK AUTOMATIC DIGITISING SYSTEM R.E. ANTELL LASER-SCAN LABORATORIES LIMITED CAMBRIDGE SCIENCE PARK MILTON ROAD CAMBRIDGE

Source URL: mapcontext.com

• Electronic toll collection
• Geography
• FasTrak
• Transportation in California
• Technology
• Ordnance Survey
• Raster scan
• Geographic information system
• Radar
• Electronics

Seafloor imagery from the BIG’95 debris flow, western Mediterranean G. Lastras   GRC Geocie`ncies Marines, Universitat de Barcelona, Barcelona E-08028, Spain M. Canals*  J.E. Hughes-Clarke Ocean Mapping Group,

Source URL: omg.unb.ca

• Geology
• Sedimentology
• Earth
• Landslides
• Physical oceanography
• Environmental soil science
• Petrology
• Turbidity current
• Sediment
• Debris flow
• Submarine landslide
• Turbidite

WINTERSALARY SURVEY S TA RT I N G S A L A R I E S F O R N E W C O L L E G E G R A D U AT E S • D ATA R E P O RT E D B Y E M P L O Y E R S

Source URL: www.naceweb.org

• Employment compensation
• Human resource management
• Salary survey
• Rochester Institute of Technology
• New York
• Academic degree
• Science and technology in the United States

E&HI Volume 9 NoISSNEnvironment and Health International

Source URL: www.ifeh.org

• Health
• Public health
• Personal life
• Environmental social science
• Noise
• Environmental health officer
• World Health Organization
• Environmental health

Networked Virtual School - beyond OER and MOOC Andrzej Żyławski Warsaw School of Computer Science/Warszawska Wyższa Szkoła Informatyki, Poland, Warszawa, ul. Lewartowskiego 17, e-mail: Ke

Source URL: www.eunis.org

• Education
• Educational technology
• Distance education
• Pedagogy
• Online education
• Alternative education
• Massive open online course
• Blended learning
• OpenCourseWare
• Virtual school
• Networked learning
• Teacher

Reali, F., Chater, N. & Christiansen, M.HThe paradox of linguistic complexity and community size. In E.A. Cartmill, S. Roberts, H. Lyn & H. Cornish (Eds.), The evolution of language: Proceedings of the 10th Int

Source URL: cnl.psych.cornell.edu

• Linguistics
• Cognition
• Language
• Cognitive science
• Analytic philosophy
• Philosophy of language
• Human communication
• Meaning
• Origin of language
• Speech community

Kurashiki Science Center News Vol2001 MYS T E R I E S

Source URL: www2.city.kurashiki.okayama.jp

Data Quality in Agriculture Applications Joana E. Gonzales Malaverri and Claudia Bauzer Medeiros IC - UNICAMP Outline

Source URL: www.geoinfo.info

• Information technology
• Information technology management
• Information
• Knowledge
• Data quality
• Information science
• Data management
• Data mining
• Database
• Business process modeling
• Information system
• Data analysis