Filters








3,353,592 Hits in 6.9 sec

Comparing models of higher type computation

G. Rosolini, Th. Streicher
1999 Electronical Notes in Theoretical Computer Science  
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

P. Eggenberger, A. Maeder, G. Meynet
2010 Astronomy and Astrophysics  
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]

Jiang Su, Nicholas J. Fraser, Giulio Gambardella, Michaela Blott, Gianluca Durelli, David B. Thomas, Philip H. W. Leong, Peter Y. K. Cheung
2018 Lecture Notes in Computer Science  
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

Sofia Fountoukidou, Jaap Ham, Uwe Matzat, Cees Midden
2018 Zenodo  
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  
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

P. Eggenberger, G. Meynet, A. Maeder, A. Miglio, J. Montalban, F. Carrier, S. Mathis, C. Charbonnel, S. Talon
2010 Astronomy and Astrophysics  
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

Attila Egedy, Tamás Varga, Tibor Chovan
2012 Periodica Polytechnica: Chemical Engineering  
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

Xianbao Liu, Jiaqi Fan, Peter Mortier, Yuxin He, Qifeng Zhu, Yuchao Guo, Xinping Lin, Huajun Li, Jubo Jiang, Giorgia Rocatello, Vanda Oliveira, Tim Dezutter (+2 others)
2021 Frontiers in Cardiovascular Medicine  
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]

Nandan Kumar Jha, Sparsh Mittal
2020 arXiv   pre-print
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

Min-Seok Kwon, Mira Park, Taesung Park
2014 BMC Medical Genomics  
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

Ze Jin, Inseok Hwang, Byounghyun Lim, Oh-Seok Kwon, Je-Wook Park, Hee-Tae Yu, Tae-Hoon Kim, Boyoung Joung, Moon-Hyoung Lee, Hui-Nam Pak
2022 Frontiers in Cardiovascular Medicine  
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

J. D. Lathia
2014 Neuro-Oncology  
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

Hala Sacre, Samah Tawil, Souheil Hallit, Aline Hajj, Georges Sili, Pascale Salameh
2019 Pharmacy Practice  
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

Jakub Szymanik, Marcin Zajenkowski
2009 Neuropsychologia  
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

G. Pirovano, A. Balzarini, B. Bessagnet, C. Emery, G. Kallos, F. Meleux, C. Mitsakou, U. Nopmongcol, G.M. Riva, G. Yarwood
2012 Atmospheric Environment  
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