Using Powerdomains to Generalize Relational Databases Peter Buneman Achim Jung Atsushi Ohoriy Abstract

Source URL: homepages.inf.ed.ac.uk

• Logic in computer science
• Relational model
• Mathematical logic
• Data modeling
• Relational algebra
• Domain theory
• Finitary relation
• Denotational semantics
• Semantics
• Power domains
• Relational database
• Functional dependency

Triangle-Shaped Graphene Domains by LP-CVD and Update of Graphene Application in Motive Power Battery 1,2,3 1 1 Gui-Ping Dai

Source URL: www.phantomsnet.net

• Emerging technologies
• Nanomaterials
• Monolayers
• Graphene
• Potential applications of graphene
• Graphene production techniques
• Graphite oxide

SMART ARM-Based Microcontrollers AT04296: Understanding Performance Levels and Power Domains APPLICATION NOTE

Source URL: www.atmel.com

On the Existence of Singular Solutions to the Stokes Problem in the Power Cusp Domains Alicija Eismontait˙e1,∗ , Konstantin Pileckas2 Faculty of Mathematics and Informatics, Vilnius University, Lithuania, ∗ alicija.

Source URL: gfm.cii.fc.ul.pt

The Synthetic Plotkin Powerdomain Wesley Phoa Paul Taylor 1990

Source URL: www.paultaylor.eu

• Lattice theory
• Algebraic structures
• Power domains
• Semilattice
• Free lattice
• Topos
• Model theory
• Finite set
• FO
• Mathematics
• Abstract algebra
• Algebra

HPCSET 2015 : 2nd International Workshop on High Performance Computing Simulation in Energy/Transport Domains July 16th, Frankfurt, Germany Current and future supercomputers provide a huge computational power but

Source URL: www.teratec.fr

• Science
• Scientific modeling
• Concurrent computing
• Distributed computing architecture
• High-performance computing
• Supercomputer
• Scientific visualization
• Computer simulation
• Simulation
• Computing
• Computational science
• Parallel computing

Unity™ Power Planner Power-Grid Planning for Hierarchical Custom Designs Power-grid planning for today’s advanced custom designs with many levels of hierarchy and multiple power domains is a complex, often-iterated t

Source URL: pulsic.com

• Electronics
• Electric power transmission systems
• Electrical engineering
• Very-large-scale integration
• Electrical grid
• Grid plan
• Place and route
• Routing
• Electric power transmission
• Electronic engineering
• Electromagnetism
• Electronic design automation

Interoperating Smart Grid Cyber Security Systems: Adaptive Risk Management across Unified OT and IT Domains Partha Datta Ray, Ranjit Kumar, Christopher Reed, Atul P. Agarwal Albeado, IncCasa Blanca Lane, Saratoga

Source URL: www.gridwiseac.org

• Public safety
• Data security
• Electric power transmission systems
• National security
• Smart grid
• Information security
• Vulnerability
• SCADA
• Electrical grid
• Security
• Computer security
• Technology

Tools for Knowledge Workers People, Power, Processes & Profits There are four readily identifiable domains or areas of performance related to organizations. At the core are people. People are housed in functional areas o

Source URL: www.nickols.us

• Protein domains
• Protein structure
• Silo

Semantics of a Sequential Language for Exact Real-Number Computation J. Raymundo Marcial-Romero a,∗,1, Mart´ın H. Escard´o a a University

Source URL: www.cs.bham.ac.uk

• Structure
• Models of computation
• Denotational semantics
• Logic in computer science
• Power domains
• Continuous function
• Complete partial order
• Scott continuity
• Function
• Mathematics
• Order theory
• Theoretical computer science