this presentation starts with two case studies of applying optimization methodology in industry, one involving numer- ical optimization based on simulation models, and the other combinatorial optimization with specifi...
详细信息
ISBN:
(纸本)9781450319645
this presentation starts with two case studies of applying optimization methodology in industry, one involving numer- ical optimization based on simulation models, and the other combinatorial optimization with specific constraints and ob- jectives. these case studies serve to identify some of the challenges frequently met by solution providers for industrial optimization problems. Based on our experience in applying optimization methodology in industry, we then provide sug- gestions for dealing withthese challenges in order to bridge the gap between academia and industry in optimization.
the proceedings contain 52 papers. the topics discussed include: dataflow coordination of data-parallel tasks via MPI 3.0;enabling MPI interoperability through flexible communication endpoints;packing MPI datatypes us...
ISBN:
(纸本)9788461651337
the proceedings contain 52 papers. the topics discussed include: dataflow coordination of data-parallel tasks via MPI 3.0;enabling MPI interoperability through flexible communication endpoints;packing MPI datatypes using online compilation and code specialization;optimized process placement for collective I/O operations;improving collective I/O performance by pipelining request aggregation and file access;on the use of MPI in high-performance computing services;region-based memory allocation and ownership synchronization for MPI programs;design, implementation, and performance evaluation of MPI 3.0 on Portals 4.0;standing the formation of wait states in applications with one-sided communication;revisiting rendezvous protocols in the context of RDMA-capable host channel adapters and many-core processors;in-place algorithms for the symmetric all-to-all exchange with MPI;and ECODAB: energy estimator for MPI broadcasting algorithms in large scale HPC systems.
Ontologies, mainly lightweight ontologies, are ubiquitous throughout the Internet and are succeeding in replacing human expertise. We conducted a study with physicians and nurses performing a search task in the medica...
详细信息
A proof problem is a "yes/no" problem concerning with checking whether one logical formula is a logical consequence of another logical formula, while a query-answering problem (QA problem) is an "all-an...
详细信息
Comparing and contrasting different solution approaches is known in math education and cognitive science to increase student learning - what about CS? In this experiment, we replicated work from Rittle-Johnson and Sta...
详细信息
the proceedings contain 59 papers. the topics discussed include: a real-time, interactive simulation environment for unmanned ground vehicles: the autonomous navigation virtual environment laboratory (ANVEL);the parad...
ISBN:
(纸本)9780769547329
the proceedings contain 59 papers. the topics discussed include: a real-time, interactive simulation environment for unmanned ground vehicles: the autonomous navigation virtual environment laboratory (ANVEL);the paradigm integration of computational intelligence performance in cloud computing towards data security;the research of the approximate algorithm based on cubic B-spline curves;study on vegetable seed electrophoresis image classification method;the application of a class of Boolean optimized model and its algorithm;evaluation of accessibility to urban public sports facilities: a GIS approach based on network analysis model;simulation of the spread of epidemics with individuals contact using cellular automata modeling;improving remote sensing identification accuracy of mangrove using temperature and moisture information;and the monitoring and information management system of pig breeding process based on Internet of things.
the proceedings contain 74 papers. the topics discussed include: effective approaches in human action recognition;high-precision position estimation in indoor environments;the study of dynamic delivery adaptive learni...
ISBN:
(纸本)9789791421195
the proceedings contain 74 papers. the topics discussed include: effective approaches in human action recognition;high-precision position estimation in indoor environments;the study of dynamic delivery adaptive learning content in e-learning personalization using text mining and ontology approach;centroid based adaptive random testing for object oriented program;mapping the certification authority for e-government procurement system into eGovAMAN framework;e-government development: online industrial business license services system in Indonesia;human behavior conceptual model in collaborative software development product quality;an efficient and effective robust algorithm for the classification of Jakarta vegetation area;and stochastic regular grammar-based learning for basic dance motion recognition.
Technology plays an increasingly important role in enabling activist agendas, supporting activist activities and self-organization, bringing people together on causes they support and developing tools and platforms to...
详细信息
ISBN:
(纸本)9781450318990
Technology plays an increasingly important role in enabling activist agendas, supporting activist activities and self-organization, bringing people together on causes they support and developing tools and platforms to scaffold activist activities. this panel explores boththe role of HCI in activism and activism in HCI.
the proceedings contain 264 papers. the topics discussed include: analytical assessment of the suitability of multicast communications for the SpiNNaker neuromimetic system;exploring potential parallelism of sequentia...
ISBN:
(纸本)9780769547497
the proceedings contain 264 papers. the topics discussed include: analytical assessment of the suitability of multicast communications for the SpiNNaker neuromimetic system;exploring potential parallelism of sequential programs with superblock reordering;a parallel multi-core team of multiobjective evolutionary algorithms to discover DNA motifs;fully distributed on-chip instruction memory design for stream architecture based on field-divided VLIW compression;parallel speculative DOM-based XML parser;implementation of motion estimation based on heterogeneous parallel computing system with OpenCL;a parallel multiobjective artificial bee colony algorithm for dealing withthe traffic grooming problem;space-efficient sparse matrix storage formats for massively parallel systems;architectural support for exploiting fine grain parallelism;and MHPM: multi-scale hybrid programming model: a flexible parallelization methodology.
In this paper, an approach for development of program-verifier whereby it is carried out a check of mission for autonomous underwater vehicle (AUV) is proposed. the approach is consisted in substitution of standard li...
详细信息
暂无评论