Filters








2,676 Hits in 5.5 sec

Seminal

Benjamin Lerner, Dan Grossman, Craig Chambers
2006 Proceedings of the 2006 workshop on ML - ML '06  
This novel front-end architecture naturally decomposes into (1) enumerating local changes to the abstract syntax tree that may remove type errors, (2) searching for places to try the changes, (3) using  ...  We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml).  ...  Acknowledgments Alden King helped identify common Caml typing errors and developed a pretty-printer for our error messages. Marius Nita provided helpful feedback to improve this paper.  ... 
doi:10.1145/1159876.1159887 dblp:conf/ml/LernerGC06 fatcat:xkazvfn6sne2faxrgp5rig5g4y

SSLP-1, a secreted Ly-6 protein purified from mouse seminal vesicle fluid

Sheng-Hsiang Li, Robert Kuo-Kuang Lee, Ming-Huei Lin, Yuh-Ming Hwu, Chung-Hao Lu, Ying-Jie Chen, Hsuan-Chiang Chen, Wen-Hwei Chang, Wei-Chao Chang
2006 Reproduction  
By Basic Local Alignment Search Tool Protein analysis, we found that SSLP-1 had ten conserved cysteine residues identical with other secreted Ly-6 proteins.  ...  In the present study, we report a secreted Ly-6 protein, secreted seminal vesicle Ly-6 protein 1 (SSLP-1) purified from mouse seminal vesicles using a series of steps including ion-exchange chromatography  ...  However, the BLASTN search of the EST database found its expression in the seminal vesicle, prostate, and bladder.  ... 
doi:10.1530/rep.1.01183 pmid:16940290 fatcat:ovphhap5orgevgoxha563gmbca

SPINKL, a Kazal-type serine protease inhibitor-like protein purified from mouse seminal vesicle fluid, is able to inhibit sperm capacitation

Ming-Huei Lin, Robert Kuo-Kuang Lee, Yuh-Ming Hwu, Chung-Hao Lu, Shian-Ling Chu, Ying-Jie Chen, Wei-Chao Chang, Sheng-Hsiang Li
2008 Reproduction  
We report a secreted serine protease inhibitor Kazal-type-like (SPINKL) protein.  ...  Spinkl mRNA and SPINKL proteins were found to be primarily expressed in seminal vesicles.  ...  Data represent the mean of three repeated experiments and error bars represent the S.D. Figure 5 5 Distribution of Spinkl messages and SPINKL proteins among reproductive tissues.  ... 
doi:10.1530/rep-07-0375 pmid:18715980 fatcat:xcyr2wkfpvfg7pheh54vc4xqpa

Searching for type-error messages

Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers
2007 SIGPLAN notices  
Instead, it is an oracle for a search procedure that finds similar programs that do type-check. Our two-fold goal is to improve error messages while simplifying compiler construction.  ...  Advanced type systems often need some form of type inference to reduce the burden of explicit typing, but type inference often leads to poor error messages for ill-typed programs.  ...  In a recent workshop paper [16] we described an initial prototype of our approach for Caml, which we called SEMINAL (for Searching for Error Messages IN Advanced Languages).  ... 
doi:10.1145/1273442.1250783 fatcat:ft6oia7y3zbjtiuva6grhnirdq

Searching for type-error messages

Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers
2007 Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07  
Instead, it is an oracle for a search procedure that finds similar programs that do type-check. Our two-fold goal is to improve error messages while simplifying compiler construction.  ...  Advanced type systems often need some form of type inference to reduce the burden of explicit typing, but type inference often leads to poor error messages for ill-typed programs.  ...  In a recent workshop paper [16] we described an initial prototype of our approach for Caml, which we called SEMINAL (for Searching for Error Messages IN Advanced Languages).  ... 
doi:10.1145/1250734.1250783 dblp:conf/pldi/LernerFGC07 fatcat:uujvwnv3rvcs5o3wmaf7fa7ypm

Toward general diagnosis of static errors

Danfeng Zhang, Andrew C. Myers
2014 Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14  
In the case of ML type inference, variables stand for types, constraints are equalities between different type expressions, and type inference succeeds when the corresponding system of constraints is satisfiable  ...  The new error diagnosis approach has been implemented for two very different program analyses: type inference in OCaml and information flow checking in Jif.  ...  We also thank Ben Lerner and Dan Grossman for making available the excellent data set they used for their work on Seminal, Dexter Kozen for pointing out the similarity between our constraints and set constraints  ... 
doi:10.1145/2535838.2535870 dblp:conf/popl/ZhangM14 fatcat:b2jflw6hbjdetpe76aysia2utu

Counter-factual typing for debugging type errors

Sheng Chen, Martin Erwig
2014 Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14  
However, the generation of good type error messages remains a problem for highly expressive type systems.  ...  reusing type information for shared parts.  ...  Seminal 7 is a tool for type checking ML programs that also produces change suggestions [18, 19] .  ... 
doi:10.1145/2535838.2535863 dblp:conf/popl/0008E14 fatcat:7pk25pqdsrgv3imonw6rn7f5ky

Type debugging with counter-factual type error messages using an existing type checker

Kanae Tsushima, Olaf Chitil, Joanna Sharrad
2019 Proceedings of the 31st Symposium on Implementation and Application of Functional Languages  
Users are advised to check http://kar.kent.ac.uk for the status of the paper. Users should always cite the published version of record.  ...  Haack and Wells [6] define and implement type error slicing for ML using their own type checking algorithm which solves annotated type constraints. Later Rahli et al.  ...  Interactive type debugging systems have been proposed to enable the programmer to include their intentions in the search for the error location.  ... 
doi:10.1145/3412932.3412939 fatcat:f77hwxykpvhftbdbzhswcfnmau

Obesity, Prostate-Specific Antigen Nadir, and Biochemical Recurrence After Radical Prostatectomy: Biology or Technique? Results from the SEARCH Database

Tammy Ho, Leah Gerber, William J. Aronson, Martha K. Terris, Joseph C. Presti, Christopher J. Kane, Christopher L. Amling, Stephen J. Freedland
2012 European Urology  
Adjusting for PSA nadir slightly attenuated, but did not eliminate, this association (HR: 1.04, p = 0.043).  ...  This provides further support for the idea that obesity is biologically associated with prostate cancer progression.  ...  Finally, these results, like all results, are subject to type 1 error and residual confounding, and thus they require validation in other data sets.  ... 
doi:10.1016/j.eururo.2012.08.015 pmid:22921964 pmcid:PMC3500618 fatcat:224fqlkq5naptedo5satr3xv2e

A practical framework for type inference error explanation

Calvin Loncaric, Satish Chandra, Cole Schlesinger, Manu Sridharan
2016 Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016  
Many languages have support for automatic type inference. But when inference fails, the reported error messages can be unhelpful, highlighting a code location far from the source of the problem.  ...  solving phase and treat it as an oracle for solving typing constraints.  ...  Seminal uses the type checker as a black box and intelligently searches for mutations to the program source that allow it to typecheck.  ... 
doi:10.1145/2983990.2983994 dblp:conf/oopsla/Loncaric0SS16 fatcat:mlzl4mai7bfefgdr24medo3h5y

A practical framework for type inference error explanation

Calvin Loncaric, Satish Chandra, Cole Schlesinger, Manu Sridharan
2016 SIGPLAN notices  
Many languages have support for automatic type inference. But when inference fails, the reported error messages can be unhelpful, highlighting a code location far from the source of the problem.  ...  solving phase and treat it as an oracle for solving typing constraints.  ...  Seminal uses the type checker as a black box and intelligently searches for mutations to the program source that allow it to typecheck.  ... 
doi:10.1145/3022671.2983994 fatcat:5miejj67mzdhfden6omtxrthjq

Human Language Technology

Mark Liberman, Charles Wayne
2020 The AI Magazine  
This article describes the progression of technical advances underlying key successes and the seminal programs that produced them.  ...  During a 40-year period, 10 seminal DARPA programs produced breakthrough capabilities that were further improved and widely deployed in popular consumer products, as well as in many commercial, industrial  ...  ML.  ... 
doi:10.1609/aimag.v41i2.5297 fatcat:fa3aaxaeb5dplapdkatosb7waa

Synchronous and asynchronous handling of abnormal events in the μsystem

Peter A. Buhr, Hamish I. Macdonald, C. Robert Zarnke
1992 Software, Practice & Experience  
Exception handlers and intervention routines for dealing with abnormal events can be defined/installed at any point in a program.  ...  This paper presents a general model for dealing with abnormal events during program execution and describes how this model is implemented in the µSystem.  ...  The data allow the exception handler to analyze why the exception was raised or to print an appropriate error message.  ... 
doi:10.1002/spe.4380220904 fatcat:vmycrdkgdzab7mapsxawtvhgyq

On the reliability exponent of the exponential timing channel

E. Arikan
2002 IEEE Transactions on Information Theory  
This shows that the exponential server timing channel is at least as reliable as this type of a photoncounting channel for all rates.  ...  An interesting aspect of our results is that the lower bound ( ) for the reliability exponent of the timing channel coincides with Wyner's reliability exponent for the photon-counting channel with no dark  ...  For any , there exists an code with such that the probability of ML decoding error on a channel with service rate satisfies (25) for each message , .  ... 
doi:10.1109/tit.2002.1003846 fatcat:5tktgizupjeubnljg33uycxxmi

Minimum Message Length Clustering Using Gibbs Sampling [article]

Ian Davidson
2013 arXiv   pre-print
In this work we overcome these limitations by using the Minimum Message Length (MML) principle and a variation to the K-Means/EM observation assignment and parameter calculation scheme.  ...  We maintain the simplicity of these approaches while constructing a Bayesian mixture modeling tool that samples/searches the model space using a Markov Chain Monte Carlo (MCMC) sampler known as a Gibbs  ...  Minimizing this equation involves searching for the model that gives the shortest message.  ... 
arXiv:1301.3851v1 fatcat:lidd2mgq2vgwjoi3bysq534bq4
« Previous Showing results 1 — 15 out of 2,676 results