308 research outputs found
Impact of diagnosis of type 1 diabetes in children and adolescents
OBJETIVO: Conocer el impacto personal y familiar del diagnóstico de diabetes tipo 1 (DM1) en niños y adolescentes
Tools and instruments for needs assessment, monitoring and evaluation of health research capacity development activities at the individual and organizational level: a systematic review
Background: In the past decades, various frameworks, methods, indicators, and tools have been developed to assess the needs as well as to monitor and evaluate (needs assessment, monitoring and evaluation;"NaME") health research capacity development (HRCD) activities. This systematic review gives an overview on NaME activities at the individual and organizational level in the past 10 years with a specific focus on methods, tools and instruments. Insight from this review might support researchers and stakeholders in systemizing future efforts in the HRCD field. Methods: A systematic literature search was conducted in PubMed and Google Scholar. Additionally, the personal bibliographies of the authors were scanned. Two researchers independently reviewed the identified abstracts for inclusion according to previously defined eligibility criteria. The included articles were analysed with a focus on both different HRCD activities as well as NaME efforts. Results: Initially, the search revealed 700 records in PubMed, two additional records in Google Scholar, and 10 abstracts from the personal bibliographies of the authors. Finally, 42 studies were included and analysed in depth. Findings show that the NaME efforts in the field of HRCD are as complex and manifold as the concept of HRCD itself. NaME is predominately focused on outcome evaluation and mainly refers to the individual and team levels. Conclusion: A substantial need for a coherent and transparent taxonomy of HRCD activities to maximize the benefits of future studies in the field was identified. A coherent overview of the tools used to monitor and evaluate HRCD activities is provided to inform further research in the field
Enhancing POI Testing Approach through the Use of Additional Information
[EN] Recently, a new approach to perform regression testing has been defined: the point of interest (POI) testing. A POI, in this context, is any expression of a program. The approach receives as input a set of relations between POIs from a version of a program and POIs from another version, and also a sequence of entry points, i.e. test cases. Then, a program instrumentation, an input test case generation and different comparison functions are used to obtain the final report which indicates whether the alternative version of the program behaves as expected, e.g. it produces the same outputs or it uses less CPU/memory. In this paper, we present a method to improve POI testing by including additional context information for a certain type of POIs. Concretely, we use this method to obtain an enhanced tracing of calls. Additionally, it enables new comparison modes and a categorization of unexpected behaviours.This work has been partially supported by MINECO/AEI/FEDER (EU) under grant
TIN2016-76843-C4-1-R, and by the Generalitat Valenciana under grant PROMETEOII/2015/013 (SmartLogic). Salvador Tamarit was partially supported by the Conselleria de Educación, Investigación, Cultura y Deporte de la Generalitat Valenciana under grant APOSTD/2016/036.Pérez-Rubio, S.; Tamarit Muñoz, S. (2019). Enhancing POI Testing Approach through the Use of Additional Information. Lecture Notes in Computer Science. 11285:74-90. https://doi.org/10.1007/978-3-030-16202-3_5S74901128
High-pressure Raman scattering in bulk HfS2: comparison of density functional theory methods in layered MS2 compounds (M = Hf, Mo) under compression
We report high-pressure Raman-scattering measurements on the transition-metal dichalcogenide (TMDC) compound HfS2. The aim of this work is twofold: (i) to investigate the high-pressure behavior of the zone-center optical phonon modes of HfS2 and experimentally determine the linear pressure coefficients and mode Grüneisen parameters of this material; (ii) to test the validity of different density functional theory (DFT) approaches in order to predict the lattice-dynamical properties of HfS2 under pressure. For this purpose, the experimental results are compared with the results of DFT calculations performed with different functionals, with and without Van der Waals (vdW) interaction. We find that DFT calculations within the generalized gradient approximation (GGA) properly describe the high-pressure lattice dynamics of HfS2 when vdW interactions are taken into account. In contrast, we show that DFT within the local density approximation (LDA), which is widely used to predict structural and vibrational properties at ambient conditions in 2D compounds, fails to reproduce the behavior of HfS2 under compression. Similar conclusions are reached in the case of MoS2. This suggests that large errors may be introduced if the compressibility and Grüneisen parameters of bulk TMDCs are calculated with bare DFT-LDA. Therefore, the validity of different approaches to calculate the structural and vibrational properties of bulk and few-layered vdW materials under compression should be carefully assessed
Efficacy of standard and low drift nozzles for insecticide applications against Aonidiella aurantii (Maskell) in citrus
Drift is especially critical when spraying fruit, vine and citrus orchards where pesticides are intensively used. In this context, cone low drift nozzles (LDN) intended for spraying tree crops, have been evaluated relating to cone standard nozzles (STN) in laboratory and deciduous fruit orchards (Van de Zande et al. 2012); (Planas et al., 2013)
Efficacy of standard and low drift nozzles for insecticide applications against Aonidiella aurantii (Maskell) in citrus
A New Hybrid Debugging Architecture for Eclipse
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-14125-1_11[EN] During many years, print debugging has been the most used
method for debugging. Nowadays, however, industrial languages come
with a trace debugger that allows programmers to trace computations
step by step using breakpoints and state viewers. Almost all modern
programming environments include a trace debugger that allows us to
inspect the state of a computation in any given point. Nevertheless,
this debugging method has been criticized for being completely manual
and time-consuming. Other debugging techniques have appeared to
solve some of the problems of Trace Debugging, but they suffer from
other problems such as scalability. In this work we present a new hybrid
debugging technique. It is based on a combination of Trace Debugging,
Algorithmic Debugging and Omniscient Debugging to produce a synergy
that exploits the best properties and strong points of each technique. We
describe the architecture of our hybrid debugger and our implementation
that has been integrated into Eclipse as a plugin.This work has been partially supported by the Spanish Ministerio de EconomÃa y Competitividad (Secretaria de Estado de Investigación, Desarrollo e Innovación) under grant TIN2008-06622-003-02 and by the Generalitat Valenciana
under grant PROMETEO/2011/052. David Insa was partially supported by the Spanish Ministerio de Educación under FPU grant AP2010-4415.González, J.; Insa Cabrera, D.; Silva Galiana, JF. (2013). A New Hybrid Debugging Architecture for Eclipse. En Logic-Based Program Synthesis and Transformation. Springer. 183-201. doi:10.1007/978-3-319-14125-1_11S183201Swi-prolog (1987). http://www.swi-prolog.org/Netbeans (1999). http://www.netbeans.org/Eclipse (2003). http://www.eclipse.org/Omnicore codeguide (2007). http://www.omnicore.com/en/codeguide.htmBorland JBuilder (2008). http://www.embarcadero.com/products/jbuilder/Sicstus prolog spider ide (2009). https://sicstus.sics.se/spider/Caballero, R.: A Declarative Debugger of Incorrect Answers for Constraint Functional-Logic Programs. In: Proceedings of the 2005 ACM-SIGPLAN Workshop on Curry and Functional Logic Programming (WCFLP 2005), pp. 8–13. ACM Press, New York (2005)Davie, T., Chitil, O.: Hat-delta: One Right Does Make a Wrong. In: Proceedings of the 7th Symposium on Trends in Functional Programming (TFP 2006) (April 2006)Gestwicki, P., Jayaraman, B.: JIVE: Java Interactive Visualization Environment. In: Companion to the 19th Annual ACM-SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2004), pp. 226–228. ACM Press, New York (2004)Giammona, D.: ORACLE ADF - Putting It Together. Technical report, ADF Declarative Debugger Archives (November 2009)Girgis, H., Jayaraman, B.: JavaDD: a Declarative Debugger for Java. Technical report,University at Buffalo (2006)González, F., De Miguel, R., Serrano, S.: Depurador Declarativo de Programas Java. Technical report, Universidad Complutense de Madrid (2006). http://eprints.ucm.es/9114/Hermanns, C., Kuchen, H.: Hybrid Debugging of Java Programs. In: Escalona, M.J., Cordeiro, J., Shishkov, B. (eds.) ICSOFT 2011. CCIS, vol. 303, pp. 91–107. Springer, Heidelberg (2013)Montebello, M., Abela, C.: Design and Implementation of a Backward-In-Time. In: Chaudhri, A.B., Jeckle, M., Rahm, E., Unland, R. (eds.) NODe-WS 2002. LNCS, vol. 2593, pp. 46–58. Springer, Heidelberg (2003)Insa, D., Silva, J.: An Algorithmic Debugger for Java. In: Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), pp. 1–6 (2010)Insa, D., Silva, J.: Scaling Up Algorithmic Debugging with Virtual Execution Trees. In: Alpuente, M. (ed.) LOPSTR 2010. LNCS, vol. 6564, pp. 149–163. Springer, Heidelberg (2011)Insa, D., Silva, J.: loops2recursion Java Library (2013). http://www.dsic.upv.es/~jsilva/loops2recursion/Kouh, H.-J., Yoo, W.-H.: The Efficient Debugging System for Locating Logical Errors in Java Programs. In: Kumar, V., Gavrilova, M.L., Kenneth Tan, C.J., L’Ecuyer, P. (eds.) ICCSA 2003. LNCS, vol. 2667, pp. 684–693. Springer, Heidelberg (2003)B. Lewis. Debugging Backwards in Time. Available in the Computing Research Repository 2003, ( http://arxiv.org/abs/cs.SE/0310016 ), cs.SE/0310016Lienhard, A., Gîrba, T., Wang, J.: Practical Object-Oriented Back-in-Time Debugging. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142, pp. 592–615. Springer, Heidelberg (2008)S. Microsystems. Java Platform Debugger Architecture - JPDA (2010). http://java.sun.com/javase/technologies/core/toolsapis/jpda/Mirghasemi, S., Barton, J., Petitpierre, C.: Debugging by lastChange. Technical report (2011). http://people.epfl.ch/salman.mirghasemiNilsson, H.: Declarative Debugging for Lazy Functional Languages. PhD thesis, Linköping, Sweden (May 1998)Nilsson, H., Fritzson, P.: Algorithmic Debugging for Lazy Functional Languages. Journal of Functional Programming 4(3), 337–370 (1994)Pothier, G.: Towards Practical Omniscient Debugging. PhD thesis, University of Chile (June 2011)Shapiro, E.: Algorithmic Program Debugging. MIT Press (1982)Silva, J.: A Survey on Algorithmic Debugging Strategies. Advances in Engineering Software 42(11), 976–991 (2011
Measuring track vertical stiffness through dynamic monitoring
[EN] This paper proposes a methodology for the evaluation of the track condition by means of the measurement of the track stiffness. This magnitude is calculated from vertical acceleration data measured at the axle box of trains during their normal operation. From the corresponding vertical acceleration spectra, the dominant vibration frequencies for each track stretch are identified and the combined stiffness is then determined. Then the stiffness without the contribution of the rail is calculated. The results obtained for a High Speed ballasted track in several track stretches are within the range 120-130 kN/mm, a result consistent with direct stiffness measurements taken during previous studies. Therefore, the proposed methodology may be used to obtain a first insight to the track condition by means of a continuous measurement of the track combined stiffness. This offers an alternative to traditional stationary stiffness measuring devices and might be a useful complement to dedicated continuous monitoring vehicles.Cano, MJ.; MartÃnez Fernández, P.; Insa Franco, R. (2016). Measuring track vertical stiffness through dynamic monitoring. Proceedings of the Institution of Civil Engineers - Transport. 169(1). doi:10.1680/jtran.14.00081S169
Tools and instruments for needs assessment, monitoring and evaluation of health research capacity development activities at the individual and organizational level: a systematic review.
BACKGROUND
In the past decades, various frameworks, methods, indicators, and tools have been developed to assess the needs as well as to monitor and evaluate (needs assessment, monitoring and evaluation; "NaME") health research capacity development (HRCD) activities. This systematic review gives an overview on NaME activities at the individual and organizational level in the past 10 years with a specific focus on methods, tools and instruments. Insight from this review might support researchers and stakeholders in systemizing future efforts in the HRCD field.
METHODS
A systematic literature search was conducted in PubMed and Google Scholar. Additionally, the personal bibliographies of the authors were scanned. Two researchers independently reviewed the identified abstracts for inclusion according to previously defined eligibility criteria. The included articles were analysed with a focus on both different HRCD activities as well as NaME efforts.
RESULTS
Initially, the search revealed 700 records in PubMed, two additional records in Google Scholar, and 10 abstracts from the personal bibliographies of the authors. Finally, 42 studies were included and analysed in depth. Findings show that the NaME efforts in the field of HRCD are as complex and manifold as the concept of HRCD itself. NaME is predominately focused on outcome evaluation and mainly refers to the individual and team levels.
CONCLUSION
A substantial need for a coherent and transparent taxonomy of HRCD activities to maximize the benefits of future studies in the field was identified. A coherent overview of the tools used to monitor and evaluate HRCD activities is provided to inform further research in the field
Formulation of Sustained Release Hydrophilic Matrix Tablets of Tolcapone with the Application of Sedem Diagram: Influence of Tolcapone's Particle Size on Sustained Release
Hydrophilic matrix tablets are a type of sustained release dosage form characterized by distributing a drug in a matrix that is usually polymeric. Tolcapone is a drug that inhibits the enzyme catechol-O-methyl transferase. In recent years, it has been shown that tolcapone is a potent inhibitor of the amyloid aggregation process of the transthyretin protein, and acts by stabilizing the structure of the protein, reducing the progression of familial amyloid polyneuropathy. The main objective of this study was to obtain a sustained release tablet of tolcapone for oral administration with a preferred dosage regimen of 1 administration every 12 or 24 h and manufactured, preferably, by direct compression. The SeDeM Diagram method has been used for the formulation development of hydrophilic matrix tablets. Given the characteristics of tolcapone, the excipient selected for the formation of the polymeric matrix was a high viscosity hydroxypropylmethylcellulose (Methocel® K100M CR). A decrease in the particle size of tolcapone resulted in a slower dissolution release of the formulation when the concentration of the polymer Methocel® K100M CR was below 29%. These surprising and novel results have given rise to patent number WO/2018/019997
- …