1,420 Hits in 6.6 sec

Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper) [chapter]

Eva Darulova, Anastasiia Izycheva, Fariha Nasir, Fabian Ritter, Heiko Becker, Robert Bastian
2018 Lecture Notes in Computer Science  
This paper presents a new framework, called Daisy, which provides in a single tool the main building blocks for accuracy analysis of floating-point and fixed-point computations which have emerged from  ...  Automated techniques for analysis and optimization of finite-precision computations have recently garnered significant interest. Most of these were, however, developed independently.  ...  In this paper, we present the framework Daisy for the analysis and optimization of finite-precision computations.  ... 
doi:10.1007/978-3-319-89960-2_15 fatcat:ktavggsosfh5zihqco7rtcolou

DIMTOOL: A Platform for Determining Worst Case Latencies in Switched Queuing Networks

Emanuel Heidinger, Stefan Burger, Stefan Schneele, Alexander Klein, Georg Carle
2012 Proceedings of the 6th International Conference on Performance Evaluation Methodologies and Tools  
The functionality of our developed toolbox is demonstrated by employing it to realworld scenarios in avionics, which is the Ethernet based Cabin Management System and the communication network inside the  ...  Performance evaluation in computer networks requires consistent traffic and topology models to deliver comparable results.  ...  In the current version, the Optimization Methods optimizeTopo for topology optimization and optimize-Flows for flow optimization are provided.  ... 
doi:10.4108/valuetools.2012.250296 dblp:conf/valuetools/HeidingerBSKC12 fatcat:rtsw5f6t3zfobmbqn2r2hs2bji

The MADlib Analytics Library or MAD Skills, the SQL [article]

Joe Hellerstein, Christopher Ré, Florian Schoppmann, Daisy Zhe Wang, Eugene Fratkin, Aleksander Gorajek, Kee Siong Ng, Caleb Welton, Xixuan Feng, Kun Li, Arun Kumar
2012 arXiv   pre-print
It provides an evolving suite of SQL-based algorithms for machine learning, data mining and statistics that run at scale within a database engine, with no need for data import/export to other tools.  ...  In this paper we introduce the MADlib project, including the background that led to its beginnings, and the motivation for its open source nature.  ...  This partitioning and dataflow is currently outside the scope of a traditional query optimizer or database design tool.  ... 
arXiv:1208.4165v1 fatcat:uouyhvyo3va2veamidxbeacou4

Automated Precision Tuning in Activity Classification Systems

Nicola Fossati, Daniele Cattaneo, Michele Chiari, Stefano Cherubin, Giovanni Agosta
2020 Proceedings of the 11th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures / 9th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms  
CCS CONCEPTS • Hardware → Power estimation and optimization; • Software and its engineering → Compilers; • Applied computing → Consumer health.  ...  We optimize a situation-recognition application via the wellknown precision tuning practice using a dedicated state-of-the-art toolchain.  ...  a framework based on the llvm toolchain which performs precision tuning of C and C++ programs. taffo focuses on the exploitation of the fixed point numeric representation, and operates on the llvm intermediate  ... 
doi:10.1145/3381427.3381432 dblp:conf/hipeac/FossatiCCCA20 fatcat:sncrfcxg4vdolb6ymxflacpnvy

Scientific program committee

2015 2015 International Conference on Image Processing Theory, Tools and Applications (IPTA)  
An upgrade of SNAKE to a single-ion cell irradiation facility was completed 2 years ago and successfully tested and is now routinely used for radiobiological experiments.  ...  It is used for high-resolution material analysis like hydrogen microscopy or material modification as well as radiobiological experiments.  ...  and Technology of Japan, and by the TIARA Research Program (51033).  ... 
doi:10.1109/ipta.2015.7367084 fatcat:awrq5saihzg4zfwtb5zwwpncsa

The MADlib analytics library

Joseph M. Hellerstein, Kun Li, Arun Kumar, Christoper Ré, Florian Schoppmann, Daisy Zhe Wang, Eugene Fratkin, Aleksander Gorajek, Kee Siong Ng, Caleb Welton, Xixuan Feng
2012 Proceedings of the VLDB Endowment  
It provides an evolving suite of SQL-based algorithms for machine learning, data mining and statistics that run at scale within a database engine, with no need for data import/export to other tools.  ...  In this paper we introduce the MADlib project, including the background that led to its beginnings, and the motivation for its open source nature.  ...  The state-of-the-art text analysis tools are based on statistical models and algorithms [18, 12] .  ... 
doi:10.14778/2367502.2367510 fatcat:bqz6ufkkpvf2jngbjbmw7jhnwu

Utilizing Evidence-Centered Design to Develop Assessments: A High School Introductory Computer Science Course

Sunni Newton, Meltem Alemdar, Daisy Rutstein, Doug Edwards, Michael Helms, Diley Hernandez, Marion Usselman
2021 Frontiers in Education  
The use of ECD provided an organizational framework for assessment development efforts, offering assessment developers a clear set of steps with accompanying documentation and decision points, as well  ...  The description of an application of ECD for assessment development within the context of an introductory CS course illustrates its utility and effectiveness, and also provides a guide for researchers  ...  Any opinions, findings, and conclusion or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.  ... 
doi:10.3389/feduc.2021.695376 fatcat:v53dzlsqsjgoxovicslbusnwg4

Will CRISPR-Cas9 Have Cards to Play Against Cancer? An Update on its Applications

Precilla S. Daisy, Kuduvalli S. Shreyas, T. S. Anitha
2021 Molecular Biotechnology  
Genome editing employs targeted nucleases as powerful tools to precisely alter the genome of target cells and regulate functional genes.  ...  These tools allow researchers to understand the basics of manipulating the genome, create animal models to study human diseases, understand host-pathogen interactions and design disease targets.  ...  Authors' Contributions All the authors contributed equally to the conception and design of this review article. TSA-conceptualized the idea for this review article and critically revised the work.  ... 
doi:10.1007/s12033-020-00289-1 pmid:33386579 fatcat:54xpp2amkjbczkpno5t2yerofe

Corporate Social Responsibility: A Case Study of Microsoft Corporation

Gaurav Sehgal, Daisy Mui Hung Kee, An Rou Low, Yan Sin Chin, Eunice Mun Yee Woo, Pei Fern Lee, Farah Almutairi
2020 Asia Pacific Journal of Management and Education  
The paper discusses the various initiatives Microsoft Corporation have done for CSR. The paper concludes with some suggestion and recommendation.  ...  Microsoft Corporation is committed to Corporate Social Responsibility (CSR) with the belief that CSR helps to improve the reputation and image of an organization.  ...  AI can also help to optimize the delivery of aid, services, and supplies to refugees and can scale the efforts of NGOs' to communicate and understand displaced peoples' needs.  ... 
doi:10.32535/apjme.v3i1.744 fatcat:vpfilaxocvconf7vhdl7xrqu2a

Human Capital and Social Capital as Moderators of Start-up Support and Start-up Success

Daisy Mui Hung Kee, Sabai Khin
2019 Journal of Management and Marketing Review (JMMR)  
This paper also discusses the limitations of relevant previous research and offers suggestions for future research. Type of Paper: Review.  ...  Findings – This paper contributes to start-up literature by presenting a conceptual framework appropriate to investigate the effect of a start-up's access to support on start-up success as well as how  ...  Research Methodology This paper is a conceptual paper based on the review and analysis of research from the literature related to start-ups in Malaysia.  ... 
doi:10.35609/jmmr.2019.4.2(2) fatcat:wygfvyhdjvhnjndwu7eos4nosi

Sound Approximation of Programs with Elementary Functions [chapter]

Eva Darulova, Anastasia Volkova
2019 Lecture Notes in Computer Science  
Our tool leverages existing techniques for roundoff error computation and approximation of individual elementary function calls and provides an automated methodology for the exploration of parameter space  ...  Elementary function calls are a common feature in numerical programs.  ...  The authors thank Christoph Lauter for useful discussions and Youcef Merah for the work on an early prototype.  ... 
doi:10.1007/978-3-030-25543-5_11 fatcat:6qhrhilwlvdhlckteoscor455q

Development and evaluation of smart data-collection and its compliance for the assessment of treatment effects in irritable bowel syndrome: an observational study. (Preprint)

Zsa Zsa R. M. Weerts, Koert G.E. Heinen, Ad. A.M. Masclee, Amber B.A. Quanjel, Bjorn Winkens, Lisa Vork, Paula E.L.M. Rinkens, Daisy M.A.E. Jonkers, Daniel Keszthelyi
2020 JMIR mHealth and uHealth  
The data-collection framework described led to standardized data-collection with excellent completeness and can be used for future RCTs.  ...  Because the employment of an application to measure treatment response in IBS is relatively new, we aimed to explore patients' compliance to the diary and characteristics associated with compliance.  ...  Acknowledgments We thank all patients who participated in the PERSUADE study; staff members of the PERSUADE team in the 4 participating centers (  ... 
doi:10.2196/19696 pmid:33030150 fatcat:rp7fsvnggfda3gbvhvxfl6nhem

Advances in crop insect modelling methods—Towards a whole system approach

Henri E.Z. Tonnang, Bisseleua D.B. Hervé, Lisa Biber-Freudenberger, Daisy Salifu, Sevgan Subramanian, Valentine B. Ngowi, Ritter Y.A. Guimapi, Bruce Anani, Francois M.M. Kakmeni, Hippolyte Affognon, Saliou Niassy, Tobias Landmann (+11 others)
2017 Ecological Modelling  
A framework for estimating losses and optimizing yields within crop production system is proposed and a summary on modelling the economic impact of pests control is presented.  ...  This paper presents a summary of decades of advances in insect population dynamics, phenology models, distribution and risk mapping.  ...  The authors thank the Federal Ministry of Cooperation and Development (BMZ), Germany that provided the financial support through Tuta IPM project, and the Ministry for Foreign Affairs of Finland that provided  ... 
doi:10.1016/j.ecolmodel.2017.03.015 fatcat:z6vbrjea35dtvn5eurflympivq

An Analysis on Organizational Behaviours Model of Intel (M) Corporation

Lim Boon Yik, Daisy Mui Hung Kee, Law Hui Qin, Alshammari Mathil, Mohammad Awais, R. Willy Ananta Permadi, Aman Kelpia
2019 International Journal of Applied Business and International Management  
The availability of rewards and pay raises in the current climate is having an impact here. Nonetheless they both remain powerful tools for motivation.  ...  For instance, PC Refresh allows our employees to use new energy efficient computers, our offices use green printing and iFax to minimize paper and tone usage.  ...  What inspires you to stay passionate and contribute to the company for years despite facing challenges to achieve successful milestone? 6.  ... 
doi:10.32535/ijabim.v4i3.693 fatcat:upgwwtwurjdaxegzrvddwpxmam

Orthographic variations and visual information processing

Daisy L. Hung, Ovid J. Tzeng
1981 Psychological bulletin  
Based upon an analysis of how graphemic symbols are mapped onto spoken languages, three distinctive writing systems with three different relations between script and speech relationships are identified  ...  They are logography, syllabary, and alphabet, developed sequentially in the history of mankind.  ...  framework.  ... 
doi:10.1037//0033-2909.90.3.377 fatcat:wyejx7qz45bxfpqfp3pfyowqdm
« Previous Showing results 1 — 15 out of 1,420 results