摘要:
Who am I? BNDSer \(\to\) THUer Former CNOI contestant; currently a undergraduate student at the Institute for Interdisciplinary Information Sciences ( 阅读全文
摘要:
NLP before LLM Context-free Grammar A context-free grammar (CFG) contains a set of production rules, which are rules saying how each nonterminal can b 阅读全文
摘要:
System Evaluation Metrics Cost Metrics The cost of a chip includes: Design cost: non-recurring engineering (NRE), can be amortized well if there is hi 阅读全文
摘要:
Intro History 1950, Turing test. 1951-1955, Perceptron. 1951, Marvin Minsky designed SNARC, the first artificial neural network; 1951, Christopher Str 阅读全文
摘要:
Linear Programming What is LP? An optimization problem can be written as \[\begin{array}{rll} \text{minimize}& f(\boldsymbol{\boldsymbol{x}}) \\ \text 阅读全文
摘要:
Selfish Routing Non-atomic Routing Model Routing Game and Flows You are given a directed network \(G=(V,E)\) and \(k\) source-destination vertex pairs 阅读全文
摘要:
Model of Computation Mathematical Logic Def. Formal logical system consist of An alphabet of symbols A set of finite strings of these symbols, called 阅读全文
摘要:
Hardware Architectures of Von Neumann Processors and Assembly Code Processors state: Program counter (PC): address of the next instruction memory regi 阅读全文
摘要:
Classical Cryptography Private-key Encryption and Perfect Secrecy First, we formally give some notations to demonstrate an encryption protocol. Def (P 阅读全文