Filters








77,870 Hits in 7.5 sec

Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances (Extended Version) [article]

Francesco Gavazzo
2018 arXiv   pre-print
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

Francesco Gavazzo
2018 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18  
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]

Leo Liberti, Carlile Lavor, Nelson Maculan, Antonio Mucherino
2012 arXiv   pre-print
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

Okan Yungul, Kastamonu University, Ajda Aylin Can, Marmara Üniversity
2018 Educational Policy Analysis and Strategic Research  
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

Colin de la Higuera, Luisa Micó
2008 First International Workshop on Similarity Search and Applications (sisap 2008)  
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

A. Kocsor, A. Kertesz-Farkas, L. Kajan, S. Pongor
2005 Bioinformatics  
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

Ahmed Al-Azawei, Patrick Parslow, Karsten Lundqvist
2017 International Review of Research in Open and Distance Learning  
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

Chiome Chrispen, Tabitha Grace Mukeredz
2013 Journal of Social Sciences  
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

Reinald Hillebrand, Peter Werner, Heino Sieber, Dietrich Hesse
1997 Microscopy Microanalysis Microstructures  
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)  
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]

Yuri Dokshitzer
2005 arXiv   pre-print
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

YURI L. DOKSHITZER
2002 Deep Inelastic Scattering  
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

Thomas W. Kelsey, Lars Kotthoff, Christopher A. Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent
2014 Constraints  
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)  
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)  
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