With - PDFSEARCH.IO - Document Search Engine

With
Results: 671344

#	Item
21	F ORESHADOW: Extracting the Keys to the Intel SGX Kingdom with Transient Out-of-Order Execution Jo Van Bulck1 , Marina Minkin2 , Ofir Weisse3 , Daniel Genkin3 , Baris Kasikci3 , Frank Piessens1 , Mark Silberstein2 , Thom Add to Reading List Source URL: foreshadowattack.eu Language: English - Date: 2018-08-31 11:04:52 Computer architecture Computing Computer hardware Computer memory Cache Computer security X86 architecture Central processing unit Software Guard Extensions Meltdown CPU cache Spectre
22	SYSTEMS OF POINTS WITH COULOMB INTERACTIONS SYLVIA SERFATY Abstract. Large ensembles of points with Coulomb interactions arise in various settings of condensed matter physics, classical and quantum mechanics, statistical Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-28 17:09:48 Physics Theoretical physics Chemistry Quantum mechanics Algebra of random variables Random matrix Partition function Hamiltonian
23	European equities in a world of no returns The past few years have seen turbulent macroeconomic and political events dominate European market sentiment. The outcome has been a low growth environment, with no real signs t Add to Reading List Source URL: www.fundexpertsforum.com Language: English - Date: 2018-05-29 09:57:56 Finance Money Economy Funds Institutional investors Investment Hedge fund Legg Mason Investment fund Prospectus SICAV Investment management
24	Characteristics of four illustrative model pathways Different mitigation strategies can achieve the net emissions reductions that would be required to follow a pathway that limits global warming to 1.5°C with no or limi Add to Reading List Source URL: report.ipcc.ch Language: English - Date: 2018-10-15 09:47:54 Climate change Climate change mitigation Climatology Physical geography Carbon dioxide Climate engineering Bio-energy with carbon capture and storage Biomass Climate change policy Low-carbon economy Global warming
25	Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2015-11-05 09:28:54 Artificial intelligence Multi-agent systems Modeling and simulation Systems science Agent-based model Artificial life Complex systems theory Model checking Temporal logic Intelligent agent Sociology
26	Ergonomics AG: General Terms and Conditions (GTC) FebruaryClassification of the General Terms and Conditions (GTC) Agreements of Ergonomics AG (Ergonomics) with its customers consist of a contract document and th Add to Reading List Source URL: ergonomics.ch Language: English - Date: 2018-02-28 06:51:57 Economy Terms of service Contract law Software licenses Business Ergonomics Occupational safety and health Human factors and ergonomics Point of sale Proprietary software Application software End-user license agreement
27	Platform technology Manage business growth and complexity with a highly scalable, efficient and flexible platform. Platform Add to Reading List Source URL: www.temenos.com Language: English - Date: 2016-05-25 06:21:43 Economy Computing Financial services Software architecture Banking Multitenancy Core banking Cloud computing Java Business process management Bank Application server
28	A Bit-fixing PRF with O(1) Collusion-Resistance from LWE Alex Davidson1,? and Ryo Nishimaki2 1 2 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2018-10-18 18:40:38 Cryptography Mathematics Number theory Post-quantum cryptography Spectral theory Algebra Distribution Pseudorandom function family Learning with errors Jordan normal form Decomposition of spectrum
29	Here’s a sigh for the try in vain to get in your vein... MAY 2008 Send stuff to A new presence on the airwaves For almost two decades the FM dial in London has been awash with illegal radio Add to Reading List Source URL: www.randomartists.org Language: English - Date: 2008-05-09 08:24:00 Music Breakcore The Organ 9 Therapy The King Blues Awake
30	Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Computing Software engineering Computer programming Carnegie Mellon University Carnegie Mellon Silicon Valley Abstract interpretation Mellon Scala Refinement

UPDATE