Search Results - Theory of computation Models of computation Abstract machinery*

Refine Results
  1. 1

    Turbulent boundary layer trailing-edge noise: Theory, computation, experiment, and application by Lee, Seongkyu, Ayton, Lorna, Bertagnolio, Franck, Moreau, Stephane, Chong, Tze Pei, Joseph, Phillip

    ISSN: 0376-0421, 1873-1724
    Published: Oxford Elsevier Ltd 01.10.2021
    Published in Progress in aerospace sciences (01.10.2021)
    “… This trailing edge noise is emitted from aircraft wings, turbomachinery blades, wind turbine blades, helicopter blades, etc…”
    Get full text
    Journal Article
  2. 2

    An Efficient Wind Speed Computation Method Using Sliding Mode Observers in Wind Energy Conversion System Control Applications by Hussain, Jakeer, Mishra, Mahesh K.

    ISSN: 0093-9994, 1939-9367
    Published: New York IEEE 01.01.2020
    Published in IEEE transactions on industry applications (01.01.2020)
    “… This article proposes a new method for the computation of effective wind velocity by inverting the turbine's aerodynamic model after estimating the turbine torque and its rotor speed…”
    Get full text
    Journal Article
  3. 3

    The physical basis of memory by Gallistel, C.R.

    ISSN: 0010-0277, 1873-7838, 1873-7838
    Published: Netherlands Elsevier B.V 01.08.2021
    Published in Cognition (01.08.2021)
    “… This framework was elaborated before the development of information theory, before the development of information processing machines and the science of computation, before the discovery…”
    Get full text
    Journal Article
  4. 4

    Optimal propeller blade design, computation, manufacturing and experimental testing by Kovačević, Aleksandar, Svorcan, Jelena, Hasan, Mohammad Sakib, Ivanov, Toni, Jovanović, Miroslav

    ISSN: 1748-8842, 1758-4213, 1748-8842
    Published: Bradford Emerald Publishing Limited 22.09.2021
    Published in Aircraft engineering (22.09.2021)
    “… Furthermore, different computational methods, e.g. vortex methods and computational fluid dynamics, blade element momentum theory and finite element method, are used to predict the aerodynamic performances of the optimized airfoil and complete rotor…”
    Get full text
    Journal Article
  5. 5

    A novel variable neighborhood strategy adaptive search for SALBP-2 problem with a limit on the number of machine’s types by Pitakaso, Rapeepan, Sethanan, Kanchana, Jirasirilerd, Ganokgarn, Golinska-Dawson, Paulina

    ISSN: 0254-5330, 1572-9338
    Published: New York Springer US 01.05.2023
    Published in Annals of operations research (01.05.2023)
    “…This paper presents the novel method variable neighbourhood strategy adaptive search (VaNSAS) for solving the special case of assembly line balancing problems…”
    Get full text
    Journal Article
  6. 6

    Evolved PoW: Integrating the Matrix Computation in Machine Learning Into Blockchain Mining by Wei, Yunkai, An, Zixian, Leng, Supeng, Yang, Kun

    ISSN: 2327-4662, 2327-4662
    Published: Piscataway IEEE 15.04.2023
    Published in IEEE internet of things journal (15.04.2023)
    “…). However, the model training in machine learning demands tremendous computing resource, bringing heavy burden to the IoT devices…”
    Get full text
    Journal Article
  7. 7

    Parallelism and Synchronization in an Infinitary Context by Dal Lago, Ugo, Faggian, Claudia, Valiron, Benoit, Yoshimizu, Akira

    ISSN: 1043-6871
    Published: IEEE 01.07.2015
    “… The advantage of such machines is to provide models in the style of the Geometry of Interaction, i.e…”
    Get full text
    Conference Proceeding
  8. 8

    A variational multiscale method for particle-cloud tracking in turbomachinery flows by Corsini, A., Rispoli, F., Sheard, A. G., Takizawa, K., Tezduyar, T. E., Venturini, P.

    ISSN: 0178-7675, 1432-0924
    Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.11.2014
    Published in Computational mechanics (01.11.2014)
    “…We present a computational method for simulation of particle-laden flows in turbomachinery…”
    Get full text
    Journal Article
  9. 9

    TBM performance prediction based on XGBoost models: a case study of the ghomrud water conveyance tunnel (Lots 3 and 4) by Rouhani, Mohammad Matin, Farrokh, Ebrahim

    ISSN: 1435-9529, 1435-9537
    Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.06.2025
    “…). This study presents an innovative approach to model TBM penetration per revolution (P rev ) by integrating novel metaheuristic algorithms with the XGBoost framework. Key geological (UCS, RMR) and machine (Fn, Fr…”
    Get full text
    Journal Article
  10. 10

    Evolutionary neighborhood discovery algorithm for agricultural routing planning in multiple fields by Utamima, Amalia, Reiners, Torsten, Ansaripoor, Amir H.

    ISSN: 0254-5330, 1572-9338
    Published: New York Springer US 01.09.2022
    Published in Annals of operations research (01.09.2022)
    “… This research also describes the mathematical model to represent the proposed problem formulated as an integer program…”
    Get full text
    Journal Article
  11. 11

    Optimization and Design of General Machinery Production Line Management Process Based on Intelligent Computing Model by Li, Zhenzu, Yu, Yuli, Zeng, Junjie, Xiang, Liyu, Liu, Jiahao, Zeng, Haibin

    ISSN: 1687-725X, 1687-7268
    Published: New York Hindawi 24.05.2022
    Published in Journal of sensors (24.05.2022)
    “…Machinery is the most important basic tool for modern times, and it is also an indispensable sharp weapon for creating big country projects…”
    Get full text
    Journal Article
  12. 12

    From distributed machine to distributed deep learning: a comprehensive survey by Dehghani, Mohammad, Yazdanparast, Zahra

    ISSN: 2196-1115, 2196-1115
    Published: Cham Springer International Publishing 01.12.2023
    Published in Journal of big data (01.12.2023)
    “… Processing this huge amount of data could be time-consuming and require a great deal of computation…”
    Get full text
    Journal Article
  13. 13

    Transformer enabled multi-modal medical diagnosis for tuberculosis classification by Kumar, Sachin, Sharma, Shivani, Megra, Kassahun Tadesse

    ISSN: 2196-1115, 2196-1115
    Published: Cham Springer International Publishing 01.12.2025
    Published in Journal of big data (01.12.2025)
    “… Researchers from both computer science, and medicine are trying to develop models to handle multimodal medical data…”
    Get full text
    Journal Article
  14. 14

    A comparison of stability computational methods for periodic solution of nonlinear problems with application to rotordynamics by Peletan, Loïc, Baguet, Sébastien, Torkhani, Mohamed, Jacquet-Richardet, Georges

    ISSN: 0924-090X, 1573-269X
    Published: Dordrecht Springer Netherlands 01.05.2013
    Published in Nonlinear dynamics (01.05.2013)
    “…In this paper a comparative study of five different stability computational methods based on the Floquet theory is presented…”
    Get full text
    Journal Article
  15. 15

    Formal Verification of an Autonomous Wheel Loader by Model Checking by Gu, Rong, Marinescu, Raluca, Seceleanu, Cristina, Lundqvist, Kristina

    ISSN: 2575-5099
    Published: ACM 02.06.2018
    “…In an attempt to increase productivity and the workers' safety, the construction industry is moving towards autonomous construction sites, where various…”
    Get full text
    Conference Proceeding
  16. 16

    Fast distributed algorithms for testing graph properties by Censor-Hillel, Keren, Fischer, Eldar, Schwartzman, Gregory, Vasudev, Yadu

    ISSN: 0178-2770, 1432-0452
    Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.02.2019
    Published in Distributed computing (01.02.2019)
    “…We initiate a thorough study of distributed property testing —producing algorithms for the approximation problems of property testing in the CONGEST model…”
    Get full text
    Journal Article
  17. 17

    Against neuroclassicism: On the perils of armchair neuroscience by Morgan, Alex

    ISSN: 0268-1064, 1468-0017
    Published: Oxford, UK Blackwell Publishing Ltd 01.06.2022
    Published in Mind & language (01.06.2022)
    “…Neuroclassicism is the view that cognition is explained by “classical” computing mechanisms in the nervous system that exhibit a clear demarcation between processing machinery and read–write memory. The psychologist C. R…”
    Get full text
    Journal Article
  18. 18

    Efficient visibility algorithm for high-frequency time-series: application to fault diagnosis with graph convolutional network by Lee, Sangho, Choi, Jeongsub, Son, Youngdoo

    ISSN: 0254-5330, 1572-9338
    Published: New York Springer US 01.08.2024
    Published in Annals of operations research (01.08.2024)
    “… Although most time-series models for fault diagnosis reflect local relations well, they cannot extract the global patterns that contain valuable information that can be used to recognize faults…”
    Get full text
    Journal Article
  19. 19

    Reliability analysis on ammonium nitrate/fuel oil explosive vehicle pharmaceutical system based on dynamic fault tree and Bayesian network by Jiang, Guang-Jun, Chen, Hong-Xia, Gao, Le, Sun, Hong-Hua, Li, Qing-Yang

    ISSN: 0254-5330, 1572-9338
    Published: New York Springer US 01.04.2022
    Published in Annals of operations research (01.04.2022)
    “…Ammonium nitrate/fuel oil (ANFO) explosive vehicle is the most common equipment in the mining machinery…”
    Get full text
    Journal Article
  20. 20

    Intrinsic Dimension Estimation-Based Feature Selection and Multinomial Logistic Regression for Classification of Bearing Faults Using Compressively Sampled Vibration Signals by Ahmed, Hosameldin O. A., Nandi, Asoke K.

    ISSN: 1099-4300, 1099-4300
    Published: Switzerland MDPI AG 05.04.2022
    Published in Entropy (Basel, Switzerland) (05.04.2022)
    “… from the huge collection of raw data. However, too many features reduce the classification accuracy and increase the computation time…”
    Get full text
    Journal Article