Filters








923,125 Hits in 3.8 sec

Strictness and Totality Analysis

Kirsten Lackner Solberg, Hanne Riis Nielson
1994 DAIMI Report Series  
We define a novel inference system for strictness and totality analysis for the simply-typed lazy lambda-calculus with constants and fixpoints.  ...  Strictness information identifies those terms that definitely denote bottom (i.e. do not evaluate to WHNF) whereas totality information identifies those terms that definitely do not denote bottom (i.e.  ...  Acknowledgements Thanks to Olivier Danvy and Alan Mycroft for valuable discussions and to LOMAPS (Esprit Basic Research) and DART (Danish Science Research Council) for partial funding.  ... 
doi:10.7146/dpb.v23i474.6947 fatcat:htq5qhftsjdpbibohpsjg4fm4u

Strictness and totality analysis [chapter]

Kirsten Lackner Solberg, Hanne Riis Nielson, Flemming Nielson
1994 Lecture Notes in Computer Science  
We define a novel inference system for strictness and totality analysis for the simplytyped lazy lambda-calculus with constants and fixpoints.  ...  Strictness information identifies those terms that definitely denote bottom (i.e. do not evaluate to WHNF) whereas totality information identifies those terms that definitely do not denote bottom (i.e.  ...  Acknowledgements Thanks to Olivier Danvy and Alan Mycroft for valuable discussions and to LOMAPS (Esprit Basic Research) and DART (Danish Science Research Council) for partial funding.  ... 
doi:10.1007/3-540-58485-4_55 fatcat:ynii5fqo4vbh7gkcd4hc44az4u

Strictness and totality analysis

Kirsten Lackner Solberg Gasser, Hanne Riis Nielson, Flemming Nielson
1998 Science of Computer Programming  
We define a novel inference system for strictness and totality analysis for the simplytyped lazy lambda-calculus with constants and fixpoints.  ...  Strictness information identifies those terms that definitely denote bottom (i.e. do not evaluate to WHNF) whereas totality information identifies those terms that definitely do not denote bottom (i.e.  ...  Acknowledgements Thanks to Olivier Danvy and Alan Mycroft for valuable discussions and to LOMAPS (Esprit Basic Research) and DART (Danish Science Research Council) for partial funding.  ... 
doi:10.1016/s0167-6423(96)00043-3 fatcat:uiltwjgc6na5po255rok5frpte

Strictness and totality analysis with conjunction [chapter]

Kirsten Lackner Solberg
1995 Lecture Notes in Computer Science  
We prove the strictness and totality analysis correct with respect to a denotational semantics and finally construct an algorithm for inferring the strictness and totality properties.  ...  We extend the strictness and totality analysis of [12] by allowing conjunction at all levels rather than at the top-level.  ...  The paper [12] presents an inference system for performing strictness and totality analysis.  ... 
doi:10.1007/3-540-59293-8_216 fatcat:hrygqbrgxzfz3gn45hqlrxbjay

Convergence of a New Modified Ishikawa Type Iteration for Common Fixed Points of Total Asymptotically Strict Pseudocontractive Semigroups

Yuanheng Wang, Chunjie Wang
2013 Abstract and Applied Analysis  
The purpose of this paper is to give a new modified Ishikawa type iteration algorithm for common fixed points of total asymptotically strict pseudocontractive semigroups.  ...  The main results presented in this paper extend and improve the corresponding recent results of many others.  ...  Acknowledgments The authors would like to thank editors and referees for many useful comments and suggestions for the improvement of the paper.  ... 
doi:10.1155/2013/319241 fatcat:2yp5iru5nfgwtgyrkd3cfyhjki

On strictness and totality [chapter]

Mario Coppo, Ferruccio Damiani, Paola Giannini
1997 Lecture Notes in Computer Science  
In this paper we present a revised and extended version of the strictness and totality type assignment system introduced by Solberg, Nielson and Nielson in the Static Analysis Symposium '9~.  ...  by two separate systems: one for strictness, and one for totality.  ...  In [18] (see also [15] Chap. 2 and [17]) it is introduced a non-standard type assignment system for performing combined strictness and totality analysis.  ... 
doi:10.1007/bfb0014550 fatcat:opmnuzbdrbdwvfw2wyjy3dry3a

War and Peace in Phylogenetics: A Rejoinder on Total Evidence and Consensus

Claudine Levasseur, François-Joseph Lapointe, Michael Sanderson
2001 Systematic Biology  
[Average consensus; combined analysis; global congruence; separate analysis; total evidence.]  ...  Our analyses show that when the total evidence and consensus trees differ topologically, collapsing weakly supported nodes with low bootstrap support usually improves "global congruence."  ...  ACKNOWLEDGMENTS We thank Guy Cucumel and Pierre Legendre for their comments on an early draft of this project and John A. W. Kirsch for contributing to the main ideas presenting in this paper.  ... 
doi:10.1080/106351501753462858 pmid:12116638 fatcat:gmoebfxibfcffilqh3xe5hlcoi

Conformational Analysis of Cinhonine and Cinhonidine by Tensor Decomposition of Molecular Dynamics Trajectories

Karlo Sović, Tea Ostojić, Sara Cepić, Alma Ramić, Renata Odžak, Mirjana Skočibušić, Tomica Hrenar, Ines Primožič
2019 Croatica Chemica Acta  
determination of probability distributions in a reduced space of Cartesian coordinates and search for all the strict extrema points in probability distribution functions.  ...  Recently developed procedure comprising principal component analysis of molecular dynamics trajectories was applied on cinchonine and cinchonidine as well as on their protonated and methylated quaternary  ...  [33] To determine the final number of principal components and total number of steps necessary for conducting the full conformational analysis, we calculated the strict local maxima plateau during the  ... 
doi:10.5562/cca3557 fatcat:qzxr4k5ybfdn3hnfeidqsotcfq

VerschuereLabImplementationAppendix – Supplemental material for Registered Replication Report on Mazar, Amir, and Ariely (2008)

Bruno Verschuere, Ewout H. Meijer, Ariane Jim, Katherine Hoogesteyn, Robin Orthey, Randy J. McCarthy, John J. Skowronski, Oguz A. Acar, Balazs Aczel, Bence E. Bakos, Fernando Barbosa, Ernest Baskin (+56 others)
2018 Figshare  
Wiggins, Keith Wylie and Ezgi Yıldız in Advances in Methods and Practices in Psychological Science  ...  Supplemental material, VerschuereLabImplementationAppendix for Registered Replication Report on Mazar, Amir, and Ariely (2008) by Bruno Verschuere, Ewout H.  ...  analysis of all labs • Included in MAA ancillary analysis with strict inclusion criteria Ulrich S.  ... 
doi:10.25384/sage.7105619 fatcat:mtnj5getpvbqpicgybi5xwyreu

McCarthyLabImplementationAppendix – Supplemental material for Registered Replication Report on Srull and Wyer (1979)

Randy J. McCarthy, John J. Skowronski, Bruno Verschuere, Ewout H. Meijer, Ariane Jim, Katherine Hoogesteyn, Robin Orthey, Oguz A. Acar, Balazs Aczel, Bence E. Bakos, Fernando Barbosa, Ernest Baskin (+58 others)
2018 Figshare  
Wiggins, Keith Wylie and Ezgi Yıldız in Advances in Methods and Practices in Psychological Science  ...  Supplemental material, McCarthyLabImplementationAppendix for Registered Replication Report on Srull and Wyer (1979) by Randy J. McCarthy, John J. Skowronski, Bruno Verschuere, Ewout H.  ...  analysis of all labs • Included in MAA ancillary analysis with strict inclusion criteria Ulrich S.  ... 
doi:10.25384/sage.7105628.v1 fatcat:itntyq5o7rgwtlkkfllkodisoy

Annotated Type Systems for Program Analysis

Kirsten Lackner Solberg
1995 DAIMI Report Series  
The analysis is somewhat more powerful than the strictness analysis by Kuo and Mishra due to the conjunctions and in that we also consider totality.  ...  The analysis is more powerful than the strictness analyses by Jensen and Benton in that it in addition to strictness considers totality.  ...  We will mainly work combined strictness and totality analysis and with binding time analysis.  ... 
doi:10.7146/dpb.v24i498.7026 fatcat:ticn6cdum5cadgaeirankur7ky

60 * Greater mechanical dyssynchrony is demonstrated by cardiac magnetic resonance cine imaging amongst heart failure patients awaiting cardiac resynchronisation therapy with strict left bundle branch block

T. A. Jackson, M. Sohal, N. Child, Z. Chen, E. Sammut, J. Behar, S. Claridge, G. Carr-White, R. Razavi, C. A. Rinaldi
2014 Europace  
Results: These patients were aged 66.1 + 11.7 years, 83% were male, and 45% had an ischaemic etiology. On ECG analysis 83% had strict LBBB.  ...  Pre-implant ECGs were analyzed for strict LBBB (QRS 140ms for men, 130ms for women and mid QRS notching/slurring in 2 contiguous leads).  ...  Results: These patients were aged 66.1 + 11.7 years, 83% were male, and 45% had an ischaemic etiology. On ECG analysis 83% had strict LBBB.  ... 
doi:10.1093/europace/euu242.2 fatcat:ntayyrl75bathk6pttyyvlnepq

Effects of Lockdown and Post Lockdown on Covid19 cases across India using Supervised Learning Techniques

Narayana Darapaneni, Amol Kobal, Rohit Chaoji, Rajiv Tiwari, Suman Saurav, Anwesh Reddy Paduri
2020 2020 11th IEEE Annual Ubiquitous Computing, Electronics & Mobile Communication Conference (UEMCON)  
This document provides detailed analysis of effect of lockdown in containing the spread of Covid-19 in India.  ...  For the purpose of our research we have taken the columns relevant for our analysis which includes Date, Total Confirmed, Daily Confirmed, Total Recovered, Total Tested, Daily Tested as shown in the table  ...  the country wise total and daily confirmed, tested, recovered and deceased cases.  ... 
doi:10.1109/uemcon51285.2020.9298183 fatcat:h5k3zx5ci5cmpf7zrrnnmzosru

Sperm morphology assessment using strict criteria and male fertility under in-vivo conditions of conception

W. Eggert-Kruse, H. Schwarz, G. Rohr, T. Demirakca, W. Tilgen, B. Runnebaum
1996 Human Reproduction  
The relationships of sperm morphological properties to the results of standard sperm analysis, including the differentiation of round cells in semen by monoclonal antibodies and semen cultures, the testing  ...  and standard sperm morphology, were found.  ...  'Total number and percentage of patients.  ... 
doi:10.1093/oxfordjournals.humrep.a019007 pmid:8671176 fatcat:eag66ds6jffhvjm6ql5iifflju

Page 1998 of None Vol. 33, Issue 5 [page]

1996 None  
B: Eadie-Hofstee transformation of corresponding data for isolated AMG-strict (O) and DG/AMG-mixed (a) transport systems, as well as for total uptake (@).  ...  B: Eadie-Hofstee transformation of corresponding data for isolated DG-strict (O) and DG/AMG-mixed (a) transport systems, as well as for total uptake (@).  ... 
« Previous Showing results 1 — 15 out of 923,125 results