Results 31 to 40 of about 124,788 (331)
Linear logic and the linear -calculus have a long standing tradition in the study of natural language form and meaning. Among the proof calculi of linear logic, proof nets are of particular interest, offering an attractive geometric representation of derivations that is unburdened by the bureaucratic complications of conventional prooftheoretic ...
Kogkalidis, Konstantinos +2 more
openaire +3 more sources
Comparing Human Activity Recognition Models Based on Complexity and Resource Usage
Human Activity Recognition (HAR) is a field with many contrasting application domains, from medical applications to ambient assisted living and sports applications.
Simon Angerbauer +3 more
doaj +1 more source
Numerous studies on short‐term load forecasting (STLF) have used feature extraction methods to increase the model's accuracy by incorporating multidimensional features containing time, weather and distance information.
Shiyan Yi +4 more
doaj +1 more source
Searching for Exoplanets Using Artificial Intelligence
In the last decade, over a million stars were monitored to detect transiting planets. Manual interpretation of potential exoplanet candidates is labor intensive and subject to human error, the results of which are difficult to quantify. Here we present a
Griffith, Caitlin A. +2 more
core +1 more source
Empirical Approaches to the Application of Mathematical Techniques in Health Technologies [PDF]
Mathematical modeling of ageing is built in this paper around research and development activities in cooperation with pharmaceutical companies and hospitals.
Anthony Shannon, Hung Nguyen
doaj
Disordered but rhythmic—the role of intrinsic protein disorder in eukaryotic circadian timing
Unstructured domains known as intrinsically disordered regions (IDRs) are present in nearly every part of the eukaryotic core circadian oscillator. IDRs enable many diverse inter‐ and intramolecular interactions that support clock function. IDR conformations are highly tunable by post‐translational modifications and environmental conditions, which ...
Emery T. Usher, Jacqueline F. Pelham
wiley +1 more source
Gesture recognition algorithm based on multi‐scale feature fusion in RGB‐D images
With the rapid development of sensor technology and artificial intelligence, the video gesture recognition technology under the background of big data makes human‐computer interaction more natural and flexible, bringing richer interactive experience to ...
Ying Sun +6 more
doaj +1 more source
The role of histone modifications in transcription regulation upon DNA damage
This review discusses the critical role of histone modifications in regulating gene expression during the DNA damage response (DDR). By modulating chromatin structure and recruiting repair factors, these post‐translational modifications fine‐tune transcriptional programmes to maintain genomic stability.
Angelina Job Kolady, Siyao Wang
wiley +1 more source
Neural circuits can be reconstructed from brain images acquired by serial section electron microscopy. Image analysis has been performed by manual labor for half a century, and efforts at automation date back almost as far.
Lee, Kisuk +5 more
core +1 more source
Enhancing the top signal at Tevatron using Neural Nets [PDF]
We show that Neural Nets can be useful for top analysis at Tevatron. The main features of $t\bar t$ and background events on a mixed sample are projected in a single output, which controls the efficiency and purity of the $t\bar t$ signal.Comment: 11 ...
A. Bean +29 more
core +3 more sources

