50 resultados para CampusSource Engine
Resumo:
Le texte littéraire, examiné et contextualisé historiquement, offre des voies de compréhension des stratégies mises en oeuvre par une classe sociale afin de se perpétuer en période de crise. Ainsi, en considérant spécifiquement certaines des figures de la réciprocité, nous observons l’importance, non seulement des liens sociaux qui favorisent la reproduction sociale, mais aussi celle de l’alimentation comme moteur d’établissement de ces liens.
Resumo:
La Universidad debe erigirse como motor de la sociedad civil y abordar con decisión los desafíos sociales contemporáneos, como es la situación de paro en España. La metodología del Aprendizaje Servicio Universitario permite integrar un aprendizaje basado en la realidad con el servicio a la comunidad concretizando la responsabilidad social de la Universidad. El artículo presenta el proyecto interfacultativo EcoSPORTech desarrollado en la Universidad de Vic cuya finalidad ha sido la creación de empleo juvenil desde la emprendeduría social. La política de comunicación ha sido clave en este proyecto.
Resumo:
Són habituals entre els aeromodelistes les discussions que giren al voltant de la potència dels motors d’explosió i quina hèlix va millor. La manca d’informació tècnica dels motors i de les hèlix fa que aquestes discussions de vegades tinguin una validesa molt limitada, doncs es fonamenten simplement en les sensacions i percepcions subjectives de cadascun dels pilots, sobretot quan es parla de potència. En aquest projecte s’utilitzarà un dinamòmetre inercial, consistent en un volant d’inèrcia el qual s’accelerarà fins assolir les revolucions per minut màximes. La acceleració d’aquest volant mesurat en intervals de temps regulars i conegut el moment d’inèrcia del volant ens permetrà calcular el parell motor i la potència a diferents règims de revolucions per minut. Per altra banda es pretén comparar diferents hèlix muntades en un mateix motor per poder-ne comparar la tracció a diferents revolucions per minut. La tracció es mesurarà utilitzant una cèl·lula de càrrega. Les dades d’ambdós bancs de proves seran recollits i emmagatzemats per un PC amb un software fet a mida per aquest projecte. Una vegada finalitzat cada test es mostraran les dades obtingudes, tant els numèricament com gràficament, permetent a més comparar el resultat de diferents tests, de diferents motors i de diferents hèlix.
Resumo:
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solver for arrays in the context of the DPLL(T) approach to SMT. The main characteristics of our solver are: (i) no translation of writes into reads is needed, (ii) there is no axiom instantiation, and (iii) the T-solver interacts with the Boolean engine by asking to split on equality literals between indices. As far as we know, this is the first accurate description of an array solver integrated in a state-of-the-art SMT solver and, unlike most state-of-the-art solvers, it is not based on a lazy instantiation of the array axioms. Moreover, it is very competitive in practice, specially on problems that require heavy reasoning on array literals
Resumo:
In a micro-founded model, we derive novel incentives for a monopoly search engine to distort its organic and its sponsored results on searches for online content and offline products. Distorting organic results towards content publishers with less effective display advertising and/or distorting sponsored results towards higher margin merchants (by underweighting consumer relevance in search auctions) increase per capita revenues but lower participation. The interplay of these incentives determines search bias and welfare. We also characterize how the welfare consequences of integration into display advertising, as intermediary or publisher, depend on asymmetries, monopolization and targeting.