Optimizing prolog for small devices: A case study

In this paper we present the design and implementation of a wearable application in Prolog. The application program is a "sound spatializer." Given an audio signal and real time data from a head-mounted compass, a signal is generated for stereo headphones that will appear to come from a position in space. We describe high-level and low-level optimizations and transformations that have been applied in order to fit this application on the wearable device. The end application operates comfortably in real-time on a wearable computer, and has a memory foot print that remains constant over time enabling it to run on continuous audio streams. Comparison with a version hand-written in C shows that the C version is no more than 20-40% faster; a small price to pay for a high level description

High-level languages for small devices: A case study

In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting wearable computers. The case study is a "sound spatializer" which, given real-time signáis for monaural audio and heading, generates stereo sound which appears to come from a position in space. The use of advanced compile-time transformations and optimizations made it possible to execute code written in a clear style without efñciency or architectural concerns on the target device, while meeting strict existing time and memory constraints. The final executable compares favorably with a similar implementation written in C. We believe that this case is representative of a wider class of common pervasive computing applications, and that the techniques we show here can be put to good use in a range of scenarios. This points to the possibility of applying high-level languages, with their associated flexibility, conciseness, ability to be automatically parallelized, sophisticated compile-time tools for analysis and verification, etc., to the embedded systems field without paying an unnecessary performance penalty

Enriquecimiento de muestras con bacterias magnetotácticas para la síntesis de nanomagnetita biogénica

Se evaluaron metodologías para la obtención de altas concentraciones de bacterias magnetotácticas (MTBs), ensayando medios de cultivo sintético (líquido, sólido y semisólido) y natural (sedimento estéril enriquecido). Se realizó enriquecimiento de muestras obtenidas en las represas de La Fe y de El Peñol, Antioquia - Colombia, adicionando soluciones de vitaminas, minerales y FeCl3. Los resultados obtenidos mostraron que la adición de nutrientes a las muestras incrementa la concentración de MTBs después de 4 semanas de incubación. Considerando la dificultad para el cultivo de estos microorganismos, los resultados de este estudio constituyen un avance que perfeccionado permitirá la síntesis biogénica a gran escala de nanocristales magnéticos con uso potencial en nanotecnología y biomédicina

Far Ultraviolet Absolute Flux of alpha Virginis

We present the far ultraviolet spectrum of alpha Virginis taken with EURD spectrograph on-board MINISAT-01. The spectral range covered is from ~900 to 1080 A with 5 A spectral resolution. We have fitted Kurucz models to IUE spectra of alpha Vir and compared the extension of the model to our wavelengths with EURD data. This comparison shows that EURD fluxes are consistent with the prediction of the model within 20-30%, depending on the reddening assumed. EURD fluxes are consistent with Voyager observations but are ~60% higher than most previous rocket observations of alpha Vir.Comment: 13 pages, 4 figures. Submitted to The Astrophysical Journa

Changing material around (2060) Chiron revealed by an occultation on December 15, 2022

Full list of authors: Ortiz, J. L.; Pereira, C. L.; Sicardy, B.; Braga-Ribas, F.; Takey, A.; Fouad, A. M.; Shaker, A. A.; Kaspi, S.; Brosch, N.; Kretlow, M.; Leiva, R.; Desmars, J.; Morgado, B. E.; Morales, N.; Vara-Lubiano, M.; Santos-Sanz, P.; Fernández-Valenzuela, E.; Souami, D.; Duffard, R.; Rommel, F. L.; Kilic, Y.; Erece, O.; Koseoglu, D.; Ege, E.; Morales, R.; Alvarez-Candal, A.; Rizos, J. L.; Gómez-Limón, J. M.; Assafin, M.; Vieira-Martins, R.; Gomes-Júnior, A. R.; Camargo, J. I. B.; Lecacheux, J.We were able to accurately predict the shadow path and successfully observe an occultation of a bright star by Chiron on December 15, 2022. The Kottamia Astronomical Observatory in Egypt did not detect the occultation by the solid body, but we found three extinction features in the light curve that had symmetrical counterparts with respect to the central time of the occultation. One of the features is broad and shallow, whereas the other two features are sharper, with a maximum extinction of ∼25% at the achieved spatial resolution of 19 km per data point. From the Wise Observatory in Israel, we detected the occultation caused by the main body and several extinction features surrounding the body. When all the secondary features are plotted in the sky plane, we find that they can be caused by a broad ∼580 km disk with concentrations at radii of 325 ± 16 km and 423 ± 11 km surrounding Chiron. At least one of these structures appears to be outside the Roche limit. The ecliptic coordinates of the pole of the disk are λ = 151° ±8 and β = 18° ±11, in agreement with previous results. We also reveal our long-term photometry results, indicating that Chiron had suffered a brightness outburst of at least 0.6 mag between March and September 2021 and that Chiron was still somewhat brighter at the occultation date than at its nominal pre-outburst phase. The outermost extinction features might be consistent with a bound or temporarily bound structure associated with the brightness increase. However, the nature of the brightness outburst is unclear, and it is also unclear whether the dust or ice released in the outburst could be feeding a putative ring structure or whether it is emanating from it. © The Authors 2023.Part of this work was supported by the Spanish projects PID2020-112789GB-I00 from AEI and Proyecto de Excelencia de la Junta de Andalucia PY20-01309. Financial support from the grant CEX2021-001131-S funded by MCIN/AEI/ 10.13039/501100011033 is also acknowledged. This research is partly based on observations taken with the 1.88-m telescope at the Kottamia Astronomical Observatory (KAO), operated by researchers at the National Research Institute of Astronomy and Geophysics (NRIAG), Egypt. The Egyptian team acknowledges support from Science, Technology & amp; Innovation Funding Authority (STDF) under grant number 45779. C.L.P is thankful for the support of the CAPES and FAPERJ/DSC-10 (E26/204.141/2022)

Hydrotherapy as a recovery strategy after exercise: a pragmatic controlled trial

Trial registration ClinicalTrials.gov Identifier: NCT01765387Background Our aim was to evaluate the recovery effects of hydrotherapy after aerobic exercise in cardiovascular, performance and perceived fatigue. Methods A pragmatic controlled repeated measures; single-blind trial was conducted. Thirty-four recreational sportspeople visited a Sport-Centre and were assigned to a Hydrotherapy group (experimental) or rest in a bed (control) after completing a spinning session. Main outcomes measures including blood pressure, heart rate, handgrip strength, vertical jump, self-perceived fatigue, and body temperature were assessed at baseline, immediately post-exercise and post-recovery. The hypothesis of interest was the session*time interaction. Results The analysis revealed significant session*time interactions for diastolic blood pressure (P=0.031), heart rate (P=0.041), self perceived fatigue (P=0.046), and body temperature (P=0.001); but not for vertical jump (P=0.437), handgrip (P=0.845) or systolic blood pressure (P=0.266). Post-hoc analysis revealed that hydrotherapy resulted in recovered heart rate and diastolic blood pressure similar to baseline values after the spinning session. Further, hydrotherapy resulted in decreased self-perceived fatigue after the spinning session. Conclusions Our results support that hydrotherapy is an adequate strategy to facilitate cardiovascular recovers and perceived fatigue, but not strength, after spinning exercise

Adjuvant dabrafenib and trametinib for patients with resected BRAF-mutated melanoma: DESCRIBE-AD real-world retrospective observational study

BRAF and MEK inhibitor, dabrafenib plus trametinib, adjuvant therapy is effective for high-risk resected melanoma patients with BRAF-V600 mutations. However, real-world evidence is limited. We aimed to determine the feasibility of this therapy in routine clinical practice. DESCRIBE-AD, a retrospective observational study, collected real-world data from 25 hospitals in Spain. Histologically confirmed and resected BRAF-mutated melanoma patients aged & GE;18 years who were previously treated with dabrafenib plus trametinib adjuvant therapy, were included. The primary objectives were treatment discontinuation rate and time to discontinuation. The secondary objectives included safety and efficacy. From October 2020 to March 2021, 65 patients were included. Dabrafenib and trametinib discontinuation rate due to treatment-related adverse events (TRAEs) of any grade was 9%. Other reasons for discontinuation included patients' decisions (6%), physician decisions (6%), unrelated adverse events (3%), disease progression (5%), and others (5%). The median time to treatment discontinuation was 9 months [95% confidence interval (CI), 5-11]. G3-4 TRAEs occurred in 21.5% of patients, the most common being pyrexia (3%), asthenia (3%), and diarrhoea (3%). Unscheduled hospitalisations and clinical tests occurred in 6 and 22% of patients, respectively. After 20-month median follow-up (95% CI, 18-22), 9% of patients had exitus due to disease progression, with a 12-month relapse-free survival and overall survival rates of 95.3% and 100%, respectively. Dabrafenib and trametinib adjuvant therapy proved effective for melanoma patients in a real-world setting, with a manageable toxicity profile. Toxicity frequencies were low leading to low incidence of unscheduled medical visits, tests, and treatment discontinuations