Miracle-dz/UniFAR-FTUs huggingface dataset:
Numerical Analysis of the 3D Flow Induced by Propagation of Plane-Wave Deformations on Thin Membranes Inside Microchannels

Propulsion mechanisms of microorganisms are based on either beating or screw-like motion of thin elastic biopolymers. Arguably, this motion is optimal for propulsion at very low Reynolds numbers. Similar actuation mechanisms can be utilized in the design of an autonomous microswimmer or even a micropump. In principle, propagation of plane-wave deformations on a thin-membrane placed inside a channel can lead to a net flow in the direction of the wave propagation. In this study we present effects of the amplitude, frequency, and the width of the membrane on the time-averaged flow rate and the rate of work done on the fluid by the membrane by means of three-dimensional transient simulations of flows induced by plane-wave deformations on membranes. Navier-Stokes and continuity equations are used to model the flow on a time-varying domain, which is prescribed with respect to the motion of the membrane. Third party commercial software, COMSOL, is used in to solve the finite-element representation of the 3D time-dependent flow on moving mesh. Numerical simulations show that the flow inside the microchannel depends on the square of the amplitude and is proportional to the excitation frequency. Lastly, characteristic flow rate vs. pressure head curve and efficiency of a typical pump are obtained from 3D transient simulations, and presented here.Copyright © 2007 by ASME
Lattice quantization error for redundant representations

Redundant systems such as frames are often used to represent a signal for error correction, denoising and general robustness. In the digital domain quantization needs to be performed. Given the redundancy, the distribution of quantization errors can be rather complex. In this paper we study quantization error for a signal X in Rd represented by a frame using a lattice quantizer. We characterize the asymptotic distribution of the quantization error as the cell size of the lattice goes to zero. We apply these results to get the necessary and sufficient conditions for the White Noise Hypothesis to hold asymptotically in the case of the pulse-code modulation scheme. This is an abbreviated version of a paper that will appear elsewhere in a regular refereed journal.
A case of endometriosis presenting as an inguinal hernia

Endometriosis is a common clinical presentation for gynaecologists. Occasionally it can present to general surgeons as a swelling in the groin or abdominal wall. This condition should be included in the differential diagnosis in female patients. A 32-year-old woman with a 2-year history of a painful persistent lump in her right groin was referred to the general surgeons by her general practitioner. She was referred with a diagnosis of a suspected inguinal hernia. MRI excluded a hernia and exploration of the groin and subsequent histology confirmed the lesion to be an endometrial deposit.
Evaluation of Budget Analyses during MISMO

Results of sounding-derived heat and moisture budgets for the Mirai Indian Ocean Cruise for the Study of the MJO Onset (MISMO) project in 2006 are evaluated using observational and simulated datasets. Estimated rainfall rates from the budget analyses agree well with both the satellite-derived products and in situ rain gauge measurements in the period leading up to the convectively active phase of the MJO. During the active phase, however, large discrepancies are found in the temporal variation of the rainfall estimates on the time scale of afew to several days.UtilizingMJO circulations simulatedby the two numericalmodels,a linear model and a high-resolution AGCM, it is revealed that this discrepancy may result from inability of the MISMO triangular network to properly capture the divergence associated with the Rossby and/or inertia‐ gravity wave components of the circulation. A rectangular array is demonstrated to be superior at capturing thewindassociatedwiththesewavedisturbances.Possibleeffectsoftheequatorialwavesandsamplingissues, which could act to enhance or suppress the error in the present case, are discussed. The reliability of the budget analyses during the preactive period is also supported by both model simulations.
Çevre Eğitiminin Geliştirilmesi

Gelecek kaygisi, toplumlarin cevre sorunlarina daha ciddi olarak egilmelerinde temel etken olmustur. Yarinini guvence altina almak isteyen insan, cevre sorunlarina daha duyarli olmaya baslamis ve bu sorunlari degisik etkinliklerle toplumlarin gundemine yerlestirmis, boylelikle cevre bilincini ortaya cikarmistir. Cevreye duyulan ilgi, dogal kaynaklarin sinirliligi karsisinda insan ve cevresi arasindaki duyarli dengenin onemini yansitmaktadir. Yine bu ilgi en azindan dogal cevrenin korunmasini amaclayan arastirmalarin gelismesini saglamistir. Bu arastirmalarin temelinde “Cevre Egitimi Bilgisi” yatmaktadir. Egitimin cevreye yonelik bir bicimde verilmesi, gelecegimiz acisindan buyuk onem tasimaktadir. Bu da, ilkogretimden universiteye kadar tum egitim kurumlarinda gerceklesebilir. Bu calisma, egitim kurumlarindaki cevre egitimini gelistirmek amaciyla baslatilan bir dizi calismanin yalnizca bir bolumunu olusturmakta ve lise duzeyinde cevre egitimi icin neler yapilabilecegini saptamak amaciyla ogretmen-ogrenci ve velilere uygulanan anketlerdeki sorulara verilen carpici yanitlarin degerlendirilmesini kapsamaktadir
Extended Hamiltonian systems in multisymplectic field theories

We consider Hamiltonian systems in first-order multisymplectic field theories. We review the properties of Hamiltonian systems in the so-called restricted multimomentum bundle, including the variational principle which leads to the Hamiltonian field equations. In an analogous way to how these systems are defined in the so-called extended (symplectic) formulation of nonautonomous mechanics, we introduce Hamiltonian systems in the extended multimomentum bundle. The geometric properties of these systems are studied, the Hamiltonian equations are analyzed using integrable multivector fields, the corresponding variational principle is also stated, and the relation between the extended and the restricted Hamiltonian systems is established. All these properties are also adapted to certain kinds of submanifolds of the multimomentum bundles in order to cover the case of almost-regular field theories.
Eleanor O'rourke | Research Statement

The goal of my research is to develop novel computing systems that optimize student learning for any environment. I work at the intersection of human-computer interaction (HCI) and educational technology, exploring how per-sonalized data-driven systems can adapt to meet the unique needs of each student, teacher, and classroom. Recent data shows that only one in four high school graduates in the United States are prepared for college in core areas, and student test scores have remained stagnant since the 1970s. While technology has advanced massively during that time, computing systems have had little impact on how we learn. In my research, I harness the potential of educational technology by tackling the complex factors that influence learning. I believe that interactive systems such as online tools and educational games can capture unprecedented information about the learning process. This data can provide insights into student motivations, misconceptions, and mental processes. Most importantly, we can move beyond data analytics to create interventions that optimize learning for each student, teacher, and classroom. My research approach combines techniques from HCI, game design, data mining, and artificial intelligence to (1) understand the factors that impact learning, (2) design and build novel technical systems that maximize learning given these factors, and (3) evaluate the resulting systems through large-scale online and classroom experimentation. In my dissertation research, I have used this approach to design systems that increase student motivation, generate personalized scaffolding, and support formative assessment. This work presents a core set of technical challenges focused on quantifying student behavior, modeling learning domains, and adapting interventions automatically. However, designing solutions for real-world classrooms also requires addressing deep social and motivational challenges. Throughout my PhD, I have collaborated with experts in educational psychology and the learning sciences to tackle these inherently interdisciplinary problems. My interventions have been used by over 100,000 students online, adopted by companies, and used in classrooms throughout the Seattle area. My work demonstrates that personalized data-driven systems can transform how we teach, assess, communicate, and collaborate in learning environments. My PhD research explores the design of computing systems to support learning in a variety of contexts. I have studied educational game design through large-scale online experimentation [1, 9, 11, 12, 13], explored novel techniques for capturing and analyzing student behavior [6, 12, 14], developed new paradigms for automatically generating personalized content [8, 10, 15], and measured the usage of educational tools through classroom and online …
Influenza vaccine in the red zone defense: a game-day player.

Ultimate victory over influenza will rank among the great achievements of humankind because the defeats have been so bitter. The defense is growing stronger, and losses are less extreme. Incomplete successes against a lethal foe are great successes that fuel the determination for a shared and total victory. Studies reported in this issue of The Journal of Infectious Diseases invite consideration of the strengths and limitations of influenza vaccination, an especially important defense against life-threatening influenza disease and its transmission. Influenza vaccination has not yet fulfilled the hope of complete protection against disease. Influenza vaccine effectiveness against all forms of influenza disease is variable. However, the prevention of influenza morbidity in all forms is less grave a need than prevention of mortality, and influenza vaccine performance is generally better in this regard. Consequently, persons at high risk for severe influenza disease benefit most from influenza vaccination, a conclusion that underpins the strongest recommendations for vaccination of this population [1]. Children who are older than 6 months, thus eligible for influenza vaccination, suffer high attack rates of influenza, though lower hospitalization rates than children younger than 6 months [2]. Children play an important role in the epidemic spread of influenza virus [3– 6]. Childhood influenza deaths are devastating losses, and their ongoing prevention by vaccination would be a tremendous achievement; nowhere is the struggle with influenza more hard fought than in the red zone of our pediatric intensive care units (PICUs).
Research Progress of Microfluidic Chips Preparation and its Optical Element

Microfluidic technology is the emerging technologies in researching fluid channel and related applications in the micro and nano-scale space. Microfluidic chip is a new miniaturized rapid analysis platform by microfluidic technology, it has many characteristics such as liquid flow control, minimal reagent consumption, rapid analysis, which is widely used in physics, chemistry, biology, and engineering science and other fields, it has strong interdisciplinary. This paper mainly discusses research progress of materials used for microfluidic chips and the devices based on microfluidic technology, including microfluidic chip, microfluidic optical devices, microfluidic laser preparation, microfluidic chip applications, focusing on the quasi-molecular laser processing technology and femtosecond laser processing technology in the microfluidic devices preparation, and make development prospects for it. Copyright © 2014 IFSA Publishing, S. L.
Surface Heat Balance in the Equatorial Pacific Ocean: Climatology and the Warming Event of 1994–95

Abstract The surface heat budget in the equatorial Pacific Ocean was investigated through ocean model simulations, both the climatological cycle and the case of the 1994–95 warm event. The dominant processes governing the seasonal cycle of sea surface temperature (SST) vary significantly across the basin. In the western Pacific the annual cycle of SST is primarily in response to net surface heat flux. In the central basin the magnitude of the zonal advection term is comparable to that of the net surface heat flux. In the eastern basin the role of zonal advection is reduced and the vertical mixing and advection are more important. The model estimate of the vertical mixing contribution to the mixed layer heat budget compared well with estimates obtained by analysis of observations using the same diagnostic vertical mixing scheme. During 1994–95 the largest positive SST anomaly was observed in the midbasin and was related initially to reduced latent heat flux due to weak surface winds and later to anomalous .
COMPOSITE SPEECH SPECTRUM FOR GAIN PRESCRIPTIONS

Average long-term RMS 1/3-octave band speech spectra were generated for 30 male and 30 female talkers. The two spectra were significantly different in both low and high frequency bands but were similar in the mid-frequency region. It was concluded that a single spectrum could validly be used to represent both male and female speech in the frequency region important for hearing aid gain prescriptions: 250 Hz through 6300 Hz. In addition, the male and female spectra were compared with analogous spectra reported by Byrne (1977) and Pearsons, Bennett, and Fidell (1977). For each sex, significant differences were found among the three spectra in a few frequency bands. The best estimate of the average speech spectrum for each sex was obtained from a weighted average of the three sets of data, excluding the significantly different data points. The long-term RMS 1/3-octave band speech spectrum for male and female talkers combined was derived for use in hearing aid gain prescriptions.
T C C C

With the rapid advances in computers, it becomes attractive to explore the use of computers to attack open problems in computational complexity. In this article, we concentrate on the problems of the complexity of Boolean functions, and overview several recent attempts to use computers in various ways to obtain concrete results on major problems in computational complexity. We discuss the problems on several computational models including ordered binary decision diagrams, Boolean circuits, and polynomial threshold representations of Boolean functions. ∗Tenjin 1-5-1, Kiryu, Gunma, 376-8515 Japan, Department of Computer Science, Gunma University. amano@cs.gunma-u.ac. jp ! " #$%%"&'( )* &! " +, -.
Stochastic R 0 Matrix Linear Complementarity

We consider the expected residual minimization formulation of the stochastic R0 matrix linear complementarity problem. We show that the involved matrix being a stochastic R0 matrix is a necessary and sufficient condition for the solution set of the expected residual minimization problem to be nonempty and bounded. Moreover, local and global error bounds are given for the stochastic R0 matrix linear complementarity problem. A stochastic approximation method with acceleration by averaging is applied to solve the expected residual minimization problem. Numerical examples and applications of traffic equilibrium and system control are given.
Semiclassical completely integrable systems: long-time dynamics and observability via two-microlocal Wigner measures

We look at the long-time behavior of solutions to a semi-classical Schr\"odinger equation on the torus. We consider time scales which go to infinity when the semi-classical parameter goes to zero and we associate with each time-scale the set of semi-classical measures associated with all possible choices of initial data. On each classical invariant torus, the structure of semi-classical measures is described in terms of two-microlocal measures, obeying explicit propagation laws. We apply this construction in two directions. We first analyze the regularity of semi-classical measures, and we emphasize the existence of a threshold: for time-scales below this threshold, the set of semi-classical measures contains measures which are singular with respect to Lebesgue measure in the ``position'' variable, while at (and beyond) the threshold, all the semi-classical measures are absolutely continuous in the ``position'' variable, reflecting the dispersive properties of the equation. Second, the techniques of two-microlocal analysis introduced in the paper are used to prove semiclassical observability estimates. The results apply as well to general quantum completely integrable systems.
AVERAGING RESULTS AND THE STUDY OF UNIFORM ASYMPTOTIC STABILITY OF HOMOGENEOUS DIFFERENTIAL EQUATIONS THAT ARE NOT FAST TIME-VARYING∗

Within the Liapunov framework, a sufficient condition for uniform asymptotic stability of ordinary differential equations is proposed. Unlike with classical Liapunov theory, the time derivative of the V -function, taken along solutions of the system, may have positive and negative values. It is shown that the proposed condition is useful for the study of uniform asymptotic stability of homogeneous systems with order τ > 0. In particular, it is established that asymptotic stability of the averaged homogeneous system implies local uniform asymptotic stability of the original timevarying homogeneous system. This shows that averaging techniques play a prominent role in the study of homogeneous—not necessarily fast time-varying—systems.
Digitized by the Internet Archive in 2011 with Funding from Boston Library Consortium Iviember Libraries Lumpy Investment in Dynamic Lumpy Investment in Dynamic General Equilibrium Ruediger Bachmaiin Lumpy Investment in Dynamic General Equilibrium

Microeconomic lumpiness matters for macroeconomics. According to our DSGE model, it explains roughly 60% of the smoothing in the iuvestment response to aggregate shocks. The remaining 40% is explained by general equilibrium forces. The central role played by micro frictions for aggregate dynamics results in important history dependence in business cycles. In particular, booms feed into themselves. The longer an expansion, the larger the response of investment to an additional positive shock. Conversely, a slowdown after a boom can lead to a long lasting investment slump, which is unresponsive to policy stimuli. Such dynamics are consistent with US investment pattems over the last decade. More broadly, over the 1960-2000 sample, the initial response of investment to a productivity shock with responses in the top quartile is 60% higher than the average response in the bottom quartile. Furthermore, the reduction in the relative importance of general equihbrium forces for aggregate investment dynamics also facilitates matching conventional RBC moments for consumption and employment. Abstract Microeconomic lumpiness matters for macroeconomics. According to our DSGE model, it explains roughly 60% of the smoothing in the investment response to aggregate shocks.
Model Perilaku Keselamatan Kerja Karyawan pada Industri Berisiko Tinggi

Workplace accident rate in Indonesia is still high and likely to increase each year. The most dominant factor which causes accidents to happen in high-risk industries is because of the low behaviour of the workers' safety work. The research was conducted on the employees of LPG Bulk Filling Station (SPBE) in Bogor Region. The aim of this research is conducted to develop a model of the worker's safety behavior on high-risk industries. Some of the factors that have an influence on the safety behavior, among others: safety leadership style, safety climate, job satisfaction, fatigue, and safety motivation. The population of this research is all employees of SPBE ini Bogor region. The samples were taken by using multy stage cluster random sampling technique with two stages. The first stage, SPBE separated by location, and the second, employees is separated by working environment; office and field. A total of 100 questionnaires were distributed, of which 92 were returned and 69 were analyzed. Respondent data were analyzed by SEM-PLS using smart PLS software. The resulting model showed that safety leadership by participating and delegating style has a positive effect on safety climate and workers' safety behaviour. Worker's safety motivation has a positive effect on workers' safety behaviour, and worker's safety motivation affected by the safety climate.
Ììì Öööññòø Èöóóððñ Èöóøóóð Îöö¬¬¬øøóò Òúúöóòññòø Ýôôöøññòø Ó Óñôùøøö Ëëëëòòò Þååøø ² Óñôùøøö Ëëëëòòò Ììì Íòòúö××øý Ó Êòò Ñóöý Íòòúö××øý Íòòøøø Ããòòòóñ Øððòøø¸óöööö Ê ¿¼¿¾¾ Âºëºèè××óóóöööööòòººººùù Êóóóöºäóóóóöööööööòòººººùù Ú×××ññøøø×ººñóöýºººù ×øöööøº Ììì Öññòø Èöóóððñ Èöóøóóð Îöö¬¬øøóò Òúúöóòññòø

The Agreement Problem Protocol Veri cation Environment (APPROVE) for the automated formal veri cation of solutions to agreement problems is presented. Agreement problems are characterized by the need for a group of processes to agree on a proposed value and are exempli ed by group membership, consensus and leader election schemes. Generally it is accepted by practitioners in both academia and industry that the development of reliable and robust solutions to agreement problems is essential to the usability of group communication infrastructures. Thus, it is important that the correctness of new agreement algorithms be veri ed formally. In the past, the application of manual proof methods has been met with varying degrees of success, suggesting that a less error prone automated tool approach is required. Furthermore, an observation made during a review of such proofs is that a signi cant amount of e ort is invested into repeatedly modeling re-usable themes. The APPROVE project addresses these issues by introducing a usable Spin based framework that exploits the potential for model re-use wherever possible.
Letters to the Editor Sleep Deprivation and Host Defense

Everson, Carol A. , and Linda A. Toth. Systemic bacterial invasion induced by sleep deprivation. Am J Physiol Regulatory Integrative Comp Physiol 278: R905–R916, 2000. —Profound sleep disruption in humans is generally believed to cause health impairments. Through comparative research, specific physical effects and underlying mechanisms altered by sleep deprivation are being elucidated. Studies of sleep-deprived animals previously have shown a progressive, chronic negative energy balance and gradual deterioration of health, which culminate in fatal bloodstream infection without an infectious focus. The present study investigated the conditions antecedent to advanced morbidity in sleep-deprived rats by determining the time course and distribution of live microorganisms in body tissues that are normally sterile. The tissues cultured for microbial growth included the blood, four major organs, six regional lymph nodes, the intestine, and the skin. The principal finding was early infection of the mesenteric lymph nodes by bacteria presumably translocated from the intestine and bacterial migration to and transient infection of extraintestinal sites. Presence of pathogenic microorganisms and their toxins in tissues constitutes a septic burden and chronic antigenic challenge for the host. Bacterial translocation and pathogenic sequelae provide mechanisms by which sleep deprivation appears to adversely affect health.