A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Comparing models of higher type computation
1999
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
Introduction Models of higher type computation appear basically in two a vours: as realizability models/partial equivalence relations over some appropriate weak algebraic model of function application, ...
Fullness follows from the projectivity of the representables.
2 Note that it follows that hierarchies of types de ned in modest sets or in the extensional presheaves based on an interpretation of types ...
doi:10.1016/s1571-0661(04)00109-4
fatcat:ya3i22ygobaqthyjr4pmmmgxm4
Effects of rotation and magnetic fields on the lithium abundance and asteroseismic properties of exoplanet-host stars
2010
Astronomy and Astrophysics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Methods: Based on observations of rotational periods of solar-type stars, slow rotators on the zero age main sequence (ZAMS) are modelled with a comprehensive treatment of only the shellular rotation, ...
Aims: The effects of rotation and magnetic fields on the surface abundances of solar-type stars are studied in order to investigate whether the reported difference in lithium content of exoplanet-host ...
for models of exoplanet-host stars compared to solar-type stars without planets, which agrees well with the spectroscopic observations of Israelian et al. (2009) . ...
doi:10.1051/0004-6361/201014939
fatcat:2isndcvbs5bflmi77aw5g6lndi
Accuracy to Throughput Trade-Offs for Reduced Precision Neural Networks on Reconfigurable Logic
[chapter]
2018
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In this work, we investigate the accuracy-throughput trade-off for various parameter precision applied to different types of NN models. ...
Recently, reduced precision Neural Networks (NNs) have been gaining popularity as they require significantly less memory and computational resources compared to floating point. ...
The authors from The University of Sydney acknowledge support from the Australian Research Council Linkage Project LP130101034.
Bibliography ...
doi:10.1007/978-3-319-78890-6_3
fatcat:5rsvih5o6zbrxntxylgbpfdlni
Using An Artificial Agent As A Behavior Model To Promote Assistive Technology Acceptance
2018
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Overall, the results of the study confirmed our hypotheses, showing that the use of an artificial agent as a behavioral model leads to increased computer self-efficacy and perceived ease of use of a system ...
' computer self-efficacy and perceived ease of use of an assistive technology. ...
Research on behavior modeling in computer training indicated that behavior modeling yields higher scores of computer selfefficacy and subsequently better task performance, compared to other non-modeling ...
doi:10.5281/zenodo.1296370
fatcat:jjqc25cr4ze2lbemw2fkjhw7a4
Page 455 of Educational and Psychological Measurement Vol. 59, Issue 3
[page]
1999
Educational and Psychological Measurement
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
A type-2 index “compares the lack of fit of a target model to the lack of fit of a baseline model, usually the independence model. ...
In different analyses, we also compared the ability of corresponding first- order and higher order factor models to fit the same data. ...
Effects of rotational mixing on the asteroseismic properties of solar-type stars
2010
Astronomy and Astrophysics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Other Versions
By computing rotating models of solar-type stars including the effects of a dynamo that possibly occurs in the radiative zone, we find that the efficiency of rotational mixing is strongly reduced when ...
Higher values of the large frequency separation are then found for rotating models than for non-rotating ones at the same evolutionary stage, because the increase of the effective temperature leads to ...
Part of this work was supported by the Swiss National Science Foundation. ...
doi:10.1051/0004-6361/201014713
fatcat:zpee22iqmbeqfnxgfamrbkdmka
Examination of temperature probe setup using computational fluid dynamics simulators
2012
Periodica Polytechnica: Chemical Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Different models were computed together in order to solve heat transfer model: heat transfer in fluid and solid substances and momentum balance model. ...
In this study Computational Fluid Dynamics (CFD) methods are used to model different temperature probe positions in a pipe elbow. ...
Fig. 1 shows the probe positions different probe types and measurement points we used to compute the different simulations, and models. ...
doi:10.3311/pp.ch.2012-2.04
fatcat:2ne5dbgw7fhibmyfuzwo5arwui
Sealing Behavior in Transcatheter Bicuspid and Tricuspid Aortic Valves Replacement Through Patient-Specific Computational Modeling
2021
Frontiers in Cardiovascular Medicine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
A detailed analysis of skirt malapposition showed a higher degree of malapposition in the interleaflet triangles section for BAV cases as compared to TAV patients (11.1 vs. 5.8%, p < 0.05).Conclusions ...
Patient-specific computer simulation of transcatheter aortic valve replacement (TAVR) can provide unique insights in device-patient interaction.Aims: This study was to compare transcatheter aortic valve ...
This may explain the higher amount of malapposition that we observed in the interleaflet triangle region in type 0 and type 1 BAV cases compared with TAV. ...
doi:10.3389/fcvm.2021.732784
pmid:34708088
pmcid:PMC8542706
fatcat:3yumnliqavg3nnrqsp5omobkxy
Modeling Data Reuse in Deep Neural Networks by Taking Data-Types into Cognizance
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In recent years, researchers have focused on reducing the model size and number of computations (measured as "multiply-accumulate" or MAC operations) of DNNs. ...
We show that our model accurately models data-reuse for all possible data reuse patterns for different types of convolution and different types of layers. ...
We show that our model applies to a diverse set of DNNs and is a better representative of energy efficiency in DNNs. ...
arXiv:2008.02565v1
fatcat:qvrjkff7znasraauluvyfbgj3m
IGENT: efficient entropy based algorithm for genome-wide gene-gene interaction analysis
2014
BMC Medical Genomics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
For detecting significant GGIs in genome-wide scale, it is important to reduce computational burden significantly. ...
In spite of thousands of genetic variants discovered, such genetic markers have been shown to explain only a very small proportion of the underlying genetic variance of complex traits. ...
The full contents of the supplement are available online at http://www.biomedcentral.com/ bmcmedgenomics/supplements/7/S1. ...
doi:10.1186/1755-8794-7-s1-s6
pmid:25077411
pmcid:PMC4101351
fatcat:swo2rmblp5fxhk7g2dieewebi4
Ablation and antiarrhythmic drug effects on PITX2+/− deficient atrial fibrillation: A computational modeling study
2022
Frontiers in Cardiovascular Medicine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
computational AF model. ...
and PITX2+/− deficient) using computational modeling.MethodsWe included 25 patients with AF (68% men, 59.8 ± 9.8 years of age, 32% paroxysmal AF) who underwent AF catheter ablation to develop a realistic ...
computational modeling (33) . ...
doi:10.3389/fcvm.2022.942998
pmid:35928934
pmcid:PMC9343754
doaj:c0b76229e1404887a955e3c208ef6dae
fatcat:gujke2w3ijb7fjycmgggf3gxuu
Modeling mayhem: predicting invasion and proliferation kinetics in IDH1 mutant glioblastoma with mathematical models
2014
Neuro-Oncology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Overall, the wild-type tumors had a significantly higher aggressiveness ratio as compared to the IDH1 mutant tumors. ...
Computational models predict differences in invasion and aggressiveness between wild-type and IDH1 mutant tumors. ...
Overall, the wild-type tumors had a significantly higher aggressiveness ratio as compared to the IDH1 mutant tumors. ...
doi:10.1093/neuonc/nou062
pmid:24739516
pmcid:PMC4022231
fatcat:joq63rja2zb6jn4tngpopevkii
Attitudes of Lebanese pharmacists towards online and live continuing education sessions
2019
Pharmacy Practice
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Higher motivation (aOR=1.059; 95%CI 1.006-1.114) and higher general confidence with computer use (aOR=1.058; 95%CI 1.012-1.106) were significantly associated with higher odds of taking both types of CE ...
A high percentage of Lebanese pharmacists enrolled in the CE system, mainly driven by motivation and value of CE, in addition to a higher general confidence in computer use. ...
CONFLICT OF INTEREST The authors have no conflicts of interest to disclose.
FUNDING None. ...
doi:10.18549/pharmpract.2019.2.1438
pmid:31275496
pmcid:PMC6594437
fatcat:rvk3uc3oznai5mmwzem3sgdyoq
Improving methodology of quantifier comprehension experiments
2009
Neuropsychologia
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
This observation partially explains the differences in processing between those two types of quantifiers (Troiani et al. 2009) and links them to the computational model. Taking this ...
The authors were considering two standard types of quantifiers: first-order (e.g., "all", "some", "at least 3"), and higher-order quantifiers (e.g., "more than half", "an even number of"). ...
This observation partially explains the differences in processing between those two types of quantifiers (Troiani et al. 2009 ) and links them to the computational model. ...
doi:10.1016/j.neuropsychologia.2009.04.004
pmid:19607955
fatcat:2baoempbt5a5venlhp5g2l776i
Investigating impacts of chemistry and transport model formulation on model performance at European scale
2012
Atmospheric Environment
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
CAMx performed always better than CHIMERE in terms of bias, while CHIMERE score for correlation was always higher than CAMx. ...
Station type is relevant mainly for pollutants directly influenced by low level emission sources, such as NO 2 and PM 10 . ...
NNS were computed for each model separately; for each station type in case of regional comparison and, conversely, for each region in case of station type comparison. ...
doi:10.1016/j.atmosenv.2011.12.052
fatcat:6v57m46d7je3nlg7fuvwdyejwq
« Previous
Showing results 1 — 15 out of 3,353,592 results