Results 31 to 40 of about 1,330,014 (301)

CUDAEASY - a GPU Accelerated Cosmological Lattice Program [PDF]

Comput.Phys.Commun.181:906-912,2010, 2009
This paper presents, to the author's knowledge, the first graphics processing unit (GPU) accelerated program that solves the evolution of interacting scalar fields in an expanding universe. We present the implementation in NVIDIA's Compute Unified Device Architecture (CUDA) and compare the performance to other similar programs in chaotic inflation ...
arxiv   +1 more source

Performance comparison between PID and fuzzy logic controller in position control system of dc servomotor [PDF]

, 2006
The objective of this paper is to compare the time specification performance between conventional controller and artificial intelligence controller in position control system of a DC motor. This will include design and development of a GUI software using
Md. Ghazaly, Mariam, Rahmat, Mohd Fua'ad
core   +1 more source

Interaction vesicles as emerging mediators of host‐pathogen molecular crosstalk and their implications for infection dynamics

FEBS Letters, EarlyView.
Interaction extracellular vesicles (iEVs) are hybrid vesicles formed through host‐pathogen communication. They facilitate immune evasion, transfer pathogens' molecules, increase host cell uptake, and enhance virulence. This Perspective article illustrates the multifunctional roles of iEVs and highlights their emerging relevance in infection dynamics ...
Bruna Sabatke, Izadora Volpato Rossi, Marcel I. Ramirez   +2 more
wiley   +1 more source

MHD Generation Code [PDF]

Revista de Matematicas: Teoria y Aplicaciones,Vol. 23 (1), 2016, 2015
A program to generate codes in Fortran and C of the full Magnetohydrodynamic equations is shown. The program used the free computer algebra system software REDUCE. This software has a package called EXCALC, which is an exterior calculus program. The advantage of this program is that it can be modified to include another complex metric or spacetime. The
arxiv   +1 more source

Modern Instrumentation: A Computer Approach

, 1995
PREFACE FUNDAMENTALS OF DATA ACQUISITION AND INSTRUMENT CONTROL INTRODUCTION The role of computer-based instrumentation in measurement and process control Examples of computer-based instrumentation Architectures of computer-based instrument systems ...
G. Silverman, H. Silver, D. M. Cook, S. McKay, W. Christian   +4 more
semanticscholar   +1 more source

COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1

, 2019
This report presents the activities of the first working group of the COST Action ArVI, Runtime Verification beyond Monitoring. The report aims to provide an overview of some of the major core aspects involved in Runtime Verification.
Ahrendt, Wolfgang, Artho, Cyrille, Colombo, Christian, Falcone, Yliès, Krstic, Srdan, Leucker, Martin, Lorber, Florian, Lourenço, Joao, Mariani, Leonardo, Schneider, Gerardo, Stolz, Volker, Sánchez, César   +11 more
core   +1 more source

Microcomputer-controlled polarographic instrumentation and its use in the determination of stability constants of crown ether complexes [PDF]

, 1985
A computer-controlled polarographic system is described, based on a commercially available polarograph interfaced to a microcomputer. Experiments are controlled and monitored entirely from software, including automatic evaluation of the Tast polarograms ...
Bos, M., Linden, W.E. van der, Veen-Blaauw, A.M.W. van, Zollinger, D.Ph.   +3 more
core   +3 more sources

Ion channel function of polycystin‐2/polycystin‐1 heteromer revealed by structure‐guided mutagenesis

FEBS Letters, EarlyView.
Mutations in polycystin‐1 (PC1) or polycystin‐2 (PC2) cause autosomal‐dominant polycystic kidney disease (ADPKD). We generated a novel gain‐of‐function PC2/PC1 heteromeric ion channel by mutating pore‐blocking residues. Moreover, we demonstrated that PC2 will preferentially assemble with PC1 to form heteromeric complexes when PC1 is co‐expressed ...
Tobias Staudner, Juthamas Khamseekaew, M. Gregor Madej, Linda Geiges, Bardha Azemi, Christine Ziegler, Christoph Korbmacher, Alexandr V. Ilyaskin   +7 more
wiley   +1 more source

Automatic Program Instrumentation for Automatic Verification (Extended Technical Report) [PDF]

arXiv, 2023
In deductive verification and software model checking, dealing with certain specification language constructs can be problematic when the back-end solver is not sufficiently powerful or lacks the required theories. One way to deal with this is to transform, for verification purposes, the program to an equivalent one not using the problematic constructs,
arxiv  

Marquette Interchange Perpetual Pavement Instrumentation Project - Phase II [PDF]

, 2008
This report presents findings from the second phase of the Marquette Interchange instrumentation project and focuses on the maintenance of data recordation systems, development of computer programs to analyze data, and development of data packages for ...
Crovetti, James, Hornyak, Nicholas
core   +1 more source