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.
Filters
Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances (Extended Version)
[article]
2018
arXiv
pre-print
Preserved Fulltext
Other Versions
To do so a general, abstract framework for studying behavioural relations taking values over quantales is defined according to Lawvere's analysis of generalised metric spaces. ...
This paper studies the quantitative refinements of Abramsky's applicative similarity and bisimilarity in the context of a generalisation of Fuzz, a call-by-value λ-calculus with a linear type system that ...
Special thanks also goes to Alex Simpson and Niels Voorneveld for many insightful discussions about the topic of this work. ...
arXiv:1801.09072v3
fatcat:hvpl33atmjaorlruldhne35ine
Quantitative Behavioural Reasoning for Higher-order Effectful Programs
2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18
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.
To do so a general, abstract framework for studying behavioural relations taking values over quantales is introduced according to Lawvere's analysis of generalised metric spaces. ...
This paper studies quantitative refinements of Abramsky's applicative similarity and bisimilarity in the context of a generalisation of Fuzz, a call-by-value λ-calculus with a linear type system that can ...
Niels Voorneveld for many insightful discussions about the topic of this work. ...
doi:10.1145/3209108.3209149
dblp:conf/lics/Gavazzo18
fatcat:2l3donqqgvg3dfxiss3n34aq5y
Euclidean distance geometry and applications
[article]
2012
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
This is useful in several applications where the input data consists of an incomplete set of distances, and the output is a set of points in Euclidean space that realizes the given distances. ...
We survey some of the theory of Euclidean distance geometry and some of the most important applications: molecular conformation, localization of sensor networks and statics. ...
We equally grateful to Leandro Martinez for useful discussions. ...
arXiv:1205.0349v1
fatcat:jpr2dxrcj5a6degsanug3bbhcu
Applicability of Web Based Distance Education to Instrument (Guitar) Education
2018
Educational Policy Analysis and Strategic Research
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 this research, it is aimed to present the applicability of Web Based Distance Education (WBDE) method in instrument (guitar) education for Fine Arts High Schools. ...
two students who have never studied guitar in order to evaluate the initial guitar education. ...
Acknowledgements The authors would like to thank the Scientific Research Projects Unit of Marmara University for financial support (Project number: EGT-B-150218-0082) Educational Policy Analysis and Strategic ...
doi:10.29329/epasr.2018.178.3
fatcat:xzb5bosql5f5fe2wuauq2kptku
A Contextual Normalised Edit Distance
2008
First International Workshop on Similarity Search and Applications (sisap 2008)
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 2010; you can also visit the original URL.
The file type is application/pdf.
We prove that this contextual edit distance is a metric and that it can be computed through an extension of the usual dynamic programming algorithm for the edit distance. ...
In order to better fit a variety of pattern recognition problems over strings, using a normalised version of the edit or Levenshtein distance is considered to be an appropriate approach. ...
, IST-2002-506778, the program CONSOLIDER INGENIO 2010 (CSD2007-00018), and the ANR (for program BLAN07-1_184534). ...
doi:10.1109/sisap.2008.17
dblp:conf/sisap/HigueraM08
fatcat:vu43k34j55euxe2e366qxymtii
Application of compression-based distance measures to protein sequence classification: a methodological study
2005
Bioinformatics
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.
Motivation: Distance measures built on the notion of text compression have been used for the comparison and classification of entire genomes and mitochondrial genomes. ...
Contact: kocsor@inf.u-szeged.hu Supplementary information: http://www.inf.u-szeged.hu/~kocsor/ CBMO5 Application of compression-based distance measures ...
CONCLUSIONS The original reason for this study was to gain an insight into the behaviour of CBMs in protein classification tasks. ...
doi:10.1093/bioinformatics/bti806
pmid:16317070
fatcat:d3ffbbixvfchnmytufrw3n6nlm
The Effect of Universal Design for Learning (UDL) Application on E-learning Acceptance: A Structural Equation Model
2017
International Review of Research in Open and Distance Learning
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.
The extended model accounted for 45.4% and 41.6% of the variance of perceived satisfaction and behavioural intention respectively. ...
It aims to examine the effectiveness of a technology-enhanced traditional web design course on blended e-learning acceptance and learner satisfaction in which UDL principles (multiple means of representation ...
Acknowledgment The authors would like to thank the Iraqi Ministry of Higher Education and Scientific Research (MHESR-I) for supporting this study. ...
doi:10.19173/irrodl.v18i6.2880
fatcat:2hphqsbo3zcwjo7cdmxtcj3uka
Learning Organisation Concepts in Open and Distance Learning University: Their Application in Fluid Times of Discontinuity and Uncertainty
2013
Journal of Social Sciences
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.
Findings suggest that ODL institutions are pivotal for effective collaborative engagement to meet institutional goals. ...
In this case, they will engage in continuous learning not to be programmed to refer all cases to the higher authorities all the time. ...
. The establishment of the National Council for Higher education. The National Council for Higher Education Act was passed in 1990 paving the way for the expansion of universities. ...
doi:10.1080/09718923.2013.11893170
fatcat:d2r2dk7ozremlod6iw7dbykgbu
HREM Image Analysis by Fourier Filtering of Reflections with Long Extinction Distances: Application to the Spinel/MgO System
1997
Microscopy Microanalysis Microstructures
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.
In the present paper an image processing technique is introduced that profits from long extinction distances in electron diffraction. ...
-a -Thin film structure and morphology Abstract. 2014 It is known that high resolution electron microscopy can provide quantitative information on the nature of crystalline materials. ...
Pippel for numerical support and stimulating discussions. The authors are grateful to Dr. N.D. Zakharov for critically reading the manuscript. ...
doi:10.1051/mmm:1997108
fatcat:m7lchga3mjgw5is7lnmc6iwekq
Program
2021
2021 International Conference on Data Science and Its Applications (ICoDSA)
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 2021; you can also visit the original URL.
The file type is application/pdf.
In addition, this paper analyzes the effect of several distance measurement functions on K-NN. ...
User profiling has been used as a model to understand user behaviour. ...
In this study, the wheelchair can be operated in light intensity of 1190 Lux-2629 lux with suitable distance for wall is 20-35 cm. ...
doi:10.1109/icodsa53588.2021.9617531
fatcat:5ozme7noqbckbfeiccdu2er764
Gribov program of understanding confinement
[article]
2005
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Yet another set of higher order corrections makes the coupling run, g → g(q 2 ). ...
Migdal demonstrated that the scaling behaviour of the Green functions emerged in field theory in the strong coupling regime. 21 Their technique helped to build the quantitative theory of second order phase ...
arXiv:hep-ph/0510200v1
fatcat:xye3kfrhobcxdlhsbu64ypdjkm
GRIBOV PROGRAM OF UNDERSTANDING CONFINEMENT
2002
Deep Inelastic Scattering
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 2011; you can also visit the original URL.
The file type is application/pdf.
Yet another set of higher order corrections makes the coupling run, g → g(q 2 ). ...
Migdal demonstrated that the scaling behaviour of the Green functions emerged in field theory in the strong coupling regime. 21 Their technique helped to build the quantitative theory of second order phase ...
doi:10.1142/9789812778345_0002
fatcat:kbkue2uubzfmvigolr4mi474xi
Qualitative modelling via constraint programming
2014
Constraints
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.
Traditional applications are the study of the dynamics of physical and biological systems at a higher level of abstraction than that obtained by estimation of numerical parameter values for a fixed quantitative ...
The aim is to be able to model the behaviour of systems without estimating parameter values and fixing the exact quantitative dynamics. ...
Forward and central differences can be approximated using the same technique, as can derivatives to any required higher order. ...
doi:10.1007/s10601-014-9158-6
fatcat:5j3qjsfdmrdubb4acuaalrqki4
Program
2022
2022 International Conference on Decision Aid Sciences and Applications (DASA)
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.
modelling and reasoning under uncertainty, and it is an effective approach for multisensor data fusion. ...
The research gathered public insights through a quantitative research approach and applied the gather data for meaningful information in order to recommend an efficient solution. ...
The optimization model uses a linear programming algorithm for finding the optimum flowrate for 24 hours. ...
doi:10.1109/dasa54658.2022.9765271
fatcat:ttqppf4j3navnaxe653mrzmezi
Program
2021
2021 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE)
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.
His research interests include wireless networking, and edge computing for IoT applications. Dr. ...
He is serving as a technical editor for international journals and has served as a technical program committee (TPC) co-chair for many IEEE conferences and workshops. ...
When a small portion of product has local temperature increase by whatever reason, long-term circuit performance should be altered due to enhanced or reduced aging effect. ...
doi:10.1109/ccece53047.2021.9569199
fatcat:35c7o6f6svc5rgnyhjpbvjp7iy
« Previous
Showing results 1 — 15 out of 77,870 results