281.
Combining static analysis and profiling for estimating execution times in logic programs
- Mera, E.; López García, Pedro; Puebla Sánchez, Alvaro Germán; Carro Liñares, Manuel; Hermenegildo Salinas, Manuel Vicente
Effective static analyses have been proposed which allow inferring functions which bound the number of resolutions or reductions. These have the advantage of being independent from the platform on which the programs are executed and such bounds have been shown useful in a number of applications, such as granularity control in parallel
execution. On the other hand, in certain distributed computation scenarios where different platforms come into play, with each platform having different capabilities, it is more interesting to express costs in metrics that include the characteristics of the platform. In particular,
it is specially interesting to be able to infer upper...
282.
Lógicas de ação na educação de adultos : um olhar sociológico-organizacional
- Silva, Daniela Andrade Vilaverde e
A educação de adultos é um objeto de investigação que tem sido intercetado, ao longo
dos tempos, por diferentes lógicas de ação presentes tanto nos discursos das agendas políticas
nacionais como internacionais, nomeadamente da UNESCO e da União Europeia.
Tendo a sua origem num passado remoto, as práticas de educação de adultos foram-se
desenvolvendo sem, contudo, terem sido acompanhadas pela construção de um quadro teórico
específico. Apesar dos contributos de alguns pensadores, a educação de adultos viria a conhecer
o aperfeiçoamento de um quadro teórico, sobretudo, a partir dos contributos da UNESCO, em
meados do século passado. Nesta ausência teórica, é frequente encontrarmos experiências
educativas comuns aos adultos...
283.
Battery management fuzzy control for a grid-tied microgrid with renewable generation
- Arcos Aviles, Diego Gustavo; Guinjoan Gispert, Francisco; Barricarte, J.; Marroyo, L.; Sanchís, P; Valderrama Blavi, H.
A
fuzzy
logic
controller
design
for
the
battery
management
of a
grid-tied
real
domestic
microgrid
including
6
kWp
of
PV
and
6kW
wind
power
renewable
generators
is
presented.
The fuzzy
controller
parameters
design
is undertaken
on
the
basis
of the
minimization
of
a
set
of
quality
indices
such
as
the
battery
dynamic
range
and
the
power
variation
range
exchanged
with
the
grid.
The features of the
proposed
approach
are
highlighted
with
yearly
real
data
by
numerical
simulations
of
the
power
profile
injected
into
the
grid
and
the
battery
state
of
charge.
284.
Automatic unrestricted independent and-parallelism in logic programs
- Casas, Amadeo; Hermenegildo Salinas, Manuel Vicente; Carro Liñares, Manuel
We present new algorithms which perform automatic parallelization via source-to-source transformations. The objective is to exploit goal-level, unrestricted independent andparallelism. The proposed algorithms use as targets new parallel execution primitives which are simpler and more flexible than the well-known &/2 parallel operator, which makes it possible to generate better parallel expressions by exposing more potential parallelism
among the literals of a clause than is possible with &/2. The main differences between the algorithms stem from whether the order of the solutions obtained is preserved or not, and on the use of determinacy information. We briefly describe the environment where the algorithms...
285.
Communicating value from a service dominant logic perspective: the explicitness of the customer's resource integrating role in advertising
- Leroi-Werelds, Sara; Streukens, Sandra; Merken, Anne; Janssens, Wim
Recent research in marketing in general and service logic in particular has indicated that the customer is responsible for his own value creation. The customer has to integrate the resources provided by the firm (goods, services) with other resources by applying his own skills. The customer thus acts as a resource integrator. This paper examines the effects of explicitly stating this customer???s resource integrating role in the advertised message. The results of this study show that the inclusion of the resource integrating role of the customer in the ad ultimately enhances ad attitude, brand attitude and purchase intention.
286.
Walk logic as a framework for path query languages on graph databases
- Hellings, Jelle; Kuijpers, Bart; Van den Bussche, Jan; Zhang, Xiaowang
Motivated by the current interest in languages for expressing path queries to graph databases, this paper proposes to investigate Walk Logic (WL): the extension of first-order logic on finite graphs with the possibility to explicitly quantify over walks. WL can serve as a unifying framework for path query languages. To support this claim, WL is compared in expressive power with various established query languages for graphs, such as first-order logic extended with reachability; the monadic second-order logic of graphs; hybrid computation tree logic; and regular path queries. WL also serves as a framework to investigate the following natural questions: Is...
287.
Politicidade do cuidado como referência emancipatória para a enfermagem : conhecer para cuidar melhor, cuidar para confrontar, cuidar para emancipar
- Pires, Maria Raquel Gomes Maia
Por politicidade do cuidado entenda-se o manejo disruptivo da ajuda-poder, expresso pelo conhecer para cuidar melhor, cuidar para confrontar, cuidar para emancipar que, contextualizado no processo de trabalho em saúde, pode se tornar emancipatório. Esta revisão segue o método da reflexão teórica para aprofundar a ambigüidade do cuidado, concebido pelo modo de ser solidário e pelo vir a ser político. Objetivos: a- teorizar a politicidade do cuidado como gestão da ajuda-poder, capaz de subversão; b- discutir, à luz da politicidade do cuidado, o modelo assistencial em saúde das sociedades capitalistas; c- apontar dinâmicas disruptivas para a enfermagem a partir do...
288.
Para além da atenção básica : reorganização do SUS por meio da interseção do setor político com o econômico
- Göttems, Leila Bernardo Donato; Pires, Maria Raquel Gomes Maia
Questionam-se os limites e as possibilidades para reestruturar os serviços de saúde do Sistema Único de Saúde (SUS) a partir da atenção básica à saúde. Parte-se da hipótese de que a atenção básica à saúde, ação integrada de promoção, prevenção e recuperação da saúde da população, embora seja espaço político para produção de saberes e tecnologias partilhadas de poder, tem pouca influência no reordenamento do mercado em saúde no Brasil, comprometendo seu potencial para inversão do modelo de atenção. Este artigo tem como objetivos contextualizar a atenção básica na gestão da assistência à saúde no SUS; refletir teoricamente sobre a...
289.
Biasing amacrine subtypes in the Atoh7-lineage through expression of Barhl2
- Jusuf, Patricia R.; Albadri, Shahad; Paolini, Alessio; Currie, Peter D.; Argenton, Francesco; Higashijima, Shin-ichi; Harris, William A.; Poggi, Lucia
Within the developing vertebrate retina, particular subtypes of amacrine cells (ACs) tend to arise from progenitors expressing the bHLH transcription factor, Atoh7, which is necessary for the early generation of retinal ganglion cells (RGCs). All ACs require the post-mitotic expression of the bHLH transcription factor Ptf1a, however Ptf1a alone is not sufficient to give subtype identities. Here we use functional and in vivo time-lapse studies in the zebrafish retina to investigate on the developmental programs leading to ACs specification within the subsequent divisions of Atoh7-positive progenitors. We find evidences that the homeobox transcription factor Barhl2 is an AC subtype identity-biasing...
290.
Multiplicative Complexity and Solving Generalized Brent Equations With SAT Solvers
- Courtois, N; Mourouzis, T; Hulme, D
In this paper we look at the general problem of Multiplicative Complexity (MC) as an essential tool for optimizing potentially arbitrary algebraic computations over fields and rings in the general non-commutative setting. Our goal is to find optimizations in a fully automated way via algebraic formal coding and conversion to a SAT problem [1]. We focus on the basic problems of minimizing the number of multiplications in Matrix Multiplication, complex number multiplication and also quaternion multiplication. Minimizing the number of multiplications in the Matrix Multiplication problem alone (and this for problems of fixed size some of which we were able...
291.
La gran minería: ¿beneficios o perjuicios?
- Osorio, Orlando
Colombia has a rich natural and a large reserve
in mineral resources, so that in a global situation
of economic crisis Colombia opens into an economic
policy extractive type, flexible legislation to
facilitate the entry of multinational mining guarantees
to foreign investors but wonderful business
for the native population, for the Colombian,
who live these regions, this logic will bring about
disastrous environmental, social and economic
record.
292.
Genereitor 2: Generador de código J2EE
- Alonso Capuz, Hugo
Aplicación web desarrollada en J2EE que permite generar código fuente de aplicaciones web (también basadas en J2EE y que se apoyarán en una base de datos) a todos los niveles (interfaz, lógica de negocio, acceso a datos). Soporta varios sistemas de bases de datos y genera aplicaciones para varios servidores de aplicaciones (con y sin contenedor de EJB), y permite personalizar sus características y comportamiento.
Las aplicaciones que genera son completamente funcionales, pudiendo realizar operaciones de búsqueda, creación, modificación y borrado de datos.
293.
Desenvolupament d'un entorn virtual orientat a la didàctica de la Lògica Computacional i Estructura i Tecnologia de Computadors
- Loomans Guardia, Bernat; Linares Moreno, Francesc
En aquesta memòria es presenta el desenvolupament d'un entorn virtual orientat a la didàctica de la lògica proposicional, aplicada en assignatures de Lògica Computacional i Estructura i Tecnologia de Computadors. L'entorn en si té com a objectiu ser un reforç a l'aprenentatge autodidacta per part de l'alumne en aquestes matèries, així com una eina de seguiment per part del professor.
294.
Espais conflictius i delictius de la ciutat de Lleida. Anàlisis i propostes de millora
- Gené Solsona, Arnau
En aquest treball, podem consultar un estat de la qüestió que repassa quines han estat les
corrents epistemològiques que han influenciat la forma de pensar, analitzar i prevenir el
conflicte i el delicte des de l’òptica espacial. A més a més, també podem veure un treball
empíric basat en estadístiques de denúncies policials a la ciutat de Lleida i en els resultats
obtinguts a partir de l’enquesta de victimització realitzada al municipi. Aquestes dades, ens
han servit per trobar un punt de la ciutat on s’hi concentra un tipus de delicte que segueix una
lògica locacional estructural i un emplaçament on s’hi dóna una elevada percepció
d’inseguretat...
295.
Contribución al estudio de la incompatibilidad y otras medidas relacionadas en la lógica borrosa
- Montilla, Wilmer
Resumen La investigación descrita en esta memoria se enmarca en el campo de la lógica borro¬sa. Más concretamente, en el estudio de la incompatibilidad, de la compatibilidad y de la suplementaridad en los conjuntos borrosos y en los de Atanassov. En este orden de ideas, en el primer capítulo, se construyen, tanto de forma directa como indirecta, funciones apropiadas para medir la incompatibilidad entre dos conjuntos borro-sos. Se formulan algunos axiomas para modelizar la continuidad de dichas funciones, y se determina si las medidas propuestas, y otras nuevas que se introducen, verifican algún tipo de continuidad. Finalmente, se establece la...
296.
An approach to profiling for run-time checking of computational properties and performance debugging in logic programs.
- Mera, E.; Trigo, Teresa; López García, Pedro; Hermenegildo Salinas, Manuel Vicente
Although several profiling techniques for identifying performance bottlenecks in logic programs have been developed, they are generally not automatic and in most cases they do not provide enough information for identifying the root causes of such bottlenecks. This complicates using their results for guiding performance improvement. We present a profiling method and tool that provides such explanations. Our profiler associates cost centers to certain program elements and can measure different types of resource-related properties that affect performance, preserving the precedence of cost centers in the call graph. It includes an automatic method for detecting procedures that are performance bottlenecks. The...
297.
Minería de datos en el analisis de las firmas de cultivos agrícolas
- Rodríguez Moreno, Fernando
El propósito de esta tesis es realizar dos aportaciones significativas en el campo de la agricultura de precisión. Ambas aportaciones persiguen el mismo objetivo, aumentar la eficacia y reducir los costes de los diagnósticos agronómicos integrales. En caso de conseguirlo aumentaría el número de explotaciones agrícolas que pueden apostar por la agricultura de precisión. Esa resultaría ser la opción más rentable tanto para el presente como para el futuro. Una explicación simplificada del proceso de diagnóstico agronómico sería adquisición de información relevante del cultivo e interpretación de la misma, los dos procesos a los que esta tesis dirige la atención....
298.
Portaria n. 31 de 6 de março de 2013
- Escola Nacional de Formação e Aperfeiçoamento de Magistrados (Brasil) (ENFAM)
Credencia o curso de aperfeiçoamento
denominado “Gerenciamento e Lógica da
Boa Gestão”, ministrado pela Escola da
Magistratura do Estado de Rondônia
(EMERON).
299.
Hospital Sizes for Rural Areas When Patient Arrivals Are Poisson Distributed
- Edwards, Clark; Doherty, Neville
This study applies the logic of queuing thcory to the availability of hospital services in a ruraloriented. multicounty planning district in northwestern lower Michigan. The seven hospitals in the area had 611 beds and provided services for 489 patient-days in 1 year. The study found that the seven hospitals apparently cooperate with one another. at least partially. in providing services. because if they operated independently they would not have sufficient capacity for peak loads. The observed number of beds. which is about 5.5 standard deviations above the expected number of arrivals. is almost certainly adequate for peak loads if the...
300.
A construção social da educação não-formal: novos paradigmas da sociedade do conhecimento - a competência como uma construção social
- Campos, Raquel da Silva
O presente trabalho de investigação, desenvolvido no domínio da Educação/Formação de Adultos, centra-se numa abordagem sociológica do processo de aprendizagem desenvolvido pelos adultos em contextos não-formais e informais, ao longo das suas trajectórias pessoais, sociais e profissionais. O objectivo é contribuir para o aprofundamento da compreensão de uma problemática inovadora que lança os seus alicerces numa concepção da aprendizagem que extrapola os limites convencionais da tradição escolar e lança o desafio de novas formas de olhar a educação, inscrita numa perspectiva de Educação e Formação ao Longo da Vida.
Na execução do presente trabalho contemplámos a entrevista como instrumento de recolha...
