Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop

Source URL: cgi.csc.liv.ac.uk

• 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

Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision Hong Diep Nguyen and Nathalie Revol INRIA Universit´e de Lyon Laboratoire LIP (UMR 5668 CNRS - ENS Lyon - INRIA - UCBL)

Source URL: perso.ens-lyon.fr

• Numerical analysis
• Mathematics
• Applied mathematics
• Iterative refinement
• Iterative method
• Interval arithmetic
• Newton's method
• Condition number
• Residual
• Root-finding algorithm
• Affine arithmetic

HONG KONG INSTITUTE FOR MONETARY RESEARCH FUNDING CONSTRAINTS AND MARKET ILLIQUIDITY IN THE EUROPEAN TREASURY BOND MARKET Sophie Moinas, Minh Nguyen and Giorgio Valente

Source URL: www.hkimr.org

• Economy
• Finance
• Money
• Financial markets
• Credit
• Market liquidity
• Markus Brunnermeier
• Funding liquidity

FANTOM : A SCALABLE FRAMEWORK FOR ASYNCHRONOUS DISTRIBUTED SYSTEMS A P REPRINT Sang-Min Choi, Jiho Park, Quan Nguyen, and Andre Cronje FANTOM Lab

Source URL: fantom.foundation

• Static single assignment form
• Proof-of-stake
• Node
• Computing
• Computer programming
• Data management

Hypothetical Outcome Plots Help Untrained Observers Judge Trends in Ambiguous Data Alex Kale, Francis Nguyen, Matthew Kay, and Jessica Hullman Fig. 1. We present two experiments (E1 and E2) evaluating four different unce

Source URL: idl.cs.washington.edu

Context-Aware Text Representation for Social Relation Aided Sentiment Analysis Minh Luan Nguyen Institute for Infocomm Research Singapore

Source URL: gdac.uqam.ca

• Natural language processing
• Artificial intelligence
• Social media
• Artificial neural networks
• Computing
• Computational linguistics
• Software
• Machine learning
• Sentiment analysis
• Word embedding
• Deep learning
• Twitter

ELOVE SOCIAL BLOCKCHAIN NETWORK WHITE PAPER Ver 1.0 Max Nguyen al

Source URL: icorating.com

• Cryptocurrencies
• Blockchains
• Ethereum
• Computing
• Alternative currencies
• Concurrent computing
• Economy
• Decentralization
• Smart contract
• Kin
• Bitcoin
• ternity

HONG KONG INSTITUTE FOR MONETARY RESEARCH COMPUTER-BASED TRADING, INSTITUTIONAL INVESTORS AND TREASURY BOND RETURNS Xiaoquan Liu, Ingrid Lo, Minh Nguyen and Giorgio Valente

Source URL: www.hkimr.org

• Economy
• Finance
• Money
• Financial markets
• Mathematical finance
• Bond
• Beta
• Algorithmic trading
• Hedge fund
• Stock market
• Market liquidity

Funding Constraints and Market Illiquidity in the European Treasury Bond Market Sophie Moinas Toulouse School of Economics Minh Nguyen

Source URL: www.hkimr.org

• Economy
• Financial markets
• Finance
• Money
• Market liquidity
• Bond
• Liquidity crisis

Slick Packets Giang T. K. Nguyen Rachit Agarwal Junda Liu

Source URL: pbg.cs.illinois.edu

• Computing
• Network architecture
• Internet architecture
• Information and communications technology
• Routing
• Computer networking
• Internet Standards
• Router
• Forwarding plane
• Open Shortest Path First
• Multiprotocol Label Switching
• Source routing