I work on AI language models at Amazon Web Services. I'm based in Fort Worth, Texas. Papers Sockeye 3: Fast Neural Machine Translation with PyTorch Felix Hieber; Michael Denkowski; Tobias Domhan; Barbara Darques Barros; Celina Dong Ye; Xing Niu; Cuong Hoang; Ke Tran; Benjamin Hsu; Maria Nadejde; Surafel Lakew; Prashant Mathur; Anna Currey; Marcello Federico arXiv preprint arXiv:2207.05851 [bib] Th
Graphical Models ML 701 Anna Goldenberg Outline ! Dynamic Models ! Gaussian Linear Models ! Kalman Filter ! DBN ! Undirected Models ! Unification ! Summary HMMs qt hidden states Ot observations q0 Oo q1 O1 qT OT . . . P(Q, O) = p(q0) T −1 ! t=1 p(qt+1|qt) T ! t=1 p(Ot|qt) ! is a Bayes Net ! satisfies Markov property (independence of states given present) ! with discrete states (time steps are disc
Philip J. Koopman, Jr. The ENTIRE BOOK is available to read on-line or to download for off-line reading! Published in 1989, this was the first book to explore the new breed of stack computers led by the introduction of the Novix NC4016 chip. The author commences with an overview of how stacks are used in computing, and a taxonomy of hardware stack support which includes a survey of approximately 7
x86-64 Machine-Level Programming∗ Randal E. Bryant David R. O’Hallaron September 9, 2005 Intel’s IA32 instruction set architecture (ISA), colloquially known as “x86”, is the dominant instruction format for the world’s computers. IA32 is the platform of choice for most Windows and Linux machines. The ISA we use today was defined in 1985 with the introduction of the i386 microprocessor, extending th
Technical Report CMU/SEI-94-TR-12 ESC-TR-94-12 A Comparison of ISO 9001 and the Capability Maturity Model for Software Mark C. Paulk July 1994 Technical Report CMU/SEI-94-TR-12 ESC-TR-94-12 July 1994 Software Engineering Institute Carnegie Mellon University Pittsburgh, Pennsylvania 15213 A Comparison of ISO 9001 and the Capability Maturity Model for Software _______________________________________
Software Acquisition Process Maturity Questionnaire August 1997 • Special Report Jack R. Ferguson, Jack Cooper, Michael Falat, Matt Fisher, Anthony Guido, John Marciniak, Jordan Matejceck This 1997 report contains a software acquisition process maturity questionnaire, intended for those interested in learning about and performing software acquisition process appraisals.
Do’s and Don’ts - v1.0 1 Do’s and Don’ts of Process Improvement Pat O’Toole, PACT March, 2004 Do’s and Don’ts - v1.0 2 Acknowledgments Terms like these are often used in the following material: CMM® Framework IDEALSM Model Capability Maturity Model SM and IDEALSM are service marks of Carnegie Mellon University ®CMM is registered in the U.S. Patent & Trademark Office Do’s and Don’ts - v1.0 3 “Prima
Technical Report CMU/SEI-95-TR-017 ESC-TR-95-017 Raytheon Electronic Systems Experience in Software Process Improvement Tom Haley Blake Ireland Ed Wojtaszek Dan Nash Ray Dion November 1995 Software Engineering Institute Carnegie Mellon University Pittsburgh, Pennsylvania 15213 Unlimited distribution subject to the copyright. Technical Report CMU/SEI-95-TR-017 ESC-TR-95-017 November 1995 Raytheon E
“chap08” 2009/4/9 page 159 i i i i i i i i 8 CATEGORIES OF DIAGRAMS In this chapter we will prove a very useful technical result called the Yoneda Lemma, and then employ it in the study of the important categories of set- valued functors or “diagrams.” The Yoneda Lemma is perhaps the single most used result in category theory. It can be seen as a straightforward generalization of some simple facts
Course Information Place: Theresienstr. 39 B004 Time: Mo 4 - 6 Instructor: Steve Awodey Office: Theresienstr. 39, B421 (Math); Ludwigstr. 31, 123 (MCMP) Office Hour: Monday 2-3 (Math); Thursday 4-5 (MCMP), or by appointment. Phone: x4418 Email: awodey@cmu.edu Webpage: www.andrew.cmu.edu/course/80-413-713 Overview Category theory, a branch of abstract algebra, has found many applications in mathema
People of Programming Languages An interview project in conjunction with POPL 2018 Interview with Simon Peyton-Jones Simon Peyton-Jones (Microsoft Research Cambridge) researches the implementations and applications of functional programming languages. He was heavily involved in the design of the Haskell programming language and the development of the Glasgow Haskell Compiler (GHC). We talk about s
People of Programming Languages An interview project in conjunction with POPL 2018 Interview with Ezgi Çiçek Ezgi Çiçek is a final year PhD student at Max Planck Institute for Software Systems (MPI-SWS) and Saarland University under the supervision of Deepak Garg. For her thesis work, she developed type-theoretic techniques for relational cost analysis. We talk about her path to getting integrated
Proc. IEEE Int’l. Conf. on Robotics and Automation, Orlando, FL, May 15-19, 2006 A Dynamically Stable Single-Wheeled Mobile Robot with Inverse Mouse-Ball Drive T. B. Lauwers, G. A. Kantor, and R. L. Hollis The Robotics Institute Carnegie Mellon University Pittsburgh, Pennsylvania, USA tlauwers@andrew.cmu.edu, kantor@ri.cmu.edu, rhollis@cs.cmu.edu Fig. 1. Ballbot (this paper) and representative sta
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く