Search Results - Theory of computation Models of computation Abstract machinery

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

“… This trailing edge noise is emitted from aircraft wings, turbomachinery blades, wind turbine blades, helicopter blades, etc…”
Get full text

The Probabilistic Model Checking Landscape by Katoen, Joost-Pieter

“… In the 1980s, this initiated first proof methods, logics, and model-checking algorithms. The field of probabilistic verification has developed considerably…”
Get full text

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

“… 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

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

“… The advantage of such machines is to provide models in the style of the Geometry of Interaction, i.e…”
Get full text

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

“… 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

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

“… 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

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

“…). However, the model training in machine learning demands tremendous computing resource, bringing heavy burden to the IoT devices…”
Get full text

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

“…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

Information processing in bacteria: memory, computation, and statistical physics: a key issues review by Lan, Ganhui, Tu, Yuhai

“…? Through years of intense study by biologists, many key molecular players and their interactions have been identified in different biological machineries that carry out these signaling functions…”
Get more information

Secure computation without computers by D'Arco, Paolo, De Prisco, Roberto

“… In this paper we make a step in such a direction: we propose a novel method for performing secure two-party computations that, apart from the setup phase, requires neither a computing machinery nor cryptographic knowledge…”
Get full text

DySy: dynamic symbolic execution for invariant inference by Csallner, Christoph, Tillmann, Nikolai, Smaragdakis, Yannis

“… The symbolic execution produces abstract…”
Get full text

VeriAbs : Verification by Abstraction and Test Generation by Afzal, Mohammad, Asia, A., Chauhan, Avriti, Chimdyalwar, Bharti, Darke, Priyanka, Datar, Advaita, Kumar, Shrawan, Venkatesh, R.

“…) 2019 and found that although classic techniques - explicit state model checking and bounded model checking, succeed on a majority of the programs, a wide range of further techniques are required to analyse the rest. A screencast of the tool is available at https://youtu.be/Hzh3PPiODwk…”
Get full text

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

“…). 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

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

“…In an attempt to increase productivity and the workers' safety, the construction industry is moving towards autonomous construction sites, where various…”
Get full text

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

“… This research also describes the mathematical model to represent the proposed problem formulated as an integer program…”
Get full text

Trace abstraction modulo probability by Smith, Calvin, Hsu, Justin, Albarghouthi, Aws

“…We propose trace abstraction modulo probability, a proof technique for verifying high-probability accuracy guarantees of probabilistic programs…”
Get full text

An abstract stack based approach to verified compositional compilation to machine code by Wang, Yuting, Wilke, Pierre, Shao, Zhong

“…A key ingredient contributing to the success of CompCert, the state-of-the-art verified compiler for C, is its block-based memory model, which is used uniformly for all of its languages and their verified compilation…”
Get full text

Regular Abstractions for Array Systems by Hong, Chih-Duo, Lin, Anthony W.

“… Such distributed protocols often exploit process IDs during their computation, resulting in array systems whose element values range over an infinite domain…”
Get full text

Better late than never: a fully-abstract semantics for classical processes by Kokke, Wen, Montesi, Fabrizio, Peressotti, Marco

“…We present Hypersequent Classical Processes (HCP), a revised interpretation of the “Proofs as Processes” correspondence between linear logic and the π-calculus…”
Get full text

Computation tree measurement language (CTML) by Jing, Yaping, Miner, Andrew S.

“… , ∞ ) , as opposed to 0/1 values as input and output, and it can nest real values. This allows CTML to express a rich set of queries towards the unification of model checking and performance evaluation…”
Get full text