Miracle-dz/UniFAR-FTUs huggingface dataset:
Antioxidant Potential of Spirulina platensis Mitigates Oxidative Stress and Reprotoxicity Induced by Sodium Arsenite in Male Rats

The present study aimed to examine the protective role of Spirulina platensis (S. platensis) against arsenic-induced testicular oxidative damage in rats. Arsenic (in the form of NaAsO2 at a dose of 6.3 mg/kg body weight for 8 weeks) caused a significant accumulation of arsenic in testicular tissues as well as a decrease in the levels of testicular superoxide dismutase (SOD), catalase (CAT), reduced glutathione, and zinc. Moreover, it significantly decreased plasma testosterone, luteinizing hormone (LH), triiodothyronine (T3), and thyroxine (T4) levels and reduced sperm motility and sperm count. Arsenic (AS) led to a significant increase in testicular malondialdehyde (MDA), tumour necrosis factor alpha (TNF-α), nitric oxide (NO), and sperm abnormalities. S. platensis at a dose of 300 mg/kg was found to attenuate As-induced oxidative stress, testicular damage, and sperm abnormalities by its potent antioxidant activity. S. platensis may represent a potential therapeutic option to protect the testicular tissue from arsenic intoxication.
Factor Structure and Validation of the Controlling Behaviors Scale–Revised and Revised Conflict Tactics Scale

Recently, more attention is being paid to controlling behaviors within a continuum of intimate partner violence and abuse. However, it is unclear whether current scales are sufficiently valid to measure such behaviors. The current study assessed the factor structure and reliability of the revised Controlling Behaviors Scale (CBS-R) and the revised Conflict Tactics Scale (CTS2). Data were gathered from a U.K. general population sample (N = 405). Confirmatory factor analyses were carried out on the CTS2 and the CBS-R, for both perpetration and victimization items, using the weighted least squares estimation with mean adjustment method. Multiple factor models were confirmed in the analysis of the CBS-R and CTS2 for perpetration and victimization items. Reliabilities for the factors were satisfactory across both scales. This is the first validation of the factor structure of the CBS-R and the findings suggests that this a valid and reliable scale for measuring controlling behaviors.
Evolution of the Extraglottic Airway: A Review of Its History, Applications, and Practical Tips for Success

The development of the laryngeal mask airway in 1981 was an important first step toward widespread use and acceptance of the extraglottic airway (EGA). The term extraglottic is used in this review to encompass those airways that do not violate the larynx, in addition to those with a supraglottic position. Although the term extraglottic may be broad and include airways such as tracheostomy tubes, the term supraglottic does not describe a large number of devices with subglottic components and is too narrow for a discussion of modern devices. EGAs have flourished in practice, and now a wide variety of devices are available for an ever-expanding array of applications. In this review we attempt to clarify the current state of EGA devices new and old, and to illustrate their use in numerous settings. Particular attention is paid to the use of EGAs in special situations such as obstetric, pediatric, prehospital, and nontraditional “out of the operating room” settings. The role of the EGA in difficult airway management is discussed. EGA devices have saved countless lives because they facilitate ventilation when facemask ventilation and tracheal intubation were not possible. Traditionally, difficult airway management focused on successful tracheal intubation. The EGA has allowed a paradigm shift, changing the emphasis of difficult airway management from tracheal intubation to ventilation and oxygenation. EGA devices have proved to be useful adjuncts to tracheal intubation; in particular, the combination of EGA devices and fiberoptic guidance is a powerful technique for difficult airway management. Despite their utility, EGAs do have disadvantages. For example, they typically do not provide the same protection from pulmonary aspiration of regurgitated gastric material as a cuffed tracheal tube. The risk of aspiration of gastric contents persists despite advances in EGA design that have sought to address the issue. The association between excessive EGA cuff pressure and potential morbidity is becoming increasingly recognized. The widespread success and adoption of the EGA into clinical practice has revolutionized airway management and anesthetic care. Although the role of EGAs is well established, the user must know each device's particular strengths and limitations and understand that limited data are available for guidance until a new device has been well studied.
Impact of the power of the steering directions on the asymptotic capacity of MIMO channels

In this contribution, the double directional model derived within the maximum entropy framework in M. Debbah and R. Muller (2003) is studied. For a given power profile, an asymptotic analysis (in the number of antennas) is conducted on the achievable transmission limit using tools of random matrix theory. It is shown in particular that the optimal throughput is achieved when the scatterers have equally distributed powers. For special cases, the mutual information is proven to be asymptotically Gaussian.
Watch Traffic in the Sky: A Method for Path Selection in Packet Transmission between V2V from Macro Perspective

Vehicle-to-Vehicle (V2V) communication is a vital component of vehicular ad-hoc networks (VANET) under the situation that infrastructure for vehicle-to-infrastructure (V2I) has not been well deployed due to its cost and suffering. However, messages transmission path is so challenge to be found without infrastructures supporting that packets are inevitably spread in a sparsely or competitive area, in which they should avoid being trapped because of its poor communication links between vehicles, which eventually lowers down the performance of messages propagation. In this paper, we analyze the relationship between vehicular geographical distribution and packets propagation of VANET in a realistic large-scale urban scenario. It is demonstrated that, from a macro perspective, we could guide the path selection of data propagation between source and destination through V2V communication on the basis of the feature of vehicle density in different geographic locations. Furthermore, to be further close to the actual traffic environment, we model the vehicular geographical distribution by four typical real scenes to present the real environment and develop appropriate messages propagation strategies respectively.
Semantically Enriched e-Business Standards Development: The Case of ebXML Business Process Specification Schema

An e-Business standard is a technical specification that provides a shared understanding and agreement on the shared information and data among trading partners. Standards are usually developed in a standards development organisation, where a guideline for the process of developing standards is provided. However, these guidelines are mainly concerned with the administrative aspect of the standardisation process, and there is a lack of practical technological support for developing the content of a standard specification. This chapter reviews the characteristics of e-Business standards and their development process and presents OntoStanD, a novel, comprehensive, ontology-based collaborative standards development methodology. OntoStanD is then applied on ebXML business process specification schema to demonstrate the application of OntoStanD.
UvA-DARE (Digital Academic Repository) Teacher educators' competences in fostering student teachers’ proficiency in teaching and learning with technology: An overview of relevant research literature Uerz,

Teacher educators play an important role in preparing student teachers to integrate technology into their classrooms. This article presents an overview of research literature on teacher educators' competences in preparing their students to teach with technology. A literature search yielded 26 relevant research articles. Four domains of competence were identified: technology competences, competences for pedagogical and educational technology use, beliefs about teaching and learning and competences in professional learning. The literature focuses on teacher educators’ competences in using technology for teaching. Research on the competences that teacher educators need and have as second-order teachers is lacking. Recommendations for future research are discussed. © 2017 Elsevier Ltd. All rights reserved.
Sampled-Data Modeling and Analysis of the Power Stage of PWM DC-DC Converters

heterogeneous and dynamic problems of engineering technology and systems for industry and government. ISR is a permanent institute of the University of Maryland, within the Glenn L. Martin Institute of Technology/A. James Clark School of Engineering. It is a National Science Foundation Engineering Research Center. Web site http://www.isr. umd.edu I R INSTITUTE FOR SYSTEMS RESEARCH TECHNICAL RESEARCH REPORT
' s personal copy EEG and ECG from 5 to 10 months of age : Developmental changes in baseline activation and cognitive processing during a working memory task

In most cases authors are permitted to post their version of the article (e.g. in Word or Tex form) to their personal website or institutional repository. Authors requiring further information regarding Elsevier's archiving and manuscript policies are encouraged to visit: a b s t r a c t a r t i c l e i n f o Keywords: Infants Working memory EEG power EEG coherence Heart rate A-not-B task We recorded electroencephalogram (EEG) and electrocardiogram (ECG) from 20 infants monthly between 5 and 10 months of age during baseline and during performance on the looking A-not-B task of infant working memory. Analyses of baseline data showed age-related increases in EEG power (medial frontal, central, temporal, medial parietal, lateral parietal, and occipital electrode sites) and coherence (frontal pole–medial frontal, medial frontal–lateral frontal, medial frontal–medial parietal, and medial frontal–occipital electrode pairs), and decreases in heart rate (HR). Patterns of age-related change were similar for EEG power, EEG coherence, and HR. Analyses of task data relative to baseline revealed task-related increases in EEG power (all electrode sites), but no task-related changes in EEG coherence (medial frontal pairings) and HR. There was some evidence of localized task-related changes in EEG power by 10 months of age. These data highlight age-related changes in EEG and ECG, as well as the functional significance of these psychophysiological measures during baseline and during cognitive processing in the first year. Over the past 25 years, the use of psychophysiological measures in infancy research has become more prevalent. Our understanding of a variety of developmental constructs (e.g., attention, emotion regulation , temperament, and memory) has been enhanced by the inclusion of both psychophysiological and behavioral measures (e. The electrocardiogram (ECG) and the electroencephalogram (EEG) are two of the most preferred psycho-physiological measures for use with awake, non-sedated infants because these measures are noninvasive and relatively resistant to motor artifacts (Casey and de Haan, 2002; Reynolds and Richards, 2008). Although there is some literature about the developmental course of EEG and ECG during infancy, there is no study of both measures in the same participants across intensive month-to-month observations. As each of these measures demonstrates a great deal of change in baseline (i.e., a quiet attentive state; " resting " activation) recordings across the first year, information regarding the specific developmental patterns of EEG and ECG during baseline would inform the developmental psychophysiology literature. Furthermore, examination of the developmental …
Recovery of Encryption Keys from Memory Using a Linear Scan

As encrypted containers are encountered more frequently the need for live imaging is likely to increase. However, an acquired live image of an open encrypted file system cannot later be verified against any original evidence, since when the power is removed the decrypted contents are no longer accessible. This paper shows that if a memory image is also obtained at the same time as the live container image, by the design of on-the-fly encryption, decryption keys can be recovered from the memory dump. These keys can then be used offline to gain access to the encrypted container file, facilitating standard, repeatable, forensic file system analysis. The recovery method uses a linear scan of memory to generate trial keys from all possible memory positions to decrypt the container. The effectiveness of this approach is demonstrated by recovering TrueCrypt decryption keys from a memory dump of a Windows XP system.
PET/CT/MRI image fusion based on mobile robot

A novel robot-assisted PET/CT/MRI image fusion method is presented. The robot carries the patient from one device to another automatically, securely and precisely. The images obtained in each device are fused by the robot position transformational matrix. First, a 4WD and 4WS mobile robot is introduced. Second, the general kinematics model of the 4WD and 4WS mobile robot is presented. Several special modes are simplified from the general model, Such as ZRT mode, navigation mode and so on. Third, the process of PET/MRI image fusion based on transformational matrix is presented, and the matrix are calculated by the sensors message. At last several clinical trial of this system is introduced. The comparison result between the result of robot-assisted PET/MRI image fusion and the result of combined machine is presented. The method of the robot-assisted PET/MRI image fusion can make the process of image fusion more automatically, securely and precisely.
Four converging measures of temporal discounting and their relationships with intelligence, executive functions, thinking dispositions, and behavioral outcomes

Temporal discounting is the tendency to devalue temporally distant rewards. Past studies have examined the k-value, the indifference point, and the area under the curve as dependent measures on this task. The current study included these three measures and a fourth measure, called the interest rate total score, which differentiated good from poor choices. The interest rate total score was based on scoring only those items in which the delayed choice should be preferred given the expected return based on simple interest rates. In addition, associations with several individual difference measures were examined including intelligence, executive functions (inhibition, working memory, and set-shifting), thinking dispositions [Need for Cognition and Consideration of Future Consequences (CFCs)] and engagement in substance use and gambling behavior. A staircase temporal discounting task was examined in a sample of 99 university students. Replicating previous studies, temporal discounting increased with longer delays to reward and decreased with higher reward magnitudes. A hyperbolic function accounted for more variance in temporal discounting than an exponential function. Reaction time at the indifference point was significantly longer than at the other choice points. The four dependent measures of temporal discounting were all significantly correlated and were also significantly associated with our individual difference measures. That is, the tendency to wait for a larger delayed reward on all of the temporal discounting measures was associated with higher intelligence, higher executive functions, and more CFCs. Associations between our measures of temporal discounting and outcomes related to substance use and gambling behavior were modest in our university sample.
A Reliable Multicast Framework for Lightweight Sessions and Application Level Framing. in Proceedings Packet Size, Bytes Single Source Three Sources 8.1 Interoperation with Multicast Ip 8.2 Measurements

20 provide the lowest latency and do not require host adapter buuer allocation. However, they require various degrees of complexity in crossbar switch implementation, in order to process source multicast addresses and prevent new types of deadlocks caused by the simultaneous use of multiple paths. None of the proposed schemes can be directly implemented in Myrinet. However, some of the schemes (in particular broadcasting) deserve further investigation in terms of complexity vs. performance tradeoos. The host adapter based solutions are more amenable to implementation in existing systems, since they mostly require software modiications/expansions. Again, the challenge here is to prevent deadlocks (in this case, buuer deadlocks). We have proposed two solutions | the Hamiltonian and the Tree | which are actually closely related. The Hamiltonian ooers lower latency in light loads (by virtue of cut-through at each node), while at heavier loads it degrades to store and forwarding routing. At heavy loads, the Tree scheme provides lower latency than the Hamiltonian (in spite of reassembly at each interface) because of parallelism. Both schemes support the total ordering option. Preliminary experiments (both simulation and measurements) have been carried out to evaluate some of the proposed host adapter schemes. Via simulation, we have connrmed the latency advantage of the tree over the Hamiltonian, in the store and forward case (i.e. no cut-through). A very simple experiment has shown the performance of the Hamiltonian implementation on two Myrinet switches and three hosts. Work is in progress in evaluating (via simulation) the actual contention for buuers (and the probability of deadlocks) in various load and traac pattern conditions. When the probability of deadlocks is not very signiicant, and the application tolerates it, it may be possible to use less reliable multicast schemes which have a (low) probability of dropping messages, but are much simpler to implement and are much less demanding of network resources. In fact, in some situations it may be more cost eeective to relax altogether reliability in network level multicasting (i.e. in the switch or in the host interface) and enforce it at the transport level, using techniques such as the request/repair algorithm reported in FJM + 95]. A gigabit-per-second local-area network. IEEE Micro, 15(1), February 1995. BtL94] R. Bagrodia and Wen toh Liao. Maisie: A language for design of eecient discrete-event simulations. Figure 13: Measured throughput (per source) for a Hamiltonian circuit of three hosts the kernel and passes packets …
MRI contrast from relaxation along a fictitious field (RAFF)

A new method to measure rotating frame relaxation and to create contrast for MRI is introduced. The technique exploits relaxation along a fictitious field (RAFF) generated by amplitude‐ and frequency‐modulated irradiation in a subadiabatic condition. Here, RAFF is demonstrated using a radiofrequency pulse based on sine and cosine amplitude and frequency modulations of equal amplitudes, which gives rise to a stationary fictitious magnetic field in a doubly rotating frame. According to dipolar relaxation theory, the RAFF relaxation time constant (TRAFF) was found to differ from laboratory frame relaxation times (T1 and T2) and rotating frame relaxation times (T1ρ and T2ρ). This prediction was supported by experimental results obtained from human brain in vivo and three different solutions. Results from relaxation mapping in human brain demonstrated the ability to create MRI contrast based on RAFF. The value of TRAFF was found to be insensitive to the initial orientation of the magnetization vector. In the RAFF method, the useful bandwidth did not decrease as the train length increased. Finally, as compared with an adiabatic pulse train of equal duration, RAFF required less radiofrequency power and therefore can be more readily used for rotating frame relaxation studies in humans. Magn Reson Med, 2010. © 2010 Wiley‐Liss, Inc.
Strong Interference and Spectrum Warfare

We consider a wireless system with multiple userbase pairs randomly distributed in some region, in which users try to greedily optimize their performance without any exchange of information between bases, and for which a fixed point is reached. This is a Nash equilibrium point for the system and corresponds to a simultaneous water filling solution. In this paper we focus on systems with strong interference for which the simultaneous water filling solution implies not an unique fixed point but a set of fixed points, among which the information theoretic capacities of users vary widely. We propose a dynamic game to move the system from a possible suboptimal point to a better simultaneous water filling fixed point, eventually to the optimal point.
PimVis: Exploring and Re-finding Documents in Cross-Media Information Spaces

Over the last decade, we have witnessed an emergence of Personal Information Management (PIM) solutions. Despite the fact that paper documents still form a significant part of our daily working activities, existing PIM systems usually support the organisation and re-finding of digital documents only. While physical document tracking solutions such as RFID- or computer vision-based systems are recently gaining some attention, they usually focus on the paper document tracking and offer limited support for re-finding activities. We present PimVis, a solution for exploring and re-finding digital and paper documents in so-called cross-media information spaces. The PimVis user interface enables a unified organisation of digital and paper documents through the creation of bidirectional links between the digital and physical information space. The presented personal cross-media information management solution further supports the extension with alternative document tracking techniques as well as augmented reality solutions. A formative PimVis evaluation revealed the high potential of fully integrated cross-media PIM solutions.
Rely-Guarantee View Typestate

The combination of mutable state and pointer aliasing is often troublesome due to non-obvious (and usually unspecified) interferences that may occur between non-local parts of the program. We present a type-based approach to statically control aliasing and mutable state in a minimalistic single-threaded procedural language with support for structures and references. By introducing views, re-combinable typestate-centric abstractions that encode both type structure and permission, we are able to handle shared and unique references in a way that statically ensures that no destructive interferences may occur during execution. We furthermore provide novel information hiding mechanisms, view declarations and view equations, that modularly define abstract constraints describing how these views can be split/merged to manage a program’s permission flow. We adapt the concept of rely-guarantee to create a flexible scheme for handling shared structures where each reference guarantees it will produce a certain state and relies on the other references limiting their changes to a certain state space. Similarly, by means of a focus operation, we are able to have intermediate (but not externally visible) states that temporarily break away from the guaranteed condition, allowing additional flexibility without violating safety. By unifying state and aliasing control into a single abstraction, view typestate, we believe we can provide a simpler and more intuitive programming model that captures the main effects of stateful computations in a single-threaded environment.