Caml-Shcaml: An OCaml Library for Unix Shell Programming
Caml-Shcaml: An OCaml Library for Unix Shell Programming Alec Heller and Jesse A. Tov In Proc. ACM SIGPLAN Workshop on ML (ML’08), September 2008. Objective Caml is a flexible, expressive programming language, but for manipulating Unix processes, nothing beats the terseness and clarity of Bourne Shell: ls *.docx | wc -l To achieve the same effect in C requires several more lines of code and, very
Feinberg School of Medicine
Discover Feinberg We are dedicated to improving the future of human health. Watch video About Us Overview Dean's Administration Dean's Administration Office of the Dean Dean's Message Communications Faculty Affairs Office Finance & Administration Information Technology Regulatory Affairs Special Events Facts & Figures Notable Faculty & Alumni Notable Faculty & Alumni Our History Notable Faculty &
http://www.math.northwestern.edu/~theojf/OplaxSquare.pdf
THE (OP)LAX SQUARE OF AN (∞, n)-CATEGORY THEO JOHNSON-FREYD AND CLAUDIA SCHEIMBAUER Abstract. Motivated by the challenge of defining “relative” or “twisted” quantum field theories in the context of higher categories, we develop a general framework for (possibly symmetric monoidal) “lax” and “oplax” natural transformations and their higher analogs, “lax” and “oplax” transfors, between (symmetric mon
RoundCube Mail
Position Kenneth F. Burgess Professor of Mathematics Northwestern University, U.S.A. Information: Office: Lunt 220 email: anaber(at)math.northwestern.edu Areas of current research: My current research interests focus on the study of geometrically motivated equations and their applications. This includes work in the areas of Ricci curvature, nonlinear harmonic maps, yang-mills, minimal varifolds,
Alphabetical List of Poems (Russian)
We currently have 250 original translations in our collection. 1991... (Кутик) Ex Oriente Lux (Соловьев) Probleme (Тютчев) Silentium! (Тютчев) А вы могли бы? (Маяковский) Август (Пастернак) Акробат (Ходасевич) Ангел (Лермонтов) Арион (Пушкин) Ax, покидаю я Александрию... (Кузмин) Бабочка газа (Анненский) Смычок и струны (Анненский) Баллада (Ходасевич) Батюшков (Мандельштам) Берлинское (Ходасевич)
Enriching Yoneda Theo Johnson-Freyd∗ Student QFT Conference 11 December 2007 I normally like to avoid all foundational nonsense when I think about abstract nonsense. Everyone knows that the set theorists say that Cat is not an object in Cat, and we alm
Enriching Yoneda Theo Johnson-Freyd∗ Student QFT Conference 11 December 2007 I normally like to avoid all foundational nonsense when I think about abstract nonsense. Everyone knows that the set theorists say that Cat is not an object in Cat, and we almost never care. But stating Yoneda’s lemma requires carefully constructing the functor category Fun(A, B), which even for normal categories (enrich
Research Guides: *Japanese Studies: Recommended Websites
Each Japanese database offers different search options and functions. So read help files carefully to form your searching queries. Depends on your research topics and search terms, you may want to change your search options and use different search commands. 分かち書き Word Division or Word Segmantation NDL OPAC 利用の手引き NDL OPAC User Guide http://opac.ndl.go.jp/Process?MODE_10260001&LS=3906564437 Read ３
Creative Genius Driven by Distraction
Research links creativity with inability to filter irrelevant sensory information EVANSTON, Ill. --- The literary great Marcel Proust wore ear-stoppers because he was unable to filter out irrelevant noise -- and lined his bedroom with cork to attenuate sound. Now new Northwestern University research suggests why the inability to shut out competing sensory information while focusing on the creative
How traumatic memories hide in the brain, and how to retrieve them
How traumatic memories hide in the brain, and how to retrieve them Special brain mechanism discovered to store stress-related, unconscious memories Some stressful experiences — such as chronic childhood abuse — are so overwhelming and traumatic, the memories hide like a shadow in the brain. At first, hidden memories that can’t be consciously accessed may protect the individual from the emotional p
Extreme Solar Systems III
Extreme Solar Systems III November 29 – December 4, 2015 Waikoloa Beach Marriott Resort & Spa, Hawaii This conference, the third in a series that began in 2007 (Santorini meeting on Extreme Solar Systems, followed by Extreme Solar Systems II in Jackson Hole, Wyoming, in 2011) will cover all aspects of research on exoplanets. It will take place at the Waikoloa Beach Marriott Resort & Spa on the Big
The Kanatzidis Research Group
We are interested in the design, synthesis, synthetic methodology, in- depth characterization, manipulation and potential applications of new substances with novel chemical, physical, or electrical properties. These substances range from discrete molecular compounds, to solid state inorganic materials, to organic polymeric materials. We seek to obtain deeper understanding of synthesis/structure re
Implementing SSL on Amazon S3 Static Websites
Since this post was written, Amazon has launched AWS Certificate Manager, which provides certificates at no cost and substantially simplifies managing them for use in the AWS context. We recommend that readers investigate the AWS Certificate Manager product before following the guidance in this post. Every day, more and more websites are serving their pages using HTTPS. This can lead to warnings o
NetLogo User Community Models:
Download If clicking does not initiate a download, try right clicking or control clicking and choosing "Save" or "Download".(The run link is disabled for this model because it was made in a version prior to NetLogo 6.0, which NetLogo Web requires.) ## WHAT IS IT? This project is a social influence model. It models the spread of obesity in a social network, specifically amongst family and close fri
NetLogo User Community Models:
Download If clicking does not initiate a download, try right clicking or control clicking and choosing "Save" or "Download".(The run link is disabled for this model because it was made in a version prior to NetLogo 6.0, which NetLogo Web requires.) ## WHAT IS IT? This is a model based on evolutionary game theory. This theory was first applied to evolutionary processes by John Maynard Smith. Game t
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Fractal Image Compression
Northwestern Law: Northwestern Pritzker School of Law
https://www.kellogg.northwestern.edu/faculty/gordon_b/files/kellogg_fb_whitepaper.pdf
OligoCalc: Oligonucleotide Properties Calculator
https://www.sesp.northwestern.edu/docs/publications/158316171651f81e5484492.pdf
allocsrv.dvi