Miracle-dz/UniFAR-FTUs huggingface dataset:
HANS SMESSAERT and ALICE G. B. TER MEULEN TEMPORAL REASONING WITH ASPECTUAL ADVERBS

Validity of dynamic temporal reasoning is semantically characterized for English and Dutch aspectual adverbs in Discourse Representation Theory. This dynamic perspective determines how the content needs to be revised and what information is preserved across updates, when the order of premises is considered relevant. Resetting contextual parameters relies on modelling the basic aspectual polarity transitions and temporal reasoning extensionally. For intensional aspectual adverbials the speaker’s attitudes regarding past alternatives to and possible continuations of the current state come into play. Additional considerations are offered for generalizing this system to the full logical space for linguistic universals, lexicalized quite differently in Dutch and English.
Inhibition of maintenance hemodialysis related vascular calcification by vitamin K in chronic kidney disease

Vascular calcification is an important factor causing cardiovascular disorders in patients with chronic kidney disease. Vitamin K is involved in vascular calcification. This study analyzed the effect of vitamin K on vascular calcification in patients with chronic kidney disease while receiving maintenance hemodialysis. Patients with chronic kidney disease receiving hemodialysis in our hospital were recruited. Experimental group received vitamin K treatmentin addition to maintenance dialysis, whereas, control group only received maintenance dialysis. Levels of blood calcium, phosphorus, vitamin K, ALB, ALP, CRP, AOPP and fetuin A were measured. Artery calcification score was calculated to analyze factors regulating vascular calcification anddeterminethe relationship between vitamin K and clinical indexes. Blood calcium, phosphorus, vitamin K, ALB and fetuin A levels were higher in experimental group, which presented lower ALP, CRP, AOPP and artery calcification score (p<0.05) compared with control group. After 1 or 3 months treatment, elevated blood calcium, phosphorus, vitamin K, ALB and fetuin A levels, reduction of ALP, CRP, AOPP and artery calcification score were shown in experimental group (p<0.05 compared with before treatment). High blood calcium, phosphorus, vitamin K, ALB, ALP, CRP, AOPP and elevated fetuin A and vitamin K levels were risk factors causing vascular calcification inpatients with chronic kidney disease while receiving maintenance hemodialysis (p<0.05). Vitamin K was negatively correlated with vascular calcification score (p<0.05). Vitamin K can modulate vascular calcification in patients with chronic kidney disease who receive long-term maintenance hemodialysis.
Extending The Human Capital Theory Of Career Success: An Empirical Test In The Ecuadorian Context

ii DEDICATION.iii ACKNOWLEDGMENTS.iv LIST OF FIGURES.vii CHAPTER 1: INTRODUCTION.1 Theoretical Development and Formulation of Research Propositions.4 CHAPTER 2: FORMAL MODEL AND HYPOTHESIS DEVELOPMENT.17 Human Capital Components.17 Moderating Component.25 Influential Variables Beyond Those Hypothesized in the Theoretical Model.28 CHAPTER 3: DESIGN, METHODOLOGY, AND RESULTS.33 Measures of Independent Variables.35 Measure of Moderating Variable.37 Measure of Dependent Variable.38 Measures of Control Variables.38 Results of Structural Model.39 Hypothesis Testing.41 Post-hoc Analysis.43
Image Processing Methods for the Restoration of Digitized Paintings

Several methods have been proposed for detection and removal of cracks in digitized paintings ! -51. Cfacks not only deteriorate the quality of painting but also question its authenticity. In this paper, a morphological methodology (MAO) is proposed which is a variant of recently published morphological methods to identify cracks []. After detecting cracks, a modified adaptive median filter (MAMF) is used to fill the cracks. The order of the median filter to be applied on crack pixels is computed on the basis of the number of crack pixels in its neighbourhood. This methodology of detection and elimination of cracks in digitized paintings is shown to be very effective in preserving the edges also.
Be exposure ages for the Late Pleistocene Gour de Tazenat maar ( Chaîne des Puys volcanic fi eld , Auvergne , France )

Gour de Tazenat is a maar volcano on the crystalline Plateau des Domes, the uplifted margin of the Limagne Rift of the Massif Central of France, and forms one of the northernmost volcanic centers of the Chaîne des Puys volcanic field. Although long recognized as a relatively young volcanic center in the area, age determinations have been elusive, with the only one quantitative estimate based upon radiocarbon ages of bulk sediments in the crater lake and extrapolation of sedimentation rates to account for the full thickness of the sediments; that age is ∼35 cal ka. Here we test application of cosmogenic Be exposure dating to quartz-bearing subvolcanic rocks exposed in the wall of the maar crater. Considering erosion rates (∼5m/Myr) that we determined from Be data on a nearby tor (located outside the crater), and corroborated by inverted relief of older, dated lavas in the region, the Be data yield an age of 29–34 ka for the maar-forming eruption of Gour de Tazenat. This is consistent with the one previous quantitative estimate, and provides confidence in the age range of the maar. This age corresponds to a pulse of volcanic activity around 30 ka in other parts of the Chaîne des Puys.
Session Title: Neuroimaging as a physiological marker to guide a strategy for rehabilitation Facilitators:

Proposed Discussion Questions: Can a therapy for aphasia, paresis, neglect etc. be chosen based on how it alters a short-term TMS, fMRI or the response to other techniques, i.e., the intervention appears to engage or fails to alter the expected regions of interest? Can these techniques help define the optimal intensity and duration of a therapy using repeated measures over the time of treatment? What intervention, if any, should serve as the control condition for a training paradigm plus neuroimaging study executed over weeks or months? What set of longitudinal data are needed to make reliable brain-behavior correlations as training proceeds?
A ModiEd Planar Inverted-F Antenna with Triple-Band for Wi-Fi and LTE Applications

A compact planar double inverted-F antenna (IFA) is proposed in this work. The antenna, composed of a shared short arm and two L-shaped open arms, has three operating bands, 1.7–1.9GHz, 2.25–2.48GHz and 5.33–5.8GHz for Wi-Fi and LTE applications. It has the length of 80mm, width of 23mm and height of 1.6mm. Near omnidirectional coverage of radiation patterns in x-y and x-z plane, are realized with peak gain of 3.3 dBi, 2.1 dBi and 4.1 dBi at 1.8GHz, 2.4GHz and 5.5GHz, respectively. Based on reflection coefficients with different dimensions and current distributions, the functions of arms and via holes are analyzed in detail, which provide a useful guidance for design of multiband PIFA antennas.
Military police investigator perspectives of a new self-reflective approach to strengthening resilience: A qualitative study

ABSTRACT In this study, we explored participants’ experiences of a unique form of resilience training. The aims of this study were to obtain rich information about the participants’ experience of the resilience intervention based on adaptive self-reflection, their ability to report the private stress experience and coping efforts when faced with a stressor, their perceptions of training applicability to other contexts, and whether the training was able to encourage the reappraisal of stressors as growth opportunities. A qualitative design was employed with a sample of 21 investigator trainees from the Australian Defence Force School of Policing. Following implementation of the program, trainees provided written responses to seven open ended questions and participated in one focus group designed to embellish understanding of the survey answers. The analysis identified both strengths and limitations in the way respondents were able to recall and report on their private stress experience and coping efforts and several domains where the resilience training seemed to have its effects. Moreover, the respondents reported increased confidence in their ability to manage stressors in the future, recognition of stress in others and the potential to assist them, and a changed view of stress as an opportunity for personal development. Based on these findings, potential improvements in the training materials are recommended. Moreover, the findings suggest coping and emotion regulatory self-reflection may encourage the application of useful strategies and reinforce personal resilient capacities and coping self-efficacy.
Reproductive Ecology of the European Pond Turtle, Emys orbicularis (Linnaeus, 1758), from Mediterranean Turkey

For two consecutive years (2012 and 2013), studies on reproductive ecology of Emys orbicularis were conducted at seven localities in the Mediterranean region of Turkey. Our findings show that individuals usually emerge from hibernation between the end of February and early March. Depending on latitude and elevation, mating occurred between March and May, and egg-laying lasted between May and July. Hatchlings were first observed between June and August. Average fecundity in females was 7 (5–10) eggs, and incubation period was determined to last between 80 and 110 days. Average size of eggs was 33.55 × 20.32 mm, and only a weak correlation between numbers of eggs and female body sizes (straight carapace length, SCL) was found. Average measurements of hatchlings were: SCL was 20.6 mm (18–23 mm), plastron length (PL) was 19.6 (17.6–22.4 mm) and weight was 3.6 g (2.9–4.3 g). These were compared to previously published results obtained for E. orbicularis from other parts of its range. Also, factors that affect reproductive success were discussed.
Seasonal streamflow prediction using large scale climate drivers for NSW region

High inter-annual variability of streamflow resulting from the extensive topographic variation and climatic inconsistency cause immense difficulties to the water planners and managers of New south Wales which is one of the major contributors of Australia’s agricultural production. Therefore, in this study an attempt is made to develop a skilful seasonal streamflow forecast method considering four major influential climate variables (ENSO, PDO, IOD, IPO) of south-east New South Wales. Single lagged correlation analysis is performed to identify their individual interactions with spring streamflow till nine lagged months and this is exploited as the basis for developing Multiple Linear Regression (MLR) models to examine the extent of the combined impact of these climate drivers on forecasting spring streamflow several months ahead. Several research works were carried out to forecast streamflow and rainfall for different parts of Australia using the climate indices as potential predictors but none of those apply the Multiple Regression analysis to explore the combined impact of climate indices on long lead seasonal streamflow forecast for New South Wales. Four streamflow stations from south-east New South Wales are selected as a case study based on their recorded data length with fewer missing values. The developed models with all the possible combinations, show significantly good results in terms of Pearson correlation(r), Root Mean Square Error (RMSE), Mean Absolute Error (MAE) and Willmott index of agreement (d) where the best models with lower errors give statistically significant correlations as 0.57 for Wee Jasper station, 0.41 Kiosk Station,0.49 for Mittagan station and 0.51 for Gundagai station. The best MLR models are obtained with lagged periods up to 3 months. It is evident that every time the combined model outperforms the model considering single climate variable in terms of Pearson correlation(r) which ascertains the better predictive skills of MLR models to forecast spring streamflow several months ahead for the study region.
on Intelligent Systems Techniques for Ad hoc and Wireless Sensor Networks ( IST-AWSN 2012 ) Improving QoS in VANET Using MPLS

Vehicular Ad hoc Networks (VANET) as a sub class of Mobile Ad hoc Networks (MANET) provides a wireless communication among vehicles and vehicle to road side equipment [1]. Important applications of VANET are providing safety for passengers in one hand, and also resource efficiency including traffic as well as environmental efficiency on the other hand. As a result, providing Quality of Service (QoS) has a great role in Intelligent Transportation System (ITS). Different methods over network layers, especially over layer 2 and layer 3 were recently proposed to support QoS in VANET [2]. But in this paper, MPLS [11] as a forwarding method which can be compatible with any layer 2 technology is used in road side backbone network, to improve QoS in terms of end-toend delay, packet loss and throughput in urban areas, where lots of roadside unit exist © 2011 Published by Elsevier Ltd. Selection and/or peer-review under responsibility of [name organizer]
DNS of Turbulent Round Jets Using Acoustically Lined Canonical Nozzles

Direct Numerical Simulations (DNS) were conducted of fully turbulent flow exiting a long pipe into a laminar co-flow. The inclusion of the pipe in the simulations with a fully turbulent flow inside ensures that all possible noise generation mechanisms are represented. In response to earlier results obtained from this configuration showing contamination of the far field noise field by interior noise from the pipe, the internal pipe walls are acoustically lined using an impedance condition and the turbulent inflow generation technique is modified. In this paper it is shown that the combination of turbulent inflow generation changes and the application of an acoustic liner results in considerable suppression of the internal noise sources, thus allowing for the development of a far field noise field more similar to that expected for turbulent mixing noise. It is demonstrated that the change in inflow boundary condition is mainly responsible for the reduction of internal noise of the axisymmetric mode while the main role of the acoustic liner is the absorbtion of internal noise for higher azimuthal modes. The hydrodynamic field appears unaffected by either measure.
DEVELOPMENT OF NEW WATERPROOF THIN-LAYERS FOR THE MAGNETIC ALLOY CORE AND STRUCTURAL STUDY BY NEUTRON REFLECTOMETRY

The mechanism of the waterproof property of perhydropolysilazane (PHPS) and CH3 group modified PHPS derived silica (PDS or Me-PDS) thin layers synthesized on substrates was revealed by FT-IR and neutron reflectivity(NR) analysis. FT-IR results revealed that the Me-PDS thin layer undergoes considerable C-H bond absorption. This result suggests that the synthesized thin Me-PDS layer contains large amount of methyl group The general SiO2 network structure would be presented in the PDS and MePDS thin layers because both thin layers have clear Si-O absorption peaks. NR analysis revealed that the thickness of the PDS and Me-PDS thin layers was 21 nm and 22 nm, respectively. In addition, the penetration depth of water into the PDS and Me-PDS thin layers were analysed and these results suggest that the Me-PDS thin layer is more hydrophobic than the PDS thin layer, a consequence of the modification of the PDS thin layer by introduction of the hydrophobic CH3 group.
MODEL ORDER REDUCTION USING A MULTILEVEL SCHEME FOR NONLINEAR TRANSIENT HEAT TRANSFER PROBLEM

Multilevel schemes [1] can be employed in nonlinear problems to avoid computationally expensive iterative solution techniques. In such schemes, the nonlinear terms are replaced by extrapolated values to get a linear system of algebraic equations. The objective of the present study is to investigate the application of model order reduction technique (MOR) [2] to multilevel schemes for a nonlinear finite element analysis of transient heat transfer problem. The coupled nonlinear ordinary differential equations obtained by the spatial discretization of the governing weak form using the standard finite element method are given by [3], Ṫ+AT = f(t,T) (1) where, A = C(T)−1(K(T) + H(t) + R(T)), f = f1(t) + f2(T) and C(T), K(T), H(t) and R(T) have their usual meaning. Here A,T and f ∈ R and N is number of degrees of freedom (Dof). Discretizing Eq. (1) using a second order accurate multilevel scheme (Dupont II) we get [1],
THE THERMODYNAMIC EFFECTS OF SUBLIMATING , BLOWING SNOW IN THE ATMOSPHERIC BOUNDARY LAYER

A seasonal snowcover blankets much of Canada during wintertime. In such an environment, the frequency of blowing snow events is relatively high and can have important meteorological and hydrological impacts. Apart from the transport of snow, the thermodynamic impact of sublimating blowing snow in air near the surface can be investigated. Using a time or fetch-dependent blowing snow model named ‘PIEKTUK’ that incorporates prognostic equations for a spectrum of sublimating snow particles, plus temperature and humidity distributions, it is found that the sublimation of blowing snow can lead to temperature decreases of the order of 0.5 ◦C and significant water vapour increases in the near-surface air. Typical predicted snow removal rates due to sublimation of blowing snow are several millimetres snow water equivalent per day over open Arctic tundra conditions. The model forecast sublimation rates are most sensitive to humidity, as well as wind speed, temperature and particle distributions, with a maximum value in sublimation typically found approximately 1 km downstream from blowing snow initiation. This suggests that the sublimation process is selflimiting despite ongoing transport of snow by wind, yielding significantly lower values of blowing snow sublimation rates (nearly two-thirds less) compared to situations where the thermodynamic feedbacks are neglected. The PIEKTUK model may provide the necessary thermodynamic inputs or blowing snow parameterizations for mesoscale models, allowing the assessment of the contribution of blowing snow fluxes, in more complex situations, to the moisture budgets of high-latitude regions.
IMPLICIT LARGE EDDY SIMULATION OF TURBULENT FLOWS WITH THE HYBRIDIZED DISCONTINUOUS GALERKIN METHOD

The direct simulation of turbulent flows is crucial for the high-fidelity estimation of the noise emissions at Mach and Reynolds numbers of engineering interest. The challenge is that turbulent flows present spatial and time features in a wide range of scales. Hence, prohibitively large 3D meshes and small time steps are required to resolve all the flow scales. To reduce the computational cost, an Implicit Large-Eddy Simulation (ILES) is considered. An ILES is well suited for noise prediction since it resolves only the large eddies, those which contribute significantly to sound radiation. On the contrary, the effect of the small unresolved eddies is accounted for by means of the numerical dissipation. To reduce numerical dissipation at larger scales, we consider a high-order numerical scheme [1], the hybridized discontinuous Galerkin method (HDG) [2, 3].
A robot-assisted 3 D US image-guided tool for liver tumor tracking

Advanced radiotherapy is highly dependent on imaging modalities for both patient set-up correction and motion management during treatment. The current gold-standard method for tumor motion tracking in the liver resorts to the use of X-Ray fluoroscopy for FM identification during treatment delivery. 3D US imaging provides volumetric information, high soft tissue contrast and is non-ionizing. When fixated by a robotic arm, it creates a valid and useful tool for real-time tumor motion monitoring, while enabling remote continuous image acquisition. This study proposes the development of a robotic assisted 3D US image-guided tool for correct patient set-up and accurate tumor motion monitoring during radiotherapy in the liver. It focuses, especially, in the use of deformable image registration approaches, hypothesizing that these types of algorithms could minimize the impact of tissue deformation resulting in a more accurate displacement measurement. Affine, demons and hybrid image registration algorithms were implemented for this purpose. Obtained results show that, when a ROI is defined, all methods work exceptionally well, with mean errors bellow 1 mm. Oppositely, when the whole volume information is used, demons and hybrid registration methods appear to perform better and more consistently, being less influenced by the information contained in the FOV. Demons image registration demonstrates to be the most adequate method for the proposed application. When combined with a robotic-US setup for adequate continuous 3D US image acquisition it becomes a powerful tool that presents the possibility to overcome the use of FM as surrogates for IGRT techniques in the liver.
Multi-period hub location problems in transportation networks

In this paper we consider a phase-in/phase-out hub location problem. In particular, we assume that a transportation system is currently operating which can be changed in the future. A planning horizon partitioned into several consecutive time period is considered. Changes in the network structure can occur in the hubs and in the hub edges. More specifically, existing elements can be removed and new elements can be established. The problem consists in deciding, which network structure should be operating in each period of the planning horizon and how the flow should be routed through the operating structure in order to minimize the total cost. In each period, a budget is considered for making changes in the network structure. For this problem, a mixed-integer linear programming problem is proposed. Due to the complexity of the problem, a local search based heuristic is also developed. The results of a series of extensive computational tests are reported.
Ground state sign-changing solutions for Kirchhoff equations with logarithmic nonlinearity

In this paper, we study Kirchhoff equations with logarithmic nonlinearity: { −(a + b ∫ Ω |∇u| 2)∆u + V(x)u = |u|p−2u ln u2, in Ω, u = 0, on ∂Ω, where a, b > 0 are constants, 4 < p < 2∗, Ω is a smooth bounded domain of R3 and V : Ω → R. Using constraint variational method, topological degree theory and some new energy estimate inequalities, we prove the existence of ground state solutions and ground state sign-changing solutions with precisely two nodal domains. In particular, some new tricks are used to overcome the difficulties that |u|p−2u ln u2 is sign-changing and satisfies neither the monotonicity condition nor the Ambrosetti–Rabinowitz condition.