Keiko - PDFSEARCH.IO - Document Search Engine

Keiko
Results: 249

#	Item
21	Keiko Ishikawa, M.M., M.A., CCC-SLP CURRENT POSITION Ph.D. Candidate Student Associate Add to Reading List Source URL: speechmrk.com Language: English - Date: 2016-03-17 02:07:18
22	Measurement of child speech complexity using acoustic landmark detection Marisha Speights1, Suzanne Boyce1, Joel MacAuslan2,Harriet Fell3 JoHannah Ungruhe 1, Keiko Ishikawa 1 1. Communication Sciences and Disorders, Univ Add to Reading List Source URL: speechmrk.com Language: English - Date: 2015-10-28 23:06:04
23	Denotational semantics for lazy initialization of letrec black holes as exceptions rather than divergence Keiko Nakata Institute of Cybernetics at Tallinn University of Technology Abstract We present a denotational seman Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2010-07-30 13:11:03 Theoretical computer science Models of computation Mathematical logic Software engineering Computability theory Denotational semantics Logic in computer science Lambda calculus Substitution Function type
24	Walking through infinite trees with mixed induction and coinduction Keiko Nakata Institute of Cybernetics, Tallinn (Joint work with Tarmo Uustalu and many thanks to T. Altenkirch and H. Herbelin ) Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2010-10-18 14:54:57
25	Path resolution for recursive nested modules is undecidable Keiko Nakata1 ,3 and Jacques Garrigue2 1 2 Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2009-05-12 08:44:16 Software engineering Theoretical computer science Theory of computation Turing machine Computability theory Formal methods Models of computation Standard ML
26	Trace-Based Coinductive Operational Semantics for While Big-Step and Small-Step, Relational and Functional Styles Keiko Nakata and Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2009-09-03 04:00:55
27	Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction Keiko Nakata and Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2010-08-19 14:05:01
28	AUTHOR Alden, Nancy Amano, Keiko Anderson, Lori Assemi, Cheryl Babcock, Joan R. Add to Reading List Source URL: www.loosebeadsociety.org Language: English - Date: 2016-02-04 15:24:22
29	PDF Document Add to Reading List Source URL: www.keiko.josho.ac.jp - Date: 2015-11-02 05:11:47
30	PDF Document Add to Reading List Source URL: www.keiko.josho.ac.jp - Date: 2015-11-02 05:11:39

UPDATE