Results 21 to 30 of about 2,282,903 (300)
Amortised resource analysis with separation logic [PDF]
, 2011 Type-based amortised resource analysis following Hofmann and Jost—where resources are associated with individual elements of data structures and doled out to the programmer under a linear typing discipline—have been successful in providing concrete ...
Atkey, Robert
core +1 more source
Active matter logic for autonomous microfluidics
Nature Communications, 2017 Active fluids consist of self-driven particles that can drive spontaneous flow without the intervention of external forces. Here Woodhouseet al. show how to design logic circuits using this phenomenon in active fluid networks, which could be further ...
Francis G. Woodhouse, Jörn Dunkel
doaj +1 more source
The Fuzzy Logic in the Problems of Test Control of a Bypass Turbojet Engine Gas Generator
Mathematics, 2022 Continuous improvement in the operational characteristics of gas turbine equipment and a significant reduction in the time of its creation have led to the development and application of new technologies for conducting research tests of a gas generator ...
Alexander Inozemtsev +7 more
doaj +1 more source
Klasifikasi Data Aktivitas Setelah Joging Menggunakan Fuzzy Logic
Jurnal RESTI (Rekayasa Sistem dan Teknologi Informasi), 2021 One of the routine activities that cause a lot of body fluids is jogging. Research shows that excessive jogging can disrupt the balance of body fluids so that you tire quickly in the long run. As a result, the body releases too much fluid.
M. Deta Gian Faiz +2 more
doaj +1 more source
Logical characterization of fluid equivalences
Sibirskie Elektronnye Matematicheskie Izvestiya, 2019 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Tarasyuk, Igor' Valer'evich +1 more
openaire +3 more sources
Revista Facultad de Ingeniería Universidad de Antioquia, 2014 In this work it was implemented a numerical model that simulates the process of orthogonal machining of metallic materials by means of the Finite Elements Method (FEM). For the development of the model, the program Ansys Flotran was used.
José Manuel Arroyo-Osorio +3 more
doaj +1 more source
Research on a design method of pneumatic logic control system
Measurement + Control, 2021 Aiming at the complex characteristics of the sequential logic control system design, such as X-D diagram and karnaugh map method, a design method based on stepper module was proposed, the procedure of which does not need to be checked and corrected.
Wenting Liu, Qun Sun
doaj +1 more source
Proximate historiographies in Jennifer Nansubuga Makumbi’s Kintu
Tydskrif vir Letterkunde, 2021 Jennifer Nansubuga Makumbi’s novel Kintu (2014) places alongside forms of historical fiction familiar to European readers, a form of historical causality that obeys a different logic, namely, one governed by the long-term efficacity of a curse uttered in
Russell West-Pavlov
doaj +1 more source
Advances in Proof-Theoretic Semantics
, 2016 Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal ...
core +1 more source
A second order logic of existence [PDF]
, 1969 Publisher's, offprint versionA. N. Prior in [9] has suggested an approach towards a second order logic of existence where, following medieval logicians, we distinguish “between predicates (like ‘is red’, ‘is hard’, etc.) which entail existence, and ...
Cocchiarella, Nino, Nino B. Cocchiarella
core +1 more source