Výsledky vyhľadávania - Theory of computation Models of computation Abstract machinery

Turbulent boundary layer trailing-edge noise: Theory, computation, experiment, and application Autor 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…”
Získať plný text

The Probabilistic Model Checking Landscape Autor Katoen, Joost-Pieter

“… In the 1980s, this initiated first proof methods, logics, and model-checking algorithms. The field of probabilistic verification has developed considerably…”
Získať plný text

An Efficient Wind Speed Computation Method Using Sliding Mode Observers in Wind Energy Conversion System Control Applications Autor 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…”
Získať plný text

Parallelism and Synchronization in an Infinitary Context Autor 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…”
Získať plný text

Optimal propeller blade design, computation, manufacturing and experimental testing Autor 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…”
Získať plný text

The physical basis of memory Autor 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…”
Získať plný text

Evolved PoW: Integrating the Matrix Computation in Machine Learning Into Blockchain Mining Autor 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…”
Získať plný text

A novel variable neighborhood strategy adaptive search for SALBP-2 problem with a limit on the number of machine’s types Autor 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…”
Získať plný text

Information processing in bacteria: memory, computation, and statistical physics: a key issues review Autor 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…”
Zistit podrobnosti o prístupe

Secure computation without computers Autor 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…”
Získať plný text

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

“… The symbolic execution produces abstract…”
Získať plný text

VeriAbs : Verification by Abstraction and Test Generation Autor 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…”
Získať plný text

TBM performance prediction based on XGBoost models: a case study of the ghomrud water conveyance tunnel (Lots 3 and 4) Autor 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…”
Získať plný text

Formal Verification of an Autonomous Wheel Loader by Model Checking Autor 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…”
Získať plný text

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

“… This research also describes the mathematical model to represent the proposed problem formulated as an integer program…”
Získať plný text

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

“…We propose trace abstraction modulo probability, a proof technique for verifying high-probability accuracy guarantees of probabilistic programs…”
Získať plný text

An abstract stack based approach to verified compositional compilation to machine code Autor 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…”
Získať plný text

Regular Abstractions for Array Systems Autor 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…”
Získať plný text

Better late than never: a fully-abstract semantics for classical processes Autor 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…”
Získať plný text

Computation tree measurement language (CTML) Autor 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…”
Získať plný text