Results 61 to 70 of about 9,061,188 (344)
Inner approximation algorithm for generalized linear multiplicative programming problems
Journal of Inequalities and Applications, 2018 An efficient inner approximation algorithm is presented for solving the generalized linear multiplicative programming problem with generalized linear multiplicative constraints.
Yingfeng Zhao, Juanjuan Yang
doaj +1 more source
Autophagy in cancer and protein conformational disorders
FEBS Letters, EarlyView.Autophagy plays a crucial role in numerous biological processes, including protein and organelle quality control, development, immunity, and metabolism. Hence, dysregulation or mutations in autophagy‐related genes have been implicated in a wide range of human diseases.
Sergio Attanasio
wiley +1 more source
DDPG-Based Convex Programming Algorithm for the Midcourse Guidance Trajectory of Interceptor
AerospaceTo address the problem of low accuracy and efficiency in trajectory planning algorithms for interceptors facing multiple constraints during the midcourse guidance phase, an improved trajectory convex programming method based on the lateral distance ...
Wan-Li Li +4 more
doaj +1 more source
Meta-programming for cross-domain tensor optimizations [PDF]
Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018 Many modern application domains crucially rely on tensor operations. The optimization of programs that operate on tensors poses difficulties that are not adequately addressed by existing languages and tools. Frameworks such as TensorFlow offer good abstractions for tensor operations, but target a specific domain, i.e.
Susungi, Adilla +4 more
openaire +3 more sources
Evolutionary interplay between viruses and R‐loops
FEBS Letters, EarlyView.Viruses interact with specialized nucleic acid structures called R‐loops to influence host transcription, epigenetic states, latency, and immune evasion. This Perspective examines the roles of R‐loops in viral replication, integration, and silencing, and how viruses co‐opt or avoid these structures.
Zsolt Karányi +4 more
wiley +1 more source
NUST Journal of Engineering Sciences, 2008 Automated synthesis refers to design of physical systems using any of the models proposed for machine intelligence like evolutionary computation, neural networks and fuzzy logic.
Saheeb Ahmed Kayani, Afzaal M. Malik
doaj +1 more source
Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 We present the approach underlying a course on "Domain-Specific Languages of Mathematics", currently being developed at Chalmers in response to difficulties faced by third-year students in learning and applying classical mathematics (mainly real and ...
Cezar Ionescu, Patrik Jansson
doaj +1 more source
Disruption of SETD3‐mediated histidine‐73 methylation by the BWCFF‐associated β‐actin G74S mutation
FEBS Letters, EarlyView.The β‐actin G74S mutation causes altered interaction of actin with SETD3, reducing histidine‐73 methylation efficiency and forming two distinct actin variants. The variable ratio of these variants across cell types and developmental stages contributes to tissue‐specific phenotypical changes. This imbalance may impair actin dynamics and mechanosensitive
Anja Marquardt +8 more
wiley +1 more source
Foundations of Total Functional Data-Flow Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 The field of declarative stream programming (discrete time, clocked synchronous, modular, data-centric) is divided between the data-flow graph paradigm favored by domain experts, and the functional reactive paradigm favored by academics.
Baltasar Trancón y Widemann +1 more
doaj +1 more source
Optimality in Goal-Dependent Analysis of Sharing
, 2009 We face the problems of correctness, optimality and precision for the static analysis of logic programs, using the theory of abstract interpretation.
Amato +16 more
core +1 more source