Antithrombotic Therapy for Atrial Fibrillation with Stable Coronary Disease von Yasuda, Satoshi, Kaikita, Koichi, Akao, Masaharu, Ako, Junya, Matoba, Tetsuya, Nakamura, Masato, Miyauchi, Katsumi, Hagiwara, Nobuhisa, Kimura, Kazuo, Hirayama, Atsushi, Matsui, Kunihiko, Ogawa, Hisao

Volltext

PrologCheck – Property-Based Testing in Prolog von Amaral, Cláudio, Florido, Mário, Santos Costa, Vítor

Volltext

On Cross-Stage Persistence in Multi-Stage Programming von Hanada, Yuichiro, Igarashi, Atsushi

Volltext

Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing: System Description von Barkati, Karim, Wang, Haisheng, Jouvelot, Pierre

Volltext

Generating Constrained Random Data with Uniform Distribution von Claessen, Koen, Duregård, Jonas, Pałka, Michał H.

Volltext

Neoadjuvant chemoradiotherapy with/without lateral lymph node dissection for low rectal cancer: Which patients can benefit? von Nishizaki, D., Hida, K., Sumii, A., Sakai, Y., Konishi, T., Akagi, T., Yamaguchi, T., Akiyoshi, T., Fukuda, M., Yamamoto, S., Maruyama, S., Okajima, M., Miyakura, Y., Okamura, R., Arizono, S., Yamamoto, M., Kawada, K., Morita, S., Watanabe, M.

Volltext

POSIX Regular Expression Parsing with Derivatives von Sulzmann, Martin, Lu, Kenny Zhuo Ming

Volltext

Type-Based Amortized Resource Analysis with Integers and Arrays von Hoffmann, Jan, Shao, Zhong

Volltext

Functional and Logic Programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings von Codish, Michael, Sumii, Eijiro

Volltext

Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging von Riesco, Adrián

Volltext

Generic Programming with Multiple Parameters von Magalhães, José Pedro

Volltext

Proving Correctness of Compilers Using Structured Graphs von Bahr, Patrick

Volltext

Constraint Logic Programming for Hedges: A Semantic Reconstruction von Dundua, Besik, Florido, Mário, Kutsia, Temur, Marin, Mircea

Volltext

How Many Numbers Can a Lambda-Term Contain? von Parys, Paweł

Volltext

A New Formalization of Subtyping to Match Subclasses to Subtypes von Na, Hyunik, Ryu, Sukyoung

Volltext

Beneficial Effects of Valsartan on Target Lesion Revascularization After Percutaneous Coronary Interventions With Bare-Metal Stents von Okada, Takenori, Yamamoto, Hideya, Okimoto, Tomokazu, Otsuka, Masaya, Ishibashi, Ken, Dohi, Yoshihiro, Fujii, Takashi, Tadehara, Futoshi, Kurisu, Satoshi, Hayashi, Yasuhiko, Kihara, Yasuki, Coronary Atherosclerosis Reduction Project (CARP) Investigators

Volltext

Unifiers As Equivalences: Proof-relevant Unification of Dependently Typed Data von Cockx, Jesper, Devriese, Dominique, Piessens, Frank

Volltext

String diagrams for free monads (functional pearl) von Piróg, Maciej, Wu, Nicolas

Volltext

Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing

Volltext

Current State of Microflow Trifluoromethylation Reactions von Sumii, Yuji, Shibata, Norio

Volltext