Terminal de consulta web

2.896 registros encontrados - unidade Instituto de Computação

"Arte Factus" = study and socially aware co-design of socioenactive digital artifacts
1.

"Arte Factus" = study and socially aware co-design of socioenactive digital artifacts

TESE - Inglês

Número de chamada: T/UNICAMP D85a

Publicação: Campinas, SP : [s.n.], 2020.

Assunto: Interação humano-máquina

Resumo: Atualmente, a tecnologia computacional tornou-se cada vez mais pervasiva por meio de computadores de diferentes tamanhos, formas e... Ver mais
"Guidelines" para avaliação de sistemas em cenários socioenativos
2.

"Guidelines" para avaliação de sistemas em cenários socioenativos

DISSERTAÇÃO - Português

Número de chamada: T/UNICAMP Sa59g

Publicação: Campinas, SP : [s.n.], 2020.

Assunto: Sistemas socioenativos - Avaliação

Resumo: Atualmente, os ambientes computacionais contemporâneos exploram intensivamente o uso de diversos dispositivos e sensores. Esses ambientes... Ver mais
"The magic of science:" : beyond action, a case study on learning through socioenaction
3.

"The magic of science:" : beyond action, a case study on learning through socioenaction

ARTIGO - Inglês

Assunto: Interação humano-máquina

Abstract: Recent advances in Human-Computer Interaction (HCI) can signifi-cantly affect technology-enhanced educational contexts. Our evolving... Ver mais

Exibir fontes

"Vanilla" malware : vanishing antiviruses by interleaving layers and layers of attacks
4.

"Vanilla" malware : vanishing antiviruses by interleaving layers and layers of attacks

ARTIGO - Inglês

Assunto: Malware (Software)

Abstract: Malware are persistent threats to any networked systems. Recent years increase in multi-core, distributed systems created new opportunities... Ver mais

Exibir fontes

#PraCegoVer : a large dataset for image captioning in portuguese
5.

#PraCegoVer : a large dataset for image captioning in portuguese

ARTIGO - Inglês

Assunto: Artigo original

Abstract: Automatically describing images using natural sentences is essential to visually impaired people’s inclusion on the Internet. This problem... Ver mais

Exibir fontes

2D-VLIW : uma arquitetura de processador baseada na geometria da computação
6.

2D-VLIW : uma arquitetura de processador baseada na geometria da computação

TESE - r d

Número de chamada: T/UNICAMP Sa59d

Publicação: Campinas, SP : [s.n.], 2007.

Assunto: Arquitetura de computador

Resumo: Anúncios recentes sobre os limites do desempenho dos processadores devido ao alcance da barreira térmica têm motivado a pesquisa sobre novas... Ver mais
BCCL (1)
IMECC (1)
3-anti-circulant digraphs are alpha-diperfect and BE-diperfect
7.

3-anti-circulant digraphs are alpha-diperfect and BE-diperfect

ARTIGO - Inglês

Assunto: Conjectura de Berge

Abstract: Let D be a digraph. A subset S of V (D) is a stable set if every pair of vertices in S is non-adjacent in D. A collection of disjoint paths... Ver mais

Exibir fontes

3d edge detection based on boolean functions and local operators
8.

3d edge detection based on boolean functions and local operators

ARTIGO - Inglês

Assunto: Detecção de bordas

Abstract: Edge detection is one of the most commonly used operations in image processing and computer vision areas. Edges correspond to the boundaries... Ver mais

Exibir fontes

A 2-approximation for the k-prize-collecting Steiner tree problem
9.

A 2-approximation for the k-prize-collecting Steiner tree problem

ARTIGO - Inglês

Assunto: Algoritmos de aproximação

Abstract: We consider the k-prize- collecting Steiner tree problem. An instance is composed of an integer k and a graph G with costs on edges and... Ver mais

Exibir fontes

A 3-approximation algorithm for the maximum leaf k-forest problem
10.

A 3-approximation algorithm for the maximum leaf k-forest problem

ARTIGO - Inglês

Assunto: Otimização combinatória

Abstract: In the maximum leaf spanning tree problem, we want to find a tree which spans every vertex of a graph and has as many leaves as possible.... Ver mais

Exibir fontes

A abordagem POESIA para a integração de dados e serviços na Web semantica
11.

A abordagem POESIA para a integração de dados e serviços na Web semantica

TESE - Português

Número de chamada: T/UNICAMP F474a

Publicação: Campinas, SP : [s.n.], 2003.

Assunto: Banco de dados

Resumo: POESIA (Processes for Open-Ended Systems for lnformation Analysis), a abordagem proposta neste trabalho, visa a construção de processos... Ver mais
BCCL (1)
IMECC (1)
A bandwidth-feasibility algorithm for reliable virtual network allocation
12.

A bandwidth-feasibility algorithm for reliable virtual network allocation

ARTIGO - Inglês

Assunto: Redes de computadores

Abstract: Currently, the Internet is the main communication medium, however it does not guarantee Quality of Service. To contour this problem,... Ver mais

Exibir fontes

A biased random-key genetic algorithm for wireless backhaul network design
13.

A biased random-key genetic algorithm for wireless backhaul network design

ARTIGO - Inglês

Assunto: Grafos orientados

Abstract: This paper describes a biased random-key genetic algorithm for a real-world wireless backhaul network design problem. This is a novel... Ver mais

Exibir fontes

A black-box approach to detect vulnerabilities in web services using penetration testing
14.

A black-box approach to detect vulnerabilities in web services using penetration testing

ARTIGO - Inglês

Assunto: Serviços Web

Abstract: Web services work over dynamic connections among distributed systems. This technology was specifically designed to easily pass SOAP message... Ver mais

Exibir fontes

A bounded space algorithm for online circle packing
15.

A bounded space algorithm for online circle packing

ARTIGO - Inglês

Assunto: Geometria computacional

Abstract: We study the Online Circle Packing Problem where we need to pack circles that arrive online in square bins with the objective to minimize... Ver mais

Exibir fontes

A branch and bound for the large live parsimony problem
16.

A branch and bound for the large live parsimony problem

ARTIGO - Inglês

Assunto: Filogenia

In the character-based phylogeny reconstruction for n objects and m characters, the input is an nxm-matrix such that position i, j keeps the state of... Ver mais

Exibir fontes

A branch-and-cut approach for the vehicle routing problem with loading constraints
17.

A branch-and-cut approach for the vehicle routing problem with loading constraints

ARTIGO - Inglês

Assunto: Otimização combinatória

In this paper we describe a branch-and-cut algorithm for the vehicle routing problem with unloading constraints. The problem is to determine a set of... Ver mais

Exibir fontes

A branch-and-price algorithm for the graph coloring problem
18.

A branch-and-price algorithm for the graph coloring problem

DISSERTAÇÃO - Inglês

Número de chamada: T/UNICAMP R664b

Publicação: Campinas, SP : [s.n.], 2025.

Assunto: Programação linear inteira

Resumo: O problema de coloração de vértices, um tema central da Teoria dos Grafos, consiste em atribuir cores aos vértices de um grafo de modo que... Ver mais
A change-driven image foveation approach for tracking plant phenology
19.

A change-driven image foveation approach for tracking plant phenology

ARTIGO - Inglês

Assunto: Fenologia vegetal

One of the challenges in remote phenology studies lies in how to efficiently manage large volumes of data obtained as long-term sequences of... Ver mais

Exibir fontes

A combination of k-means clustering and entropy filtering for band selection and classification in hyperspectral images
20.

A combination of k-means clustering and entropy filtering for band selection and classification in hyperspectral images

ARTIGO - Inglês

Assunto: Análise de dados

Abstract: Hyperspectral images usually have large volumes of data comprising hundreds of spectral bands. Removal of redundant bands can both reduce... Ver mais

Exibir fontes

A combined energy-bandwidth approach to allocate resilient virtual software defined networks
21.

A combined energy-bandwidth approach to allocate resilient virtual software defined networks

ARTIGO - Inglês

Assunto: Virtualização de redes

Abstract: The Internet supports many applications for millions of users every day and will enable the creation of even more innovative services for... Ver mais

Exibir fontes

A combined model-based planning and model-free reinforcement learning approach for biped locomotion = Uma abordagem combinada de planejamento baseado em modelo e aprendizado por reforço para locomoção bípede
22.

A combined model-based planning and model-free reinforcement learning approach for biped locomotion = Uma abordagem combinada de planejamento baseado em modelo e aprendizado por reforço para locomoção bípede

DISSERTAÇÃO - Inglês

Número de chamada: T/UNICAMP T591c

Publicação: Campinas, SP : [s.n.], 2019.

Assunto: Robótica

Resumo: Os avanços na robótica e o crescimento correspondente de seu uso em aplicações de serviço estão impulsionando a procura por robôs que possam... Ver mais
A combined noisy borehole image log segmentation method
23.

A combined noisy borehole image log segmentation method

ARTIGO - Inglês

Assunto: Parte de evento

Abstract: Borehole Image Logs are a valuable tool for studying and characterizing reservoirs. However, the quality of these images is often... Ver mais
A comparative analysis of Bayesian network structure learning algorithms applied to crime data
24.

A comparative analysis of Bayesian network structure learning algorithms applied to crime data

ARTIGO - Inglês

Assunto: Algoritmos

The theories about crime and correction have their inception in the eighteenth century, highly influenced by the anthropological thoughts emerging... Ver mais

Exibir fontes