Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–666) ON EXPLICIT ASPECT OF PLURICANONICAL MAPS OF PROJECTIVE VARIETIES Jungkai A. Chen (陳榮凱) and Meng Chen (陈猛)

Source URL: eta.impa.br

• Algebraic geometry
• Geometry
• Abstract algebra
• Birational geometry
• Kodaira dimension
• Minimal model program
• Fano variety
• Projective variety
• Canonical bundle
• Flip
• Surface of general type
• Canonical singularity

An Object-Oriented Framework for Explicit-State Model Checking Mark Kattenbelt1 and Theo C. Ruys2 and Arend Rensink2 Abstract. This paper presents a conceptual architecture for an object-oriented framework to support the

Source URL: qav.comlab.ox.ac.uk

• Theoretical computer science
• Formal methods
• Computing
• Mathematics
• Logic in computer science
• Graph rewriting
• Model checking
• Algorithm
• Formal verification
• Abstraction
• Generic programming
• Finite-state machine

Three Bits Suffice: Explicit Support for Passive Measurement of Internet Latency in QUIC and TCP Piet De Vaere, Tobias Bühler, Mirja Kühlewind, and Brian Trammell ETH Zurich, Switzerland ABSTRACT

Source URL: nsg.ee.ethz.ch

• Data transmission
• Computing
• Computer networking
• Network performance
• Internet protocols
• Information and communications technology
• QUIC
• Round-trip delay time
• Transmission Control Protocol
• Packet loss
• Transport layer
• Latency

Three Bits Suffice: Explicit Support for Passive Measurement of Internet Latency in QUIC and TCP Piet De Vaere, Tobias Bühler, Mirja Kühlewind, and Brian Trammell ETH Zurich, Switzerland ABSTRACT

Source URL: nsg.romeier.ch

• Data transmission
• Computing
• Computer networking
• Network performance
• Internet protocols
• Information and communications technology
• QUIC
• Round-trip delay time
• Transmission Control Protocol
• Packet loss
• Transport layer
• Latency

PDF Document

Source URL: explicit.caltech.edu

CLASS FIELD THEORY P. Stevenhagen Explicit Algebraic Number Theory Oberwolfach Seminar November 2002

Source URL: websites.math.leidenuniv.nl

On Global Induction Mechanisms in a -Calculus with Explicit Approximations Christoph Sprenger Swedish Institute of Computer Science, Kista, Sweden

Source URL: people.inf.ethz.ch

Implicit Learning for Explicit Discount Targeting in Online Social Networks Srinivas Shakkottai, Lei Ying and Sankalp Sah Abstract— Online Social networks are increasingly being seen as a means of obtaining awareness o

Source URL: www.ece.tamu.edu

Allen Hatcher Copyright c 2002 by Cambridge University Press Single paper or electronic copies for noncommercial use may be made freely without explicit permission from the author or publisher. All other rights reserved

Source URL: www.math.ru.nl

Copyright 2000, Duke University Press. All rights reserved. This material may be saved or photocopied for personal use but may not be otherwise reproduced, stored or transmitted by any medium without explicit permission.

Source URL: economia.unipv.it