1,369 research outputs found
LIPIcs, Volume 251, ITCS 2023, Complete Volume
LIPIcs, Volume 251, ITCS 2023, Complete Volum
Recommended from our members
Gender Policy-as-Practice with Young Children: The Politics of Gender-Justice in Early Childhood Education
Trans and queer children are experiencing discrimination starting in the earliest years of schooling. In a paradoxical era of increased support for transgender and queer children on the one hand, and persistent gender violence on the other, this study examines how the New York City Department of Education (NYCDOE) gender policy is taken up in Early Childhood Education practice.
In particular, I ask: (a) What are early childhood teachers’ understanding of NYCDOE’s policy? (b) How do the larger social and material contexts, shape teachers’ enactments of the policy? (c) What do teachers’ understandings and enactments of NYC gender policy look like in their everyday classroom practices?
I use a critical policy-as-practice conceptual framework that does not take policy for granted but understands that embedded in all the policy processes, there is always a great deal of negotiation of power, where some stakeholders are empowered and other perspectives are silenced. Through semi-structured interviews with district policymakers, school administrators, and early childhood teachers, this study unveils how different actors took up NYCDOE’s gender policy in their practice, in accordance with their own ideas, motivations, and broader social and material contexts.
Findings indicate that the policy formation processes excluded the knowledge and perspectives of school communities and grassroots trans activist movements. Principals and teachers had little knowledge of the Guidelines on Gender and resources available, while several policy content and procedures reproduced gender and racial violence. Moreover, the sediment construct of childhood innocence shaped early childhood teachers’ gender-justice practices. Shifting understandings of gender, without revising understandings of childhood, this study concludes, hinders the possibility of transformative change
Advances and Applications of DSmT for Information Fusion. Collected Works, Volume 5
This fifth volume on Advances and Applications of DSmT for Information Fusion collects theoretical and applied contributions of researchers working in different fields of applications and in mathematics, and is available in open-access. The collected contributions of this volume have either been published or presented after disseminating the fourth volume in 2015 in international conferences, seminars, workshops and journals, or they are new. The contributions of each part of this volume are chronologically ordered.
First Part of this book presents some theoretical advances on DSmT, dealing mainly with modified Proportional Conflict Redistribution Rules (PCR) of combination with degree of intersection, coarsening techniques, interval calculus for PCR thanks to set inversion via interval analysis (SIVIA), rough set classifiers, canonical decomposition of dichotomous belief functions, fast PCR fusion, fast inter-criteria analysis with PCR, and improved PCR5 and PCR6 rules preserving the (quasi-)neutrality of (quasi-)vacuous belief assignment in the fusion of sources of evidence with their Matlab codes.
Because more applications of DSmT have emerged in the past years since the apparition of the fourth book of DSmT in 2015, the second part of this volume is about selected applications of DSmT mainly in building change detection, object recognition, quality of data association in tracking, perception in robotics, risk assessment for torrent protection and multi-criteria decision-making, multi-modal image fusion, coarsening techniques, recommender system, levee characterization and assessment, human heading perception, trust assessment, robotics, biometrics, failure detection, GPS systems, inter-criteria analysis, group decision, human activity recognition, storm prediction, data association for autonomous vehicles, identification of maritime vessels, fusion of support vector machines (SVM), Silx-Furtif RUST code library for information fusion including PCR rules, and network for ship classification.
Finally, the third part presents interesting contributions related to belief functions in general published or presented along the years since 2015. These contributions are related with decision-making under uncertainty, belief approximations, probability transformations, new distances between belief functions, non-classical multi-criteria decision-making problems with belief functions, generalization of Bayes theorem, image processing, data association, entropy and cross-entropy measures, fuzzy evidence numbers, negator of belief mass, human activity recognition, information fusion for breast cancer therapy, imbalanced data classification, and hybrid techniques mixing deep learning with belief functions as well
Anàlisi de les plataformes i serveis de streaming utilitzats per l'artista Bad Gyal : estudi de la conversa i l'impacte a Spotify, YouTube i Twitter
L'objectiu principal del treball és analitzar la conversa a les plataformes i serveis de streaming al voltant de l'artista Bad Gyal. Això es fa per poder entendre com s'organitzen els usuaris entre sí i de quina manera interactuen amb el contingut relacionat amb l'artista. Les dades del treball s'han extret directament de les API de les plataformes i xarxes socials analitzades: Spotify, YouTube i Twitter. S'ha creat un codi de programació en Python per extreure les dades i per poder comprendre-les s'han creat gràfics amb Gephi i Tableau. Finalment, s'extreuen les conclusions de l'estat de Bad Gyal en aquestes plataformes.El objetivo principal del trabajo es analizar la conversación en las plataformas y servicios de streaming de la artista Bad Gyal. Esto se hace para poder entender cómo se organizan los usuarios entre sí y cómo interactúan con el contenido relacionado. Los datos del trabajo se han extraído directamente de las API de las plataformas y redes sociales analizadas: Spotify, YouTube y Twitter. Se ha creado un código de programación en Python para extraer los datos y para poder comprenderlos se han creado gráficos con Gephi y Tableau. Finalmente, se extraen las conclusiones del estado de Bad Gyal en plataformas.The main objective is to analyze the conversation on platforms and streaming services around the artist Bad Gyal. This is done to be able to understand how users organize themselves and how they interact with content related to the artist. The data has been extracted directly from the APIs of the analyzed platforms and streaming services: Spotify, YouTube and Twitter. A programming code has been created in Python to extract the data and to understand them, graphics have been created with Gephi and Tableau. Finally, an analysis of the state of these platforms around the artist is extracted
Uncertainty in runtime verification : a survey
Runtime Verification can be defined as a collection of formal methods for studying the dynamic evaluation of execution traces against formal specifications. Aside from creating a monitor from specifications and building algorithms for the evaluation of the trace, the process of gathering events and making them available for the monitor and the communication between the system under analysis and the monitor are critical and important steps in the runtime verification process. In many situations and for a variety of reasons, the event trace could be incomplete or could contain imprecise events. When a missing or ambiguous event is detected, the monitor may be unable to deliver a sound verdict. In this survey, we review the literature dealing with the problem of monitoring with incomplete traces. We list the different causes of uncertainty that have been identified, and analyze their effect on the monitoring process. We identify and compare the different methods that have been proposed to perform monitoring on such traces, highlighting the advantages and drawbacks of each method
Satisfiability Modulo Finite Fields
We study satisfiability modulo the theory of finite fields and
give a decision procedure for this theory. We implement our procedure
for prime fields inside the cvc5 SMT solver. Using this theory, we con-
struct SMT queries that encode translation validation for various zero
knowledge proof compilers applied to Boolean computations. We evalu-
ate our procedure on these benchmarks. Our experiments show that our
implementation is superior to previous approaches (which encode field
arithmetic using integers or bit-vectors)
Leveraging urbanization for inclusive development in Malawi: Anchoring the secondary city development of Salima and Chipoka in a modernizing fruit value chain
Agricultural development in Malawi faces an important conundrum. While agriculture is the backbone of the economy, many smallholders will not be able to farm their way out of poverty. Shrinking farmland size severely limits the total income that can be earned from farming, even at much higher levels of productivity per area farmed than are now achieved. Urbanization embedded in the modernization of locally relevant value chains provides a promising pathway to inclusive development as it serves to simultaneously raise farm incomes, create income-earning opportunities off the farm, and create specialized urban hubs that can boost urban economic growth through agglomeration economies. After laying out these concepts conceptually, we apply them to a specific example of a modernizing mango value chain in Salima/Chipoka. Salima and Chipoka form an urban cluster about 100 km from the capital Lilongwe, located on the lakeshore of Lake Malawi. The Malawi Secondary Cities Plan has identified this cluster as one of eight that are to form an interconnected network of secondary cities, geographically spread across the country, with productive activities in each anchored in the economy of their rural hinterland
LIPIcs, Volume 261, ICALP 2023, Complete Volume
LIPIcs, Volume 261, ICALP 2023, Complete Volum
2023-2024 Undergraduate Catalog
2023-2024 undergraduate catalog for Morehead State University
- …