Results 21 to 30 of about 33,016 (268)
Dual-Axis Solar Tracking Technique Combining MPC, PID, and ANN Control with Dynamic Controller Selection [PDF]
Journal of Renewable Energy and EnvironmentAccurate sunlight tracking is essential for maximizing photovoltaic power generation. However, conventional tracking systems based on proportional-integral-derivative (PID) and model predictive control (MPC) face significant challenges.
Abdellatif Tahtah, Zoubir Zahzouh
doaj +1 more source
Dependence and Independence [PDF]
Studia Logica, 2013 We introduce an atomic formula intuitively saying that given variables are independent from given other variables if a third set of variables is kept constant. We contrast this with dependence logic. We show that our independence atom gives rise to a natural logic capable of formalizing basic intuitions about independence and dependence.
Erich Grädel, Jouko A. Väänänen
openaire +6 more sources
An Approach to Model Based Testing of Multiagent Systems
The Scientific World Journal, 2015 Autonomous agents perform on behalf of the user to achieve defined goals or objectives. They are situated in dynamic environment and are able to operate autonomously to achieve their goals.
Shafiq Ur Rehman, Aamer Nadeem
doaj +1 more source
Sensors, 2020 In critical industrial monitoring and control applications, dependability evaluation will be usually required. For wireless sensor networks deployed in industrial plants, dependability evaluation can provide valuable information, enabling proper ...
Thiago C. Jesus +3 more
doaj +1 more source
A Dependent Dependency Calculus (Extended Version)
CoRR, 2022 Over twenty years ago, Abadi et al. established the Dependency Core Calculus (DCC) as a general purpose framework for analyzing dependency in typed programming languages. Since then, dependency analysis has shown many practical benefits to language design: its results can help users and compilers enforce security constraints, eliminate dead code, among
Pritam Choudhury +2 more
openaire +2 more sources
IEEE Access, 2019 This paper focuses on the digital image authentication and forgery localization using demosaicing artifacts. The aim is to build an algorithm allowing a bridge between the color filter array pattern and demosaicing algorithm estimation, and the ...
Nhan Le, Florent Retraint
doaj +1 more source
Notre Dame Journal of Formal Logic, 2019 22 pages; v.2: corrected a small issue in the published version of the paper, in the proof of (3) implies (2) of Theorem 5 ...
Artem Chernikov +2 more
openaire +6 more sources
Dependence, independence or inter-dependence? Revisiting the concepts of ‘care’ and ‘dependency’ [PDF]
Ageing and Society, 2005 Research and theory on ‘dependency’ and ‘care-giving’ have to date proceeded along largely separate lines, with little sense that they are exploring and explaining different aspects of the same phenomenon. Research on ‘care’, initially linked to feminism during the early 1980s, has revealed and exposed to public gaze what was hitherto assumed to be a ...
Fine, M, Glendinning, C
openaire +2 more sources
Applied and Computational MechanicsBevel gears play a crucial role in mechanical systems, particularly in power transmission applications where changes in shaft orientation are required. Early fault detection and diagnosis in gearboxes are essential for ensuring operational efficiency and
Lakikza A. +5 more
doaj +1 more source
Cobalamin-dependent and cobamide-dependent methyltransferases [PDF]
Current Opinion in Structural Biology, 2008 Methyltransferases that employ cobalamin cofactors, or their analogs the cobamides, as intermediates in catalysis of methyl transfer play vital roles in energy generation in anaerobic unicellular organisms. In a broader range of organisms they are involved in the conversion of homocysteine to methionine.
Rowena G, Matthews +2 more
openaire +2 more sources