Alignment-based Translations Across Formal Systems Using Interface Theories Dennis M¨uller Colin Rothgang

Source URL: pxtp.github.io

• Logic
• Mathematical logic
• Abstraction
• Formal languages
• Syntax
• Formal systems
• Proof assistants
• Type theory
• Metamath
• Formal proof
• Theory
• OMDoc

Future Extensions to the Native Interface Rickard Green Erlang Factory San Francisco Bay Area 2011

Source URL: www.erlang-factory.com

• Software engineering
• Computing
• Computer programming
• C POSIX library
• System calls
• C++
• Procedural programming languages
• C
• Typedef
• Callback
• Select
• Write

Package ‘GroupSeq’ April 11, 2018 Title A GUI-Based Program to Compute Probabilities Regarding Group Sequential Designs VersionDescription A graphical user interface to compute group sequential designs

Source URL: cran.r-project.org

• User interface techniques
• Software
• Graphical user interface
• Software architecture
• Package manager
• Gui
• User interface
• Human behavior
• Computing

UX CHECKLIST FOR WALLET DEVELOPERS We have compiled a checklist of good practices that can be applied to any cryptocurrency wallet with a graphic user interface. ZCASH FEATURES If you’re building a wallet that supports

Source URL: z.cash

• Economy
• Cryptocurrencies
• Money
• Finance
• Alternative currencies
• E-commerce
• Cryptography
• Zcash
• Cryptocurrency wallet
• Online shopping
• Transaction authentication number
• Draft:Bitcoin Anonymity

An extensible ad hoc interface between Lean and Mathematica Robert Y. Lewis Carnegie Mellon University Pittsburgh, PA, USA

Source URL: pxtp.github.io

• Computing
• Software engineering
• Computer programming
• Functional programming
• Subroutines
• Computability theory
• Theoretical computer science
• Computer algebra systems
• Pattern matching
• Wolfram Mathematica
• Expr
• Anonymous function

Formal Development of a Graphical User Interface for a Radiation Therapy Machine Jonathan Jacky  Jonathan Unger Radiation Oncology Department RC-08 University of Washington

Source URL: staff.washington.edu

• Humancomputer interaction
• User interface techniques
• Human behavior
• Software architecture
• Computing
• Computer
• User interface
• Graphical user interface

Regaining Lost Cycles with HotCalls: A Fast Interface for SGX Secure Enclaves Ofir Weisse Valeria Bertacco Todd Austin University of Michigan oweisse/vale/

Source URL: www.ofirweisse.com

• Computing
• Computer architecture
• Computer engineering
• Computer memory
• Computer security
• Memory management
• Side-channel attacks
• Software Guard Extensions
• Cold boot attack
• C dynamic memory allocation
• Sync
• Cache

Call For Papers The International Workshop on Advances in Sensors and Interfaces is a premier Sensor and Interface design workshop aimed at bridging the gap between electronic design and integrated circuit technologies,

Source URL: iwasi2017.poliba.it

• Wireless networking
• Wireless sensor network
• Sensor
• cole Polytechnique Fdrale de Lausanne
• Technology
• Education in Switzerland
• Higher education

Evaluation des Bürokratiemonitors INTERFACE Politikstudien Forschung Beratung März 2015 Impressum

Source URL: www.seco.admin.ch

Application Programming Interface REST API Authentication https://api.bittxn.com/api/v1/b2trade/auth [POST] Request params

Source URL: bittxn.com

• Mathematics
• Computing
• Computer access control
• Ajax
• JSON
• Meter Point Administration Number
• Integer
• Null
• Data type
• Authentication
• Decimal