Results 81 to 90 of about 3,233,520 (305)

Program Verification of Numerical Computation [PDF]

, 2014
These notes outline a formal method for program verification of numerical computation. It forms the basis of the software package VPC in its initial phase of development.
Pantelis, Garry
core  

Grip and Grasp: Lizard Claw Inspired Robotic Manipulators

Advanced Robotics Research, EarlyView.
Our study identifies the most effective lizard claw shape for use as an end effector in a bioinspired robotic manipulator. By examining key geometric features and combining them into comparative indices, the Crotaphytus collaris claw is found to be the best fit.
Hyeon Lee, Kate Douglas, Asyiah Bray, Andrea Rummel, Parvez Alam   +4 more
wiley   +1 more source

Determining optimal feature-combination for LDA classification of functional near-infrared spectroscopy signals in brain-computer interface application

Frontiers in Human Neuroscience, 2016
In this study, we determine the optimal feature-combination for classification of functional near-infrared spectroscopy (fNIRS) signals with the best accuracies for development of a two-class brain-computer interface (BCI).
Noman eNaseer, Farzan Majeed Noori, Nauman Khalid Qureshi, Keum-Shik eHong   +3 more
doaj   +1 more source

Modern Computer Arithmetic [PDF]

, 2010
Modern Computer Arithmetic focuses on arbitrary-precision algorithms for efficiently performing arithmetic operations such as addition, multiplication and division, and their connections to topics such as modular arithmetic, greatest common divisors, the Fast Fourier Transform (FFT), and the computation of elementary and special functions.
Brent, Richard, Zimmermann, Paul
openaire   +2 more sources

Microbial Contribution to Soiling and Its Impact on Photovoltaic Module Soiling in Arid Zones of the Atacama Desert

Advanced Sustainable Systems, EarlyView.
Microorganisms colonizing photovoltaic surfaces in the Atacama desert form biofilms that enhance particle adhesion and reduce energy yield. This study identifies UV‐resistant bacteria and carotenoid‐producing strains that interfere with PV performance.
Douglas Olivares, Ricardo Ortíz, Luis Rojas‐Araya, María Teresa Mata, Felipe Galleguillos, Jaime Llanos, Carlos Portillo, Valentina Escobar, Aitor Marzo   +8 more
wiley   +1 more source

Hardware Implementation of Residue Multipliers based Signed RNS Processor for Cryptosystems [PDF]

Informacije MIDEM, 2020
E. Sekar, S. Palaniswami
doaj   +1 more source

Endocytic Control of Cell‐Autonomous and Non‐Cell‐Autonomous Functions of p53

Advanced Science, EarlyView.
NUMB Ex3‐containing isoforms localize to the plasma membrane, where they recruit p53 through SNX9 and direct it to multivesicular bodies and exosomes. Exported p53 is taken up by neighboring cells and activates nuclear programs, revealing an intercellular, exosome‐based pathway that might help establish a tumor‐suppressive microenvironment.
Roberta Cacciatore, Andrea Basile, Stefano Freddi, Irene Schiano Lomoriello, Carlo Ribelle Zucca, Giuseppe Ciossani, Luigi Scietti, Alessandro Cuomo, Simona Ronzoni, Simone Pelicci, Mario Faretta, Elena Zaccheroni, Giuliana Pelicci, Vittoria Matafora, Angela Bachi, Rosalind Helen Gunby, Salvatore Pece, Sara Sigismund, Letizia Lanzetti, Ivan Nicola Colaluca, Pier Paolo Di Fiore   +20 more
wiley   +1 more source

Comparison Of Two Kinds Of Fuzzy Arithmetic, Lr And Ofn, Applied To Fuzzy Observation Of The Cofferdam Water Level

Computer Science, 2013
This paper presents certain important aspects of the fuzzy logic extension, one of which is OFN. It includes basic definitions of that discipline. It also compares fuzzy logic arithmetic with the arithmetic of ordered fuzzy numbers in L-R notation ...
Jacek M. Czerniak, Wojciech Dobrosielski, Rafal A. Angryk   +2 more
doaj   +1 more source

Systematic Benchmarking of a Noise‐Tolerant Conductive Hydrogel Electrode for Epidermal Bioelectronics

Advanced Science, EarlyView.
General schematic of the approach. Abstract Conventional Silver/Silver Chloride (Ag/AgCl) electrodes remain the clinical standard for electrophysiological monitoring but are hindered by poor skin conformity, mechanical rigidity, and signal degradation, particularly under motion or sweat.
Nazmi Alsaafeen, Ioannis Ziogas, Shirina Alsaedi, Mouza Alshehhi, Shahd Almheiri, Adil Rehman, Khulood Al Shehhi, Hani Saleh, Ahsan Khandoker, Charalampos Pitsalidis, Antoun Khawaja, Anna‐Maria Pappa   +11 more
wiley   +1 more source

Numerical Techniques for the Study of Long-Time Correlations

, 2004
In the study of long-time correlations extremely long orbits must be calculated. This may be accomplished much more reliably using fixed-point arithmetic. Use of this arithmetic on the Cray-1 computer is illustrated.Comment: Plain TeX, 10 pages.
Karney, Charles F. F.
core