Miracle-dz/UniFAR-FTUs huggingface dataset:
On the stability of internal waves

The extended KdV equation ut + uux + αu2ux + uxxx = 0 is widely used as a model describing internal waves in ideal fluids. The equation admits a family of negative and positive solitary waves Φc. These solitary waves exhibit the typical broadening effect seen in internal waves. It is shown here that all solitary-wave solutions of the extended KdV equation are orbitally stable. The proof of stability is based on the general theory of Grillakis et al (1987 J. Funct. Anal. 74 160) for equations of the form ut = JE′(u) which have two conserved integrals E(u) and V(u). A spectral analysis of the linear operator reduces the question of orbital stability to the question of whether the scalar function d(c) = E(Φc) + cV(Φc) is convex. To prove the stability, an explicit calculation showing the convexity is performed.
Pulmonary hypertension in left heart disease

Pulmonary hypertension (PH) is a frequent complication of left heart disease arising from a wide range of cardiac disorders. In the clinical classification, PH associated with left heart disease is classified as Group 2, which includes left heart systolic dysfunction, left heart diastolic dysfunction and left heart valvular disease. In the past, rheumatic mitral valve disease was the most common cause of PH in left heart disease; however, today it is more likely to be associated with hypertensive and/or ischaemic heart disease. As the incidence of these conditions is increasing, the number of patients presenting with PH is also increasing and, today, left heart disease represents the most frequent cause of PH. The development of PH in patients with left heart disease is associated with poor prognosis. However, despite the increasingly large number of patients affected and the impact of PH on outcome, there are currently no specific treatment options for these patients. This review gives an overview of the pathophysiology and epidemiology of PH associated with left heart disease, and discusses the challenges associated with its management and treatment.
A Preliminary Investigation of Multi-user Interference Cancellation Techniques at Roadside Unit in Vehicular Networks

In this paper, we investigate multi-user interference cancellation (MUI) schemes for deployment at roadside unit in vehicular ad hoc networks. Generally, MUI schemes can be divided into linear and nonlinear groups. In linear MUI schemes, successive and parallel interference cancellation schemes are widely used. In successive interference cancellation (SIC) schemes, the receiver will detect the user's data on a per user base, and immediately cancel the interference of the detected user for the next detection. On the contrary, parallel interference cancellation (PIC) schemes detect a group of users' data simultaneously, then cancel the interference of all users in the next round of operation. There exists error propagation problem in both successive and parallel interference cancellation schemes. To address the problem, ordered successive interference cancellation scheme has been proposed to improve the bit error rate (BER) performance by the receiver detecting the user with the highest instantaneous signal-to-interference-plus-noise ratio (SINR) and canceling the interference of that user for another continuously. The process repeats until all users' data are detected. Besides, iterative processing techniques are also introduced to further improve the system BER performance. In this paper, we study and compare the interference cancellation schemes for uplink transmission in vehicular ad hoc networks. Simulation results show that the BER performance is much better in ordered successive interference cancellation schemes than both the SIC and PIC schemes, especially in high signal-to-noise ratio regions where the multi-user interference becomes dominant. It is also shown through the study that the ordering procedure can efficiently avoid the error propagation problem in vehicular networks.
Genetics and cell biology of lysophosphatidic acid receptor‐mediated signaling during cortical neurogenesis

Lysophosphatidic acid (LPA) is a small lysophospholipid that signals through G‐protein coupled receptors (GPCRs) to mediate diverse cellular responses. Two LPA receptors, LPA1 and LPA2, show gene expression profiles in mouse embryonic cerebral cortex, suggesting roles for LPA signaling in cerebral cortical development. Here, we review loss‐of‐function and gain‐of‐function models that have been used to examine LPA signaling. Genetic deletion of lpa1 or both lpa1 and lpa2 in mice results in 50–65% neonatal lethality, but not obvious cortical phenotypes in survivors, suggesting that compensatory signaling systems exist for regulating cortical development. A gain‐of‐function model, approached by increasing receptor activation through exogenous delivery of LPA, shows that LPA signaling regulates cerebral cortical growth and anatomy by affecting proliferation, differentiation and cell survival during embryonic development. © 2004 Wiley‐Liss, Inc.
VOLTE deployment scenarios: Perspectives and performance assessments

The LTE “Long Term Evolution” technology was introduced to reduces the DATA network latency, in addition to provide higher data throughput. But the nature of LTE prohibits the transmission of voice related services. VoLTE “Voice over LTE” is a solution to transfer voice packets with special treatment over the LTE network, and get benefits from its low latency and quality of services capabilities to have voice services jointly provided by the EPC “Evolved LTE packet core” and the IMS “IP Multimedia Subsystem”. As VoLTE is a new technology for both network and devices providers, it has some limitations in providing all voice related services over LTE. Network initiated and user initiated USSD “Unstructured Supplementary Service Data” are not supported directly over VoLTE. CSFB “Circuit Switched Fall Back” is a temporary solution used to instruct the VoLTE device to fall back to CS “Circuit Switching” network to receive such USSD, then returning back again to VoLTE after completing the reception of the USSD. If the VoLTE network tried to push a USSD notification to a VoLTE subscriber who is engaged in one or more voice calls “conference call”, the commercial network settings will make that subscriber to release all the LTE bearers to fall back to the CS network which causes the drop of all active calls owned by that VoLTE user, which affects negatively on one of the most important VoLTE QoS “Quality of service” parameters which is service availability. A novel solution will be introduced to overcome such limitations and prevents any active voice call from being dropped when receiving a USSD from the VoLTE network. This will be achieved by using SRVCC “Single Radio Voice Call Continuity” instead of CSFB when receiving USSD while being engaged in a voice call. To verify such novel method, a real pilot VoLTE network is used to get practical traces and measurements to validate that novel solution to achieve such important QoS parameter. The performance of that solution is evaluated by measuring the call drop rate improvements achieved by that novel technique.
Reflections on QuestVis: A Visualization System for an Environmental Sustainability Model

We present lessons learned from the iterative design of QuestVis, a visualization interface for the QUEST environmental sustainability model. The QUEST model predicts the effects of policy choices in the present using scenarios of future outcomes that consist of several hundred indicators. QuestVis treats this information as a high-dimensional dataset, and shows the relationship between input choices and output indicators using linked views and a compact multilevel browser for indicator values. A first prototype also featured an overview of the space of all possible scenarios based on dimensionality reduction, but this representation was deemed to be be inappropriate for a target audience of people unfamiliar with data analysis. A second prototype with a considerably simplified and streamlined interface was created that supported comparison between multiple scenarios using a flexible approach to aggregation. However, QuestVis was not deployed because of a mismatch between the design goals of the project and the true needs of the target user community, who did not need to carry out detailed analysis of the high-dimensional dataset. We discuss this breakdown in the context of a nested model for visualization design and evaluation.
New Section of the JPOR: Subject-Specific Studies

The announcement by the editors Lars Bergman and Lars-Gunnar Lundh that the Journal for Person-Oriented Research (JPOR) will henceforth include a special section for subject-specific studies is a very important initiative. Subject-specific research is closely related to idiographic approaches and to the best of our knowledge there is no other scientific journal which explicitly covers this venerable psychological methodology. Moreover, subjectspecific data analysis enables testing of all key principles underlying person-oriented theory (Molenaar, 2015) and therefore constitutes a powerful component of personoriented methodology. Last but not least, subject-specific methodology and research is quickly gaining in importance within psychological science. Subject-specific methodology is necessary to obtain results that not only apply at the population level, but also at the level of individual subjects (Molenaar, 2004). Subject-specific research is undergoing revolutionary changes because of the application of new (telemetric) measurement devices and the increasing use of intensive longitudinal designs such as ecological momentary assessment. I consider it an honor to be invited as editor of JPOR’s section for subject-specific studies. In that capacity I would like to emphasize that the label “subject-specific” should be interpreted in the widest sense possible. It not only includes traditional idiographic research and single-subject time series analysis, but also intensive longitudinal studies involving time series data of many persons. Reports of studies of all kinds of psychological processes are eligible for publication in this section, ranging from psychophysiological to personality and family processes. Purely methodological papers also are eligible if sufficient attention is given to explaining technical concepts for the general readership of JPOR. In particular, I welcome didactic papers explaining relevant technical concepts associated with subject-specific methodology and analysis, as well as critical discussions of important topics. Reviews of relevant new books also are welcome. It is important that the review process is quick and constructive. That will be my first priority. Authors should receive the review reports within 6 weeks, but preferably earlier. In closing I hope and expect that JPOR will become the leading journal in person-oriented research, including subject-specific approaches as described above. The time is ripe to put the person back in the center of psychological science and JPOR intends to play a leading role in that endeavor. Manuscripts intended for the section on subject-specific studies should be submitted to:
PROBABILISTIC ANALYSIS OF STRONG GROUND MOTION AND TSUNAMI HAZARDS IN SOUTHEAST ASIA

The December 2004 Sumatra-Andaman earthquake emphasized the need for a consistent and comprehensive assessment of tsunami hazard. We have developed a method for Probabilistic Tsunami Hazard Analysis (PTHA) based on the traditional Probabilistic Seismic Hazard Analysis (PSHA) and therefore completely consistent with standard seismic practice. In lieu of attenuation relations, it uses the summation of finite-difference Green's functions that have been pre-computed for individual subfaults, which enables us to rapidly construct scenario tsunami waveforms from an aggregate of subfaults that comprise a single large event. For every fault system, it is then possible to integrate over sets of thousands of events within a certain magnitude range that represents a fully probabilistic distribution. Because of the enclosed nature of ports and harbors, effects of resonance need to be addressed as well, which is why we have extended this method to not only analyze exceedance levels of maximum wave height, but also of spectral amplitudes. As in PSHA, these spectral amplitudes can be matched with the spectral response of harbors, and thus allow a comprehensive probabilistic analysis of tsunami hazard in ports and harbors.
A Survey on Privacy in Mobile Crowd Sensing Task Management

Mobile crowd sensing enables a broad range of novel applications by leveraging mobile devices and smartphone users worldwide. While this paradigm is immensely useful, it involves the collection of detailed information from sensors and their carriers (i.e. participants) during task management processes including sensor recruitment and task distribution. Such information might compromise participant privacy in various regards by identification or disclosure of sensitive attributes – thereby increasing vulnerability and subsequently reducing participation. In this survey, we identify different task management approaches in mobile crowd sensing, and assess the threats to participant privacy when personal information is disclosed. We also outline how privacy mechanisms are utilized in existing sensing applications to address these threats. Finally, we discuss continuing challenges facing participant privacy-preserving approaches during task management.
Rifampicin nanosuspension production using microfluidic device

The aim of this work is to study the rifampicin recrystallization using microfluidic devices. The microfluidic device was produced in glass substrates and the geometry patterned was designed to enhance hydrodynamic flow focusing phenomena. The results showed that is possible to obtain nanoparticles with low polidispersivity. Besides the small size, the original crystalline structure changes resulting in an amorphous structure. These results could improve the Rifampicin dissolution rate, therefore improving the drug bioavailability. These studies are still in progress and other results will be published in the future.
THE ABDUS SALAM INTERNATIONAL CENTRE FOR THEORETICAL PHYSICS BOUNDARY S-MATRIX FOR THE GROSS-NEVEU MODEL

We study the scattering theory for the Gross-Neveu model on the half-line. We find the reflection matrices for the elementary fermions, and by fusion we compute the ones for the twoparticle bound-states, showing that they satisfy non-trivial bootstrap consistency conditions. We also compute more general reflection matrices for the Gross-Neveu model and the nonlinear sigma model, and argue that they correspond to the integrable boundary conditions we identified in our previous paper [? ]. MIRAMARE TRIESTE December 1998 E-mail: ademarti@ens-lyon.fr URA 1325 du CNRS, associee a l'Ecole Normale Superieure de Lyon. E-mail: moriconi@ictp.trieste. it
An Abstraction-Refinement Framework for Multi-Agent Systems

Abstraction is a key technique for reasoning about systems with very large or even infinite state spaces. When a system is composed of reactive components, the interaction between the components is modeled by a multi-player game and verification corresponds to finding winners in the game. We describe an abstraction-refinement framework for multi-player games, with respect to specifications in the alternating mu-calculus (AMC). Our framework is based on abstract alternating transition systems (AATSs). Each agent in an AATS has transitions that over-approximate its power and transitions that under-approximate its power. We define the framework, define a 3-valued semantics for AMC formulas in an AATS, study the model-checking problem, define an abstraction preorder between AATSs, suggest a refinement procedure (in case model checking returns an indefinite answer), and study the completeness of the framework. For the case of predicate abstraction, we show how reasoning can be automated with a theorem prover. Abstractions of multi-player games have been studied in the past. Our main contribution with respect to earlier work is that we study general (rather than only turn-based) ATSs, we add a refinement procedure on top of the model checking procedure, and our abstraction preorder is parameterized by a set of agents
Outdoor vehicle and shadow segmentation by temporal edge density information of adjacent frames

The problem of vehicle detection and segmentation in outdoor scenes is tackled. Vehicle shadows pose problems in vehicle segmentation step. In this paper, it is proposed to employ temporal edge density information as prior knowledge to distinguish moving vehicle from moving shadow and background in a traffic surveillance system. Experimental results showed good moving vehicle segmentation performance. The proposed approach is currently limited to free-flowing traffic scenes.
Motor system contributions to verbal and non-verbal working memory

Working memory (WM) involves the ability to maintain and manipulate information held in mind. Neuroimaging studies have shown that secondary motor areas activate during WM for verbal content (e.g., words or letters), in the absence of primary motor area activation. This activation pattern may reflect an inner speech mechanism supporting online phonological rehearsal. Here, we examined the causal relationship between motor system activity and WM processing by using transcranial magnetic stimulation (TMS) to manipulate motor system activity during WM rehearsal. We tested WM performance for verbalizable (words and pseudowords) and non-verbalizable (Chinese characters) visual information. We predicted that disruption of motor circuits would specifically affect WM processing of verbalizable information. We found that TMS targeting motor cortex slowed response times (RTs) on verbal WM trials with high (pseudoword) vs. low (real word) phonological load. However, non-verbal WM trials were also significantly slowed with motor TMS. WM performance was unaffected by sham stimulation or TMS over visual cortex (VC). Self-reported use of motor strategy predicted the degree of motor stimulation disruption on WM performance. These results provide evidence of the motor system’s contributions to verbal and non-verbal WM processing. We speculate that the motor system supports WM by creating motor traces consistent with the type of information being rehearsed during maintenance.
Ensuring College Student Success Through Mindfulness-Based Classes: Just Breathe

Abstract:In this study, we investigate the experiences of first-year college students with Just BREATHE (JB), an eight-session voluntary mindfulness-based wellness program. We collected qualitative interview data from 26 participants selected as a convenience sample from the larger quantitative study at three points in time: pre-implementation, post-implementation, and one semester to 1 year post-implementation. During the interviews, participants described stressors, coping skills, their perceptions of JB, and changes resulting from the program. The interview data reveal that JB provides college students with coping strategies to combat common stressors and may help address underlying causes of stress. Students described changes in several areas: (a) improved organization and time management, (b) commitment to a healthy lifestyle, (c) improved emotional awareness and relationships, and (d) self-compassion. Our findings suggest that mindfulness programs could be utilized and incorporated into required first-year courses to promote the adaptive, social and emotional skills necessary for effective stress management.
A stereotaxic atlas of the brain of the pigeon (Columba livia)

FOREWORD The problems of evolution rank among mankind's most enduring interests, and it is therefore not surprising that virtually every branch of biology and medicine has ramified in the direction of comparative studies. Although in neurology this search traditionally has been an intensive one, a lack of adequately refined techniques has long held comparative neurology confined largely within the limits of normal anatomical description. The technological scene has changed rapidly over the last few decades, and the contemporary neurologist finds an instrumentarium of unprecedented refinement available: microelectrode recording techniques, sensitive quantitative chemical methods, greatly improved techniques for both normal descriptive and experimental anatomical studies, histochemical and embryological techniques hardly dreamed of by earlier generations of neurobiologists. In the monumental writings of Edinger, the Herricks, Cajal, Ariens Kappers, Huber, Crosby and their colleagues he will find a rich store of anatomical information on the vertebrate brain, but it will not take him long to identify the great problems of interphyletic homology, both in structure and function, that have remained unresolved. Almost certainly, new insights in these problems are in store for all who venture a fresh approach by the aid of modern methods. Brain research over the years has drawn huge profits not only from a progressive refinement of physiological, chemical, and histological techniques. It owes an important part of its success to the development of accurate stereotaxic methods, spatial guides without which only few deep-lying brain structures could have been explored adequately. The appearance of this stereotaxic atlas of the pigeon brain by Drs. Karten and Hodos is therefore a source of promise and expectation. The authors, as the user will find, have succeeded in achieving standards of accuracy that match those of the best atlases used in research on the mammalian brain. Their thorough search of the available literature has extended the value of this work well beyond its primary purpose of being a practical guide in experimental research. It has also become a most useful source of general orientation in the organization of the avian brain. But no matter what its present virtues, one cannot wish this work a better fate than that of future revisions in which the currently widely accepted but unavoidably neutral labels that identify so many structures, especially in the forebrain, can be replaced or augmented by ever more meaningful indications of structure and function. ACKNOWLEDGMENTS The authors wish to gratefully acknowledge the assistance, …
A 37.5-mW 8-dBm-EIRP 15.5$^{\circ}$-HPBW 338-GHz Terahertz Transmitter Using SoP Heterogeneous System Integration

A low-cost terahertz transmitter is proposed by using system-on-package (SoP) heterogeneous system integration. A signal source in 40-nm CMOS is integrated with an antenna array on a Benzocyclobutene carrier through a broadband low-loss terahertz interconnect. The signal source adopting triple-push oscillator topology is able to produce a differential output without any additional balun circuit. Hence, the power consumption and the chip area can be reduced. The antenna array containing 50 patch antennas is differentially excited to give simulated directivity, efficiency, and antenna gain as high as 22.6 dB, 88%, and 22 dBi, respectively, at 335 GHz. The terahertz interconnect employs a resonator coupling technique to provide low-loss and broadband performance while occupying a small area. Measured results show that the proposed terahertz transmitter can work at 338.4 GHz with equivalent isotropically radiated power (EIRP) of 8.0 dBm while consuming only 37.5 mW from a 1-V supply. The measured half-power beam-width can be as narrow as 15.5 °. The EIRP can be further raised to 9.5 dBm as the supply V DD is increased to 1.3 V. The CMOS chip only occupies an area as small as 0.028 mm2. All of the design efforts enable the proposed terahertz transmitter to feature in small form factor, low power dissipation, low cost, and high performance. To the best of the authors' knowledge, this is the most compact, lowest power, lowest cost, and high-performance SoP-based terahertz transmitter reported thus far.