22 research outputs found
A Universal Machine for Biform Theory Graphs
Broadly speaking, there are two kinds of semantics-aware assistant systems
for mathematics: proof assistants express the semantic in logic and emphasize
deduction, and computer algebra systems express the semantics in programming
languages and emphasize computation. Combining the complementary strengths of
both approaches while mending their complementary weaknesses has been an
important goal of the mechanized mathematics community for some time. We pick
up on the idea of biform theories and interpret it in the MMTt/OMDoc framework
which introduced the foundations-as-theories approach, and can thus represent
both logics and programming languages as theories. This yields a formal,
modular framework of biform theory graphs which mixes specifications and
implementations sharing the module system and typing information. We present
automated knowledge management work flows that interface to existing
specification/programming tools and enable an OpenMath Machine, that
operationalizes biform theories, evaluating expressions by exhaustively
applying the implementations of the respective operators. We evaluate the new
biform framework by adding implementations to the OpenMath standard content
dictionaries.Comment: Conferences on Intelligent Computer Mathematics, CICM 2013 The final
publication is available at http://link.springer.com
Actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel
National audienceCe document contient les actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Gé}nie de la Programmation et du Logiciel (GDR GPL) s'étant déroulées à Nancy du 3 au 5 avril 2013. Les contributions présentées dans ce document ont été sélectionnées par les différents groupes de travail du GDR. Il s'agit de résumés, de nouvelles versions, de posters et de démonstrations qui correspondent à des travaux qui ont déjà été validés par les comités de programmes d'autres conférences et revues et dont les droits appartiennent exclusivement à leurs auteurs
Audio module integration into high quality video transmission software
El projecte tracta d'afegir noves funcionalitats al sistema de transmissio HD, basat en software lliure, UltraGrid. El projecte consistira en l'integracio d'un modul d'audio tant en captura des d'una mateixa font, audio i video, com desde una font independent de forma sincronitzada, per cada usuari. Aixo donara lloc a un sistema complet de videoconferencia adaptable. A mes en una segona fase del projecte, l'alumne adaptara el modul d'audio per a entorns multiusuari (multiconferencia), en els modes, N:1 i N:N, afegint les millores d'audio aconseguides. Per ultim, s'estudiara la viabilitat de desenvolupar un cancel?ladors d'eco basat en software i un modul de deteccio d'activitat per donar posicio preferent al usuari que esta parlant a la multi- conferenci
Adaptación autónoma de interfaces de usuario en procesos de movilidad de aplicaciones en escenarios de Inteligencia Ambiental
[Resumen]El objetivo de la Inteligencia Ambiental (AmI) es desarrollar sistemas que
mejoren la calidad de vida de las personas. Dentro de la AmI, este trabajo
se centra en el problema de soportar, en diferentes escenarios, una interacción
adaptada a cada usuario. A diferencia de los sistemas software convencionales,
los sistemas AmI operan en entornos altamente heterogéneos que hemos denominado
Entornos de Interacción Humana (HIE), y que abarcan cualquier lugar
en el que las personas llevan a cabo su vida diaria. Esta diversidad hace que
pueda haber notables diferencias entre los múltiples escenarios de uso de un
sistema AmI, dificultando enormemente el diseño de IUs que operen en varios
de ellos.
Este trabajo aborda el problema de facilitar la adaptación de las IUs de
sistemas AmI a la variedad de escenarios incluidos en un HIE. Para ello, se
presenta un framework de abstracción que mejora la portabilidad de las IUs,
elevando el nivel de desacoplamiento entre el código y la diversidad de recursos
de interacción y características de cada escenario. Además, también se presenta
una implementación completa y funcional del framework, posibilitando el desarrollo
de IUs capaces de modificar autónomamente, y en tiempo de ejecución,
su implementación, adaptándola a nuevos escenarios.[Abstract]Ambient Intelligence (AmI) is about systems that assist people to improve
their quality of life. This work is focused on the problem of supporting the
adapted interaction between those systems and their users in different usage
scenarios. Unlike conventional software systems, AmI systems operate in what
we have called Human Interaction Environments, which must be understood as
any place where people carry out their daily life. As a consequence, the usage
scenarios of an AmI system can be diverse and quite different from one another,
thus making very difficult, and costly, the design of UIs capable of operating in
many of them.
This work addresses the problem of supporting the adaptation of AmI UIs
to the variety of scenarios through which a user moves while using an AmI
system. For this purpose, this work introduces a UI abstraction framework
that enhances the portability of AmI UIs. This framework elevates the level
of decoupling between UI code, and the high variety of interaction resources
and characteristics of each scenario. Furthermore, a complete and functional
implementation of the framework is provided, enabling the development of AmI
UIs capable of autonomously modifying, at run-time, their implementation to
adapt it to new scenarios.[Resumo]O obxectivo da intelixencia ambiental (AmI) é desenvolver sistemas que
melloren a calidade de vida das persoas. Dentro da AmI, este traballo céntrase
no problema de soportar, en diferentes escenarios, unha interacción adaptada a
cada usuario. A diferenza dos sistemas de software convencionais, os sistemas
AmI operan en ámbitos altamente heteroxéneos que denominamos ámbitos de
interacción humana, que abranguen calquera lugar no que as persoas levan a
cabo a súa vida diaria. Esta diversidade fai que poidan existir notables diferenzas
entre os múltiples escenarios de uso dun sistema AmI, o que dificulta
enormemente o deseño de IU que operen en varios deles.
Este traballo aborda o problema de facilitar a adaptación das IU de sistemas
AmI á variedade de escenarios incluídos nun ámbito de interacción humana.
Para isto, preséntase un framework de abstracción que mellora a portabilidade
das IU, o que eleva o nivel de desacoplamento entre o código e a diversidade de
recursos de interacción e as características de cada escenario. Ademais, tamén se
presenta unha implementación completa e funcional do devandito framework, o
que posibilita o desenvolvemento de IU capaces de modificar autonomamente, e
en tempo de execución, a súa implementación e adaptación a novos escenario
CORPORATE SOCIAL RESPONSIBILITY IN ROMANIA
The purpose of this paper is to identify the main opportunities and limitations of corporate social responsibility (CSR). The survey was defined with the aim to involve the highest possible number of relevant CSR topics and give the issue a more wholesome perspective. It provides a basis for further comprehension and deeper analyses of specific CSR areas. The conditions determining the success of CSR in Romania have been defined in the paper on the basis of the previously cumulative knowledge as well as the results of various researches. This paper provides knowledge which may be useful in the programs promoting CSR.Corporate social responsibility, Supportive policies, Romania
Proceedings, MSVSCC 2012
Proceedings of the 6th Annual Modeling, Simulation & Visualization Student Capstone Conference held on April 19, 2012 at VMASC in Suffolk, Virginia
Generating FoCaLiZe Specifications from UML Models
UML is the defacto standard language to graphically describe systemsin an object oriented way. Once an application has beenspecified, Model Driven Architecture (MDA) techniques can be appliedto generate code from such specifications. Because UML lacks formalbasis to analyze and check model consistency, it is pertinent to choose aformal target language (in the MDA process) to enable proofs and verificationtechniques. To achieve this goal, we have associated to UML theFoCaLiZe language, an object-oriented development environment usinga proof-based formal approach. This paper focuses on a subset of UMLconstructors, the template classes. These latter allow developers to creategeneric models that can be instantiated for actual models througha binding relationship.Specifically, we propose a formal transformationof UML template classes annotated with OCL constraints into FoCaLiZe specification.The proposed mapping directly supports most of UML template features