741 research outputs found
Promoting Partnerships for Student Success: Lessons from the SSPIRE Initiative
The Student Support Partnership Integrating Resources and Education (SSPIRE) initiative aimed to increase the success of young, low-income, and academically underprepared California community college students by helping colleges strengthen their support services and better integrate these services with academic instruction. This report describes what the nine participating community colleges did to meet the goals of SSPIRE and offers lessons for other institutions drawn from MDRC's research on the initiative
Integrating a Global Induction Mechanism into a Sequent Calculus
Most interesting proofs in mathematics contain an inductive argument which
requires an extension of the LK-calculus to formalize. The most commonly used
calculi for induction contain a separate rule or axiom which reduces the valid
proof theoretic properties of the calculus. To the best of our knowledge, there
are no such calculi which allow cut-elimination to a normal form with the
subformula property, i.e. every formula occurring in the proof is a subformula
of the end sequent. Proof schemata are a variant of LK-proofs able to simulate
induction by linking proofs together. There exists a schematic normal form
which has comparable proof theoretic behaviour to normal forms with the
subformula property. However, a calculus for the construction of proof schemata
does not exist. In this paper, we introduce a calculus for proof schemata and
prove soundness and completeness with respect to a fragment of the inductive
arguments formalizable in Peano arithmetic.Comment: 16 page
Differentiable Inductive Logic Programming in High-Dimensional Space
Synthesizing large logic programs through symbolic Inductive Logic
Programming (ILP) typically requires intermediate definitions. However,
cluttering the hypothesis space with intensional predicates typically degrades
performance. In contrast, gradient descent provides an efficient way to find
solutions within such high-dimensional spaces. Neuro-symbolic ILP approaches
have not fully exploited this so far. We propose extending the {\delta}ILP
approach to inductive synthesis with large-scale predicate invention, thus
allowing us to exploit the efficacy of high-dimensional gradient descent. We
show that large-scale predicate invention benefits differentiable inductive
synthesis through gradient descent and allows one to learn solutions for tasks
beyond the capabilities of existing neuro-symbolic ILP systems. Furthermore, we
achieve these results without specifying the precise structure of the solution
within the language bias.Comment: 8 pages, under revie
“Contribución de la Ciencia Contable y Empresarial a la Gestión de la Responsabilidad Social de las Empresas y la protección del Medio Ambiente”
La presente investigación tuvo como principal objetivo analizar y proponer las posibles funciones y aportaciones que puede realizar la contabilidad empresarial en la gestión del medio ambiente.Se realizaron una encuesta vía correo electrónico a un total de 65 empresas del sector petrolero y químico y seis entrevistas estructuradas. Entre los resultados se observó que las empresas entrevistadas tienen implantado un sistema de gestión medioambiental y que está en constante fortalecimiento. Además se obtuvo que no existe una relación significativa entre la implantación de una política o un sistema de gestión medioambiental y la publicación de información financiera medioambiental.Palabras clave: contabilidad ambiental, empresa, gestión de la responsabilidad social, protección, medio ambiente
Volatile profile and consumer acceptability of natural yoghurts elaborated with chilean native cultures of enterococcus sp. strain BB3 and lactobacillus sp. strain BB6
According to WHO, in 2016 around 13% of the world's adult population (11% of men and 15% of women) were obese. The global prevalence of obesity almost tripled between 1975 and 2016. In this context, it is important to note that the continuous increase in life expectancy, the desire for a better quality of life, and the high cost of medical care have led to a growing demand for functional foods in the market. People have started to realize that their food choices and their unhealthy lifestyles have consequences for their health. An important role in this scenario is associated with functional foods containing probiotic strains, reported to benefit human health. Here we report the development of natural yogurts based on native probiotic starter cultures of Enterococcus sp. strain BB3 (MK681869) and Lactobacillus sp. strain BB6 (MK681868), isolated from raw cow milk of La Araucanía region of Chile. The odor and taste were the main parameters criticized by the consumer, the analysis of CG-MS elucidated that the yogurt produced by the strain Enterococcus sp. strain BB3 (MK681869) produced a higher amount of heptan-2-one, associated with a cheesy type odor, with less acceptance by the consumers. The acceptability of 6 types of yogurt was evaluated with a randomized analysis of 60 participants. The development of a functional dairy product based on probiotics is of interest because of its relation with positive changes in gut microbiota, and at the same time with a possible decrease in body weight
Sub MeV Particles Detection and Identification in the MUNU detector ((1)ISN, IN2P3/CNRS-UJF, Grenoble, France, (2)Institut de Physique, Neuch\^atel, Switzerland, (3) INFN, Padova Italy, (4) Physik-Institut, Z\"{u}rich, Switzerland)
We report on the performance of a 1 m TPC filled with CF at 3
bar, immersed in liquid scintillator and viewed by photomultipliers. Particle
detection, event identification and localization achieved by measuring both the
current signal and the scintillation light are presented. Particular features
of particle detection are also discussed. Finally, the Mn
photopeak, reconstructed from the Compton scattering and recoil angle is shown.Comment: Latex, 19 pages, 20 figure
Limits on the neutrino magnetic moment from the MUNU experiment
The MUNU experiment was carried out at the Bugey nuclear power reactor. The
aim was the study of electron antineutrino-electron elastic scattering at low
energy. The recoil electrons were recorded in a gas time projection chamber,
immersed in a tank filled with liquid scintillator serving as veto detector,
suppressing in particular Compton electrons. The measured electron recoil
spectrum is presented. Upper limits on the neutrino magnetic moment were
derived and are discussed.Comment: 9 pages, 7 figures Added reference: p.3, 1st col., TEXONO Added
sentence: p.4, 1st col., electron attachement Modified sentence: p.5, 1st
col., readout sequence Added sentence: p.5, 1st col., fast rise time cu
The biological effects of bilirubin photoisomers
Although phototherapy was introduced as early as 1950's, the potential biological effects of bilirubin photoisomers (PI) generated during phototherapy remain unclear. The aim of our study was to isolate bilirubin PI in their pure forms and to assess their biological effects in vitro. The three major bilirubin PI (ZE- and EZ-bilirubin and Z-lumirubin) were prepared by photo-irradiation of unconjugated bilirubin. The individual photoproducts were chromatographically separated (TLC, HPLC), and their identities verified by mass spectrometry. The role of Z-lumirubin (the principle bilirubin PI) on the dissociation of bilirubin from albumin was tested by several methods: peroxidase, fluorescence quenching, and circular dichroism. The biological effects of major bilirubin PI (cell viability, expression of selected genes, cell cycle progression) were tested on the SH-SY5Y human neuroblastoma cell line. Lumirubin was found to have a binding site on human serum albumin, in the subdomain IB (or at a close distance to it); and thus, different from that of bilirubin. Its binding constant to albumin was much lower when compared with bilirubin, and lumirubin did not affect the level of unbound bilirubin (Bf). Compared to unconjugated bilirubin, bilirubin PI did not have any effect on either SH-SY5Y cell viability, the expression of genes involved in bilirubin metabolism or cell cycle progression, nor in modulation of the cell cycle phase. The principle bilirubin PI do not interfere with bilirubin albumin binding, and do not exert any toxic effect on human neuroblastoma cells
Referral of sexual violence against children: How do children and caregivers use a formal child protection mechanism in Harare, Zimbabwe?
Despite widespread expansion of policies to prevent and respond to violence over the past three decades, sexual violence against children remains common globally. Zimbabwe has expansive legal and policy frameworks to prevent, and formal services to respond to, sexual violence. Yet evidence is lacking about how children and caregivers use formal referral mechanisms. This study conducted secondary qualitative analysis of sexual violence cases [N=74] processed in Harare Magistrates Court and referred to Childline Zimbabwe, in October-November 2020, to examine which experiences children and/or their caregivers formally refer as sexual violence; how they perceive and manage these experiences; and how this relates to national policy contexts. Caregivers, particularly female, were central to reporting sexual violence. Data suggested that some forms of sexual violence were formally referred, including community sexual assault and abuse within families, however some adolescent girls faced blame and shame. There were gaps in reporting of sexual violence against boys, and sexual violence from dating partners or authority figures, with data suggesting that gendered stigma, shame, and fears of institutional authority, were barriers for reporting. Caregivers also reported consensual adolescent sexual relationships to police. These findings contribute to the limited evidence on forms of sexual violence that are and are not formally referred globally, and in sub-Saharan African settings. Existing policy frameworks in Zimbabwe can be strengthened around age of maturity, adolescent sexuality, sidelining of boy survivors, and the role of schools in child protection. Interventions should support caregivers’ efforts to report violence, while also addressing gendered blame and stigma, and stigmatisation of adolescent sexuality
- …