cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Linear Programs with Conjunctive Database Queries
Creators: name: Capelli, Florent
name: Crosetti, Nicolas
name: Niehren, Joachim
name: Ramon, Jan
Publisher: name: arXiv
Year: 2022
Subjects: subject: Databases (cs.DB)
subject: FOS: Computer and information sciences

description: In this paper, we study the problem of optimizing a linear program whose variables are the answers to a conjunctive query. For this we propose the language LP(CQ) for specifying linear programs whose constraints and objective functions depend on the answer sets of conjunctive queries. We contribute an efficient algorithm for solving programs in a fragment of LP(CQ). The natural approach constructs a linear program having as many variables as there are elements in the answer set of the queries. Our approach constructs a linear program having the same optimal value but fewer variables. This is done by exploiting the structure of the conjunctive queries using generalized hypertree decompositions of small width to factorize elements of the answer set together. We illustrate the various applications of LP(CQ) programs on three examples: optimizing deliveries of resources, minimizing noise for differential privacy, and computing the s-measure of patterns in graphs as needed for data mining.
Islands of Agreement and Civility: Conflict Management in Russia's War against Ukraine
Creators: name: Wittke, Cindy
Publisher: name: University of Edinburgh
Year: 2023
Subjects: Concepts
Peace Processes
Ukraine

description: This report focuses on humanitarian negotiations and the potential for creating ‘islands of civility’ or ‘islands of agreement’ as tools for conflict and disaster management in the protracted Russian war against Ukraine, and their significance for enabling complex multi-dimensional negotiations and settlements on the local, regional, and international levels. Concepts of humanitarian negotiations, ‘islands of civility’ and ‘islands of agreement’, are tested and adapted by connecting them to five specific points of Ukraine’s President Volodymyr Zelensky’s 10-point peace plan. Short-term advantages and long-term pitfalls of turning to a conflict management approach and subsequent temporary, issue-specific conflict management agreements are analysed. Recommendations are provided for third parties whose goals are to prevent processes of political and legal destabilization and fragmentation, and to sustain Ukraine’s statehood.
Probabilistic Automata of Bounded Ambiguity
Creators: name: Fijalkow, Nathanaël
name: Riveros, Cristian
name: Worrell, James
Publisher: name: arXiv
Year: 2022
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences

description: Probabilistic automata are an extension of nondeterministic finite automata in which transitions are annotated with probabilities. Despite its simplicity, this model is very expressive and many of the associated algorithmic questions are undecidable. In this work we focus on the emptiness problem (and its variant the value problem), which asks whether a given probabilistic automaton accepts some word with probability greater than a given threshold. We consider a natural and well-studied structural restriction on automata, namely the degree of ambiguity, which is defined as the maximum number of accepting runs over all words. The known undecidability proofs exploits infinite ambiguity and so we focus on the case of finitely ambiguous probabilistic automata. Our main contributions are to construct efficient algorithms for analysing finitely ambiguous probabilistic automata through a reduction to a multi-objective optimisation problem called the stochastic path problem. We obtain a polynomial time algorithm for approximating the value of probabilistic automata of fixed ambiguity and a quasi-polynomial time algorithm for the emptiness problem for 2-ambiguous probabilistic automata. We complement these positive results by an inapproximability result stating that the value of finitely ambiguous probabilistic automata cannot be approximated unless PTIME = NP.
description: Short version in CONCUR'17, Long version in Information and Computation (special issue on Weighted Automata)
Protectors of the State? The Popular Mobilisation Forces During the Post-Election Crisis
Creators: name: Foltyn, Simona
Publisher: name: University of Edinburgh
Year: 2023
Subjects: Fragmentation
Peace Processes
Iraq

description: The Popular Mobilisation Forces (PMF) is a grouping of Shiʿa-led paramilitaries in Iraq, formed in 2014 with Iranian support to fight the so-called Islamic State in Iraq and Syria (ISIS). The PMF officially reports to Iraq’s prime minister and has undergone a gradual process of institutionalisation which has been subject to much debate and criticism. Although officially a state force, the PMF is frequently criticised for acting outside the chain of command to protect its ideological and political interests. This paper examines the PMF’s role during the 2022 post-election crisis, with an aim to shed light on its level of institutionalisation six years after its foundation. The paper focuses on armed clashes that took place inside Baghdad’s fortified Green Zone on 29–30 August 2022 between the PMF and rival forces led by Shiʿa cleric Moqtada al-Sadr.
Transdisciplinarity : which role for sustainable development education and its situation within engineering education
Creators: name: Tejedor, Gemma
name: Segalàs, Jordi
Publisher: name: The University of British Columbia
Year: 2015

description: Sustainability issues are widely recognized as wicked problems, which should not be considered as problems to be solved, but as conditions to be governed. There is a general agreement on the need to reform scientific expertise as it is required to deal with sustainability challenges, by developing new ways of knowledge production and decision-making. Transdisciplinary aspects of sustainability are widely acknowledged as a transformational stream of sustainability science. However, when entering transdisciplinarity, also encompassing social sciences and humanities, engineering researchers enter unfamiliar grounds. Advancing sustainable engineering science requires creating new long-term, participatory, solution-oriented programs as platforms to recognize and engage with the macro-ethical, adaptive, and cross-disciplinary challenges embedded in professional issues. Furthermore, the difficulties to change engineering education are broadly analyzed: anachronistic pedagogy, mismatched incentives, insufficient expertise, lack of personal commitment, familiar and comfortable patterns for scholars, overcrowded curriculum, etc. Nevertheless, in spite of any old pattern, operationalizing the goals of the field, developing the necessary competencies, and seeking partnerships between society and the academy will position academic institutions to impact on the transition towards sustainability. We have performed a literature review on different ways of applying or bringing transdisciplinarity approach to higher education, in particular in engineering and technology fields. Deepening the argumentation provided by Julie T. Klein on the three discourses on transdisciplinarity -transcendence, problem solving, transgression- we have analysed the different published initiatives under those discourses to approach transdisciplinarity initiatives in engineering education for sustainability.
Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras
Creators: name: Alpay, Natanael
name: Jipsen, Peter
name: Sugimoto, Melissa
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic (math.LO)
subject: Rings and Algebras (math.RA)
subject: FOS: Mathematics

description: A distributive lattice-ordered magma ($d\ell$-magma) $(A,\wedge,\vee,\cdot)$ is a distributive lattice with a binary operation $\cdot$ that preserves joins in both arguments, and when $\cdot$ is associative then $(A,\vee,\cdot)$ is an idempotent semiring. A $d\ell$-magma with a top $\top$ is unary-determined if $x{\cdot} y=(x{\cdot}\!\top\wedge y)$ $\vee(x\wedge \top\!{\cdot}y)$. These algebras are term-equivalent to a subvariety of distributive lattices with $\top$ and two join-preserving unary operations $\mathsf p,\mathsf q$. We obtain simple conditions on $\mathsf p,\mathsf q$ such that $x{\cdot} y=(\mathsf px\wedge y)\vee(x\wedge \mathsf qy)$ is associative, commutative, idempotent and/or has an identity element.
 This generalizes previous results on the structure of doubly idempotent semirings and, in the case when the distributive lattice is a Heyting algebra, it provides structural insight into unary-determined algebraic models of bunched implication logic. We also provide Kripke semantics for the algebras under consideration, which leads to more efficient algorithms for constructing finite models. We find all subdirectly irreducible algebras up to cardinality eight in which $\mathsf p=\mathsf q$ is a closure operator, as well as all finite unary-determined bunched implication chains and map out the poset of join-irreducible varieties generated by them.
Post Architecture: Sudan's Competitive Marketplace of Transition Management
Creators: name: Pospisil, Jan
Publisher: name: University of Edinburgh
Year: 2023
Subjects: Global Transitions
Peace Processes
Sudan

description: The Sudanese transition is increasingly entangled in a number of competing mediation and facilitation initiatives of limited reach and influence. This competition provides favourable conditions for various splits within the actor groups, both on the side of the military regime and the side of the armed and the civilian opposition. In April 2023, the former has escalated to a point of an open civil war, severely risking the transition process as a whole. Insistence on one unitary peace process by international mediators and facilitators has resulted in competition between signatories of the Juba Peace Agreement and the political framework agreement. Regional actors’ engagement with the 2021 coup regime has further undermined the prospects for a democratic transition. As recent events in Sudan demonstrate, the quest for short-term stabilisation can fail, undermining long-term peacebuilding and democratisation and resulting in the outbreak of armed violence. A unitary approach to peace process mediation can create significant stumbling blocks for transitional progress. The reality of the post-architectural transitional landscape requires a principled, pragmatic approach that accepts the multiplicity of complementing and, at times, competing processes.
Women and Constitutional Reform in Response to Social Crisis
Creators: name: Houlihan, Erin C.
Publisher: name: University of Edinburgh
Year: 2023
Subjects: Constitution-making
Gender
Global

description: There is a rise in social protests globally due to dissatisfaction with governance, and women and youth often lead these protests. Governments respond to social protests with different tactics and methods, and some may engage in constitutional change to address the social unrest. Constitutional reform in response to social unrest presents an opportunity for women to ensure that their substantive interests—articulated as part of a protest movement—are incorporated into subsequent constitutional reforms. But women’s participation and influence must often be (re)asserted when protest movements transition into a constitution-building process, as women tend to be seen as agents of change but not as agents of governance. The annual Women Constitution-Makers’ Dialogue series was established in 2019 by International IDEA, the Edinburgh Centre for Constitutional Law (ECCL) and PeaceRep, as a platform for peer-to-peer exchange of experiences among women constitution-makers and peacebuilders. The second event in the series was held in November 2020, focusing on ‘Constitution-Making in Response to Social Unrest’.
Stop the Spread: A Contextual Integrity Perspective on the Appropriateness of COVID-19 Vaccination Certificates
Creators: name: Zhang, Shikun
name: Shvartzshnaider, Yan
name: Feng, Yuanyuan
name: Nissenbaum, Helen
name: Sadeh, Norman
Publisher: name: arXiv
Year: 2022
Subjects: subject: Computers and Society (cs.CY)
subject: Cryptography and Security (cs.CR)
subject: Human-Computer Interaction (cs.HC)
subject: FOS: Computer and information sciences
subject: K.4.1

description: We present an empirical study exploring how privacy influences the acceptance of vaccination certificate (VC) deployments across different realistic usage scenarios. The study employed the privacy framework of Contextual Integrity, which has been shown to be particularly effective in capturing people's privacy expectations across different contexts. We use a vignette methodology, where we selectively manipulate salient contextual parameters to learn whether and how they affect people's attitudes towards VCs. We surveyed 890 participants from a demographically-stratified sample of the US population to gauge the acceptance and overall attitudes towards possible VC deployments to enforce vaccination mandates and the different information flows VCs might entail. Analysis of results collected as part of this study is used to derive general normative observations about different possible VC practices and to provide guidance for the possible deployments of VCs in different contexts.
On Robustness for the Skolem, Positivity and Ultimate Positivity Problems
Creators: name: Akshay, S.
name: Bazille, Hugo
name: Genest, Blaise
name: Vahanwala, Mihir
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: The Skolem problem is a long-standing open problem in linear dynamical systems: can a linear recurrence sequence (LRS) ever reach 0 from a given initial configuration? Similarly, the positivity problem asks whether the LRS stays positive from an initial configuration. Deciding Skolem (or positivity) has been open for half a century: the best known decidability results are for LRS with special properties (e.g., low order recurrences). But these problems are easier for "uninitialized" variants, where the initial configuration is not fixed but can vary arbitrarily: checking if there is an initial configuration from which the LRS stays positive can be decided in polynomial time (Tiwari in 2004, Braverman in 2006). In this paper, we consider problems that lie between the initialized and uninitialized variants. More precisely, we ask if 0 (resp. negative numbers) can be avoided from every initial configuration in a neighborhood of a given initial configuration. This can be considered as a robust variant of the Skolem (resp. positivity) problem. We show that these problems lie at the frontier of decidability: if the neighbourhood is given as part of the input, then robust Skolem and robust positivity are Diophantine hard, i.e., solving either would entail major breakthroughs in Diophantine approximations, as happens for (non-robust) positivity. However, if one asks whether such a neighbourhood exists, then the problems turn out to be decidable with PSPACE complexity. Our techniques also allow us to tackle robustness for ultimate positivity, which asks whether there is a bound on the number of steps after which the LRS remains positive. There are two variants depending on whether we ask for a "uniform" bound on this number of steps. For the non-uniform variant, when the neighbourhood is open, the problem turns out to be tractable, even when the neighbourhood is given as input.
Numerical Results for Ground States of Spin Glasses on Bethe Lattices
Creators: name: Boettcher, S.
Publisher: name: arXiv
Year: 2002
Subjects: subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: Optimization and Control (math.OC)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: The average ground state energy and entropy for +/- J spin glasses on Bethe lattices of connectivities k+1=3...,26 at T=0 are approximated numerically. To obtain sufficient accuracy for large system sizes (up to n=2048), the Extremal Optimization heuristic is employed which provides high-quality results not only for the ground state energies per spin e_{k+1} but also for their entropies s_{k+1}. The results show considerable quantitative differences between lattices of even and odd connectivities. The results for the ground state energies compare very well with recent one-step replica symmetry breaking calculations. These energies can be scaled for all even connectivities k+1 to within a fraction of a percent onto a simple functional form, e_{k+1} = E_{SK} sqrt(k+1) - {2E_{SK}+sqrt(2)} / sqrt(k+1), where E_{SK} = -0.7633 is the ground state energy for the broken replica symmetry in the Sherrington-Kirkpatrick model. But this form is in conflict with perturbative calculations at large k+1, which do not distinguish between even and odd connectivities. We find non-zero entropies s_{k+1} at small connectivities. While s_{k+1} seems to vanish asymptotically with 1/(k+1) for even connectivities, it is indistinguishable from zero already for odd k+1 >= 9.
description: 11 pages, RevTex4, 28 ps-figures included, related papers available at http://www.physics.emory.edu/faculty/boettcher/
Extremal Optimization for Sherrington-Kirkpatrick Spin Glasses
Creators: name: Boettcher, Stefan
Publisher: name: arXiv
Year: 2004
Subjects: subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Optimization and Control (math.OC)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: Extremal Optimization (EO), a new local search heuristic, is used to approximate ground states of the mean-field spin glass model introduced by Sherrington and Kirkpatrick. The implementation extends the applicability of EO to systems with highly connected variables. Approximate ground states of sufficient accuracy and with statistical significance are obtained for systems with more than N=1000 variables using $\pm J$ bonds. The data reproduces the well-known Parisi solution for the average ground state energy of the model to about 0.01%, providing a high degree of confidence in the heuristic. The results support to less than 1% accuracy rational values of $ω=2/3$ for the finite-size correction exponent, and of $ρ=3/4$ for the fluctuation exponent of the ground state energies, neither one of which has been obtained analytically yet. The probability density function for ground state energies is highly skewed and identical within numerical error to the one found for Gaussian bonds. But comparison with infinite-range models of finite connectivity shows that the skewness is connectivity-dependent.
description: Substantially revised, several new results, 5 pages, 6 eps figures included, (see http://www.physics.emory.edu/faculty/boettcher/ for related information)
Weaving fun and functionality. A study of everyday urban e-scootering
Creators: name: Lloyd, Michael
Publisher: name: Open Access Te Herenga Waka-Victoria University of Wellington
Year: 2022
Subjects: subject: 160810 Urban Sociology and Community Studies
subject: FOS: Sociology
subject: Anthropology
subject: 169999 Studies in Human Society not elsewhere classified
subject: Sociology

description: Existing research from transport studies agrees that e-scooters are both functional and fun to use; however, detail is lacking on exactly where, when, and how e-scooters are used in a playful manner. Existing research also illustrates how, once allowed into city space, regulations tend to follow, limiting e-scooter speed and place of use. This is partly because of accrued statistics on accident and injury rates, both to e-scooterists and pedestrians. Hence, the question of how exactly e-scooters are used is an important one. It is studied here via qualitative analysis of video data collected by discreetly following e-scooterists and filming their actions amongst other co-movers in specific places. Very few studies of this kind exist, consequently the emphasis is upon detailed empirical analysis rather than theorisation or conceptual development. Through the presentation of graphic transcripts and a relatively simple comparative approach, new knowledge is gained on the complexities of e-scooter use within the city streetscape.
Photon-statistics force in ultrafast electron dynamics
Creators: name: Tzur, Matan Even
name: Birk, Michael
name: Gorlach, Alexey
name: Krueger, Michael
name: Kaminer, Ido
name: Cohen, Oren
Publisher: name: arXiv
Year: 2022
Subjects: subject: Optics (physics.optics)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: In strong-field physics and attosecond science, intense light induces ultrafast electron dynamics. Such ultrafast dynamics of electrons in matter is at the core of phenomena such as high harmonic generation (HHG), where these dynamics lead to emission of extreme UV bursts with attosecond duration. So far, all ultrafast dynamics of matter were understood to originate purely from the classical vector potential of the driving light, disregarding the influence of the quantum nature of light. Here we show that dynamics of matter driven by bright (intense) light significantly depend on the quantum state of the driving light, which induces an effective photon-statistics force. To provide a unified framework for the analysis & control over such a force, we extend the strong-field approximation (SFA) theory to account for non-classical driving light. Our quantum SFA (qSFA) theory shows that in HHG, experimentally feasible squeezing of the driving light can shift & shape electronic trajectories and attosecond pulses at the scale of hundreds of attoseconds. Our work presents a new degree-of-freedom for attosecond spectroscopy, by relying on nonclassical electromagnetic fields, and more generally, introduces a direct connection between attosecond science and quantum optics.
ResearchBox 3964, 'Can Deepfakes Replace Lecturers? An Exploratory International Study of Higher Education Stakeholder Perceptions', https://researchbox.org/3964
Creators: name: Mike Perkins
name: Jasper Roe
name: Klaire Somoray
name: Dan Miller
name: Leon  Furze
Publisher: name: Zenodo
Year: 2025

description: Box title: 'Can Deepfakes Replace Lecturers? An Exploratory International Study of Higher Education Stakeholder Perceptions'   Reference: Jasper Roe, Mike Perkins, Klaire Somoray, Dan Miller, Leon Furze , 'To Deepfake Or Not To Deepfake: Higher Education Stakeholders' Perceptions And Intentions Towards Synthetic Media'Note: this backup was created automatically by a ResearchBox bot
Supplementary document for Visible light emission enhancement from graphene-based metal Fabry-Pérot cavity - 6095562.pdf
Creators: name: Guo, Chucai
name: Fan, Yansong
name: Hong, Zhu
name: Zhang, Jianfa
name: xu, wei
name: Wu, Fan
name: Yuan, Xiaodong
name: Qin, Shiqiao
Publisher: name: Optica Publishing Group
Year: 2025
Subjects: Uncategorized

description: Simulation, device fabrication.
DeepSec: Deciding Equivalence Properties for Security Protocols -- Improved theory and practice
Creators: name: Cheval, Vincent
name: Kremer, Steve
name: Rakotonirina, Itsaka
Publisher: name: arXiv
Year: 2022
Subjects: subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences
subject: C.2.2; D.2.4; F.3.1

description: Automated verification has become an essential part in the security evaluation of cryptographic protocols. In this context privacy-type properties are often modelled by indistinguishability statements, expressed as behavioural equivalences in a process calculus. In this paper we contribute both to the theory and practice of this verification problem. We establish new complexity results for static equivalence, trace equivalence and labelled bisimilarity and provide a decision procedure for these equivalences in the case of a bounded number of protocol sessions. Our procedure is the first to decide trace equivalence and labelled bisimilarity exactly for a large variety of cryptographic primitives -- those that can be represented by a subterm convergent destructor rewrite system. We also implemented the procedure in a new tool, DeepSec. We showed through extensive experiments that it is significantly more efficient than other similar tools, while at the same time raises the scope of the protocols that can be analysed.
description: 136 pages
3-087-ThanosPopulationDynamicsInteractingSpecies-ModelingScenario
Creators: name: Patterson, Saraha
name: Patterson, Blain
Publisher: name: QUBES Educational Resources
Year: 2022

description: Thanos snaps his fingers and turns half of all living creatures to dust with the hope of restoring balance to the natural world. How does this affect the long term behavior of various species?
3-090-OneSpringMass-ModelingScenario
Creators: name: Ahlstrom, Eric
name: Singh, Swarn
name: Sieben, John
name: Fogarty, Tiernan
name: Thoo, John
Publisher: name: QUBES Educational Resources
Year: 2022

description: We lead students through building a mathematical model for a single mass (bob)-spring system that is hanging vertically. We also lead the students, using data that they collect together with their model to approximate the value of the spring constant.
A topological derivative-based algorithm to solve optimal control problems with $L^0(Ω)$ control cost
Creators: name: Wachsmuth, Daniel
Publisher: name: arXiv
Year: 2022
Subjects: subject: Optimization and Control (math.OC)
subject: FOS: Mathematics

description: In this paper, we consider optimization problems with $L^0$-cost of the controls. Here, we take the support of the control as independent optimization variable. Topological derivatives of the corresponding value function with respect to variations of the support are derived. These topological derivatives are used in a novel gradient descent algorithm with Armijo line-search. Under suitable assumptions, the algorithm produces a minimizing sequence.
Consultoria a empresas e organizações do terceiro setor (ONGs)
Creators: name: Toda, Favio Akiyoshi
name: Lima, Daniella Munhoz da Costa
Publisher: name: Zenodo
Year: 2025

description: Consultoria a empresas e organizações do terceiro setor (ONGs) iniciada em julho de 2023 - Instituto DARA - Cálculo do Social Return on Investment (SROI). Primeira etapa realizada – Avaliação dos Impactos do Programa Social, PAF do Instituto DARA.

 

O Instituto Dara, em 2022, foi considerado por dez anos consecutivos a melhor ONG da América Latina, e a 20ª melhor do mundo pela revista suíça thedotgood (conhecida antes como NGO). Ingresso em 2023, com status consultivo especial, no Conselho Econômico e Social das Nações Unidas.

 

A consultoria se baseia na aplicação da metodologia SROI sobre o programa PAF do Instituto Dara, e colabora em apresentar os impactos sociais com a finalidade de apresentar resultados aos seus investidores sociais e ajudar na captação de novos recursos. O projeto avaliado é uma parceria do Instituto DARA com o Tribunal de Justiça do Estado do Rio de Janeiro.

 

O PAF é a metodologia inovadora criada pelo Instituto Dara e que trabalha com a preocupação de permitir o desenvolvimento humano de pessoas vulneráveis através da promoção da saúde, educação, habitação, renda e cidadania, buscando intervir nos determinantes sociais relacionados à miséria e que impactam negativamente as condições de qualidade de vida das famílias, e envolve uma abordagem multidisciplinar e integrada de recursos que auxilia na melhora dos paciente atendidos pelo Instituto Dara, buscando amenizar e romper com os fatores que geram o ciclo pobreza-adoecimento-morte.

 

Primeira etapa de duas realizada – Avaliação dos impactos do PAF (2023-2024).

 

Segunda etapa - Quantificação dos impactos (SROI) (2025).
Avaliação dos Impactos da Metodologia PAF do projeto de parceria entre o Instituto DARA (ONG) e o Tribunal de Justiça do Estado do Rio de Janeiro
Creators: name: Toda, Favio Akiyoshi
name: Lima, Daniella Munhoz da Costa
Publisher: name: Zenodo
Year: 2025

description: Consultoria a empresas e organizações do terceiro setor (ONGs): Iniciada em julho de 2023 no Instituto DARA para o Cálculo do Social Return on Investment (SROI).

Primeira etapa realizada – Avaliação dos Impactos do Programa Social, PAF do Instituto DARA ao longo do ano de 2024.

 O Instituto Dara, em 2022, foi considerado por dez anos consecutivos a melhor ONG da América Latina, e a 20ª melhor do mundo pela revista suíça thedotgood (conhecida antes como NGO). Ingresso em 2023, com status consultivo especial, no Conselho Econômico e Social das Nações Unidas.

 A consultoria se baseia na aplicação da metodologia SROI sobre o programa PAF do Instituto Dara, e colabora em apresentar os impactos sociais com a finalidade de apresentar resultados aos seus investidores sociais e ajudar na captação de novos recursos. O projeto avaliado é uma parceria do Instituto DARA com o Tribunal de Justiça do Estado do Rio de Janeiro.

 O PAF é a metodologia inovadora criada pelo Instituto Dara e que trabalha com a preocupação de permitir o desenvolvimento humano de pessoas vulneráveis através da promoção da saúde, educação, habitação, renda e cidadania, buscando intervir nos determinantes sociais relacionados à miséria e que impactam negativamente as condições de qualidade de vida das famílias, e envolve uma abordagem multidisciplinar e integrada de recursos que auxilia na melhora dos paciente atendidos pelo Instituto Dara, buscando amenizar e romper com os fatores que geram o ciclo pobreza-adoecimento-morte.

 

Primeira etapa de duas realizada – Avaliação dos impactos do PAF (2023-2024).

 

Segunda etapa - Quantificação dos impactos (SROI) (2025).
Avaliação dos Impactos da Metodologia PAF do projeto de parceria entre o Instituto DARA (ONG) e o Tribunal de Justiça do Estado do Rio de Janeiro
Creators: name: Toda, Favio Akiyoshi
name: Lima, Daniella Munhoz da Costa
Publisher: name: Zenodo
Year: 2025

description: Consultoria a empresas e organizações do terceiro setor (ONGs) iniciada em julho de 2023 - Instituto DARA - Cálculo do Social Return on Investment (SROI). Primeira etapa realizada – Avaliação dos Impactos do Programa Social, PAF do Instituto DARA. Foram realizados encontros presenciais no Instituto Dara, na UFF e remotos ao longo de 2023 e 2024.

A consultoria se baseia na aplicação da metodologia SROI (Social Return on Investment) sobre o programa PAF (Plano de Ação Familiar) do Instituto Dara, e colabora em apresentar os impactos sociais com a finalidade de apresentar resultados aos seus investidores sociais e ajudar na captação de novos recursos. O projeto avaliado é uma parceria do Instituto DARA com o Tribunal de Justiça do Estado do Rio de Janeiro.

O PAF é a metodologia inovadora criada pelo Instituto Dara e que trabalha com a preocupação de permitir o desenvolvimento humano de pessoas vulneráveis através da promoção da saúde, educação, habitação, renda e cidadania, buscando intervir nos determinantes sociais relacionados à miséria e que impactam negativamente as condições de qualidade de vida das famílias, e envolve uma abordagem multidisciplinar e integrada de recursos que auxilia na melhora dos paciente atendidos pelo Instituto Dara, buscando amenizar e romper com os fatores que geram o ciclo pobreza-adoecimento-morte.

O Instituto Dara, em 2022, foi considerado por dez anos consecutivos a melhor ONG da América Latina, e a 20ª melhor do mundo pela revista suíça thedotgood (conhecida antes como NGO). Ingresso em 2023, com status consultivo especial, no Conselho Econômico e Social das Nações Unidas.

Uma das questões mais difíceis para as ONGS trata-se da captação regular de recursos para a manutenção de seus programas sociais. A obtenção do SROI para o Instituto DARA representa uma oportunidade ímpar para mostrar à Sociedade um impacto quantitativo de suas atividades, e colabora na manutenção e captação de novos investidores sociais.

A equipe de professores da UFF foi formada pelo Prof. Favio Akiyoshi Toda (PPGE/ UFRRJ e PPGAD/ UFF) e Daniella Munhoz da Costa Lima (PPGAD/ UFF).

 

Primeira etapa de duas realizada – Avaliação dos impactos do PAF (2023-2024).

 

Segunda etapa - Quantificação dos impactos (SROI) (2025).
title: Bridging: Mathematics Learner Book Milestones 1-8
Creators: name: (:Unkn) Unknown
Publisher: name: University of Massachusetts Amherst
Year: 2006
Subjects: subject: Curriculum and Instruction
subject: International and Comparative Education

description: REACH is a USAID-funded program implemented by Management Sciences for Health (MSH) under contract EEE-C-00-03-00015-00. Partners include The Academy for Educational Development (AED); Health and Development Services (HANDS); JHPIEGO; Technical Assistance, Inc. (TAI); and the University of Massachusetts/Amherst. Learning for Life is managed by the University of Massachusetts/Amherst and in conjunction with the International Rescue Committee implemented in 12 USAID priority provinces in Afghanistan. The views expressed in this publication do not necessarily reflect the views of the United States Agency for International Development of the United States Government. Produced for the Afghanistan Learning for Life Project, funded under the USAID financed REACH Project, by the Center for International Education, School of Education, University of Massachusetts. For further information see: www.umass.edu/cie, or contact cie@educ.umass.edu
Landschaftsgestaltung als professionalisierte Esoterik. Erwin Frobmann: Gestaltqualitäten in Landschaft und Freiraum. Österreichischer Kunst- und Kulturverlag, Wien 1997. ISBN 3-85437-140-3, 358 Seiten
Creators: name: Falter, Reinhard
Publisher: name: Naturwissenschaftliche Sektion am Goetheanum, Elemente der
 Naturwissenschaft
Year: 1997

description: Elemente der Naturwissenschaft 67, p. 64-67.
description:
Erwin Frohmann, zur Zeit Assistent an der Universität für Bodenkultur in Wien, hat mit seiner Habilitationsschrift einen Versuch zu einem wichtigen Anliegen gemacht, nämlich zur Einführung nicht «naturwissenschaftlich» faßbarer Qualitäten in Landschafts- und Freiraumgestaltung. Das Buch beginnt mit einer Einführung in die verwendeten Kategorien wie Polaritätsdenken (Ying-yang), Vier-Elementen-Schema und Sinneslehre (wobei von neun Sinnen ausgegangen wird) sowie Lehre von den Wahrnehmungsorganen des Feinstofflichen, wofür er die sieben Haupt-Chakren heranzieht. Dann werden drei Dimensionen von Landschaft unterschieden: eine körperlichstoffliche, eine ästhetische und eine feinstoffliche. Der erste Aspekt scheint dem Verfasser durch das Herangehen der vom sog. «naturwissenschaftlichen» Reduktionismus geprägten Ökologie abgedeckt. Im zweiten bezieht er sich weniger auf die heute üblichen Ansätze soziologistischer Ästhetik, als auf die Archetypen in der Tradition C. G. Jungs. Die feinstoffliche Wahrnehmung wird unterteilt in Vitalfeld, Emotionalfeld und Mentalfeld. Für konkrete Beschreibungen wird bevorzugt Marko Pogacnik herangezogen. [...]

description:
Erwin Frohmann, zur Zeit Assistent an der Universität für Bodenkultur in Wien, hat mit seiner Habilitationsschrift einen Versuch zu einem wichtigen Anliegen gemacht, nämlich zur Einführung nicht «naturwissenschaftlich» faßbarer Qualitäten in Landschafts- und Freiraumgestaltung. Das Buch beginnt mit einer Einführung in die verwendeten Kategorien wie Polaritätsdenken (Ying-yang), Vier-Elementen-Schema und Sinneslehre (wobei von neun Sinnen ausgegangen wird) sowie Lehre von den Wahrnehmungsorganen des Feinstofflichen, wofür er die sieben Haupt-Chakren heranzieht. Dann werden drei Dimensionen von Landschaft unterschieden: eine körperlichstoffliche, eine ästhetische und eine feinstoffliche. Der erste Aspekt scheint dem Verfasser durch das Herangehen der vom sog. «naturwissenschaftlichen» Reduktionismus geprägten Ökologie abgedeckt. Im zweiten bezieht er sich weniger auf die heute üblichen Ansätze soziologistischer Ästhetik, als auf die Archetypen in der Tradition C. G. Jungs. Die feinstoffliche Wahrnehmung wird unterteilt in Vitalfeld, Emotionalfeld und Mentalfeld. Für konkrete Beschreibungen wird bevorzugt Marko Pogacnik herangezogen. [...]
What do sustaining life and sustainable engineering have in common?
Creators: name: Siller, Thomas J.
name: Johnson, Gearold R.
name: Troxell, Wade O.
Publisher: name: The University of British Columbia
Year: 2015

description: Medical Education professionals in the U.S. have realized that medical education now consists of three main features: diagnosis, cure and in the case of chronic illness, health management (sustaining life). In a similar way, engineering education may be characterized by problem definition (diagnosis), problem solving and in the case of chronic engineering problems, problem management. Medical education has taken steps to modify its curriculum and pedagogy to reflect this new awareness whereas engineering education has not. What can engineering education learn from the medical education community? And, in particular, how do further challenges of sustainable engineering impact how engineering education should change?
Apollo collaborative manual annotation for genomic sequencing projects
Creators: name: Dunn, Nathan
name: Muñoz-Torres, Mónica
name: Unni, Deepak
name: Diesh, Colin
name: Rasche, Eric
name: Yao, Eric
name: Holmes, Ian
name: Elsik, Christine
name: Lewis, Suzanna
Publisher: name: F1000Research
Year: 2016

description: Apollo is a web-based genomic annotation editor built on top of the JBrowse genome viewer.  To accommodate a diverse array of both large and small genome annotation projects, we have undertaken several major efforts:  	A flexible and informative layout via a side-dock that allows a deeper, alternate view of the data
 	A suite of secure web services used to build the interface make it easy to integrate with other software and create customized interfaces
 	Support multiple organisms per server to minimize server resources and allow for optional public access
 	User and group level permissions for editing and viewing annotations to support larger team
Sustainability thinking in engineering education : data-intensive research, computational sustainability and multidisciplinary research
Creators: name: Shoolestani, Amir
name: Shoolestani, Behzad
Publisher: name: The University of British Columbia
Year: 2015

description: Most universities, and in fact most organizations and government agencies are committed to sustainable development. Sustainability in higher education is also mainstream in the scientific arena with a need for forward looking on how to infuse sustainability across disciplines. Education for sustainable development aims at fostering social, political, economic and ecological issues pertaining sustainable development. The aim of this paper is twofold. The first objective is to introduce Sustainability Thinking as a dedicated program in engineering education for sustainable development, comprising of Data Intensive Research, Computational Sustainability, and Multidisciplinary Research. The second objective is to urge the engineering education community to move towards multidisciplinary research to bear on the pressing global challenges. The paper further expounds on the role of "Big Data" and advanced analytics in engineering research and explores the concepts behind Computational Sustainability: Data Analytics for Sustainability, Computational Thinking, and Systems Thinking. The paper also discusses the role that multidisciplinary research plays in achieving Systems Thinking and finding solutions to many complex sustainability problems. It is further argued that making a paradigm shift in sustainability pedagogy requires a shift in cultures within disciplines of computer science and engineering.
Branch-Well-Structured Transition Systems and Extensions
Creators: name: Bollig, Benedikt
name: Finkel, Alain
name: Suresh, Amrita
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We propose a relaxation to the definition of well-structured transition systems (\WSTS) while retaining the decidability of boundedness and non-termination. In this class, the well-quasi-ordered (wqo) condition is relaxed such that it is applicable only between states that are reachable one from another. Furthermore, the monotony condition is relaxed in the same way. While this retains the decidability of non-termination and boundedness, it appears that the coverability problem is undecidable. To this end, we define a new notion of monotony, called cover-monotony, which is strictly more general than the usual monotony and still allows us to decide a restricted form of the coverability problem.
title: From Limited Data to Meaningful Insights
title: Two studies on chronic stress prediction using machine learning
titleType: AlternativeTitle
Creators: name: Bozorgmehr, Arezoo
Publisher: name: Universitäts- und Landesbibliothek Bonn
Year: 2024
Subjects: subject: artificial intelligence
subject: machine learning
subject: prognostic
subject: model
subject: chronic stress
subject: resilience factors
subject: interpretable model
subject: explainability
subject: stress
subject: disease
subject: diabetes
subject: cancer
subject: dataset
subject: clinical
subject: data
subject: gender
subject: social support
subject: support
subject: intervention
subject: SHAP
subject: primary care
subject: general practice
subject: medicine
subject: ddc:610

description: Background: Chronic stress is widespread and adversely affects mental and physical health. The two studies in this dissertation used machine learning to predict chronic stress and identify its risk as well as protective factors. The first study examined workplace factors in German general practice assistants, while the second developed an interpretable model using a national dataset from the Robert Koch Institute to identify protective factors for improved well-being.
 Methods: The first study analyzed 550 general practice assistants comparing 4 machine learning classifiers (random forest, support vector machine, K-nearest neighbors, and artificial neural network) and logistic regression to predict chronic stress. The model performance was evaluated using metrics such as the area under the curve (AUC), sensitivity, and positive predictive value. The second study investigated chronic stress in the German population using data from 5,801 in the representative DEGS1 study. Multiclass classification with extreme gradient boosting (XGBoost) and Shapley additive explanations (SHAP) was employed to predict stress levels and especially identify protective factors. The evaluation metrics included the area under the curve (AUC), precision, recall, and F1-score, which were averaged using the macro average.
 Results: In the first study, machine learning models outperformed logistic regression in predicting chronic stress among practice assistants. The random forest model achieved the highest AUC of 84 %. Work characteristics were identified as relevant factors. In the second study, the XGBoost model obtained an AUC of 81 %, a precision of 63 %, a recall of 52 %, a specificity of 78 %, and a F1-score of 54 %. The study identified several protective factors against chronic stress like satisfaction with living space, strong social support, being male, and age = 42 years.
 Conclusion: Machine learning classifiers, specifically ensemble methods, demonstrated superior performance compared to logistic regression and other ML approaches in predicting chronic stress even with small data sets. Aiming at reliable feature importance detection, the SHAP technique identified significant protective factors that should be taken into account when designing interventions to alleviate chronic stress.
Discrimination and science
Creators: name: Kajee, Mohammed
name: Taylor, Dale
name: Sithaldeen, Riashna
name: Moosa, Naseera
name: Ackermann, Rebecca
name: Graham, Jes
Publisher: name: University of Cape Town
Year: 2024
Subjects: classificationCode: 390407
subject: Inclusive education

description: Most of us have experienced discrimination in some way. And all of us have discriminated against others, either consciously or unconsciously. Discrimination leads to poor quality science and also affects your learning of science. This chapter deepens your understanding about discrimination to help you on your journey to becoming an excellent scientist.Die meeste van ons was op een of ander manier ge-discriminate. En almal van o’s het ander mense oek ge-discriminate, of djy nou aspris was of nie. Diskriminasie lei tot swak quality wetenskap. Dit influence oek hoe djy jou science leer. Die chêpter verdiep jou begrip oor diskriminasie om jou te help op jou reis om 'n uitstekende wetenskaplike te word.Uninzi lwethu luye lacalucalulwa ngendlela ezithile. Sonke thina sicalucalulene phakathi kwethu, ngokusezingqondweni okanye ngokungekho zingqondweni. Ucalucalulo lukhokhelela kwinzulu lwazi ehluphekileyo luchaphazele nokufunda kwakho ezenzulu lwazi. Esi isahluko singena nzulu ekuqondeni kwakho ucalucalulo ukuze sikuncede eluhambeni lwakho lokuba ngusazinzulu.
The needs of others : social entrepreneurship versus the profit motive
Creators: name: Minster, Mark H.
name: Brackin, Patricia D.
name: House, Richard
name: Mueller-Price, Jenny
Publisher: name: The University of British Columbia
Year: 2015

description: In our first-year living-learning community for engineering students who are interested in sustainability, we experience tensions between competing narratives about who and what education for sustainability is for. Our challenge is how to define sustainability in the environment of an engineering education that prizes industrial values like innovation, entrepreneurship, and vocational training. Our solution, so far, is to keep emphasizing the contexts of the engineering problem-solving.
ЯПОНИЯДА ПРОБАЦИЯ ХИЗМАТИНИНГ НАЗОРАТ ОСТИДАГИ ШАХСЛАР БИЛАН ИШЛАШДА ИНСОНПАРВАРЛИК ПРИНСИПИНИ ҚЎЛЛАШ ФАОЛИЯТИ
Creators: name: Аскарова, Элмира
Publisher: name: Zenodo
Year: 2025

description: Ушбу тадқиқот Япония пробация хизматининг назорат остидаги шахслар билан ишлашда инсонпарварлик принсипини қўллаш фаолиятига бағишланган. Инсонпарварлик принсипи Японияда жазолашдан кўра, шахсларни жамиятга қайта мослаштириш ва ислоҳ қилишга устуворлик бериб, пробация хизматининг асосий йўналиши сифатида хизмат қилади. Пробация офицерлари, кўнгиллилар ва маҳаллий жамоаларнинг мувофиқлашган фаолияти орқали шахсларга индивидуал ёндашув, ижтимоий ёрдам ва ишончли муносабатлар ўрнатиш таъминланади. Япон олимларининг тадқиқотларига асосланиб, ушбу тизимнинг самарадорлиги қайта жиноят содир этиш даражасининг пастлиги (15% дан кам) билан тасдиқланади.
Properties of uniformly $3$-connected graphs
Creators: name: Göring, Frank
name: Hofmann, Tobias
Publisher: name: arXiv
Year: 2022
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 05C40, 05C75, 05C07, 05D99

description: A graph on at least ${k+1}$ vertices is uniformly $k$-connected if each pair of its vertices is connected by $k$ and not more than $k$ independent paths. We reinvestigate a recent constructive characterization of uniformly $3$-connected graphs and obtain a more detailed result that relates the number of vertices to the operations involved in constructing a respective uniformly $3$-connected graph. Furthermore, we investigate how crossing numbers and treewidths behave under the mentioned constructions. We demonstrate how these results can be utilized to study the structure and properties of uniformly $3$-connected graphs with minimum number of vertices of minimum degree.