Suchergebnisse - Theory of computation Models of computation Abstract machinery

Turbulent boundary layer trailing-edge noise: Theory, computation, experiment, and application von 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 …”
Volltext

The Probabilistic Model Checking Landscape von Katoen, Joost-Pieter

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

An Efficient Wind Speed Computation Method Using Sliding Mode Observers in Wind Energy Conversion System Control Applications von 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 …”
Volltext

Parallelism and Synchronization in an Infinitary Context von 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 …”
Volltext

Optimal propeller blade design, computation, manufacturing and experimental testing von 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 …”
Volltext

The physical basis of memory von 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 …”
Volltext

Evolved PoW: Integrating the Matrix Computation in Machine Learning Into Blockchain Mining von 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 …”
Volltext

A novel variable neighborhood strategy adaptive search for SALBP-2 problem with a limit on the number of machine’s types von 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 …”
Volltext

Information processing in bacteria: memory, computation, and statistical physics: a key issues review von 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 …”
Weitere Angaben

Secure computation without computers von 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 …”
Volltext

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

“… The symbolic execution produces abstract …”
Volltext

VeriAbs : Verification by Abstraction and Test Generation von 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 …”
Volltext

TBM performance prediction based on XGBoost models: a case study of the ghomrud water conveyance tunnel (Lots 3 and 4) von 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 …”
Volltext

Formal Verification of an Autonomous Wheel Loader by Model Checking von 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 …”
Volltext

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

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

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

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

An abstract stack based approach to verified compositional compilation to machine code von 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 …”
Volltext

Regular Abstractions for Array Systems von 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 …”
Volltext

Better late than never: a fully-abstract semantics for classical processes von 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 …”
Volltext

Computation tree measurement language (CTML) von 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 …”
Volltext