| 1. |
- Alviano, Mario, et al.
(författare)
-
The fourth answer set programming competition : Preliminary report
- 2013
-
Ingår i: Logic Programming and Nonmonotonic Reasoning. - Berlin, Heidelberg : Springer. - 9783642405631 ; , s. 42-53
-
Konferensbidrag (refereegranskat)abstract
- Answer Set Programming is a well-established paradigm of declarative programming in close relationship with other declarative formalisms such as SAT Modulo Theories, Constraint Handling Rules, PDDL and many others. Since its first informal editions, ASP systems are compared in the nowadays customary ASP Competition. The fourth ASP Competition, held in 2012/2013, is the sequel to previous editions and it was jointly organized by University of Calabria (Italy) and the Vienna University of Technology (Austria). Participants competed on a selected collection of benchmark problems, taken from a variety of research areas and real world applications. The Competition featured two tracks: the Model& Solve Track, held on an open problem encoding, on an open language basis, and open to any kind of system based on a declarative specification paradigm; and the System Track, held on the basis of fixed, public problem encodings, written in a standard ASP language.
|
|
| 2. |
- Andersson, Nils-Eric, et al.
(författare)
-
The influence of hot rolling on the variation of through thickness structure of AA7010 thick plates
- 1997
-
Ingår i: Thermo-Mechanical Processing in Theory, Modelling & Practice. - Stockholm : Svenska fören. för materialteknik. - 9163054213 ; , s. 284-289
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- The variation of through thickness structure and yield strength of AA7010-T7451 thick plate has been investigated. Grain size at different depths were determined qualitatively by using optical microscopy. Texture measurements were carried out using x-ray technique at the same depths as grain size studies. Tensile property tests have been performed and the EBSP technique has been used to compare the degree of recovered and recrystallized grain structure at different depths. Tensile testing determined through thickness variations in yield. The expected W shape of longitudinal yield strength through thickness was not observed. The yield strength decreases towards the center of the plate. An increasing amount of big recrystallized grains (through the thickness from T/8 towards the center of the plate) appears to be the reason behind the decreasing through thickness yield strength.
|
|
| 3. |
- Chen, I-Hua, et al.
(författare)
-
Evaluating a cross-lagged panel model between problematic internet use and psychological distress and cross-level mediation of school administrator support on problematic internet use : The serial mediating role of psychological needs thwarting of online teaching and psychological distress
- 2022
-
Ingår i: Frontiers in Public Health. - : Frontiers Media S.A.. - 2296-2565. ; 10
-
Tidskriftsartikel (refereegranskat)abstract
- BackgroundTo reduce the transmission of COVID-19, many teachers across the globe, including teachers in China, were required to teach online. This shift to online teaching can easily result in psychological need thwarting (PNT) of teachers' psychological basic needs (autonomy, competence, and relatedness), leaving them vulnerable to negative psychological outcomes. Resulting negative emotional state may lead to problematic internet use (PIU), which can lead to further psychological distress, forming a vicious cycle. MethodsThe present study was conducted using a cross-lagged panel model (with longitudinal data) and hierarchical linear modeling (HLM) (with cross-sectional data). The aims were to investigate (i) the reciprocal relationships between two specific forms of PIU [problematic social media use (PSMU) and problematic gaming (PG)] and psychological distress among schoolteachers, and (ii) the influence of administrators' support on schoolteachers' PIU through a cross-level serial mediation model (PNT of online teaching was the first mediator and psychological distress was the second mediator affected by PNT of online teaching). Primary and secondary schoolteachers (N = 980; mean age = 34.76; 82.90% females) participated in two surveys (Time 1: mid-November 2021; Time 2: early-January 2022). ResultsResults indicated that (i) high psychological distress at Time 1 was associated with increased levels of PSMU and PG at Time 2. Inversely, PG at Time 1 was associated with increased psychological distress at Time 2, although PSMU at Time 1 did not have a significant influence on psychological distress at Time 2; (ii) during Time 1, increased administrative support contributed to alleviating teachers' psychological needs thwarting of online teaching, thereby lowering their psychological distress which, in turn, resulted in a decrease in PG. ConclusionPG had a stronger negative influence on teachers' psychological distress than PSMU. To relieve teachers' PG, administrative support can alleviate teachers' psychological needs thwarting of online teaching and psychological distress. Based on this finding, school managers must consider effective ways to support teachers during mandatory online teaching.
|
|
| 4. |
- Chen, I-Hua, et al.
(författare)
-
Psychometric properties of the Depression, Anxiety, and Stress Scale (DASS-21) among different Chinese populations : A cross-sectional and longitudinal analysis
- 2023
-
Ingår i: Acta Psychologica. - : Elsevier. - 0001-6918 .- 1873-6297. ; 240
-
Tidskriftsartikel (refereegranskat)abstract
- Given that there is limited evidence concerning the psychometric properties of DASS-21 when applied to primary school students, the present study undertook a comprehensive exploration of the psychometric evidence supporting the use of the DASS-21 within this demographic. The research comprised three studies. In Study 1, the basic psychometric properties of internal consistency and construct validity were examined. A total of 3138 primary school students from three provinces in mainland China participated. The internal reliability of the overall scale was 0.93, and for all the subscales, it was higher than 0.80. Construct validity was partially supported. Both exploratory and confirmatory factor analyses upheld the factorial validity of the original three-factor structure. While convergent validity was established, the results showed unsatisfactory discriminant validity. The bifactor model showed that DASS-21 raw scores predominantly indicated the general factor, evidenced by the high explained common variance and omega-hierarchical values. However, the contributions from the three specific factors were minimal, with their omega hierarchical values all below 0.15. In Study 2, a longitudinal design was adopted, tracking 1366 primary school students from Southwest China over a three-month interval. The results further confirmed that the DASS-21 exhibited scalar time-invariance. The latent mean analysis showed that there were no statistically significant differences in the latent means of depression, anxiety, and stress between Time 1 and Time 2. In Study 3, which included 364 college students and 483 enterprise workers, the results demonstrated that the DASS-21 had measurement invariance across different populations. The latent mean analysis further confirmed that, in terms of the latent mean of all three subscales, both college students and enterprise workers had significantly higher scores than primary school students. Overall, the findings indicated that the DASS-21 is a suitable tool for screening schoolchildren for general psychological distress, but it is not suitable for discerning distinct negative mood state disorders.
|
|
| 5. |
- Doyon, Mélanie, et al.
(författare)
-
L’approche Living Lab et l’aménagement des espaces ouverts agricoles. Un exemple en région métropolitaine de Montréal [Living Lab approach and agricultural open space planning. An example in the Montreal metropolitan region]
- 2015
-
Ingår i: Articulo. - : OpenEdition. - 1661-4941. ; :Special issue 6
-
Tidskriftsartikel (refereegranskat)abstract
- Cet article a pour objet de présenter le travail d’une équipe multidisciplinaire impliquée dans l’élaboration d’une démarche Living Lab visant à dénouer les écueils qui font obstacle à l’aménagement multifonctionnel d’un espace ouvert dans la ville de Longueuil, aux confins de la Communauté métropolitaine de Montréal. Dans un premier temps, nous abordons la démarche Living Lab puis la notion d’espace ouvert. Nous exposons ensuite les principaux enjeux des espaces agricoles dans la région métropolitaine de Montréal, en nous concentrant sur la façon dont l’agglomération de Longueuil a cherché, par le passé, à mettre en valeur ses espaces ouverts dans le cadre d’un projet nommé le Continuum ville-campagne. Enfin, nous décrivons l’amorce d’une démarche de Living Lab pour l’implantation d’un Carrefour d’innovation bioalimentaire. L’article vise ainsi à documenter les premières étapes d’une expérience de Living Lab dans le développement d’un espace ouvert agricole au Québec.
|
|
| 6. |
- Johansson, Sten, 1948-, et al.
(författare)
-
Measurement of average texture of cold-rolled aluminium sheet by electron back-scattering diffraction : a comparison with neutron diffraction
- 2001
-
Ingår i: Materials Science & Engineering. - 0921-5093 .- 1873-4936. ; 315:1-2, s. 129-135
-
Tidskriftsartikel (refereegranskat)abstract
- Measurements of the average texture on sheet of commercial pure aluminium have been performed using neutron diffraction and electron back-scattering diffraction (EBSD). Orientation distribution function maps have been calculated and compared. The results show a good correspondence provided that the data from the EBSD measurements are corrected according to a texture index versus inverted number of measurement procedure. Most errors are probably related to differences in investigated volume and calculation technique and to the fact that the microstructure was difficult for EBSD measurements.
|
|
| 7. |
- Johansson, Sten, et al.
(författare)
-
The variation of through thickness properties and structure of AA7010 thick plate
- 1997
-
Ingår i: International Conference on Thermomechanical Processing of Steel and Other Materials 1997. - Warrendale, Pa. : TMS, cop.. - 0873393775 ; , s. 941-949
-
Konferensbidrag (refereegranskat)abstract
- The variation of through thickness structure and yield strength of AA7010-T7451 100 and 150 mm thick plate was investigated. Grain sizes at different depths were determined by using optical microscopy and EBSP maps. Texture measurements were carried out, using X-ray technique and EBSP, at the same depths as grain size studies and tensile property tests were performed. EBSP technique was used to compare degree of recovered and recrystallized grain structure at different depths. Tensile testing and hardness measurements reveal through thickness variations in yield strength and hardness. Variations in composition through the thickness are also possible. The influence of texture on yield strength was discussed.
|
|
| 8. |
- Kremser, Waldemar, et al.
(författare)
-
Self-managed forms of organizing and routine dynamics
- 2021
-
Ingår i: Cambridge Handbook of Routine Dynamics. - Cambridge, UK : Cambridge University Press. - 9781108834476 - 9781108993340 ; , s. 421-432
-
Bokkapitel (refereegranskat)abstract
- How to organize work is a topic at the core of routine dynamics, and studying novel forms of organizing constitutes a prime occasion for theory development. Though self-managed forms of organizing (SMOs) have held perennial interest by scholars and practitioners alike, contemporary SMOs are larger, and more rule driven than their earlier counterparts. Our chapter offers a primer on contemporary SMOs and identifies key issues that a routine dynamics perspective can lend towards seeing, tracing and understanding contemporary SMOs.
|
|
| 9. |
- Ma, Christina Zong-Hao, et al.
(författare)
-
Towards Wearable Comprehensive Capture and Analysis of Skeletal Muscle Activity during Human Locomotion
- 2019
-
Ingår i: Sensors. - Basel, Switzerland : MDPI. - 1424-8220. ; 19:1
-
Tidskriftsartikel (refereegranskat)abstract
- Background: Motion capture and analyzing systems are essential for understanding locomotion. However, the existing devices are too cumbersome and can be used indoors only. A newly-developed wearable motion capture and measurement system with multiple sensors and ultrasound imaging was introduced in this study. Methods: In ten healthy participants, the changes in muscle area and activity of gastrocnemius, plantarflexion and dorsiflexion of right leg during walking were evaluated by the developed system and the Vicon system. The existence of significant changes in a gait cycle, comparison of the ankle kinetic data captured by the developed system and the Vicon system, and test-retest reliability (evaluated by the intraclass correlation coefficient, ICC) in each channel’s data captured by the developed system were examined. Results: Moderate to good test-retest reliability of various channels of the developed system (0.512 ≤ ICC ≤ 0.988, p < 0.05), significantly high correlation between the developed system and Vicon system in ankle joint angles (0.638R ≤ 0.707, p < 0.05), and significant changes in muscle activity of gastrocnemius during a gait cycle (p < 0.05) were found. Conclusion: A newly developed wearable motion capture and measurement system with ultrasound imaging that can accurately capture the motion of one leg was evaluated in this study, which paves the way towards real-time comprehensive evaluation of muscles and joint motions during different activities in both indoor and outdoor environments.
|
|
| 10. |
- Wang, Hui, et al.
(författare)
-
Analysis of kinematics and dynamics of crank-rocker mechanism
- 2014
-
Ingår i: Advanced Materials Research. - 1022-6680 .- 1662-8985. ; 945-949, s. 690-695
-
Tidskriftsartikel (refereegranskat)abstract
- Graphic method and analytical method are often used for calculation analysis of kinematics and dynamics of the crank-rocker mechanism. However, the analysis procedure is usually complicated and the analysis results can not be expressed visually and directly. Programs are made on the basis of theoretical analysis of kinematics and dynamics in this paper, and a kind of analyzing system of crank-rocker mechanism is designed with Java. This system may analyze the crank-rocker mechanism’s motion state, stress condition and its change regulation in different operating conditions, as well as different rotation angles of the crank. This system has also a friendly man-machine interface. Calculation results are expressed through textbox and parametric curve. Each window of the system has the following buttons: calculation button, save button, output curve button, print button, maximum/minimum value output button and exit button. This system may evidently reduce the calculation workload and improve working efficiency.
|
|
