Results 1 to 10 of about 922,264 (259)
Frontiers in Pharmacology, 2023 Prostaglandin E2 (PGE2) is an inflammatory mediator synthesized by the brain constitutive cyclooxygenase enzyme. PGE2 binds to G protein-coupled EP1-4 receptors (EP1 to Gq, EP2,4 to Gs, and EP3 to Gi/o).
Amaia Nazabal +2 more
doaj +1 more source
Preparing Excitable Cardiac Papillary Muscle and Cardiac Slices for Functional Analyses
Frontiers in Physiology, 2022 While the reductionist approach has been fruitful in understanding the molecular basis of muscle function, intact excitable muscle preparations are still important as experimental model systems.
Bradley M. Palmer, Stephen P. Bell
doaj +1 more source
Dynamic Learning Framework for Smooth-Aided Machine-Learning-Based Backbone Traffic Forecasts
Sensors, 2022 Recently, there has been an increasing need for new applications and services such as big data, blockchains, vehicle-to-everything (V2X), the Internet of things, 5G, and beyond.
Mohamed Khalafalla Hassan +7 more
doaj +1 more source
Sensors, 2021 Plant leaf 3D architecture changes during growth and shows sensitive response to environmental stresses. In recent years, acquisition and segmentation methods of leaf point cloud developed rapidly, but 3D modelling leaf point clouds has not gained much ...
Wenchao Wu, Yongguang Hu, Yongzong Lu
doaj +1 more source
Frontiers in Pharmacology, 2023 The pharmacological profile of cannabigerol (CBG), which acid form constitutes the main precursor of the most abundant cannabinoids, has been scarcely studied. It has been reported to target α2-adrenoceptor and 5-HT1A receptor.
Aitziber Mendiguren +5 more
doaj +1 more source
Frontiers in Pharmacology, 2022 Cannabidiol (CBD), the main non-psychoactive cannabinoid found in the cannabis plant, elicits several pharmacological effects via the 5-HT1A receptor. The dorsal raphe nucleus (DRN) is the main serotonergic cluster in the brain that expresses the 5-HT1A ...
Aitziber Mendiguren +4 more
doaj +1 more source
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014 This paper defines a new variant of program slicing, called specialization slicing , and presents an algorithm for the specialization-slicing problem that creates an optimal output slice. An algorithm for specialization slicing is polyvariant : for a given procedure р, the algorithm may ...
Min Aung +3 more
openaire +1 more source
Assertion-based slicing and slice graphs [PDF]
Formal Aspects of Computing, 2010 AbstractThis paper revisits the idea of slicing programs based on their axiomatic semantics, rather than using criteria based on control/data dependencies. We show how the forward propagation of preconditions and the backward propagation of postconditions can be combined in a new slicing algorithm that is more precise than the existing specification ...
Barros, José Bernardo +3 more
openaire +5 more sources
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011 This material is based upon work supported by the National Science Foundation under award CCF-1116943, and by a Google Faculty Research Award.
Francisco Servant, James A Jones
openaire +2 more sources
Unions of slices are not slices [PDF]
Seventh European Conference onSoftware Maintenance and Reengineering, 2003. Proceedings., 2003 Many approaches to slicing rely upon the 'fact' that the union of two static slices is a valid slice. It is known that static slices constructed using program dependence graph algorithms are valid slices (Reps and Yang, 1988). However, this is not true for other forms of slicing. For example, it has been established that the union of two dynamic slices
DE LUCIA, Andrea +3 more
openaire +3 more sources