Miracle-dz/UniFAR-FTUs huggingface dataset:
Homogénéisation périodique d’un matériau cellulaire en élasto-plasticité et application au calcul de structures : des petites aux grandes déformations

Grâce a leurs bonnes proprietes mecaniques specifiques, les materiaux cellulaires architectures presentent un fort interet pour repondre aux problematiques du secteur aeronautique. Cependant, la modelisation d'une structure macroscopique incluant un materiau cellulaire necessite, soit de modeliser completement l'architecture a l'echelle mesoscopique - ce qui est couteux en temps de calcul - soit d'utiliser un Milieu Homogene Equivalent (MHE). Ainsi, cette these propose de caracteriser un materiau cellulaire modele constitue d'un empilement de tubes, selon un motif carre ou hexagonal, puis d'identifier un modele phenomenologique rendant compte du comportement mecanique inelastique du materiau. Dans un premier temps, le materiau est caracterise sous chargements multi-axiaux a l'aide de simulations elements finis periodiques en petites deformations. Le comportement homogeneise en petites deformations est ensuite utilise pour l'identification d'une Loi Homogene Equivalente (LHE) compressible et anisotrope, qui permet la modelisation de structures sandwichs en remplacant le coeur cellulaire par son MHE. Une comparaison est realisee entre les reponses mecaniques des simulations de reference completement maillees et celles utilisant l'approche par MHE, validant ainsi la pertinence de la methode multi-echelle de modelisation proposee. La caracterisation en grandes deformations des deux types d'empilement est ensuite menee. D'abord, les effets de bords et les instabilites qui gouvernent le comportement macroscopique sont etudies. Puis, apres une etude du volume elementaire representatif des empilements, la caracterisation du comportement inelastique par la technique de l'homogeneisation periodique est realisee. Le comportement adoucissant en compression de l'empilement hexagonal est ainsi etudie. Finalement, une extension des LHE identifiees en petites deformations est proposee pour rendre compte du comportement en compression du materiau observe en grandes deformations.
SASyLF: An Educational Proof Assistant for Language Theory

We present a simple type system to ensure the safety of a precise garbage collector, and base on it three intermediate languages in a type-preserving compilation pipeline from Haskell to assembly language. The safety guarantees come at the cost of dynamic checks, and through experiment, we are determining the nature of the tradeoff between safety and efficiency in this particular instance. 1. Safe Haskell compilation Haskell’s static type system helps programmers find and fix a large class of program errors at compile time, preventing dangerous or at least embarrassing errors from occurring in production code. But every Haskell program that is compiled by the Glasgow Haskell Compiler (GHC) yields an executable that is linked with code from the runtime system (RTS). GHC’s RTS consists of over 30,000 lines of C code. Automated verification of C programs on such a scale is beyond the scope of current technology. Thus, the RTS is a weak link in any argument about the safety of Haskell compilation systems. We are removing this weak link by developing an RTS for Haskell that provides only the services that every program uses. Such an RTS would be smaller and thus more amenable to formal proofs than GHC’s RTS. The minimal RTS will still have to include a garbage collector, and so in this poster we explore how to compile Haskell through typed intermediate languages that facilitate verifying the collector.
Trustworthy AI at KDD Lab

This document summarizes the activities regarding the development of Responsible AI (Responsible Artificial Intelligence) conducted by the Knowledge Discovery and Data mining group (KDD-Lab), a joint research group of the Institute of Information Science and Technologies “Alessandro Faedo” (ISTI) of the National Research Council of Italy (CNR), the Department of Computer Science of the University of Pisa, and the Scuola Normale Superiore of Pisa.
Using Pre-Trained Language Models for Abstractive DBPEDIA Summarization: A Comparative Study

Purpose : This study addresses the limitations of current short abstracts of DB-PEDIA entities, which often lack a comprehensive overview due to their creating method (i.e., selecting the ﬁrst two-three sentences from the full DB PEDIA abstracts). Methodology : We leverage pre-trained language models to generate abstractive summaries of DB PEDIA abstracts in six languages (English, French, German, Italian, Spanish, and Dutch). We performed several experiments to assess the quality of generated summaries by language models. In particular, we evaluated the generated summaries using human judgments and automated metrics (Self-ROUGE and BERTScore). Additionally, we studied the correlation between human judgments and automated metrics in evaluating the generated summaries under different aspects: informativeness, coherence, conciseness, and ﬂuency. Findings : Pre-trained language models generate summaries more concise and informative than existing short abstracts. Speciﬁcally, BART-based models effectively overcome the limitations of DB PEDIA short abstracts, especially for longer ones. Moreover, we show that BERTScore and ROUGE-1 are reliable metrics for assessing the informativeness and coherence of the generated summaries with respect to the full DB PEDIA abstracts. We also ﬁnd a negative correlation between conciseness and human ratings. Furthermore, ﬂuency evaluation remains challenging without human judgment. Value : This study has signiﬁcant implications for various applications in machine learning and natural language processing that rely on DB PEDIA resources. By providing succinct and comprehensive summaries, our approach enhances the quality of DB PEDIA abstracts and contributes to the semantic web community.
Regression-based surface reconstruction: coping with noise, outliers, and discontinuities

The automated processing of range data is an important problem in many computer vision applications. Range sensors are being used to aid navigation, object recognition, inspection, and reverse engineering. These applications require range sensors be placed on the factory floor and on autonomous vehicles, creating scenarios well removed from controlled laboratory settings. Instead of recording measurements from a single isolated object with consistent surface properties, range sensors are now exposed to scenes composed of many objects, varying surface properties, and objects occupying different portions of the depth of field and field of view. Not only is the composition of a range scene more complicated but the sensing environment is less amenable to precise and accurate measurements. While a direct and dense measurement of depth is attractive to many applications, a range map by itself has little practical use. The data is corrupted by noise, randomly of setting each measurement from its true position. The amount of noise can vary across the scene as a function of surface properties, depth, orientation, and position in the field of view. Furthermore, the data contains outliers or completely erroneous measurements in regions of specularity and along discontinuities. Finally, the data is not segmented, so the mapping of measurements to particular object surfaces is not immediate. These problems become more and more difficult to address as scene complexity increases. Here, we study the statistical properties of range data and surface estimates, constructing statistical tools for simultaneously segmenting and reconstructing complicated range images. First, using order statistics, we construct a robust local surface estimator, called M scUSE, which tolerates a large percentage of outlying data, small scale discontinuities, and multiple surfaces in an image region. Second, using multivariate regression and prediction intervals, we devise statistical decision criteria to control a surface growing segmentation process. These criteria reduce the number of tuning parameters while increasing the sensitivity to small scale discontinuities. We analyze the expected performance of these techniques on synthetic data and include a segmentation comparison study on data from a laser range sensor.
LDformer: a parallel neural network model for long-term power forecasting

Accurate long-term power forecasting is important in the decision-making operation of the power grid and power consumption management of customers to ensure the power system’s reliable power supply and the grid economy’s reliable operation. However, most time-series forecasting models do not perform well in dealing with long-time-series prediction tasks with a large amount of data. To address this challenge, we propose a parallel time-series prediction model called LDformer. First, we combine Informer with long short-term memory (LSTM) to obtain deep representation abilities in the time series. Then, we propose a parallel encoder module to improve the robustness of the model and combine convolutional layers with an attention mechanism to avoid value redundancy in the attention mechanism. Finally, we propose a probabilistic sparse (ProbSparse) self-attention mechanism combined with UniDrop to reduce the computational overhead and mitigate the risk of losing some key connections in the sequence. Experimental results on five datasets show that LDformer outperforms the state-of-the-art methods for most of the cases when handling the different long-time-series prediction tasks.
The Tamari order for D 3 and derivability in semi-associative Lambek-Grishin Calculus

A k-dimensional Dyck language, D, consists of words over a k-letter alphabet (lexicographically ordered) satisfying the following two conditions: • multiplicity: each word contains the k letters with equal frequency • prefix: for every prefix of a word, the number of a1 ≥ the number of a2 ≥ . ≥ the number of ak The familiar language of balanced brackets is D, with alphabet {a, b}, reading a, b as opening and closing bracket respectively. We write D n for the finite D k language with letter multiplicity n. For the place of D in the extended Chomsky hierarchy, the conjecture is that D languages are recognizable by (k − 1)-MCFG (multiple context-free grammars, [7]). D is recognized by a 1-MCFG, in other words, a simple CFG. I report on work in progress on extending the Tamari order for D to the three-dimensional case, and on modelling the Tamari order for D in terms of derivability in an extended version of Lambek’s Syntactic Calculus [4], going back to V.N. Grishin [2]. In [6], it is shown how words of D n can be interpreted as the Yamanouchi words of rectangular k × n standard Young tableaux. For the three-dimensional case, Borie [1] discusses a bijection between 3row, n-column rectangular Young tableaux and PC(n), single-input single-output product coproduct prographs with n product (hence also n coproduct) nodes.
Elementary properties of non-Linear Rossby-Haurwitz planetary waves revisited in terms of the underlying spherical symmetry

We revisit Rossby-Haurwitz planetary wave modes of a two-dimensional fluid along the surface of a rotating planet, as elements of irreducible representations of the so(3) Lie algebra. Key questions addressed are, firstly, why it is that the non-linear self-interaction of any Rossby-Haurwitz wave mode is zero, and secondly, why the phase velocity of these wave modes is insensitive to their orientation with respect to the axis of rotation of the planet, while at the same time the very rotation of the planet is a precondition for the existence of the waves. As we show, answers to both questions can be rooted in Lie group and representation theory. In our study the Rossby-Haurwitz modes emerge in a coordinate-free, as well as in a Ricci tensor rank-free manner. We find them with respect to a continuum of spherical coordinate systems, that are arbitrarily oriented with respect to the planet. Furthermore, we show that, in the same sense in which the Lie derivative of Ricci tensor fields is rankfree, the wave equation for Rossby-Haurwitz modes is rank-free. We find that, for each irreducible representation of so(3), there is a corresponding sufficient condition for existence of Rossby-Haurwitz modes as solutions that are separable with respect to space and time. This condition comes in the form of a system of equations of motion for the coordinate systems. Coordinate systems that move along with Rossby-Haurwitz modes emerge as special cases of these. In these coordinate systems the waves appear as stationary spatial fields, so that the motion of the coordinate system coincides with the wave phase propagation. The general solution of the existence condition is a continuum of moving spherical coordinate systems that precess about the axes of the Rossby-Haurwitz modes. Within a single irreducible representation of so(3), the waves are dispersionless.
Chloride fertilizer effects on grain yield, water potential components and disease severity of winter wheat with take-all

approved: Redacted for Privacy 7 ( Dr. Neil W. Christensen Take-all root rot (caused by Gaeumannomyces graminis var. tritici, Ggt) is one of the major diseases limiting winter wheat yields in western Oregon. Losses caused by take-all (TA) can be significantly reduced through crop management and fertilization
Research on Cyber Violence in the “Xiao Xiang Paradise” Community of Douban Group Take the Cyber Violence Against “Wan Wan” as an Example

Basing on the frequent occurrence of cyber violence on social media platforms, this paper standing upon the foundations of “Theory of Reasoned Action” to explore the behavioral motivation of the “Xiao Xiang Paradise” community of the Douban group to implement cyber violence from two aspects of “attitudes” and “subjective norms”. The study found that the purpose of cyber violence bullies is not purely to attack the victim, but to meet their needs for self – presentation, social group identity and the common result of the homogenization of public opinion caused by the choice of subcultural groups.
Globalization, Transnational Human Capital, and Employment in the European Union

The literature claims that the returns to transnational human capital (THC) are considerable and extend beyond firms that use it. This article critically appraises this claim and for the first time compares the employment returns to three types of THC: fluency in foreign languages, study abroad, and friendship ties abroad. The Eurobarometer 73.3 reveals that fluency in English alone is related to employment status, a relationship that based on the statistical evidence presented here may actually be spurious. The findings reflect that demand for THC is less strong and THC has less signaling and symbolic value than the literature assumes.
The Conventional Knowledge Management Method: Analysis from an Islamic Perspective

The contemporary conventional knowledge management method is expanding in line with other management methods adopted by any institution. This management method is used by 80% of institutions, including Islamic institutions. It is based on the conventional paradigm but it is still practiced by Islamic institutions. The objective of this method is more towards being solely proﬁt oriented, while Islamic institutions have their own objectives in operating their institutions. Hence, what is the effect on the main objective of Islamic institutions if the conventional knowledge management method is used in the operation of Islamic institutions. Is this practice permitted in Islam? This working paper established three objectives that discuss, analyse and conclude on the conventional knowledge managementmethodfromanIslamicperspective.Theobjectivesaretoidentifythe aimoftheconventionalknowledgemanagementmethod,analysetheconventional knowledgemanagementmethodfromanIslamicperspectiveandsummarisethe conventionalknowledgemanagementmethodfromanIslamicperspective.This qualitativestudyusedthedocumentresearchmethodforcollectingdata,while thecontentanalysismethodwasusedtoanalysethedata.Findingsindicatefour mainpointsthatcanbefurtherdescribedwhendiscussingtheconventionalknowl-edgemanagementmethodfromanIslamicperspective.First,Islamicinstitutions shouldadoptaknowledgemanagementmethodthatisbasedonthephilosophy and tasawur of Islamic knowledge. Second, the objective must be consistent with the blessings of Allah SWT. Third, adopt a more holistic and proper approach in all aspects, and fourth, the process used must not contradict the Syariat when all the three earlier points have been examined, amended, and scrutinised.
Striving for Improvement The Perceived Value of Improving Hurricane Forecast Accuracy

: Hurricanes are the costliest type of natural disaster in the United States. Every year, these natural phenomena destroy billions of dollars in physical capital, displace thousands, and greatly disrupt local economies. While this damage will never be eliminated, the number of fatalities and the cost of preparing and evacuating can be reduced through improved forecasts. This paper seeks to establish the public’s willingness to pay for further improvement of hurricane forecasts by integrating atmospheric modeling and a double-bounded dichotomous choice method in a large-scale contingent valuation experiment. Using an interactive survey, we focus on areas affected by hurricanes in 2018 to elicit residents’ willingness to pay for improvements along storm track, wind speed, and precipitation forecasts. Our results indicate improvements in wind speed forecast are valued the most, followed by storm track and precipitation, and that maintaining the current annual rate of error reduction for another decade is worth between $90.25 and $121.86 per person in vulnerable areas. Our study focuses on areas recently hit by hurricanes in the United States, but the implications of our results can be extended to areas vulnerable to tropical cyclones globally. In a world where the intensity of hurricanes is expected to increase and research funds are limited, these results can inform relevant agencies regarding the effectiveness of different private and public adaptive actions, as well as the value of publicly funded hurricane research programs.
Towards measuring effective treatment coverage: critical bottlenecks in quality-and user-adjusted coverage for major depressive disorder

Background— Major depressive disorder (MDD) is a leading cause of morbidity and mortality. Shortfalls in treatment quantity and quality are well-established, but the specific gaps in pharmacotherapy and psychotherapy are poorly understood. This paper analyzes the gap in treatment coverage for MDD and identifies critical bottlenecks. Methods— Seventeen surveys were conducted across 15 countries by the World Health Organization-World Mental Health Surveys Initiative. Of 35,012 respondents, 3,341 met DSM-IV criteria for 12-month MDD. The following components of effective treatment coverage were analyzed: (a) any mental health service utilization; (b) adequate pharmacotherapy; (c) adequate psychotherapy; and (d) adequate severity-specific combination of both. Results— MDD prevalence was 4.8% [SE, 0.2]. 41.8% [SE, 1.1] received any mental health services, 23.2% [SE, 1.5] of which was deemed effective. This 90% gap in effective treatment is due to lack of utilization (58%) and inadequate quality or adherence (32%). Critical bottlenecks are underutilization of psychotherapy (26 percentage-points reduction in coverage), underutilization of psychopharmacology (13-point reduction), inadequate physician monitoring (13-point reduction), and inadequate drug-type (10-point reduction). High-income countries double low-income countries in any mental health service utilization, adequate pharmacotherapy, adequate psychotherapy, and adequate combination of both. Severe cases are more likely than mild-moderate cases to receive either adequate pharmacotherapy or psychotherapy, but less likely to receive an adequate combination. Conclusions— Decision-makers need to increase utilization and quality of pharmacotherapy and psychotherapy. Innovations such as telehealth for training and supervision plus non-specialist or community resources to deliver pharmacotherapy and psychotherapy could address these bottlenecks.
Endothelium.

Endothelial cells form a subtle monolayer covering the inner surface of the vascular tree. This unique localization allows them to integrate physical and neurohumoral signals from the blood and surrounding tissues to regulate vascular tone, cellular adhesion, inflammation, smooth muscle phenotype and proliferation as well as thromboresistance. Alterations of endothelial atheroprotective functions pave the way for the development of atherosclerotic lesions and their clinical manifestations. Therefore, better understanding the molecular mechanisms shaping up endothelial biology will help design future therapeutic strategies to prevent the development of vascular diseases. Recent publications in Arteriosclerosis, Thrombosis, and Vascular Biology have contributed to understanding several of these important processes.
Endothelium-Dependent Effects of Statins

The vascular endothelium is a dynamic endocrine organ that regulates contractile, secretory, and mitogenic activities in the vessel wall and hemostatic processes within the vascular lumen. Risk factors for cardiovascular disease, such as cigarette smoking, hypertension, and elevated serum lipid levels, impair endothelial function and lead to the development of atherosclerotic vessels. Recent studies suggest that statins reduce cardiovascular events in part by improving endothelial function. Statins reduce plasma cholesterol levels, thereby decreasing the uptake of modified lipoproteins by vascular wall cells. There is increasing evidence, however, that statins may also exert effects beyond cholesterol lowering. Indeed, many of these cholesterol-independent or “pleiotropic” vascular effects of statins appear to involve restoring or improving endothelial function through increasing the bioavailability of nitric oxide, promoting re-endothelialization, reducing oxidative stress, and inhibiting inflammatory responses. Thus, the endotheliumdependent effects of statins are thought to contribute to many of the beneficial effects of statin therapy in cardiovascular disease. (Arterioscler Thromb Vasc Biol. 2003;23:729-736.)
CUSTOMISED CONSTRUCTION OF DEVICES AS INTEGRATION OF OCCUPATIONAL THERAPY INTERVENTION IN RHEUMATOLOGY BY 3D PRINTING TECHNOLOGY AND CO-DESIGN: FURTHER DEVELOPMENT AND VERIFICATION OF LONG-TERM EFFECTIVENESS

Objectives: Assess the efficacy of a program for the screening and management of cardiovascular risk factors (CVRF) in patients with chronic arthritis at 2 year follow-up. Methods: Longitudinal and prospective study of patients included in a program aimed at the screening and improvement of the management of CVRF. Patients diagnosed with rheumatoid arthritis (RA), spondyloarthritis (SpA) and psoriatic arthritis (PsA) were included in the program. In the baseline and follow-up visits, CVRF were recorded, as was their treatment and whether treatment targets were achieved. SCORE index was calculated and modified according to EULAR 2010 recommendations. Tailored education was performed by the nurse and (if needed) referral totherheumatologist orGPwasperformed forCVRFdrugtreatment. For this analysis, we selected patients who completed baseline assessment and the 2 year follow-up. Prevalence and degree of control of CVRF were compared atboth timepoints. Results: Out of a total of 416 patients included in the program, 123 have completed both the baseline visit and the 2 year follow-up: 79 (64%) women with a mean age of 59.3±10 years. Patients with RA (n=85), SpA (n=14) and PsA (n=24) wereincluded.