HAL-ENS-LYON
Not a member yet
104280 research outputs found
Sort by
Layers of Confluence for Actors
No full textInternational audienceThis paper introduces a novel proof technique to show that parallel or distributed programs exhibit confluent behaviour, even when the execution of these programs is inherently non-deterministic. The proposed method allows us to prove the confluence of programs for which standard properties such as strong confluence or commutativity of operations do not hold. Our technique builds on a method to prove the confluence of rewrite systems by de Bruijn, which we first adapt and formalise in Rocq. This method can be seen as a specialised induction principle for proving confluence. The paper further considers how this induction principle can be used in the context of programming languages. We show how the proof method can be instantiated to establish confluence conditions for programs in a small Actor-like programming language and demonstrate the application of the method to prove the confluence of a class of programs that cannot be proven to have deterministic behaviour by standard techniques
Language and screen-based multimodal communication
No full textThe main objective of this chapter is to explore how language and languaging are impacted by the mediatization of digital technologies. First we point to the main characteristics of screen-based communication, that is multimodality, interactivity, mobility, relationship to time and technogenres. Then we address three current research issues: multilingualism and translations, discrimination and hate speech, and automatic processing of languages in large language models.Key points•Screen-based communication has evolved according to the technologies available over time.•Screen-based communication has an impact on language in terms of multimodality, interactivity, mobility, temporal plasticity and new genericity.•The presence of natural languages in screen-based communication provides possibilities and constraints for machine translation.•Screen-based communication has shown issues in interactional dynamics for different types of discrimination and hate speech.•Artificial intelligence and large language models for chatbots in screen-based communication open new insights and research questions in linguistics
Panda as the flagship of China’s digital diplomacy: Rethinking the intersection of network and emotional narrative strategy
No full textInternational audienceThis chapter aims to rethink the mediated communication ontology of China’s digital public diplomacy, taking digital panda diplomacy – the most successful public diplomacy campaign of China on social media in more than a decade of digital diplomacy – as a case to identify the emotional network communication structure and narrative strategies led by Beijing, so as to serve the Communist Party of China (CPC) ’s public diplomacy goals of telling China’s stories and demonstrating positive energy towards foreign publics. Chinese media have constructed a journalistic paradigm that promotes feelings of happiness in message receivers. The online production of panda-themed news stories involves three strategies: (a) anthropomorphic rhetoric that implements human-like expressions to make pandas seem “human,” (b) visual images of pandas to mediate relevant knowledge, and (c) manipulation of panda imagery to frame political and public-diplomatic messages that endorse China and its government
Revitalizing the fleshly bond to the web of life with auto-induced cognitive trance : a micro-phenomenological study
No full textInternational audienceRevitalizing the fleshly bond to the web of life with auto-induced cognitive tranceThis article explores the loss of direct experience of nature, which has a negative impact on people's physical and psychological well-being. It focuses on the growing disconnection from the more-than-human world and examines how the practice of auto-induced cognitive trance (AICT), a technique for expanding awareness and connecting to a wider reality, might address this issue. The study examines how AICT participants experience and interpret their interactions with nature, as well as the meanings they derive from these experiences. Using a micro-phenomenological approach, the article discusses the La Bouche d'Ombre project, which investigates these human -more-than-human interactions in AICT.The findings suggest that AICT could foster a more responsive and meaningful relationship with the natural world, potentially promoting a first-person ecology in which people engage with nature in deeper and transformative ways.</div
The Use of Legal Theory in John R. Commons' Transactional Analysis
No full textInternational audienceCommons occupies a special position in institutionalism for his commitment to understanding the legal embedding of American capitalism and the relationship between the legal and economic orders. The article analyzes Commons' approach to law and characterizes his levels of analysis. Commons, notably in “Legal Foundations of Capitalism”, read certain legal writings from which he drew lessons for his own analysis, in a double movement of influence and appropriation. He drew on Hohfeld's juridical matrix and some of his critics to develop his own theory of transaction
Intrinsic training dynamics of deep neural networks
No full textA fundamental challenge in the theory of deep learning is to understand whether gradient-based training in high-dimensional parameter spaces can be captured by simpler, lower-dimensional structures, leading to so-called implicit bias. As a stepping stone, we study when a gradient flow on a high-dimensional variable implies an intrinsic gradient flow on a lower-dimensional variable , for an architecture-related function . We express a so-called intrinsic dynamic property and show how it is related to the study of conservation laws associated with the factorization . This leads to a simple criterion based on the inclusion of kernels of linear maps which yields a necessary condition for this property to hold. We then apply our theory to general ReLU networks of arbitrary depth and show that, for any initialization, it is possible to rewrite the flow as an intrinsic dynamic in a lower dimension that depends only on and the initialization, when is the so-called path-lifting. In the case of linear networks with the product of weight matrices, so-called balanced initializations are also known to enable such a dimensionality reduction; we generalize this result to a broader class of {\em relaxed balanced} initializations, showing that, in certain configurations, these are the \emph{only} initializations that ensure the intrinsic dynamic property. Finally, for the linear neural ODE associated with the limit of infinitely deep linear networks, with relaxed balanced initialization, we explicitly express the corresponding intrinsic dynamics
Coupler les données satellitaires aux données de terrain pour comprendre les dynamiques des socio-hydrosystèmes à différents niveaux d'organisation
No full textNote scientifique du PEPR OneWate
4MOST Cosmology Redshift Survey (CRS): Clustering properties of CRS BG and LRG target catalogues
No full textInternational audienceThe 4MOST Cosmology Redshift Survey (CRS) will obtain nearly 5.4 million spectroscopic redshifts over deg to map large-scale structure and enable measurements of baryon acoustic oscillations (BAOs), growth rates via redshift-space distortions, and cross-correlations with weak-lensing surveys. We validate the target selections, photometry, masking, systematics and redshift distributions of the CRS Bright Galaxy (BG) and Luminous Red Galaxy (LRG) target catalogues selected from DESI Legacy Surveys DR10.1 imaging. We measure the angular two-point correlation function, test masking strategies, and recover redshift distributions via cross-correlation with DESI DR1 spectroscopy. For BG, we adopt Legacy Survey \texttt{MASKBITS} that veto bright stars, SGA large galaxies, and globular clusters; for LRG, we pair these with an unWISE W1 artefact mask. These choices suppress small-scale excess power without imprinting large-scale modes. A Limber-scaling test across BG -band magnitude slices shows that, after applying the scaling, the curves collapse to a near-common power law over the fitted angular range, demonstrating photometric uniformity with depth and consistency between the North (NGC) and South (SGC) Galactic Caps. Cross-correlations with DESI spectroscopy recover the expected , with higher shot noise at the brightest magnitudes. For LRGs, angular clustering in photo- slices () is mutually consistent between the DECaLS and DES footprints at fixed and is well described by an approximate power law once photo- smearing is accounted for; halo-occupation fits yield results consistent with recent LRG studies. Together, these tests indicate that the masks and target selections yield uniform clustering statistics, supporting precision large-scale structure analyses with 4MOST CRS
Mid-Holocene wet optimum and Early-Late Holocene arid phases shaped steppe-forest vegetation and human societies of Uzbekistan: Multi-proxy evidences from Lake Fazilman
No full textInternational audienc
Reimagining Urban River Bathing in Europe: A Multisectoral and Interdisciplinary Dive Into Lyon's Rivers (France)
No full textInternational audienceUrban river bathing is re‐emerging across Europe, driven by social demand and climate change impacts. The Urban Bathing Consortium, an interdisciplinary and intersectoral consortium initiated at the University of Lyon (France), is at the forefront of studying the challenges and opportunities of creating and managing healthy, safe, and accessible river bathing spaces. Through interdisciplinary collaboration among researchers and stakeholders, the consortium proposed an analytical framework, identifying seven critical dimensions for urban river bathing: the history and revival of city‐river relationships, legal and regulatory frameworks, bathing water quality, river drowning risks, river ecosystems, social perspectives, and urban planning. By examining these dimensions with state‐of‐the‐art approaches and drawing on Lyon's experiences, the study provides scientific insights and practical recommendations for future sustainable urban river bathing development. These include revitalizing historical city‐river connections, aligning local regulations with EU guidance, advancing holistic microbial water quality control, enhancing safety measures, incorporating ecological considerations, balancing competing river uses in urban planning, and addressing social needs for inclusive river governance