Search results for " Computer"

A Computational Technique for Solving Singularly Perturbed Delay Partial Differential Equations

2021

Abstract In this work, a matrix method based on Laguerre series to solve singularly perturbed second order delay parabolic convection-diffusion and reaction-diffusion type problems involving boundary and initial conditions is introduced. The approximate solution of the problem is obtained by truncated Laguerre series. Moreover convergence analysis is introduced and stability is explained. Besides, a test case is given and the error analysis is considered by the different norms in order to show the applicability of the method.

Mobile phone data statistics as a dynamic proxy indicator in assessing regional economic activity and human commuting patterns

2020

A multi-step finite-state automaton for arbitrarily deterministic Tsetlin Machine learning

2021

Efficient estimation of tuned liquid column damper inerter (TLCDI) parameters for seismic control of base‐isolated structures

2022

This paper presents an enhanced base-isolation (BI) system equipped with a novel passive control device composed of a tuned liquid damper and an inerter (TLCDI). With the aim of reducing the seismic response of BI systems, this contribution focuses on the design of the TLCDI providing analytical solutions for the optimal TLCDI parameters, easily implementable in the design phase. The effectiveness of the proposed approach in terms of seismic response reduction and computational gain is validated by comparison with classical numerical optimization techniques. The control performance of two different base-isolated TLCDI-controlled structures is assessed by employing real-ground motion records…

Use of wavelet for image processing in smart cameras with low hardware resources

2013

International audience; Images from embedded sensors need digital processing to recover high-quality images and to extract features of a scene. Depending on the properties of the sensor and on the application, the designer fits together different algorithms to process images. In the context of embedded devices, the hardware supporting those applications is very constrained in terms of power consumption and silicon area. Thus, the algorithms have to be compliant with the embedded specifications i.e. reduced computational complexity and low memory requirements. We investigate the opportunity to use the wavelet representation to perform good quality image processing algorithms at a lower compu…

How Low Can Approximate Degree and Quantum Query Complexity Be for Total Boolean Functions?

2012

It has long been known that any Boolean function that depends on n input variables has both degree and exact quantum query complexity of Omega(log n), and that this bound is achieved for some functions. In this paper we study the case of approximate degree and bounded-error quantum query complexity. We show that for these measures the correct lower bound is Omega(log n / loglog n), and we exhibit quantum algorithms for two functions where this bound is achieved.

Equivalence closure in the two-variable guarded fragment

2015

We consider the satisfiability and finite satisfiability problems for the extension of the two-variable guarded fragment in which an equivalence closure operator can be applied to two distinguished binary predicates. We show that the satisfiability and finite satisfiability problems for this logic are 2-ExpTime-complete. This contrasts with an earlier result that the corresponding problems for the full two-variable logic with equivalence closures of two binary predicates are 2-NExpTime-complete.

[Editorial] Special issue on computational intelligence and nature-inspired algorithms for real-world data analytics and pattern recognition

2018

Cagnoni, S., & Castelli, M. (2018). [Editorial]. Special issue on computational intelligence and nature-inspired algorithms for real-world data analytics and pattern recognition. Algorithms, 11(3), 1-2. DOI: 10.3390/a11030025 This special issue of Algorithms is devoted to the study of Computational Intelligence and Nature-Inspired Algorithms for Real-World Data Analytics and Pattern Recognition. The special issue considered both theoretical contributions able to advance the state-of-the-art in this field and practical applications that describe novel approaches for solving real-world problems. published

Forensic study of Neolithic and Punic skulls with MSCT

2013

Learning objectives Background Imaging findings OR Procedure details Conclusion References Personal Information

Shot-dead CT-virtopsy: our experience

2016

Learning objectives Background Findings and procedure details Conclusion Personal information References