Filters








16,298 Hits in 3.3 sec

Bidirectional data-flow analyses, type-systematically

Maria João Frade, Ando Saabas, Tarmo Uustalu
2008 Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09  
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems.  ...  To demonstrate the viability of the approach we consider two examples that are inherently bidirectional: type inference (seen as a data-flow problem) for a structured language where the type of a variable  ...  Analyses for structured languages: type inference In this section we introduce the type-systematic technique for describing bidirectional data-flow analyses.  ... 
doi:10.1145/1480945.1480965 dblp:conf/pepm/FradeSU09 fatcat:quzpcokquvac3exgui373hwjma

Synthesis and Analysis of Three-Port DC/DC Converters with Two Bidirectional Ports Based on Power Flow Graph Technique

Hamzeh Aljarajreh, Dylan Dah-Chuan Lu, Yam P. Siwakoti, Chi K. Tse, K. W. See
2021 Energies  
This paper presents a systematic topological study to derive all possible basic and non-isolated three-port converters (TPCs) using power flow diagrams.  ...  Unlike most reported TPCs with one bidirectional port, this paper considers up to two bidirectional ports and provides a comprehensive analytical tool.  ...  Type II-II and Type III-III are not acceptable because Type II-II makes output port bidirectional which is unnecessary and Type III-III Proposed Power Flow Graphs Derivation for Two Bidirectional  ... 
doi:10.3390/en14185751 fatcat:2on52nv2ffdftiubtgwhkk7qfm

Fundamental diagrams of pedestrian flow characteristics: A review

Lakshmi Devi Vanumu, K. Ramachandra Rao, Geetam Tiwari
2017 European Transport Research Review  
The objective of this study is to review the fundamental diagrams of pedestrian flow characteristics developed for various flow types and geometric elements.  ...  Methods In order to achieve the goal of this paper, we presented a systematic review of fundamental diagrams of pedestrian flow characteristics developed by using various approaches such as field, experimental  ...  Since the data compared is obtained under various experimental situations and different measurement methods, it is difficult to conclude whether and how the type of flow (uni-or bidirectional) influences  ... 
doi:10.1007/s12544-017-0264-6 fatcat:t7qlvtac55agpdd2a4kllaqkj4

THE BIDIRECTIONAL RELATIONSHIP BETWEEN VISION AND COGNITION: A SYSTEMATIC REVIEW AND META-ANALYSIS

Tai Anh Vu, Eva K. Fenwick, Alfred TL. Gan, Ryan EK. Man, Benjamin KJ. Tan, Preeti Gupta, Kam Chun Ho, Carlos A. Reyes-Ortiz, Stella Trompet, Jacobijn Gussekloo, Joan M. O'Brien, Sigrid Mueller-Schotte (+13 others)
2020 Ophthalmology (Rochester, Minn.)  
Hence, we conduct a systematic review and meta-analysis to examine the bidirectional relationship between VI and CIM. 60% risk of CIM has not been well-elucidated in the literature.  ...  on this association could not be conducted due to insufficient data.  ...  Rebecca Salowe and Yinxi Yu, University of Pennsylvania, and Miao Li Chee, Singapore Eye Research Institute, for providing us with data; and Dr.  ... 
doi:10.1016/j.ophtha.2020.12.010 pmid:33333104 fatcat:iij4i64dcbhidcnjrbzzk5y6yi

The Efficacy and Safety of Knotless Barbed Sutures in the Surgical Field: A Systematic Review and Meta-analysis of Randomized Controlled Trials

Yifei Lin, Sike Lai, Jin Huang, Liang Du
2016 Scientific Reports  
This study reviewed the application of different types of barbed sutures in different surgeries.  ...  It need be evaluated based on special surgeries and suture types before put into clinical practice.  ...  Subgroup analyses were performed using different types of surgeries and barbed suture types ( Table 2 , Supplementary Figures 1-8) . Suture time.  ... 
doi:10.1038/srep23425 pmid:27005688 pmcid:PMC4804241 fatcat:digu5jonqfhapj3ohcomodfizy

Type Systems for Optimizing Stack-based Code

Ando Saabas, Tarmo Uustalu
2007 Electronical Notes in Theoretical Computer Science  
We give a uniform type-systematic account of a number of optimizations and the underlying analyses for a bytecode-like stack-based low-level language, including analysis soundness proofs and strongest  ...  The load-pop pairs and store-load pairs elimination optimizations are built on top of bidirectional analyses, facilitating correct elimination of instruction pairs spanning across basic block boundaries  ...  Type-systematic data-flow analysis and data-flow analysis theory Our analyses and optimizations are presented in the form of type systems, following the approach of Stata and Abadi [16] , who described  ... 
doi:10.1016/j.entcs.2007.02.063 fatcat:byyxph6db5hzpkyz2sqpmy3nde

Direct Communication Between Brains: A Systematic PRISMA Review of Brain-To-Brain Interface

Chang S. Nam, Zachary Traylor, Mengyue Chen, Xiaoning Jiang, Wuwei Feng, Pratik Yashvant Chhatbar
2021 Frontiers in Neurorobotics  
We used the Preferred Reporting Items for Systematic Reviews and Meta-Analyses (PRISMA) to systematically review current literature related to B2BI, resulting in 15 relevant publications.  ...  Furthermore, only 12.4% (2) studies are more complicated than a 1:1 model and few researchers studied direct bidirectional B2BI.  ...  A systematic review selects and analyzes relevant research to extract and analyze the data present.  ... 
doi:10.3389/fnbot.2021.656943 pmid:34025383 pmcid:PMC8138057 fatcat:lhgrhtetsncp3ffkkglfa74mzy

Bidirectional Interoperability of Product Engineering and Manufacturing Enhancing Mass Customization

A. Sakowski, M. Dangelmaier, M. Hertwig, D. Spath
2019 Procedia Manufacturing  
The state of the art regarding data exchange and the requirements that data and information systems must join are analysed.  ...  Still, there is hardly any interface allowing a bidirectional stream of data up and down the development process.  ...  Bidirectional interoperability is the logical continuation of current developments and opens new possibilities for effective and efficient cooperation across value chains.  ... 
doi:10.1016/j.promfg.2020.01.231 fatcat:4nu64wjqsjbada35e4w7lnaicq

Bidirectional Promoter Engineering for Single Cell MicroRNA Sensors in Embryonic Stem Cells

Hanna L. Sladitschek, Pierre A. Neveu, Bernard Mari
2016 PLoS ONE  
The performance of the resulting miRNA sensors was assessed by flow cytometry in single stable transgenic mESCs undergoing self-renewal or differentiation.  ...  Non-invasive miRNA sensors present an ideal solution but they critically depend on the performance of suitable ubiquitous promoters that reliably drive expression both in pluripotent and differentiated cell types  ...  Acknowledgments This work was technically supported by the EMBL Flow Cytometry Core Facility. We thank A. Perez Gonzalez for expert advice on flow cytometry.  ... 
doi:10.1371/journal.pone.0155177 pmid:27152616 pmcid:PMC4859538 fatcat:ffnefetb4jburiyqvr5w42t4hm

Bidirectional Association between Hypertension and NAFLD: A Systematic Review and Meta-Analysis of Observational Studies

Gerui Li, Yuanyuan Peng, Ze Chen, Hang Li, Danli Liu, Xujun Ye, Alessandro Galani
2022 International Journal of Endocrinology  
On the other hand, 9 studies with data on 46,487 participants analyzed the effects of NAFLD on incident hypertension.  ...  In conclusion, this meta-analysis indicates the existence of a bidirectional relationship between NAFLD and hypertension independent of traditional cardiometabolic risk factors.  ...  Items for Systematic Reviews and Meta-Analyses (PRISMA) guidelines [20] .  ... 
doi:10.1155/2022/8463640 pmid:35371259 pmcid:PMC8970889 fatcat:6eybow3bgncsvp3fxqx4w2adea

The application of barbed suture during the partial nephrectomy may modify perioperative results: a systematic review and meta-analysis

Yifei Lin, Banghua Liao, Sike Lai, Jin Huang, Liang Du, Kunjie Wang, Hong Li
2019 BMC Urology  
Review Manager was applied to analyze all the data and sensitivity analyses were performed through omitting each study sequentially.  ...  Availability of data and materials All the data supporting your findings is contained within the manuscript.  ...  Authors' contributions YL, BL: Project development, data analysis and management, manuscript writing and editing. SL: Data collection, data analysis and management.  ... 
doi:10.1186/s12894-018-0435-3 fatcat:mgyfpdzmr5dsxbjqjh5y2jexm4

Challenges and strategies for promoting health equity in virtual care: a protocol for a scoping review of reviews (Preprint)

Jamie Keiko Fujioka, Suman Budhwani, Tyla Thomas-Jacques, Kristina De Vera, Priyanka Challa, Kaitlin Fuller, Sophie Hogeveen, Dara Gordon, Simone Shahid, Emily Seto, Jay Shaw
2020 JMIR Research Protocols  
The eligibility criteria focused on the inclusion of methods-driven reviews (ie, systematic reviews, scoping reviews, meta-analyses, realist reviews, and critical interpretative syntheses) to enhance rigor  ...  Other inclusion criteria included a focus on virtual care services that facilitate bidirectional patient-provider communication (ie, video, telephone, and asynchronous messaging visits) for underserved  ...  The study selection process will be summarized in a PRISMA (Preferred Reporting Items for Systematic Reviews and Meta-Analyses) flow diagram.  ... 
doi:10.2196/22847 pmid:33211020 fatcat:gi2ooibjczbotm4ix5suevlhqy

Ultraconserved elements (UCEs) illuminate the population genomics of a recent, high-latitude avian speciation event

Kevin Winker, Travis C Glenn, Brant C Faircloth
2018 PeerJ  
The demographic model best fitting the data was one of divergence with gene flow.  ...  ), and lower gene flow (2.8-5.2 individuals per generation).  ...  This type of approach would provide a tractable number of loci for analyses while improving among-study comparisons and larger-scale comparative meta-analyses.  ... 
doi:10.7717/peerj.5735 pmid:30310754 pmcid:PMC6174879 fatcat:5f26mqqgqvhn7btleoa5foqtyy

Vitamin D supplementation and energy and metabolic homoeostasis in obese and overweight subjects: a protocol for a systematic review

Yu He, Xiao Yang, Min Li, Anren Zhang, Nianyi Sun
2021 BMJ Open  
A narrative or quantitative synthesis will be performed based on the available data.  ...  Two reviewers will independently complete the article selection, data extraction and rating.  ...  The summary results are computed in different ways by the data type.  ... 
doi:10.1136/bmjopen-2021-051230 pmid:34593501 fatcat:44b6xvfi6ne7hceu2twebtwkci

The Tridirectional Relationship among Physical Activity, Stress, and Academic Performance in University Students: A Systematic Review and Meta-Analysis

Kathrin Wunsch, Janis Fiedler, Philip Bachert, Alexander Woll
2021 International Journal of Environmental Research and Public Health  
Future studies should use validated measuring tools and consider the timepoint of data collection in order to extract truly stressful periods.  ...  The systematic review includes four original research studies with a moderate-to-high risk of bias.  ...  Data Availability Statement: The data that support the findings of this study are available from the corresponding author, upon reasonable request. Figure 1 . 1 Flow chart of study selection process.  ... 
doi:10.3390/ijerph18020739 pmid:33467118 fatcat:4apx2b6lazggpieayxrnfvl6by
« Previous Showing results 1 — 15 out of 16,298 results