Improving the productivity of high-level synthesis by advancing reuseability and verifiability by Yang, Liwei

“…However, HLS tools are different from typical large-scale software; we must verify that the HLS tool output is always functionally correct RTL, not just that the HLS tool runs to completion without error. Therefore, the verification process of the functional correctness of HLS tools has also become a bottleneck that defers the enhancement of QoR, thus preventing HLS from achieving further improved productivity. …”
Get full text

Optimized GPU algorithms for sparse data problems by Pham, Nguyen Quang Anh

“…Compared to existing GPU coloring algorithms, our first algorithm uses 1.1 − 4.3× fewer colors on average, while the second algorithm uses slightly more colors but runs 2.7 − 4.3× faster than other algorithms. The techniques we introduced are the basis for our ongoing work on GPU sparse matrix and graph algorithms, as we seek to bridge the gap between the performance of sparse and dense data algorithms on GPUs.…”
Get full text

“一带一路”倡议对新加坡经济的动力及阻力 = Economic stimulus and impetus to Singapore caused by the “Belt and Road” initiative by 肖彬 Xiao, Bin

“…The “Belt” refers to the “Silk Road Economic Belt” which runs across the Eurasian continent, connecting Southeast Asia and Europe through the vast Central Asia. …”
Get full text

Simulations study of fluid-structure interaction of a wind turbine by Zheng, Shuai

“…With wind speed of 10m⁄s, most of the flow over the lower surface remains attached and the wind turbine blade was running under design condition. As the wind speed increases, flow separation emerges. …”
Get full text
Get full text

A study on dual topic models and bayesian topic model inference by Rugeles, Daniel

“…One key benefit of the proposed method lies in its deterministic nature, which largely improves the running efficiency as well as predictive perplexity for inference. …”
Get full text

GPU-based commonsense reasoning for real-time query answering and multimodal analysis by Tran, Ha Nguyen

“…A typical GPU device consists of hundreds of cores running simultaneously. Modern General Purpose GPUs have been successfully adopted to accelerate heavy workload tasks such as relational database joining operations, fundamental large-scale graph algorithms, and big data analytics. …”
Get full text

Combinatorial algorithms for scheduling jobs to minimize server usage time by Ren, Runtian

“…The Flexible Job Scheduling problem aims at determining the starting times of flexible jobs that do not have to be started immediately at their arrivals to minimize the span of all the jobs, where the span is the time duration in which at least one job is running. In the non-clairvoyant online setting, we first show that no deterministic online scheduler can achieve a competitive ratio less than µ. …”
Get full text
Get full text

21W.747 Rhetoric, Fall 2002 by Strang, Steven M.

“…At its worst, however, rhetoric is used unethically by people to manipulate us instead of enlightening us, to spread propaganda instead of seeking truth, to make palatable those ideas and products whose adoption actually runs counter to our best interests. Understanding rhetoric, then, is our best defense against its abusers-- e.g., political "spin doctors," advertisers, demagogues, apologists for immoral business practices, and hate mongers. …”
Get full text

Towards haptic intelligence in robots by learning from demonstration by Turlapati Sri Harsha

“…This is evident from how we are able to look for objects in the dark, wield them intelligently without having to know where we are holding them and even form a mental image of an object by running our hands along its surface. In the first part of this thesis, we build on this latter idea of performing haptic exploration of surfaces with a focus on extracting the geometry of fine features. …”
Get full text

Towards practical data-driven predictive maintenance: a robust and generalizable deep learning approach by Mohamed Ragab Mohamad Adam

“…On the one hand, data labeling and annotation can be very laborious tasks, especially for sensor data that encompass complex underlying patterns. Furthermore, running to failure for vast and sophisticated machines can be costly and cause catastrophic consequences. …”
Get full text

Efficient algorithms for subgraph counting and enumeration on large graphs by Wang, Kaixin

“…We conduct extensive experi- ments to verify that our technique can produce estimates with smaller errors while often running faster compared with existing algorithms. …”
Get full text

Mastering Voice Interfaces : Creating Great Voice Apps for Real Users / by Thymé-Gobbel, Ann, author 642940, Jankowski, Charles, author 642941

Towards robust sensing and recognition : from statistical learning to transfer learning by Yang, Jianfei

“…Firstly, we formulate the Edge Domain Adaptation (EDA) problem that addresses the domain shift between a model trained in center server and the model running in edge devices. Then MobileDA is proposed to deal with this problem by joint minimization of domain disparity and model complexity. …”
Get full text

Interventions for quitting vaping by Butler, AR, Lindson, N, Livingstone-Banks, J, Notley, C, Turner, T, Rigotti, NA, Fanshawe, TR, Dawkins, L, Begh, R, Wu, AD, Brose, L, Conde, M, Simonavičius, E, Hartmann-Boyce, J

“…Therefore, we will continue to update this review as a living systematic review by running searches monthly and updating the review when relevant new evidence that will strengthen or change our conclusions emerges.…”

50 Years of quantum chromodynamics by Gross, Franz, Klempt, Eberhard, Brodsky, Stanley J., Buras, Andrzej J., Burkert, Volker D., Heinrich, Gudrun, Jakobs, Karl, Meyer, Curtis A., Orginos, Kostas, Strickland, Michael, Stachel, Johanna, Zanderighi, Giulia, Brambilla, Nora, Braun-Munzinger, Peter, Britzger, Daniel, Capstick, Simon, Cohen, Tom, Crede, Volker, Constantinou, Martha, Davies, Christine, Del Debbio, Luigi, Denig, Achim, DeTar, Carleton, Deur, Alexandre, Dokshitzer, Yuri, Dosch, Hans Günter, Dudek, Jozef, Dunford, Monica, Epelbaum, Evgeny, Escobedo, Miguel A., Fritzsch, Harald, Fukushima, Kenji, Gambino, Paolo, Gillberg, Dag, Gottlieb, Steven, Grafstrom, Per, Grazzini, Massimiliano, Grube, Boris, Guskov, Alexey, Iijima, Toru, Ji, Xiangdong, Karsch, Frithjof, Kluth, Stefan, Kogut, John B., Krauss, Frank, Kumano, Shunzo, Leinweber, Derek, Leutwyler, Heinrich, Li, Hai-Bo, Li, Yang, Malaescu, Bogdan, Mariotti, Chiara, Maris, Pieter, Marzani, Simone, Melnitchouk, Wally, Messchendorp, Johan, Meyer, Harvey, Mitchell, Ryan Edward, Mondal, Chandan, Nerling, Frank, Neubert, Sebastian, Pappagallo, Marco, Pastore, Saori, Peláez, José R., Puckett, Andrew, Qiu, Jianwei, Rabbertz, Klaus, Ramos, Alberto, Rossi, Patrizia, Rustamov, Anar, Schäfer, Andreas, Scherer, Stefan, Schindler, Matthias, Schramm, Steven, Shifman, Mikhail, Shuryak, Edward, Sjöstrand, Torbjörn, Sterman, George, Stewart, Iain W., Stroth, Joachim, Swanson, Eric, de Téramond, Guy F., Thoma, Ulrike, Vairo, Antonio, van Dyk, Danny, Vary, James, Virto, Javier, Vos, Marcel, Weiss, Christian, Wobisch, Markus, Wu, Sau Lan, Young, Christopher, Yuan, Feng, Zhao, Xingbo, Zhou, Xiaorong

“…The parameters of QCD include the running coupling constant, $$\alpha _s(Q^2)$$ α s ( Q 2 ) , that varies with the energy scale $$Q^2$$ Q 2 characterising the interaction, and six quark masses. …”
Get full text