Search results for "Theory"

showing 10 items of 24627 documents

FeatherCNN: Fast Inference Computation with TensorGEMM on ARM Architectures

2020

Deep Learning is ubiquitous in a wide field of applications ranging from research to industry. In comparison to time-consuming iterative training of convolutional neural networks (CNNs), inference is a relatively lightweight operation making it amenable to execution on mobile devices. Nevertheless, lower latency and higher computation efficiency are crucial to allow for complex models and prolonged battery life. Addressing the aforementioned challenges, we propose FeatherCNN – a fast inference library for ARM CPUs – targeting the performance ceiling of mobile devices. FeatherCNN employs three key techniques: 1) A highly efficient TensorGEMM (generalized matrix multiplication) routine is app…

020203 distributed computingSource codeIterative methodComputer sciencebusiness.industrymedia_common.quotation_subjectDeep learningInference02 engineering and technologyParallel computingConvolutional neural networkMatrix multiplicationARM architectureComputational Theory and MathematicsHardware and ArchitectureSignal Processing0202 electrical engineering electronic engineering information engineeringArtificial intelligencebusinessmedia_commonIEEE Transactions on Parallel and Distributed Systems
researchProduct

A validity and reliability study of Conditional Entropy Measures of Pulse Rate Variability

2019

In this work, we present the feasibility to use a simpler methodological approach for the assessment of the short-term complexity of Heart Rate Variability (HRV). Specifically, we propose to exploit Pulse Rate Variability (PRV) recorded through photoplethysmography in place of HRV measured from the ECG, and to compute complexity via a linear Gaussian approximation in place of the standard model-free methods (e.g., nearest neighbor entropy estimates) usually applied to HRV. Linear PRV-based and model-free HRV-based complexity measures were compared via statistical tests, correlation analysis and Bland-Altman plots, demonstrating an overall good agreement. These results support the applicabil…

020205 medical informaticsComputer scienceEntropy0206 medical engineeringValidity02 engineering and technologySettore ING-INF/01 - ElettronicaElectrocardiographyPulse Rate Variability (PRV)Heart RatePhotoplethysmogram0202 electrical engineering electronic engineering information engineeringHumansEntropy (information theory)Heart rate variabilityEntropy (energy dispersal)Time seriesPhotoplethysmographyEntropy (arrow of time)Statistical hypothesis testingConditional entropyEntropy (statistical thermodynamics)Reproducibility of ResultsHeart Rate Variability (HRV)020601 biomedical engineeringSettore ING-INF/06 - Bioingegneria Elettronica E InformaticacomplexityAlgorithmEntropy (order and disorder)2019 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC)
researchProduct

Using Recorded Audio Feedback in Cross-Cultural e-Education Environments to Enhance Assessment Practices in a Higher Education

2018

Providing feedback to learners on their writing assignments is perhaps one of the most important and time-consuming tasks that a supervisor performs. In e-Education environments, giving feedback becomes more challenging because there are often no possibilities for face-to-face discussions with learners. Typically, a supervisor provides comments to learners in written form via email; however, the use of recorded audio feedback (RAF) in e-Education environments has become a viable alternative. The purpose of this case study was to examine learners’ perceptions of RAF and written feedback for their assignments at the University of Jyväskylä (Finland) and at Keio University SFC (Japan). Formati…

020205 medical informaticsHigher educationoppiminenProcess (engineering)cross-cultural higher educationBest practicesuullinen palaute02 engineering and technologyFormative assessment0202 electrical engineering electronic engineering information engineeringMathematics educationCross-culturalta516Hofstede's cultural dimensions theorycultural dimensionsta113e-Education environmentsSupervisorbusiness.industryrecorded audio feedbackGeneral Arts and Humanities05 social sciencespalaute050301 educationäänitiedostotverkko-oppiminenta5141Audio feedbackbusinessPsychology0503 educationformative feedback
researchProduct

Usability and acceptability assessment of an empathic virtual agent to prevent major depression

2016

In Human-Computer Interaction, the adaptation of the content and the way of how this content is communicated to the users in interactive sessions is a critical issue to promote the acceptability and usability of any computational system. We present a user-adapted interactive platform to identify and provide an early intervention for symptoms of depression and suicide. In particular, we describe the work performed to assess users' system acceptability and usability. An empathic Virtual Agent is the main interface with the user, and it has been designed to generate the appropriate dialogues and emotions during the interactions according to the detected user's specific needs. This personalizat…

020205 medical informaticsPluralistic walkthroughComputer science02 engineering and technologyTheoretical Computer ScienceUsability lab03 medical and health sciences0302 clinical medicineArtificial IntelligenceHuman–computer interactionHeuristic evaluationacceptabilityemotional virtual agent0202 electrical engineering electronic engineering information engineeringAdaptation (computer science)Web usabilityInteractive systems engineeringbusiness.industryUser modelingUsabilityHuman-computer interaction030227 psychiatryuser-adapted sessionsusabilityComputational Theory and MathematicsControl and Systems EngineeringFISICA APLICADAbusiness
researchProduct

Mooring Analysis of a Dual-Spar Floating Wind Farm With a Shared Line

2021

AbstractWind farms with shared mooring lines have the potential to reduce mooring costs. However, such wind farms may encounter complex system dynamics because adjacent wind turbines are coupled. This paper presents an analysis of the shared mooring system with a focus on the system natural periods. We first apply Irvine’s method to model both the shared line and the two-segment single lines. The response surface method is proposed to replace iterations of the catenary equations of the single lines, and a realistic single line design is presented for OC3 Hywind. Then, system linearization and eigenvalue analysis are performed for the wind farm consisting of two spar floating wind turbines, …

020209 energyMechanical EngineeringVDP::Technology: 500::Marine technology: 580020208 electrical & electronic engineeringVDP::Technology: 500::Mechanical engineering: 570Ocean Engineering02 engineering and technologyMooringDual (category theory)0202 electrical engineering electronic engineering information engineeringEnvironmental scienceSparLine (text file)Marine engineering
researchProduct

Flow measurement using circular portable flume

2018

Abstract The circular portable flume is a simple device to measure discharge in circular drainage networks. Since the unit can be easily installed and removed, it is helpful in water distribution measurement and management. First in this paper the available studies are reviewed for highlighting the effect of both the contraction ratio and the flume slope on the stage-discharge relationship. Then the Buckingham's Theorem of the dimensional analysis and the self-similarity theory are used to deduce the stage-discharge curve of the circular flume. The new theoretical stage-discharge equation is calibrated by the literature available experimental data and those obtained in this experimental inv…

0208 environmental biotechnology02 engineering and technology01 natural sciencesMeasure (mathematics)Flow measurement010309 optics0103 physical sciencesRange (statistics)Portable flumeStage-discharge curveSettore AGR/08 - Idraulica Agraria E Sistemazioni Idraulico-ForestaliElectrical and Electronic EngineeringBuckingham's theoremContraction (operator theory)Contraction ratioInstrumentationDrainage networkExperimental dataComputer Science Applications1707 Computer Vision and Pattern RecognitionMechanics020801 environmental engineeringComputer Science ApplicationsFlumeFlow measurementDistribution (mathematics)Circular flumeModeling and SimulationGeology
researchProduct

Partial Stabilization of Input-Output Contact Systems on a Legendre Submanifold

2017

This technical note addresses the structure preserving stabilization by output feedback of conservative input-output contact systems, a class of input-output Hamiltonian systems defined on contact manifolds. In the first instance, achievable contact forms in closed-loop and the associated Legendre submanifolds are analysed. In the second instance the stability properties of a hyperbolic equilibrium point of a strict contact vector field are analysed and it is shown that the stable and unstable manifolds are Legendre submanifolds. In the third instance the consequences for the design of stable structure preserving output feedback are derived: in closed-loop one may achieve stability only rel…

0209 industrial biotechnology02 engineering and technologyTopology01 natural sciences010305 fluids & plasmaslaw.inventionHamiltonian system[SPI.AUTO]Engineering Sciences [physics]/Automatic020901 industrial engineering & automation[CHIM.GENI]Chemical Sciences/Chemical engineeringlaw[INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering0103 physical sciencesEntropy (information theory)[SPI.GPROC]Engineering Sciences [physics]/Chemical and Process EngineeringElectrical and Electronic EngineeringLegendre polynomialsComputingMilieux_MISCELLANEOUSMathematicsHyperbolic equilibrium pointACLMathematical analysisSubmanifoldThermostatComputer Science ApplicationsControl and Systems EngineeringHeat transferVector field
researchProduct

Adaptive-Gain Observers and Applications

2007

We distinguish two kinds of observers for nonlinear systems which are used by scientists and engineers: empirical observers and converging observers.

0209 industrial biotechnology020208 electrical & electronic engineeringSystem identification02 engineering and technology[SPI.AUTO]Engineering Sciences [physics]/AutomaticAdaptive observerNonlinear system020901 industrial engineering & automationClassical mechanics[SPI.AUTO] Engineering Sciences [physics]/AutomaticControl theory[ SPI.AUTO ] Engineering Sciences [physics]/Automatic0202 electrical engineering electronic engineering information engineeringCanonical formNon linear observerLoad torqueComputingMilieux_MISCELLANEOUSMathematics
researchProduct

Adaptive backstepping control of uncertain systems in the presence of unmodeled dynamics and time-varying delays

2016

In this paper, the problem of adaptive backstepping control for uncertain systems in the presence of unmodeled dynamics and input time-varying delays is studied. Under some mild assumptions, a robust adaptive controller is designed such that the system is globally stabilized by using adaptive backstepping technique. Meanwhile, the transient system performance in L2 and norms of system output can be adjusted by choosing the design parameters. Finally, a simulation example is given to show the effectiveness of the results.

0209 industrial biotechnology020901 industrial engineering & automationAdaptive controlControl theoryComputer scienceBacksteppingDynamics (mechanics)0202 electrical engineering electronic engineering information engineeringUncertain systems020201 artificial intelligence & image processing02 engineering and technologyTransient (oscillation)2016 Sixth International Conference on Information Science and Technology (ICIST)
researchProduct

Modified F-transform Based on B-splines

2018

The aim of this paper is to improve the F-transform technique based on B-splines. A modification of the F-transform of higher degree with respect to fuzzy partitions based on B-splines is done to extend the good approximation properties from the interval where the Ruspini condition is fulfilled to the whole interval under consideration. The effect of the proposed modification is characterized theoretically and illustrated numerically.

0209 industrial biotechnology020901 industrial engineering & automationDegree (graph theory)Approximation error0202 electrical engineering electronic engineering information engineeringExtrapolationApplied mathematicsInterval (graph theory)020201 artificial intelligence & image processing02 engineering and technologyFuzzy logicMathematics
researchProduct