CORE - PDFSEARCH.IO - Document Search Engine

CORE
Results: 48130

#	Item
11	GROUP CODE OF ETHICS Dear Colleagues Integrity is at the core of the business of the Tradition Group. It is the common thread through all our activities. The integrity and strength of our personnel, operations, and busi Add to Reading List Source URL: www.traditionamericas.com Language: English - Date: 2017-03-17 05:39:05 Human behavior Ethics Law Secrecy Political corruption Applied ethics Information Intellectual property law Business ethics Insider trading Integrity Money laundering
12	Blockchain For Financial Markets Applications and Services Harnessing the Power of Artificial Intelligence, Neural Networks and Active Leverage “At its core Qompass will provide a rich ecosystem of API protocols and Add to Reading List Source URL: icorating.com Language: English Cryptocurrencies Blockchains Computing Alternative currencies Concurrent computing Distributed computing Ethereum Cross-platform software Smart contract Bitcoin Hyperledger ternity
13	CLEF: Limiting the Damage Caused by Large Flows in the Internet Core Hao Wu1,2[0000−0002−5100−1519] , Hsu-Chun Hsiao3[0000−0001−9592−6911] , Daniele E. Asoni4[0000−0001−5699−9237] , 4[0000−0001−9557 Add to Reading List Source URL: www.netsec.ethz.ch Language: English Computing Information and communications technology Data transmission Computer networking NetFlow Network performance Flow network Communication protocol Router Transmission Control Protocol
14	BITVIT ICO TERMS AND CONDITIONS Last Updated: 5 June 2018 Please read these Terms and Conditions (hereinafter – the “Terms”) carefully before using the website http://BitVit.io/ (hereinafter – the “Website”), Add to Reading List Source URL: echargeico.blob.core.windows.net Language: English - Date: 2018-06-08 15:44:46 Contract law Alternative currencies Cryptocurrencies Digital currencies Law Bitcoin Indemnity Coin Contract Economy Currency Frameworx License
15	Automated Deduction for Verification Natarajan Shankar SRI International Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very be Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-20 03:24:48 Logic Mathematical logic Mathematics Model theory Propositional calculus Logic in computer science Logical truth Linear temporal logic First-order logic Well-formed formula Interpretation Intuitionistic logic
16	Sector guides 2O15 -2O16 INVESTMENT funds & asset management A CountryProfiler Publication Add to Reading List Source URL: iconfinancemalta.blob.core.windows.net Language: English - Date: 2015-05-13 05:53:31 Economy Finance Money Economy of Malta Malta Stock Exchange Investment management Malta Edward Scicluna Bank of Valletta Christian Cardona Hedge fund Financial services
17	Modern Storage for Today’s Data Center Built with maximum flexibility at its core, the Spectra® Stack tape library will meet your backup, archive, and perpetual storage requirements. Designed to be easily installed, e Add to Reading List Source URL: www.teradactyl.com Language: English Electromagnetism Magnetism Computing Linear Tape-Open Linear Tape File System Spectra Logic Tape drive Magnetic tape data storage Backup Tape library Storage Technology Corporation Computer data storage
18	R The OpenGL Graphics System: A Specification (Version 4.5 (Core Profile) - June 29, 2017) Add to Reading List Source URL: www.khronos.org Language: English - Date: 2017-06-29 16:51:37 Computing Computer programming IT infrastructure OpenGL Application programming interfaces Cross-platform software Graphics libraries Video game development Shader Framebuffer object Pixel buffer Shading language
19	Providing Premium Core Banking Suites, Products & Technology SOFGEN, a Tech Mahindra company, delivers IT solutions in and around core banking to some of the Add to Reading List Source URL: sofgen.com Language: English - Date: 2017-10-30 09:22:54 Economy Financial services Finance Banking Mahindra Group Business software Core banking Mahindra ING Group Bank Operational risk
20	SyGuS Techniques in the Core of an SMT Solver Andrew Reynolds SYNT Workshop July 22, 2017 Add to Reading List Source URL: www.react.uni-saarland.de Language: English - Date: 2017-08-02 04:54:12 Theoretical computer science Logic in computer science Constraint programming Electronic design automation Satisfiability modulo theories

UPDATE