Filters








159,798 Hits in 5.8 sec

Better Quality in Synthesis through Quantitative Objectives [article]

Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann
2013 arXiv   pre-print
In this framework, the synthesis of optimal implementations requires the solution of lexicographic mean-payoff games (for safety requirements), and the solution of games with both lexicographic mean-payoff  ...  In particular, we show how automata with lexicographic mean-payoff conditions can be used to express many interesting quantitative properties for reactive systems.  ...  none of these works focus on how quantitative specifications can be used to obtain better implementations for the synthesis problem.  ... 
arXiv:0904.2638v3 fatcat:gcqmieoj45cxtcthazbc2f7f6u

Better Quality in Synthesis through Quantitative Objectives [chapter]

Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann
2009 Lecture Notes in Computer Science  
In this framework, the synthesis of optimal implementations requires the solution of lexicographic mean-payoff games (for safety requirements), and the solution of games with both lexicographic mean-payoff  ...  In particular, we show how automata with lexicographic mean-payoff conditions can be used to express many interesting quantitative properties for reactive systems.  ...  none of these works focus on how quantitative specifications can be used to obtain better implementations for the synthesis problem.  ... 
doi:10.1007/978-3-642-02658-4_14 fatcat:sozime43pjccvoe2pp4qhllgkq

Comparative Synthesis: Learning Near-Optimal Network Designs by Query [article]

Yanjun Wang, Zixuan Li, Chuan Jiang, Xiaokang Qiu, Sanjay G. Rao
2022 arXiv   pre-print
First, we present comparative synthesis, an interactive synthesis framework which produces near-optimal programs (network designs) through two kinds of queries (Propose and Compare), without an objective  ...  In this paper, we present the first effort to synthesize optimal network designs with indeterminate objectives using an interactive program-synthesis-based approach. We make three contributions.  ...  Interaction Through Comparative Queries Quantitative synthesis problem as defined in Def 3.10 expects a metric ranking explicitly or implicitly (e.g., through a target function).  ... 
arXiv:2105.11620v3 fatcat:ciftb2v7hffrddmpn4qpidpap4

Measured and perceived effects of audit and feedback on nursing performance: a mixed methods systematic review protocol

Émilie Dufour, Arnaud Duhoux, Jolianne Bolduc
2019 Systematic Reviews  
The objective of this systematic review is to examine the evidence of measured and perceived effects of A&F interventions on nurses' performance.  ...  The use of audit and feedback (A&F) interventions in health care has been demonstrated to generally be effective on medical teams.  ...  Acknowledgements We would like to thank Assia Mourid, librarian at the paramedical library of the University of Montreal, for the support in developing the search strategy.  ... 
doi:10.1186/s13643-019-0956-1 pmid:30709416 pmcid:PMC6357419 fatcat:gxpxxbinyvhp3htfjpnurcpjbq

Development of a framework for the implementation of synchronous e-mental health: a protocol for a realist synthesis of systematic reviews

David Villarreal-Zegarra, Christoper A. Alarcon-Ruiz, G.J. Melendez-Torres, Roberto Torres-Puente, Juan Ambrosio-Melgarejo, Alejandra B. Romero-Cabrera, Alba Navarro-Flores, Leonardo Albitres-Flores, Ana Lindo-Cavero, Jeff Huarcaya-Victoria
2021 F1000Research  
Conclusion: Our results will allow a better understanding of the facilitator and limitations in implementing e-mental health.  ...  But there have been difficulties in its application. Quantitative systematic reviews such as meta-analysis doesn't allow us to fully identify and properly describe this subject.  ...  Reply: A better description of the research objective was made based on the first reviewer.  ... 
doi:10.12688/f1000research.27150.2 fatcat:rik4hi7y6jdlzog3nueo5tnsom

Customizable GAN: a method for image synthesis of human controllable

Zhiqiang Zhang, Wenxin Yu, Jinjia Zhou, Xuewen Zhang, Ning Jiang, Gang He, Yang Zhuo
2020 IEEE Access  
Simultaneously, the high-quality image synthesis results, based on artificial hand-drawing contour and text description, are displayed to illustrate the high flexibility and customizability of our model  ...  In this paper, we propose a highly flexible and human customizable image synthesis model based on simple contour and natural language description, in which the specific content of contour and text description  ...  CONCLUSION In this work, we propose a customizable image synthesis based on contour and text descriptions. The high-quality image synthesis is achieved through adversarial learning.  ... 
doi:10.1109/access.2020.3001070 fatcat:o3zshcws2jg7rjpwfu3g6tnzly

A collaboration for the promotion of evidence synthesis: A Canadian-African Partnership

Kim Sears, Amanda Ross-White, Christina Godfrey, Devind Peter, Alison Annet Kinengyere, Oluwaseun Ireti Obasola
2019 Journal of the Canadian Health Libraries Association  
The intense six-day training workshop covered evidence synthesis of quantitative evidence and qualitative evidence as well as multiple methodologies for the synthesis of different levels of evidence.  ...  The objective was to provide these library scientists with a comprehensive systematic review-training workshop using the Joanna Briggs Institute methodology for evidence synthesis.  ...  CLG's support CARTA to achieve its objectives through the provision of information services.  ... 
doi:10.29173/jchla29397 fatcat:nmn4sxdjw5esdoeafymqdmizcy

Mode Seeking Generative Adversarial Networks for Diverse Image Synthesis

Qi Mao, Hsin-Ying Lee, Hung-Yu Tseng, Siwei Ma, Ming-Hsuan Yang
2019 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)  
Both qualitative and quantitative results demonstrate the effectiveness of the proposed regularization method for improving diversity without loss of quality. * Equal contribution  ...  We validate the proposed algorithm on three conditional image synthesis tasks including categorical generation, image-toimage translation, and text-to-image synthesis with different baseline models.  ...  We additionally thank NVIDIA for generously providing DGX-1 super-computer and support through the NVAIL program.  ... 
doi:10.1109/cvpr.2019.00152 dblp:conf/cvpr/MaoLTM019 fatcat:5fgqwwwu7nhlrby5xf4ll5gn2i

Perspectives of pharmacy students, pharmacy academics and practicing pharmacists on interprofessional education and collaborative practice: a comprehensive systematic review protocol

Alla El-Awaisi, Lesley Diack, Sundari Joseph, Maguy El Hajj
2015 The JBI Database of Systematic Reviews and Implementation Reports  
interprofessional education and collaborative practice through quantitative and qualitative evidence.  ...  Review question/objective The objective of this systematic review is to examine the perspectives, attitudes, views and experiences of pharmacy students, pharmacy academics and practicing pharmacists towards  ...  Data synthesis For quantitative data and due to the nature of the review objectives and the data to be extracted, it will not be possible to conduct statistical pooling on the data; rather narrative synthesis  ... 
doi:10.11124/jbisrir-2015-2115 pmid:26767817 fatcat:jzl32uweqngqhdgjx2djpjm67q

RODES: A Robust-Design Synthesis Tool for Probabilistic Systems [chapter]

Radu Calinescu, Milan Češka, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
2017 Lecture Notes in Computer Science  
We introduce RODES -a tool for the synthesis of probabilistic systems that satisfy strict reliability and performance requirements, are Pareto-optimal with respect to a set of optimisation objectives,  ...  and are robust to variations in the system parameters.  ...  Introduction Quantitative verification is an effective technique for analysing the quality attributes (e.g. performance and reliability) of alternative system designs from the early stages of the development  ... 
doi:10.1007/978-3-319-66335-7_20 fatcat:qmamcofq5rfdxdrkkui5m7ki3y

Designing a New Model for Organizational Websites Evaluation

Abolfazl Sherafat, Sayyed Mohammad Reza Davoodi
2018 International journal of information science and management  
For evaluating the organization's success in its website function, the concept of quality management is used and since evaluation and improvement are the center of attention in this model, the model is  ...  Model includes four main components consist of objectives, processes, criteria and feedback.  ...  Methodology The present study is a mixed -research methodology in which a qualitative approach (the meta-synthesis method) and a quantitative approach are used .In the first stage of the research meta-synthesis  ... 
doaj:5a3c7e78eed3436794a2821e17ffec4c fatcat:4fi7zv6vajcubl6t4byuzl2nay

Sex and gender differences in caregiving burden experienced by family caregivers of persons with dementia: a systematic review protocol

Chen Xiong, Melissa Biscardi, Emily Nalder, Angela Colantonio
2018 BMJ Open  
The current protocol outlines a strategy for a systematic review of the current evidence to identify and synthesise sex and gender distinctions in caregiving burden experienced by family caregivers of  ...  Study quality will be assessed using the Critical Appraisal Skills Programme checklists.  ...  Acknowledgements We gratefully acknowledge the involvement of Erica Lenton, Faculty Liaison and Instruction Librarian at the University of Toronto for her assistance in development of the comprehensive  ... 
doi:10.1136/bmjopen-2018-022779 pmid:30104318 pmcid:PMC6091900 fatcat:qpcea32f6nckpm4nkzz5ivqd3y

Optimal text-to-image synthesis model for generating portrait images using generative adversarial network techniques

Mohammed Berrahal, Mostafa Azizi
2022 Indonesian Journal of Electrical Engineering and Computer Science  
In our work we focused on the text-to-image synthesis applications (TIS) field, to transform descriptive sentences into a real image.  ...  Deep fusion generative adversarial networks (DF-GAN) is the network that performs better than its peers, at multiple levels, like the generated image quality or the respect of the giving descriptive text  ...  ACKNOWLEDGEMENTS This research was supported through computational resources of HPC-MARWAN (www.marwan.ma/hpc) provided by the National Center for Scientific and Technical Research (CNRST), Rabat, Morocco  ... 
doi:10.11591/ijeecs.v25.i2.pp972-979 fatcat:4f7uuua7cjgehnor6k32nzn3ha

Novel View Synthesis from Single Images via Point Cloud Transformation [article]

Hoang-An Le, Thomas Mensink, Partha Das, Theo Gevers
2020 arXiv   pre-print
In this paper the argument is made that for true novel view synthesis of objects, where the object can be synthesized from any viewpoint, an explicit 3D shape representation isdesired.  ...  The benefit of using point clouds as an explicit 3D shape for novel view synthesis is experimentally validated on the 3D ShapeNet benchmark.  ...  From the results we observe that in line with the overall quality metrics ( Table 2 of the main paper), our method synthesize in general higher quality (better geometrical shape and matching texture)  ... 
arXiv:2009.08321v2 fatcat:s4lwx2vsobbxnbuwdiizw32vvm

Mode Seeking Generative Adversarial Networks for Diverse Image Synthesis [article]

Qi Mao, Hsin-Ying Lee, Hung-Yu Tseng, Siwei Ma, Ming-Hsuan Yang
2019 arXiv   pre-print
Both qualitative and quantitative results demonstrate the effectiveness of the proposed regularization method for improving diversity without loss of quality.  ...  In this work, we propose a simple yet effective regularization term to address the mode collapse issue for cGANs.  ...  Lower FID values indicate better quality of the generated images. LPIPS. To evaluate diversity, we employ LPIPS [33] following [10, 15, 35] .  ... 
arXiv:1903.05628v6 fatcat:2nfccy4z2va2lmvazboeu33iyu
« Previous Showing results 1 — 15 out of 159,798 results