Miracle-dz/UniFAR-FTUs huggingface dataset:
DNA Synthesis and Mitoses in Coronary Collateral Vessels of the Dog

DNA synthesis and mitotic activity in coronary collateral arterioles was assessed in dogs at different time intervals after gradual ameroid constriction of the left circumflex coronary artery. Labeling of nuclei and the mitotic index were highest at 3 weeks after implantation of the constrictor and gradually declined thereafter. Labeling persisted for at least 8 weeks but radioactive DNA was not found 12 months after coronary artery constriction nor in controls or animals with sham operations. Proliferative activity was, at any time interval, highest at the level of the smallest diameters of the collateral vessels. Labeled nuclei and mitoses were found in endothelial, medial, and adventitial cells. Myocardial mesenchymal cells also incorporated tritiated thymidine. The data provide evidence that after constriction of a major coronary artery, the coronary collateral vessels enlarge by an active growth process that follows the basic laws of cell kinetics.
A File Repair Scheme for UMTS MBMS Service

The 3rd generation partnership project (3GPP) Technical Specification 23.246 proposed the multimedia broadcast multicast service (MBMS) that efficiently multicasts multimedia content. During MBMS content transmission, data may be lost. Three file repair schemes were proposed to retransmit the corrupted MBMS data. However, these schemes may introduce extra data traffic or signaling overheads. This paper proposes the Reuse Bearer Service (RBS) file repair scheme to resolve this issue. We analyze the four file repair schemes by analytical models and simulation experiments. This paper shows that the proposed RBS scheme may significantly outperform the previously proposed schemes.
Vasilescu-Martinelli formula for operators in Banach spaces

We prove a formula for the Taylor functional calculus for functions analytic in a neighbourhood of the splitting spectrum of an n–tuple of commuting Banach space operators. This generalizes the formula of Vasilescu for Hilbert space operators and is closely related with a recent result of D. W. Albrecht. Let A be an n–tuple of mutually commuting operators in a Banach space X. The existence of the functional calculus for functions analytic in a neighbourhood of the Taylor spectrum is one of the most important results of the spectral theory [4], [5]. The formula giving the calculus, however, is rather inexplicit. Better situation is for commuting Hilbert space operators where an explicit formula was given by Vasilescu [6],[7]. The aim of this paper is to show that for such a formula is essential the equality between the Taylor and the splitting spectra for operators in Hilbert spaces. We generalize the Vasilescu formula for commuting Banach space operators and for functions analytic in a neighbourhood of the splitting spectrum. The results are closely related with the paper of D. W. Albrecht [1]. He proved the Vasilescu formula under the assumption of existence of a certain ”smooth generalized inverse”. We show that a smooth generalized inverse with similar properties exists everywhere in the complement of the splitting spectrum, what enables to construct the calculus. Another difference is that we do not assume the existence of the Taylor functional calculus. Let X,Y be Banach spaces. We say that an operator T : X −→ Y has a generalized inverse if there is an operator S : Y → X such that TST = T and STS = S. We shall use the following easy characterization (see e.g. [2]): Proposition 1. Let X,Y be Banach spaces, let T : X → Y be an operator. The following conditions are equivalent: (1) T has a generalized inverse, (2) There exists an operator S : Y → X such that TST = T , (3) ImT is closed and both kerT and ImT are complemented subspaces of X and Y , respectively. Proof. Clearly (1)⇒ (2). (2)⇒ (1): Let TST = T for some operator S : Y → X. Set S ′ = STS. It is easy to check that TST = T and STS = S. The research was supported by the grant no. 119106 of the Academy of Sciences, Czech Republic 1991 Mathematics Subject Classification 47A60, 47A13 1 (1)⇒ (3): Let TST = T and STS = S. Then TS : Y → Y is a bounded projection and ImT ⊃ ImTS ⊃ ImTST = ImT , so that TS is a projection onto ImT . Similarly ST is a bounded projection with kerST = kerT . (3) ⇒ (1): Let X = kerT ⊕M and let P ∈ B(Y ) be a bounded projection onto ImT . Then T |M : M → ImT is a bijection. Set S = (T |M)P . Then TST = T (T |M)PT = T and STS = (T |M)PT (T |M)P = (T |M)P = S. We repeat now the basic notations of Taylor [4]. Denote by Λ(s) the complex exterior algebra generated by the indeterminates s = (s1, . . . , sn). Then Λ(s) = n
An Overview of Potential Factors for Effective Telemedicine Transfer to Sub-Saharan Africa

This paper gives an overview of core factors mitigating effective transfer of TeleMedicine to Sub-Saharan Africa (SSA) as a capability for improving the extremely poor state of healthcare delivery systems in that region of the world. Using specific examples of TeleMedicine applications, such as in TeleRadiology and health education, the paper highlights the importance of TeleMedicine in SSA. It then presents the salient factors that influence TeleMedicine technology transfer in the form of a conceptual framework. In explaining the framework, the paper offers opinions and supportive arguments on the importance and significance of the identified factors in effective TeleMedicine ldquouptakerdquo within the SSA. We believe the framework provides a grounded theoretical basis that information and communications technologies (ICT) or technology transfer researchers can use for empirical investigation in order to understand the efficacy of TeleMedicine adoption within developing countries at large.
Discrete Tomography: Determination of Finite Sets by X-Rays

We study the determination of finite subsets of the integer lattice En, n > 2, by X-rays. In this context, an X-ray of a set in a direction u gives the number of points in the set on each line parallel to u. For practical reasons, only X-rays in lattice directions, that is, directions parallel to a nonzero vector in the lattice, are permitted. By combining methods from algebraic number theory and convexity, we prove that there are four prescribed lattice directions such that convex subsets of En (i.e., finite subsets F with F = En n conv F) are determined, among all such sets, by their X-rays in these directions. We also show that three X-rays do not suffice for this purpose. This answers a question of Larry Shepp, and yields a stability result related to Hammer's X-ray problem. We further show that any set of seven prescribed mutually nonparallel lattice directions in 22 have the property that convex subsets of 22 are determined, among all such sets, by their X-rays in these directions. We also consider the use of orthogonal projections in the interactive technique of successive determination, in which the information from previous projections can be used in deciding the direction for the next projection. We obtain results for finite subsets of the integer lattice and also for arbitrary finite subsets of Euclidean space which are the best possible with respect to the numbers of projections used.
On Motion and Force Controllability of Precision Grasps with Hands Actuated by Soft Synergies

To adapt to many different objects and tasks, hands are very complex systems with many degrees of freedom (DoFs), sensors, and actuators. In robotics, such complexity comes at the cost of size and weight of the hardware of devices, but it strongly affects also the ease of their programming. A possible approach to simplification consists in coupling some of the DOFs, thus affording a reduction of the number of effective inputs, and eventually leading to more efficient, simpler, and reliable designs. Such coupling can be at the software level, to achieve faster, more intuitive programmability or at the hardware level, through either rigid or compliant physical couplings between joints. Physical coupling between actuators and simplification of control through the reduction of independent inputs is also an often-reported interpretation of human hand movement data, where studies have demonstrated that few “postural synergies” explain most of the variance in hand configurations used to grasp different objects. Together with beneficial simplifications, the reduction of the number of independent inputs to a few coupled motions or “synergies” has also an impact on the ability of the hand to dexterously control grasp forces and in-hand manipulation. This paper aims to develop tools that establish how many synergies should be involved in a grasp to guarantee stability and efficiency, depending on the task and on the hand embodiment. Through the analysis of a quasi-static model, grasp structural properties related to contact force and object motion controllability are defined. Different compliant sources are considered, for a generalization of the discussion. In particular, a compliant model for synergies assumed, referred to as “soft synergies,” is discussed. The controllable internal forces and motions of the grasped object are related to the actuated inputs. This paper investigates to what extent a hand with many joints can exploit postural synergies to control force and motion of the grasped object.
Beneficial psychological effects of a probiotic formulation (Lactobacillus helveticus R0052 and Bifidobacterium longum R0175) in healthy human volunteers

In a recent clinical study, we demonstrated in the general population that Lactobacillus helveticus R0052 and Bifidobacterium longum R0175 (PF) taken in combination for 30 days decreased the global scores of hospital anxiety and depression scale (HADs), and the global severity index of the Hopkins symptoms checklist (HSCL-90), due to the decrease of the sub-scores of somatization, depression and anger-hostility spheres. Therefore, oral intake of PF showed beneficial effects on anxiety and depression related behaviors in human volunteers. From there, it is interesting to focus on the role of this probiotic formulation in the subjects with the lowest urinary free cortisol levels at baseline. This addendum presents a secondary analyse of the effects of PF in a sub-population of 25 subjects with urinary free cortisol (UFC) levels less than 50 ng/ml at baseline, on psychological distress based on the percentage of change of the perceived stress scale (PSs), the HADs and the HSCL-90 scores between baseline and follow-up. The data show that PF improves the same scores as in the general population (the HADs global score, the global severity index of the HSCL-90 and three of its sub-scores, i.e. somatization, depression and anger-hostility), as well as the PSs score and three other sub-scores of the HSCL-90, i.e. "obsessive compulsive", "anxiety", and "paranoid-ideation". Moreover, in the HSCL-90, the score of the Factor 1, related to anxiety and depression, is significantly improved over time in PF-treated subjects compared with controls. Additional preclinical data showed that PF formulation does not induce side effects such as addiction or learning and memory impairments, and therefore displays a good safety profile. Complementary hypothetical mechanisms of action are proposed to explain the functioning of the brain-gut axis, particularly the relationship between probiotics and stress-related psychopathologies, such as anxiety and depression.
Optimal design of an overlapped ultrasonic sensor ring using a new composite design index

This paper presents the optimal design of an overlapped ultrasonic sensor ring for high performance obstacle detection, using a new composite design index. Due to the beam overlap among adjacent ultrasonic sensors, the obstacle detection zone of each ultrasonic sensor can be divided into three smaller sub-zones. To improve the performance in obstacle detection, the state of beam overlap of an overlapped ultrasonic sensor ring can be optimized. First, considering obstacle detection range and efficient beam overlap, the geometrical constraints imposed on an overlapped ultrasonic sensor ring are described. Second, based on the positional uncertainty in obstacle detection and the entire range of obstacle detection, a new composite design index is proposed. Third, using the proposed design index, the optimal design parameters of an overlapped ultrasonic sensor ring for obstacle detection are determined.
Optimization Algorithm with Kernel PCA to Support Vector Machines for Time Series Prediction

As an effective tool in pattern recognition and machine learning, support vector machine (SVM) has been adopted abroad. In developing a successful SVM classifier, eliminating noise and extracting feature are very important. This paper proposes the application of kernel Principal Component Analysis (KPCA) to SVM for feature extraction. Then PSO Algorithm is adopted to optimization of these parameters in SVM. The novel time series analysis model integrates the advantage of wavelet, PSO, KPCA and SVM. Compared with other predictors, this model has greater generality ability and higher accuracy.
CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems

The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to the final stage of the development process, and ii) the number of varying parameters in thesesystems is so high that it would be very hard to conduct thorough testing of all the functionality within a single deployment. Therefore, protocols and applications are often plugged into mobility simulators to test their performance; however, until recently, most of the testing has been conducted with random mobility models which do not mirror reality. Furthermore, despite disconnections playing a veryprominent role in the performance of any opportunistic mobile system, most models do not really account for it. A different approach to testing is the use of real traces of movement collected in specific domains as test cases. These cases, however, do not allow for flexible performance testing, as they are specific for a given scenario withfixed connectivity properties. In this paper we propose the Connectivity Trace Generator (CTG), a tool for the automatic generation of connectivity traces, which takes as input real mobility traces and is able to output a set of traces with similar connectivity properties, which can be used as test cases. This allows developers to investigate the impact of the variation of connectivity patterns, number of hosts, and other parameters on the protocol or application under investigation. We use a real case study (the Dartmouth campus connectivity traces) to show how CTG allows protocol developers to play with some connectivity and density parameters so to best conduct performance testing of different aspects of protocols and applications.
SmartSAR: A Component-Based Hierarchy Software Platform for Automotive Electronics

As the automotive electronic system grows larger and more complex, research on software architecture and development methodology becomes more important. This paper proposes a component-based hierarchical software platform for automotive electronics - SmartSAR, which follows the AUTOSAR specification and provides a series of tools for model-driven development, visual configuration and automatic generation. The case study with SmartAMT, a control system of automated mechanical transmission, has shown the advantage of SmartSAR platform in automotive electronic software design.
Multi-band long-term signal variability features for robust voice activity detection

In this paper, we propose robust features for the problem of voice activity detection (VAD). In particular, we extend the long term signal variability (LTSV) feature to accommodate multiple spectral bands. The motivation of the multi-band approach stems from the non-uniform frequency scale of speech phonemes and noise characteristics. Our analysis shows that the multi-band approach offers advantages over the single band LTSV for voice activity detection. In terms of classification accuracy, we show 0.3%-61.2% relative improvement over the best accuracy of the baselines considered for 7 out 8 different noisy channels. Experimental results, and error analysis, are reported on the DARPA RATS corpora of noisy speech. Index Terms: noisy speech data, voice activity detection, robust feature extraction
A Novel Unified Expression for the Capacity and Bit Error Probability of Wireless Communication Systems over Generalized Fading Channels

Analysis of the average binary error probabilities (ABEP) and average capacity (AC) of wireless communications systems over generalized fading channels have been considered separately in past years. This paper introduces a novel moment generating function (MGF)-based unified expression for the ABEP and AC of single and multiple link communications with maximal ratio combining. In addition, this paper proposes the hyper-Fox's H fading model as a unified fading distribution of a majority of the well-known generalized fading environments. As such, the authors offer a generic unified performance expression that can be easily calculated, and that is applicable to a wide variety of fading scenarios. The mathematical formulism is illustrated with some selected numerical examples that validate the correctness of the authors' newly derived results.
Internet addiction among vocational students in Çanakkale; Example of Biga Vocational School Çanakkale’de meslek yüksekokulu öğrencileri arasında internet bağımlılığı; Biga Meslek Yüksekokulu örneği

Internet addiction is an important problem especially for the younger generation in today's technology. This study is to investigate internet addiction among vocational students in Canakkale. Without using the sample selection, 266 students, who were at school at the time of the study and agreed to participate in the study, were included in the study. The data were collected by using the Form of Socio-Demographic Characteristics and Internet Addiction Test. 68.8% of the students connected to the internet via their mobile phones. 69.6% of them use the internet every day. They connected to the internet for averagely 8.2±7.2 hours. 54.5% of the students were normal internet users, 42.1% were risky internet users and 3.4% were internet addicted. Extended English summary is in the end of Full Text PDF (TURKISH) file . Ozet Internet bagimliligi, gunumuz teknolojisinde ozellikle genc nesil icin onemli bir sorundur. Bu arastirmada Canakkale'de bir meslek yuksekokulu ogrencilerinin internet bagimliligi durumu incelenmistir. Orneklem secimine gidilmeden, arastirmaya katilmayi kabul eden 266 ogrenci calisma kapsamina alinmistir. Arastirma verilerinin toplanmasinda sosyo-demografik ozellikler formu ve internet bagimlilik olcegi kullanilmistir. Ogrencilerin %68,8’i internete cep telefonlarindan baglanmaktadirlar. Ogrencilerin %69,6'sinin interneti her gun kullandigi gorulmektedir. Gunde ortalama 8,2±7,2 saat internet kullanmaktadirlar. Ogrencilerin %54,5'inin normal internet kullanicisi, %42.1'inin riskli internet kullanicisi, %3.4 unun ise bagimli internet kullanicisi oldugu saptanmistir.
Amlodipine releases nitric oxide from canine coronary microvessels: An unexpected mechanism of action of a calcium channel-blocking agent.

To the Editor: In a recent interesting article,1 Zhang and Hintze stated that amlodipine but not nifedipine released nitric oxide from canine coronary microvessels and classified this as an unexpected mechanism of action. However, it should be noted that several years ago, the same phenomenon, ie, direct release of NO, was observed with nitrendipine in small porcine coronary arteries, porcine arteria basilaris, and porcine arteria …
Nonnegative Matrix Factorization applied to reordered pixels of single images based on patches to achieve structured nonnegative dictionaries

Recent improvements in computing allow for the processing and analysis of very large datasets in a variety of fields. Often the analysis requires the creation of low-rank approximations to the datasets leading to efficient storage. This article presents and analyzes a novel approach for creating nonnegative, structured dictionaries using NMF applied to reordered pixels of single, natural images. We reorder the pixels based on patches and present our approach in general. We investigate our approach when using the Singular Value Decomposition (SVD) and Nonnegative Matrix Factorizations (NMF) as low-rank approximations. Peak Signal-to-Noise Ratio (PSNR) and Mean Structural Similarity Index (MSSIM) are used to evaluate the algorithm. We report that while the SVD provides the best reconstructions, its dictionary of vectors lose both the sign structure of the original image and details of localized image content. In contrast, the dictionaries produced using NMF preserves the sign structure of the original image matrix and offer a nonnegative, parts-based dictionary.
Acetylcholine Receptor Muscarinic 1 Modulation at the M Molecular Determinants of Allosteric Signal Transduction

Copyright and reuse: The Nottingham ePrints service makes this work by researchers of the University of Nottingham available open access under the following conditions. A note on versions: The version presented here may differ from the published version or from the version of record. If you wish to cite this item you are advised to consult the publisher's version. Please see the repository url above for details on accessing the published version and note that access may require a subscription.
Online Self-Healing Support for Embedded Systems

In this paper, online system-level self-healing support is presented for embedded systems. Different from off-line log analysis methods used by conventional intrusion detection systems, our research focuses on analyzing runtime kernel data structures hence perform self-diagnosis and self-healing. Inside the infrastructure, self-diagnosis and self-healing solutions have been implemented based on several selected critical kernel data structures. They can fully represent current system status and are also closely related with system resources. At runtime once any system inconsistency has been detected, predefined recovery functions are invoked. Our prototype is developed based on a lightweight virtual machine monitor, above on which the monitored Linux kernel, runtime detection and recovery services run simultaneously. The proposed infrastructure requires few modifications to current Linux kernel source code, thus it can be easily adopted into existing embedded systems. It is also fully software-based without introducing any specific hardware, therefore it is cost-efficient. The evaluation experiment results indicate that our prototype system can correctly detect inconsistent kernel data structures caused by security attacks with acceptable penalty to system performance.