bluuebunny/crossref_metadata_2025 huggingface dataset:
Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes
Authors: He Fei , Gao Xiaowei , Wang Miaofei , Wang Bow-Yaw , Zhang Lijun
Published: June 2016

Probabilistic models are widely deployed in various systems. To ensure their correctness, verification techniques have been developed to analyze probabilistic systems. We propose the first sound and complete learning-based compositional verification technique for probabilistic safety properties on concurrent systems where each component is an Markov decision process. Different from previous works, weighted assumptions are introduced to attain completeness of our framework. Since weighted assumptions can be implicitly represented by multiterminal binary decision diagrams (MTBDDs), we give an >i/i<*-based learning algorithm for MTBDDs to infer weighted assumptions. Experimental results suggest promising outlooks for our compositional technique.
TPC
Authors: Jeon Myeongjae , He Yuxiong , Kim Hwanju , Elnikety Sameh , Rixner Scott , Cox Alan L.
Published: June 2016

In interactive services such as web search, recommendations, games and finance, reducing the tail latency is crucial to provide fast response to every user. Using web search as a driving example, we systematically characterize interactive workload to identify the opportunities and challenges for reducing tail latency. We find that the workload consists of mainly short requests that do not benefit from parallelism, and a few long requests which significantly impact the tail but exhibit high parallelism speedup. This motivates estimating request execution time, using a predictor, to identify long requests and to parallelize them. Prediction, however, is not perfect; a long request mispredicted as short is likely to contribute to the server tail latency, setting a ceiling on the achievable tail latency. We propose TPC, an approach that combines prediction information judiciously with dynamic correction for inaccurate prediction. Dynamic correction increases parallelism to accelerate a long request that is mispredicted as short. TPC carefully selects the appropriate target latencies based on system load and parallelism efficiency to reduce tail latency.

We implement TPC and several prior approaches to compare them experimentally on a single search server and on a cluster of 40 search servers. The experimental results show that TPC reduces the 99th- and 99.9th-percentile latency by up to 40% compared with the best prior work. Moreover, we evaluate TPC on a finance server, demonstrating its effectiveness on reducing tail latency of interactive services beyond web search.
Sego
Authors: Kwon Youngjin , Dunn Alan M. , Lee Michael Z. , Hofmann Owen S. , Xu Yuanzhong , Witchel Emmett
Published: June 2016

Sego is a hypervisor-based system that gives strong privacy and integrity guarantees to trusted applications, even when the guest operating system is compromised or hostile. Sego verifies operating system services, like the file system, instead of replacing them. By associating trusted metadata with user data across all system devices, Sego verifies system services more efficiently than previous systems, especially services that depend on data contents. We extensively evaluate Sego's performance on real workloads and implement a kernel fault injector to validate Sego's file system-agnostic crash consistency and recovery protocol.
DySel
Authors: Chang Li-Wen , Kim Hee-Seok , Hwu Wen-mei W.
Published: June 2016

The rising pressure for simultaneously improving performance and reducing power is driving more diversity into all aspects of computing devices. An algorithm that is well-matched to the target hardware can run multiple times faster and more energy efficiently than one that is not. The problem is complicated by the fact that a program's input also affects the appropriate choice of algorithm. As a result, software developers have been faced with the challenge of determining the appropriate algorithm for each potential combination of target device and data. This paper presents DySel, a novel runtime system for automating such determination for kernel-based data parallel programming models such as OpenCL, CUDA, OpenACC, and C++AMP. These programming models cover many applications that demand high performance in mobile, cloud and high-performance computing. DySel systematically deploys candidate kernels on a small portion of the actual data to determine which achieves the best performance for the hardware-data combination. The test-deployment, referred to as micro-profiling, contributes to the final execution result and incurs less than 8% of overhead in the worst observed case when compared to an oracle. We show four major use cases where DySel provides significantly more consistent performance without tedious effort from the developer.
The Computational Sprinting Game
Authors: Fan Songchun , Zahedi Seyed Majid , Lee Benjamin C.
Published: June 2016

Computational sprinting is a class of mechanisms that boost performance but dissipate additional power. We describe a sprinting architecture in which many, independent chip multiprocessors share a power supply and sprints are constrained by the chips' thermal limits and the rack's power limits. Moreover, we present the computational sprinting game, a multi-agent perspective on managing sprints. Strategic agents decide whether to sprint based on application phases and system conditions. The game produces an equilibrium that improves task throughput for data analytics workloads by 4-6× over prior greedy heuristics and performs within 90% of an upper bound on throughput from a globally optimized policy.
Taurus
Authors: Maas Martin , Asanović Krste , Harris Tim , Kubiatowicz John
Published: June 2016

Many distributed workloads in today's data centers are written in managed languages such as Java or Ruby. Examples include big data frameworks such as Hadoop, data stores such as Cassandra or applications such as the SOLR search engine. These workloads typically run across many independent language runtime systems on different nodes. This setup represents a source of inefficiency, as these language runtime systems are unaware of each other. For example, they may perform Garbage Collection at times that are locally reasonable but not in a distributed setting.

We address these problems by introducing the concept of a Holistic Runtime System that makes runtime-level decisions for the entire distributed application rather than locally. We then present Taurus, a Holistic Runtime System prototype. Taurus is a JVM drop-in replacement, requires almost no configuration and can run unmodified off-the-shelf Java applications. Taurus enforces user-defined coordination policies and provides a DSL for writing these policies.

By applying Taurus to Garbage Collection, we demonstrate the potential of such a system and use it to explore coordination strategies for the runtime systems of real-world distributed applications, to improve application performance and address tail-latencies in latency-sensitive workloads.
Scaling up Superoptimization
Authors: Phothilimthana Phitchaya Mangpo , Thakur Aditya , Bodik Rastislav , Dhurjati Dinakar
Published: June 2016

Developing a code optimizer is challenging, especially for new, idiosyncratic ISAs. Superoptimization can, in principle, discover machine-specific optimizations automatically by searching the space of all instruction sequences. If we can increase the size of code fragments a superoptimizer can optimize, we will be able to discover more optimizations. We develop LENS, a search algorithm that increases the size of code a superoptimizer can synthesize by rapidly pruning away invalid candidate programs. Pruning is achieved by selectively refining the abstraction under which candidates are considered equivalent, only in the promising part of the candidate space. LENS also uses a bidirectional search strategy to prune the candidate space from both forward and backward directions. These pruning strategies allow LENS to solve twice as many benchmarks as existing enumerative search algorithms, while LENS is about 11-times faster.

Additionally, we increase the effective size of the superoptimized fragments by relaxing the correctness condition using contexts (surrounding code). Finally, we combine LENS with complementary search techniques into a cooperative superoptimizer, which exploits the stochastic search to make random jumps in a large candidate space, and a symbolic (SAT-solver-based) search to synthesize arbitrary constants. While existing superoptimizers consistently solve 9--16 out of 32 benchmarks, the cooperative superoptimizer solves 29 benchmarks. It can synthesize code fragments that are up to 82% faster than code generated by gcc -O3 from WiBench and MiBench.
RID
Authors: Mao Junjie , Chen Yu , Xiao Qixue , Shi Yuanchun
Published: June 2016

Reference counts are widely used in OS kernels for resource management. However, reference counts are not trivial to be used correctly in large scale programs because it is left to developers to make sure that an increment to a reference count is always paired with a decrement. This paper proposes inconsistent path pair checking, a novel technique that can statically discover bugs related to reference counts without knowing how reference counts should be changed in a function. A prototype called RID is implemented and evaluations show that RID can discover more than 80 bugs which were confirmed by the developers in the latest Linux kernel. The results also show that RID tends to reveal bugs caused by developers' misunderstanding on API specifications or error conditions that are not handled properly.
Analyzing Behavior Specialized Acceleration
Authors: Nowatzki Tony , Sankaralingam Karthikeyan
Published: June 2016

Hardware specialization has become a promising paradigm for overcoming the inefficiencies of general purpose microprocessors. Of significant interest are Behavioral Specialized Accelerators (BSAs), which are designed to efficiently execute code with only certain properties, but remain largely configurable or programmable. The most important strength of BSAs -- their ability to target a wide variety of codes -- also makes their interactions and analysis complex, raising the following questions: can multiple BSAs be composed synergistically, what are their interactions with the general purpose core, and what combinations favor which workloads? From a methodological standpoint, BSAs are also challenging, as they each require ISA development, compiler and assembler extensions, and either simulator or RTL models.

To study the potential of BSAs, we propose a novel modeling technique called the Transformable Dependence Graph (TDG) - a higher level alternative to the time-consuming traditional compiler+simulator approach, while still enabling detailed microarchitectural models for both general cores and accelerators. We then propose a multi-BSA organization, called ExoCore, which we model and study using the TDG. A design space exploration reveals that an ExoCore organization can push designs beyond the established energy-performance frontiers for general purpose cores. For example, a 2-wide OOO processor with three BSAs matches the performance of a conventional 6-wide OOO core, has 40% lower area, and is 2.6x more energy efficient.
OpenPiton
Authors: Balkind Jonathan , McKeown Michael , Fu Yaosheng , Nguyen Tri , Zhou Yanqi , Lavrov Alexey , Shahrad Mohammad , Fuchs Adi , Payne Samuel , Liang Xiaohua , Matl Matthew , Wentzlaff David
Published: June 2016

Industry is building larger, more complex, manycore processors on the back of strong institutional knowledge, but academic projects face difficulties in replicating that scale. To alleviate these difficulties and to develop and share knowledge, the community needs open architecture frameworks for simulation, synthesis, and software exploration which support extensibility, scalability, and configurability, alongside an established base of verification tools and supported software. In this paper we present OpenPiton, an open source framework for building scalable architecture research prototypes from 1 core to 500 million cores. OpenPiton is the world's first open source, general-purpose, multithreaded manycore processor and framework. OpenPiton leverages the industry hardened OpenSPARC T1 core with modifications and builds upon it with a scratch-built, scalable uncore creating a flexible, modern manycore design. In addition, OpenPiton provides synthesis and backend scripts for ASIC and FPGA to enable other researchers to bring their designs to implementation. OpenPiton provides a complete verification infrastructure of over 8000 tests, is supported by mature software tools, runs full-stack multiuser Debian Linux, and is written in industry standard Verilog. Multiple implementations of OpenPiton have been created including a taped-out 25-core implementation in IBM's 32nm process and multiple Xilinx FPGA prototypes.
Synopsis of the ASPLOS '16 Wild and Crazy Ideas (WACI) Invited-Speakers Session
Authors: Tsafrir Dan
Published: June 2016

The Wild and Crazy Ideas (WACI) session is a longstanding tradition at ASPLOS, soliciting talks that consist of forward-looking, visionary, inspiring, creative, far out or just plain amazing ideas presented in an exciting way. (Amusing elements in the presentations are tolerated ;-) but are in fact optional.)

The first WACI session took place in 1998. Back then, the call for talks included a problem statement, which contended that "papers usually do not get admitted to [such conferences as] ISCA or ASPLOS unless the systems that they describe are mature enough to run [some standard benchmark suites, which] has a chilling effect on the idea generation process---encouraging incremental research" [1]. The 1998 WACI session turned out to be a great success. Its webpage states that "there were 42 submissions [competing over] only eight time slots, [which resulted in] this session [having] a lower acceptance rate than the conference itself" [2].

But the times they are a-changin' [3], and the WACI session no longer enjoys that many submissions (Figure 1), perhaps because nowadays there exist many forums for researchers to describe/discuss their preliminary ideas, including: the ``hot topics in'' workshops [4--7]; a journal like CAL, dedicated to early results [8]; main conferences soliciting short submissions describing ``original or unconventional ideas at a preliminary stage'' in addition to regular papers [9]; and the many workshops co-located with main conferences, like ISCA '15, which hosted thirteen such workshops [10].

Regardless of the reason for the declining number of submissions, this time we've decided to organize the WACI session differently to ensure its continued high quality. Instead of soliciting talks via an open call and hoping for the best, we proactively invited speakers whom we believe are capable of delivering excellent WACI presentations. That is, this year's WACI session consists exclusively of invited speakers. Filling up the available slots turned out to be fairly easy, as most of the researchers we invited promptly accepted our invitation. The duration of each talk was set to be eight minutes (exactly as in the first WACI session from 1998) plus two minutes for questions.

The talks are outlined below. We believe they are interesting and exciting, and we hope the attendees of the session will find them stimulating and insightful.
Faster and stronger manifestation of mitochondrial diseases in skeletal muscle than in heart related to cytosolic inorganic phosphate (Pi) accumulation
Authors: Korzeniewski Bernard
Published: June 2016

A model of the cell bioenergetic system was used to compare the effect of oxidative phosphorylation (OXPHOS) deficiencies in a broad range of moderate ATP demand in skeletal muscle and heart. Computer simulations revealed that kinetic properties of the system are similar in both cases despite the much higher mitochondria content and “basic” OXPHOS activity in heart than in skeletal muscle, because of a much higher each-step activation (ESA) of OXPHOS in skeletal muscle than in heart. Large OXPHOS deficiencies lead in both tissues to a significant decrease in oxygen consumption (V̇o2) and phosphocreatine (PCr) and increase in cytosolic ADP, Pi, and H+. The main difference between skeletal muscle and heart is a much higher cytosolic Pi concentration in healthy tissue and much higher cytosolic Pi accumulation (level) at low OXPHOS activities in the former, caused by a higher PCr level in healthy tissue (and higher total phosphate pool) and smaller Pi redistribution between cytosol and mitochondria at OXPHOS deficiency. This difference does not depend on ATP demand in a broad range. A much greater Pi increase and PCr decrease during rest-to-moderate work transition in skeletal muscle at OXPHOS deficiencies than at normal OXPHOS activity significantly slows down the V̇o2 on-kinetics. Because high cytosolic Pi concentrations cause fatigue in skeletal muscle and can compromise force generation in skeletal muscle and heart, this system property can contribute to the faster and stronger manifestation of mitochondrial diseases in skeletal muscle than in heart. Shortly, skeletal muscle with large OXPHOS deficiencies becomes fatigued already during low/moderate exercise.
CD44 SNPrs187115: A Novel Biomarker Signature that Predicts Survival in Resectable Pancreatic Ductal Adenocarcinoma
Authors: Stracquadanio Giovanni , Vrugt Bart , Flury Renata , Schraml Peter , Würl Peter , Müller Thomas H. , Knippschild Uwe , Henne-Bruns Doris , Breitenstein Stefan , Clavien Pierre-Alain , Graf Rolf , Bond Gareth L. , Grochola Lukasz F.
Published: June 2016

Purpose: Although pancreatic ductal adenocarcinoma (PDAC) is an aggressive tumor, like other common cancers, it displays a wide range of biology. However, at present, there are no reliable tests to predict patients' cancer-specific outcomes and guide personalized treatment decisions. In this study, we aim to identify such biomarkers in resectable PDAC by studying SNPs in the CD44 gene, which drives the progression of pancreatic cancer.

Experimental Design: A total of 348 PDAC patients from three independent cohorts [Switzerland, Germany, The Cancer Genome Atlas (TCGA)] who underwent pancreatic resection are included in the study. Information on the haplotype structure of the CD44 gene is obtained using 1000 Genomes Project data, and the genotypes of the respective tagging SNPs are determined. Cox proportional hazards models are utilized to analyze the impact of SNP genotype on patients' survival.

Results: We identify an SNP in the CD44 gene (SNPrs187115) that independently associates with allelic differences in prognosis in all study cohorts. Specifically, in 121 Swiss patients, we observe an up to 2.38-fold (P = 0.020) difference in tumor-related death between the genotypes of SNPrs187115. We validate those results in both the German (HR = 2.32, P = 0.044, 101 patients) and the TCGA cohort (HR = 2.36, P = 0.044, 126 patients).

Conclusions: CD44 SNPrs187115 can serve as a novel biomarker readily available at the time of PDAC diagnosis that identifies patients at risk for faster tumor progression and guide personalized treatment decisions. It has the potential to significantly expand the pool of patients that would benefit from tumor resection. Clin Cancer Res; 22(24); 6069–77. ©2016 AACR.
Targeting of Survivin Pathways by YM155 Inhibits Cell Death and Invasion in Oral Squamous Cell Carcinoma Cells
Authors: Zhang Wei , Liu Yuan , Li Yu Feng , Yue Yun , Yang Xinghua , Peng Lin
Published: June 2016

Background/Aims: Specific overexpression in cancer cells and evidence of oncogenic functions make Survivin an attractive target in cancer therapy. The small molecule compound YM155 has been described as the first “Survivin suppressant” but molecular mechanisms involved in its biological activity and its clinical potential remain obscure. Survivin protein plays critical roles in oral squamous cell carcinoma (OSCC), suggesting that YM155 would be extremely valuable for OSCC. In this study, we tested our hypothesis whether YM155 could be an effective inhibitor of cell growth, invasion and angiogenesis in oral squamous cell carcinoma (OSCC) cells. Methods: SCC9 and SCC25 were treated with different concentration of YM155 for indicated time. Using MTT assay and flow cytometry analysis to detect cell growth and apoptosis; Using transwell and Wound healing assay to detect migration and invasion; Using reverse transcription-PCR, Western blotting and electrophoretic mobility shift assay for measuring gene and protein expression, and DNA binding activity of NF-κB. Results: YM155 inhibited survivin-rich expressed SCC9 cell growth in a dose- and time dependent manner. This was accompanied by increased apoptosis and concomitant attenuation of NF-κB and downregulation of NF-κB downstream genes MMP-9, resulting in the inhibition of SCC9 cell migration and invasion in vitro and caused antitumor activity and anti metastasis in vivo. YM155 treatment did not affect cell growth, apoptosis and invasion of surviving-poor expressed SCC25 cells in vitro. Conclusions: YM155 is a potent inhibitor of progression of SCC9 cells, which could be due to attenuation of survivin signaling processes. Our findings provide evidence showing that YM155 could act as a small molecule survivin inhibitor on survivin-rich expressed SCC9 cells in culture as well as when grown as tumor in a xenograft model. We also suggest that survivin could be further developed as a potential therapeutic agent for the treatment of survivin-rich expressed OSCC.
Simultaneous Changes in Sleep, qEEG, Physiology, Behaviour and Neurochemistry in Rats Exposed to Repeated Social Defeat Stress
Authors: Ahnaou A. , Drinkenburg W.H.I.M.
Published: June 2016

Depression is a heterogeneous disorder characterized by alterations at psychological, behavioural, physiological, neurophysiological, and neurochemical levels. Social stress is a prevalent stress in man, and the repeated social defeat stress model in rats has been proposed as being the rodent equivalent to loss of control, which in subordinate animals produces alterations that resemble several of the cardinal symptoms found in depressed patients. Here, rats followed a resident-intruder protocol for 4 consecutive days during which behavioural, physiological, and electroencephalographic (EEG) parameters were simultaneously monitored in subordinate rats. On day 5, prefrontal dopamine (DA) and hippocampal serotonin (5-HT) as well as corticosterone were measured in submissive rats that had visual, acoustic, and olfactory (but no physical) contact with a dominant, resident conspecific rat. Socially defeated rats demonstrated increases in ultrasonic vocalizations (20-25 KHz), freezing, submissive defensive behaviour, inactivity, and haemodynamic response, while decreases were found in repetitive grooming behaviour and body weight. Additionally, alterations in the sleep-wake architecture were associated with reduced active waking, enhanced light sleep, and increased frequency of transitions from light sleep to quiet wakefulness, indicating sleep instability. Moreover, the attenuation of EEG power over the frequency range of 4.2-30 Hz, associated with a sharp transient increase in delta oscillations, appeared to reflect increased brain activity and metabolism in subordinate animals. These EEG changes were synchronous with a marked increase in body temperature and a decrease in locomotor activity. Furthermore, psychosocial stress consistently increased 5-HT, DA, and corticosterone levels. The increased levels of cortical DA and hippocampal 5-HT during social threat may reflect a coping mechanism to promote alertness and psychological adaptation to provocative and threatening stimuli. These neurophysiological changes are hypothesized to be the consequence of dynamics in monoamine systems, which could be useful markers for disease progression in the aetiology of depression.
Pattern Recognition of Overhead Forehand and Backhand in Badminton Based on the Sign of Local Euler Angle
Authors: Rusydi Muhammad Ilhamdi , Huda Syamsul , Rusydi Febdian , Hadi Sucipto Muhammad , Sasaki Minoru
Published: June 2016

Studying the badminton skill based on the arm movement is a challenge since the limitation of the sensor such as camera to record the movement parameter. This study proposed a new method to determine the pattern of arm movement for forehand and backhand strokes in badminton based on the sign of the local Euler angle gradient from four points of right arm segments. Each segments was identified by motion sensor attached to the dorsal surface of the hand (sensor 1), wrist (sensor 2), elbow (sensor 3) and shoulder (sensor 4). Three certified coaches participated in this research to determine the arm movement patterns for forehand and backhand strokes. Skills in forehand and backhand strokes from eight professional players and eight amateur players were observed to determint the pattern. The resulst showed that the local Euler angle can be used to recognize the arm movement pattern. Based on the observed patterns, the professional players had a higher similarity to the coaches’ patterns than those amateur players to the coaches’.
MEDIDAS DE CULTURA DE INOVAÇÃO E DE CULTURA ORGANIZACIONAL PARA ANÁLISE DA ASSOCIAÇÃO COM INOVAÇÃO
Authors: Bruno-Faria Maria de Fátima , Fonseca Marcus Vinicius Araújo
Published: June 2016

RESUMO A cultura de inovação tem sido objeto de estudo em diferentes países e áreas de conhecimento. Almeja-se com seu desenvolvimento que os membros de uma organização compartilhem valores associados à inovação. Neste ensaio, buscou-se descrever e analisar instrumentos de medida de cultura de inovação, assim como caracterizar instrumentos de cultura organizacional empregados para avaliar a associação com inovação. A partir de ampla revisão da literatura nas principais bases de dados disponíveis no país, na área de conhecimento multidisciplinar, foram identificados quatro instrumentos que visavam avaliar a cultura de inovação, sendo apenas dois que apresentaram maior rigor e mostraram indicadores de validade de uma medida. As medidas de cultura organizacional associadas à inovação são diversas e revelam a complexidade e a falta de consenso sobre o construto analisado. Tais resultados contribuem para a realização de estudos quantitativos sobre o tema e diagnósticos organizacionais.
SISTEMA NACIONAL DE INOVAÇÃO E A LEI DA INOVAÇÃO: ANÁLISE COMPARATIVA ENTRE O BAHY-DOLE ACT E A LEI DA INOVAÇÃO TECNOLÓGICA
Authors: Cruz Hélio Nogueira da , Souza Ricardo Fasti de
Published: June 2016

A Lei de Inovação Tecnológica completa 10 anos em 2014 e a literatura sugere que a LIT se inspirou na lei americana de inovação, o Bahy-Dole Act de 1980. O artigo analisa comparativamente a legislação de estímulo à produção de patentes em universidades no Brasil, EUA e Europa, sendo que se incluiu o modelo europeu em função de suas universidades de pesquisa serem públicas, em geral, bem como por haverem criado legislação de inovação inspirada no BDA. À luz da Teoria dos Custos de Transação e dos princípios do Scientific Commons, o artigo analisa a criação de custos transacionais derivados da produção de patentes e a economia do patenteamento com fundos públicos.
EXPERIÊNCIA DE CONSUMO EM REALIDADES VIRTUAIS: UM ESTUDO DE CASO REALIZADO NO SECOND LIFE
Authors: Soares Isadora Camila Marques , Leite Yákara Vasconcelos Pereira , Salazar Viviane Santos , Giesta Lílian Caporlíngua
Published: June 2016

Este estudo tem como objetivo geral investigar como ocorre a experiência de consumo no Second Life. Para isso, utilizou-se um estudo de caso qualitativo. A coleta de dados foi desenvolvida por meio da observação participante, de diálogos inspirados na etnografia e entrevistas semiestruturadas. A análise de conteúdo orientou a obtenção dos resultados. Identificou-se que os sentimentos relacionados ao processo de compra são semelhantes com o que é sentido pelos respondentes ao realizarem compras na vida real e, em algumas situações, são até mais prazerosos.
ECOINOVAÇÃO EM UMA PEQUENA EMPRESA DE RECICLAGENS DA CIDADE DE MANAUS
Authors: Coelho Moisés Andrade
Published: June 2016

O presente artigo possui como objetivo uma análise para a caracterização do processo de ecoinovação realizado pela empresa Ômega. No tocante a metodologia, este trabalho é considerado uma pesquisa qualitativa e descritiva que utiliza como procedimento metodológico o estudo de caso. Como técnicas de pesquisa foram utilizadas a documentação indireta (pesquisa documental), a observação direta intensiva (observação e entrevista estruturada) e a observação direta extensiva (formulário de ecoinovação). Nos resultados são apresentados o contexto da empresa e do processo produtivo, os resultados do formulário de ecoinovação e as principais ecoinovações (produto, processo e social) adotadas pela empresa. As considerações finais apontam para a adequação entre as inovações em produtos e processos desenvolvidos pela empresa e a literatura apresentada. Com isso, a empresa Ômega pode ser considera como sendo ecoinovadora estratégica. A relevância do estudo reside na apresentação de um formulário para se avaliar atividades ecoinovadoras dentro das empresas e pela validação entre as ecoinovações observadas na empresa e a literatura existente.
ENVOLVIMENTO DO CONSUMIDOR NO PROCESSO DE DESENVOLVIMENTO DE PRODUTOS COMO MEDIDA DE SUCESSO: UM ESTUDO COM EMPRESAS PARTICIPANTES DOS PRÊMIOS FINEP E NACIONAL DE INOVAÇÃO
Authors: Matias Ana Paula , Silveira Ricardo Boeing da , Brandão Marcelo Moll
Published: June 2016

Este estudo teve como objetivo analisar os níveis de envolvimento dos consumidores em processos de PDP (Processo de Desenvolvimento de Produtos), como medida de sucesso no lançamento de novos produtos, além de discutir, a partir dos resultados que foram encontrados, se os prêmios de inovação no Brasil, são realmente para premiar produtos e/ou projetos inovadores, ou se são apenas prêmios de promoção da inovação. Para alcançar os objetivos a que se propôs este trabalho, optou-se pela abordagem quantitativa do tipo survey e descritiva quanto aos seus fins. A coleta de dados foi realizada através de questionário eletrônico, encaminhado via e-mail aos gestores das empresas classificadas e vencedoras nos prêmios FINEP e Nacional de Inovação, entre os anos de 2008 e 2011. Para as análises estatísticas multivariadas dos dados utilizou-se o teste não paramétrico Mann-Whitney, a análise discriminante e a regressão linear com variável Dummy, as análises estatísticas univariadas utilizam a análise de variância – ANOVA. A tabulação dos dados foi feita utilizando o software SPSS (Statistical Package for the Social Sciences). Os resultados obtidos demonstram que, 100% das empresas estudadas possuem algum tipo de mecanismo de envolvimento com o consumidor implantado. Constatou-se também, que as ferramentas de interação com o consumidor menos utilizado por essas empresas são as virtuais.
GESTÃO DA INOVAÇÃO E AMPLIAÇÃO DA INCLUSÃO SOCIODIGITAL: UMA ANÁLISE DA APLICAÇÃO DO BALANCED SCORECARD NO PROGRAMA NAVEGAPARÁ
Authors: Santos Leila Riodades Daher , Borges Fabricio Quadros , Pires José Otávio Magno , Ferreira Filho Hélio Raymundo
Published: June 2016

O estudo possui o objetivo de analisar a aplicação do Balanced Scorecard no Programa de inclusão sociodigital Navegapará da empresa de Processamento de Dados do Estado do Pará (Prodepa). O programa Navegapará tem sido objeto de aperfeiçoamentos metodológicos de operação e esta investigação questiona em que medida o referido programa, através da inovação da atual metodologia do BSC, tem conseguido a ampliação da inclusão sociodigital no Estado do Pará. A metodologia desta investigação possui abordagem qualitativa de caráter exploratório a partir de pesquisa bibliográfica, documental e de estudo de caso baseado em entrevistas semiestruturadas e questionários junto aos envolvidos no planejamento estratégico da empresa Prodepa, especificamente no Programa Navegapará. O estudo concluiu que a aplicação do BSC no programa Navegapará contribuiu para a ampliação da inclusão sociodigital no Estado do Pará, na medida em que orientou e incentivou os profissionais a elaborar o planejamento de suas ações, de forma a atingir a meta estipulada pelo programa, além de promover o alinhamento de todos os setores da empresa facilitando ações de equipes e de favorecer a revisão do programa, em especial no quesito sustentabilidade.
O IMPACTO DO INVESTIMENTO NA CAPACIDADE INOVADORA DA EMPRESA
Authors: Ramos Adalberto , Zilber Silvia Novaes
Published: June 2016

O investimento em Pesquisa e Desenvolvimento (P&D) pode contribuir para a formação de capacidade inovadora na empresa. O objetivo deste artigo é identificar a relação entre investimentos em P&D e receitas de vendas. Para tanto, busca verificar se o investimento em inovação mantém relação com a capacidade inovadora da empresa e a contribuição do investimento em P&D para o desempenho das vendas da empresa. Utiliza-se uma pesquisa documental com testes estatísticos utilizando-se variáveis financeiras que possam oferecer subsídios para o estudo das relações entre investimentos em P&D e desempenho inovador da empresa. Os resultados do estudo evidenciam correlações diretas e positivas entre séries temporais de investimentos realizados em P&D e de receitas de vendas, observando-se as defasagens temporais entre os eventos registrados nas demonstrações financeiras das empresas consideradas na pesquisa.
O QUE REVELA A LITERATURA INTERNACIONAL SOBRE OS VÍNCULOS ENTRE APRENDIZAGEM, COMPETÊNCIAS E INOVAÇÃO?
Authors: Araújo Guilherme Diniz , Silva Anielson Barbosa da , Brandão Jammilly Mikaela Fagundes
Published: June 2016

Este estudo é um esforço inicial para analisar os vínculos entre Aprendizagem, Competências e Inovação. A partir da realização de uma Revisão Sistemática da Literatura internacional disponível no portal de periódicos CAPES, entre os anos de 2003 e 2012, obteve-se um panorama geral dos artigos publicados (quantidade, ranking dos periódicos e autores), além da caracterização da abordagem e procedimentos metodológicos utilizados nos artigos, as correntes teóricas envolvendo a Aprendizagem, os níveis de análise dos estudos ligados a Competências, as dimensões de Inovação encontradas nos artigos e a categorização e ranking de palavras-chave dos trabalhos publicados, que subsidiaram a proposição de uma estrutura de referência que possibilitou a identificação de seis categorias que servem de base para analisar os vínculos entre os três construtos. São elas: a) conhecimento, b) tecnologia, c) aprendizagem; d) estratégia, capacidade e competências; e) inovação e competitividade e; f) liderança. A partir da análise dos vínculos, também foi possível delimitar sete proposições teóricas que podem servir de base para futuros estudos relacionando os temas. Considera-se que tais proposições reforçam a relevância e a contribuição do estudo para pesquisadores interessados em compreender a natureza dinâmica e complexa da articulação proposta entre os três temas.
REDES DE INOVAÇÃO ABERTA E COMPARTILHAMENTO DO CONHECIMENTO: APLICAÇÕES EM PEQUENAS EMPRESAS
Authors: Desidério Paulo Henrique Martins , Popadiuk Silvio
Published: June 2016

Com essa pesquisa se objetiva mostrar os desafios e caminhos das pequenas empresas para captar inovações por meio de redes de inovação aberta que possibilitam o compartilhamento e transferência de conhecimento tecnológico. A participação de empresas em redes colaborativas mostra a iniciativa de compartilhamento de conhecimento para objetivos de vantagem competitiva. Em pequenos negócios, o processo de inovação não é algo curricular em suas práticas, por dificuldades de manter uma estrutura viável em um ritmo inovativo sustentável. A opção de transferência do conhecimento, na forma tácita ou explícita, possibilita aos pequenos empresários alavancarem oportunidades em negócios e incorporação de conhecimentos somente acessíveis em estruturas de grande porte. Nesse contexto, o trabalho buscou, por meio do estudo de casos múltiplos, identificar os perfis interativos em redes com incubadoras e parceiros para incorporação do conhecimento. Foram identificadas oportunidades geradas para pequenas empresas em ambientes interativos e abertos por meio de absorção tecnológica.
O PROCESSO DE ESTRUTURAÇÃO DE RECURSOS NO CONTEXTO DE UMA EMPRESA DE BASE TECNOLÓGICA DE ORIGEM ACADÊMICA (EBTA)
Authors: Silva Sergio Evangelista , Reis Luciana Paula
Published: June 2016

O sucesso de uma empresa é resultado da configuração de seus recursos e da forma com que ela os emprega de modo a produzir bens e serviços de modo eficiente, sendo estas duas dimensões denominadas estrutural e dinâmica respectivamente. Embora a literatura sobre estas duas dimensões no contexto de empresas convencionais seja vasta, este tema ainda é pouco explorado no contexto do surgimento das Empresas de Base Tecnológica de Origem Acadêmica (EBTAs). Diante desta lacuna teórica, este artigo tem como propósito analisar o processo de estruturação de recursos em uma EBTA, nas diferentes fases de desenvolvimento do negócio. Como estratégia metodológica, foi utilizado o estudo de caso em uma empresa bem sucedida, atuante no ramo de biotecnologia, em que a coleta de dados ocorreu por meio de entrevistas individuais, o que possibilitou obter e analisar os dados concernentes ao tema, sob a ótica da Visão Baseadas nos Recursos (VBR). Para o caso estudado verificou-se que  o sucesso foi resultado principalmente da reunião de conhecimentos complementares, nas áreas técnica, gerencial e mercadológica, do capital social dos fundadores, e do estabelecimento de procedimentos sistemáticos de monitoramento do ambiente. A principal contribuição deste estudo está em reconhecer elementos fundamentais para o processo de desenvolvimento  dessa empresa.
APLICAÇÃO DA METODOLOGIA MULTICRITÉRIO NA SELEÇÃO DE PROJETOS EM UMA INCUBADORA DE EMPRESAS DE PERNAMBUCO
Authors: Barros Rafael Gomes de , Sobral Marcos Felipe Falcão
Published: June 2016

A seleção de projetos de incubação gera a responsabilidade de mantê-los em funcionamento por até três anos. Isto implica em um investimento de médio a longo prazo por parte da iniciativa pública e privada, fazendo com que equívocos na seleção tenham conseqüências severas. Desta forma, a seleção errada de um projeto pode implicar na perda do investimento. Em contrapartida, a não escolha de um projeto promissor possui conseqüências sérias para o desenvolvimento regional e econômico. Neste contexto as incubadoras enfrentam dificuldades naturais em decidir quais empresas deverão ser incubadas. Isto ocorre em função da alta quantidade de alternativas a serem consideradas em face a múltiplos critérios. Considerando isso, o presente trabalho relata a aplicação experimental do método PROMETHEE II para apoiar o decisor na seleção de projetos em uma incubadora de Pernambuco no ano de 2012. O uso do método permitiu a estruturação de um modelo para seleção de projetos de incubação permitido ao decisor uma recomendação que o auxiliou na tomada de decisão final.
IMPLEMENTACIÓN DE HERRAMIENTAS PARA EL DIAGNÓSTICO DE INNOVACIÓN EN LA EMPRESA NOVAFLEX DEL SECTOR CALZADO EN COLOMBIA
Authors: Alzate Bibiana Arango , Hurtado Jennifer Betancourt , Lopez Luisa Fernanda Martinez
Published: June 2016

En el presente trabajo se realizó un análisis de la innovación y la tecnología en una empresa del sector calzado, dedicada a producir y comercializar toda clase de calzado plástico y en tela para dama, hombre y niño, empleando para esto herramientas de diagnóstico de innovación (Albacete, Catalán y MTG) dando a conocer el estado actual de la empresa en su perfil tecnológico e innovador, después de esto se hizo un análisis de los resultados obtenidos por las herramientas, donde se identificaron las fortalezas y las oportunidades que debe aprovechar la empresa para mejorar a nivel tecnológico e innovador, para lograr crear un diferenciador en estos aspectos y así ser más competitiva en el mercado.
GESTÃO DE PROJETOS DE INOVAÇÃO: O CASO DE UMA EMPRESA LÍDER DO SETOR DE ELETRODOMÉSTICOS
Authors: Machado Junior Celso , Mazzali Leonel , Palmisano Angelo
Published: June 2016

O estudo objetiva identificar configurações de gestão de projetos de inovação utilizadas nas organizações. Desenvolveu-se uma pesquisa qualitativa recorrendo a técnica do estudo de caso. O estudo de caso realizado abarca uma empresa líder no ramo de eletrodomésticos, situada entre as dez empresas que mais registram patentes no Brasil. Os dados observados mostram que a empresa possui um processo definido e sistematizado de acompanhamento de produtos novos, com protocolos muito bem definidos para suportar as atividades requeridas, visando disciplinar a análise de benefícios e riscos envolvidos na execução, e estabelecer regras e comportamentos para projetos que possuam similaridades. Ademais, a empresa incrementa o alinhamento com o ambiente externo, possibilitando a integração das diferentes áreas técnicas, para atender à complexidade tecnológica. Os resultados indicam que a empresa adota um modelo de gestão de inovação apoiado em uma Equipe de Projetos configurada a partir de uma estrutura matricial, com um Piloto de Projetos. O Piloto do Projetos se posiciona como agente central do processo, por atuar como agente integrador da multidisciplinaridade e realizar a ponte da equipe com a alta administração. A configuração do processo de gestão se apresenta dividida em etapas distintas com atribuições especificas que demandam procedimentos de controle, consubstanciados em “protocolos de encerramento”. A aprovação do projeto é realizada pela alta administração em cada uma das fases, em reuniões especificas que analisam, os custos, o atendimento dos prazos e o desenvolvimento tecnológico das inovações em curso.
GAMERS INOVADORES E COMPROMETIDOS: RELAÇÕES ENTRE PERSONALIDADE DO CONSUMIDOR, SEU COMPROMETIMENTO COM A MARCA E SUA PROPENSÃO A COLABORAR EM PROCESSOS DE INOVAÇÃO
Authors: Correa Cristine Prates Miranda , Nascimento Thays Martins do , Grillo Tito Luciano Hermes , Damacena Cláudio
Published: June 2016

Pesquisadores e gestores têm se deparado com desafios para prever o envolvimento efetivo dos consumidores em processos de inovação, uma vez que participar destes processos implica certos custos de recurso e esforço da parte do consumidor. Nesta pesquisa, voltamos nossa atenção para antecedentes da propensão do consumidor a colaborar em processos de inovação com a organização. Primeiramente, testamos a relação direta da orientação para a inovação do consumidor e a propensão a colaborar nos processos de inovação. Subsequentemente, avaliamos se esta relação pode ser mediada pelo comprometimento com a marca. Realizamos uma survey com entusiastas de jogos da Blizzard Entertainment, Inc. e analisamos os dados por meio de equações estruturais. Evidenciamos que o comprometimento exerce uma mediação parcial no modelo.
CAPACIDADE DE INOVAÇÃO EM PMES DO SEGMENTO INDUSTRIAL DE CONFECÇÕES
Authors: Hillen Cristina , Machado Hilka Pelizza Vier
Published: June 2016

A inovação é importante atualmente não apenas para grandes, mas também para pequenas e médias empresas (PMEs). Esta pesquisa analisou a capacidade de inovação de PMEs de indústrias de confecções do município de Maringá, considerado um pólo do vestuário paranaense e brasileiro, cujas empresas são predominantemente de pequeno e médio porte. A investigação utilizou o modelo de Julien et al. (2009). A natureza da pesquisa é exploratória e quantitativa, tendo sido realizada por meio de survey, com questionário estruturado aplicado junto a 34 empreendedores, cujos resultados mostraram que o setor apresenta baixa capacidade de inovação. As inovações apresentaram-se como fracas, não associadas à capacidade de absorção da informação.
UMA ANÁLISE INTRASSETORIAL E INTERSETORIAL DO GRAU DE INOVAÇÃO DE EMPRESAS DE PEQUENO PORTE DO ESTADO DE PERNAMBUCO
Authors: Burgos Paredes Breno José , Santana Guilherme Alves de , Neves Cunha Thiago , De Aquino Joás Tomaz
Published: June 2016

O desenvolvimento da inovação nas empresas tem como alicerce o esforço da continuidade na geração de indicadores de desempenho. Entretanto, medidas e avaliações realizadas em empresas frequentemente são pautadas em objetivos e efeitos imediatistas, impossibilitando o esforço de continuidade na geração de parâmetros. Para o processo de melhoria gradual do desempenho da organização, as avaliações do grau de inovação devem ser contínuas. Diante disto, este estudo avalia o grau de inovação (GI), o grau de inovação setorial (GIS) e o característico de inovação setorial (CIS) de empresas de pequeno porte (EPPs) pertencentes aos setores de indústria, comércio e serviços do estado de Pernambuco, sob uma perspectiva de análise intrassetorial contínua e intersetorial. Para atingir este objetivo, houve aplicação do diagnóstico Radar da Inovação em 90 EPPs, em três momentos distintos. Os resultados apontaram que o setor de serviços demonstrou maior evolução do grau de inovação se comparado aos de comércio e indústria. Uma vez que o setor comércio apresentou evolução do GI em todas as dimensões, enquanto o setor industrial obteve acréscimos em apenas seis dimensões do radar. Por meio do GIS foi possível identificar que as dimensões Relacionamento, Clientes e Marca destacaram-se como indutoras de peso nos três setores analisados.
A EFICIÊNCIA DOS PROCESSOS DE INOVAÇÃO NA INDÚSTRIA DE TRANSFORMAÇÃO: UMA ANÁLISE NO ESTADO DO PARANÁ
Authors: Brunhera Diandra Carla Uncini , Baço Fernanda Mendes Bezerra , Crotti Poliana Cristina
Published: June 2016

Em 2011 a indústria representou 27,28% do PIB no Estado do Paraná, representando em 2013, 5,84% do PIB do Brasil, com destaque para os segmentos de veículos automotores, alimentos e refino de petróleo. No entanto vem-se observando nos últimos anos, um decréscimo da participação da indústria na economia, um possível processo de desindustrialização, onde verifica-se que os desafios relacionados a globalização e a maior competitividade estão diretamente ligados aos processos de inovação. O objetivo do trabalho é verificadas atividades que implementaram inovações na indústria de transformação, quais são mais eficientes em relação ao seu retorno financeiro no Estado do Paraná. A pesquisa é do tipo descritiva, onde aplica-se a técnica de programação linear análise envoltória de dados (DEA - Data Envelopment Analysis) a partir da série de dados coletados para os anos de 2000, 2003, 2005, 2008 e 2011. Utilizou-se o modelo BCC com orientação a outputs. Neste cenário, verificase que as atividades que mais inovam não possuem necessariamente as receitas líquidas mais altas, devido a questão de padrão de cada setor, relacionado a necessidade de investimentos mais altos em pesquisa e desenvolvimento de produtos com valores agregados elevados. Os resultados indicam que mesmo as indústrias com menor porte ao estimularem as atividades inovadoras, tornam-se benchmarks, aproveitando ao máximo seus recursos a fim de maximizar suas receitas, tornando o setor rentável e competitivo.
BUSINESS STRATEGY AND UPGRADING IN GLOBAL VALUE CHAINS: A MULTIPLE CASE STUDY IN INFORMATION TECHNOLOGY FIRMS OF BRAZILIAN ORIGIN
Authors: Armando Eduardo , Azevedo Ana Claudia , Fischmann Adalberto Americo , Pereira Cristina Espinheira Costa
Published: June 2016

The issue of upgrading in Global Value Chains (GVCs) has been treated in the literature, but there are still gaps to be filled in. One issue that still needs further investigation is the relation of business strategy and evolution of firms in GVCs, known as upgrading in the literature. In this paper, we have the objective of examining the occurrence and quality of upgrading in internationalized Information Technology (IT) firms of Brazilian origin. We employed the multiple case study method researching eight IT firms to study the issue. Different from what is expected, facts presented in the paper imply that although GVCs and upgrading are confirmed as useful concepts, not all the findings the literature presents converge with what this research brings. As for example, results don’t converge with what was found in the literature for clothing. In other results, we confirmed what is in the literature. Most notably, having the evolution in the chain blocked by clients and also competitive marginalization. As any research, this one has limitations, which we list at the end of the manuscript.