Search results for "FDR"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Fanny Yang, Aaditya Ramdas, Kevin G. Jamieson, Martin J. Wainwright	A framework for Multi-A(rmed)/B(andit) testing with online FDR control.	CoRR	2017	DBLP BibTeX RDF
22	Aaditya Ramdas, Jianbo Chen, Martin J. Wainwright, Michael I. Jordan	DAGGER: A sequential algorithm for FDR control on DAGs.	CoRR	2017	DBLP BibTeX RDF
22	Tomoo Sumida, Hiroyuki Suzuki, Sho Sei Shun, Kazuhito Ohmaki, Takaaki Goto, Kensei Tsuchida	FDR verification of a system involving a robot climbing stairs.	ICIS	2017	DBLP DOI BibTeX RDF
22	Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney C. Nogueira, Colin O'Halloran, Augusto Sampaio	FDR: From Theory to Industrial Application.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
22	Jie Chen 0049, Wenyi Zhang 0001, H. Vincent Poor	An FDR-oriented approach to multiple sequential fault detection and isolation.	Allerton	2017	DBLP DOI BibTeX RDF
22	Murat Moran, Dan S. Wallach	Verification of STAR-Vote and Evaluation of FDR and ProVerif.	IFM	2017	DBLP DOI BibTeX RDF
22	Chang-Hun Lee, Hyo-Sang Shin, Antonios Tsourdos, Zakwan Skaf	Data analytics development of FDR (Flight Data Recorder) data for airline maintenance operations.	MFI	2017	DBLP DOI BibTeX RDF
22	Fanny Yang, Aaditya Ramdas, Kevin G. Jamieson, Martin J. Wainwright	A framework for Multi-A(rmed)/B(andit) Testing with Online FDR Control.	NIPS	2017	DBLP BibTeX RDF
22	Haibing Zhao, Wing Kam Fung	A powerful FDR control procedure for multiple hypotheses.	Comput. Stat. Data Anal.	2016	DBLP DOI BibTeX RDF
22	Vered Madar, Sandra Batista	FastLSU: a more practical approach for the Benjamini-Hochberg FDR controlling procedure for huge-scale testing problems.	Bioinform.	2016	DBLP DOI BibTeX RDF
22	Ran Dai, Rina Barber	The knockoff filter for FDR control in group-sparse and multitask regression.	ICML	2016	DBLP BibTeX RDF
22	Sangkyun Lee 0002, Damian Brzyski, Malgorzata Bogdan	Fast Saddle-Point Algorithm for Generalized Dantzig Selector and FDR Control with Ordered L1-Norm.	AISTATS	2016	DBLP BibTeX RDF
22	Jiang Gui, Casey S. Greene, Con Sullivan, Walter Taylor, Jason H. Moore, Carol Kim	Testing multiple hypotheses through IMP weighted FDR based on a genetic functional network with application to a new zebrafish transcriptome study.	BioData Min.	2015	DBLP DOI BibTeX RDF
22	Ting-Jung Lin, Wei Zhang 0012, Niraj K. Jha	FDR 2.0: A Low-Power Dynamically Reconfigurable Architecture and Its FinFET Implementation.	IEEE Trans. Very Large Scale Integr. Syst.	2015	DBLP DOI BibTeX RDF
22	Irene Castro-Conde, Jacobo de Uña-Álvarez	Power, FDR and conservativeness of BB-SGoF method.	Comput. Stat.	2015	DBLP DOI BibTeX RDF
22	Mahdi Aiash, Jonathan Loo	Introducing a novel authentication protocol for secure services in heterogeneous environments using Casper/FDR.	Int. J. Commun. Syst.	2014	DBLP DOI BibTeX RDF
22	Qian Liu, Robert D. Russell	A performance study of InfiniBand fourteen data rate (FDR).	SpringSim (HPS)	2014	DBLP BibTeX RDF
22	Kwang-Ho Seok, Junho Ko, Chul-Won Park, Chul-Hwan Kim, Yoon Sang Kim	Distributed Sensor Network-Based Virtual FDR System.	Int. J. Distributed Sens. Networks	2013	DBLP DOI BibTeX RDF
22	Mahdi Aiash	A Formally Verified Initial Authentication and Key Agreement Protocol in Heterogeneous Environments Using Casper/FDR.	NSS	2013	DBLP DOI BibTeX RDF
22	Thomas Gibson-Robinson	Using FDR to Model Check CSP-Like Languages.	CPA	2013	DBLP BibTeX RDF
22	Yinghui Zhang 0002, Xiaofeng Chen 0001, Jin Li 0002, Hui Li 0006, Fenghua Li	FDR-ABE: Attribute-Based Encryption with Flexible and Direct Revocation.	INCoS	2013	DBLP DOI BibTeX RDF
22	Carlos Reaño, Rafael Mayo 0002, Enrique S. Quintana-Ortí, Federico Silla, José Duato, Antonio J. Peña	Influence of InfiniBand FDR on the performance of remote GPU virtualization.	CLUSTER	2013	DBLP DOI BibTeX RDF
22	Taehoon Kwon, Youngju Kim, Daesik Hong	Comparison of FDR and HDR Under Adaptive Modulation With Finite-Length Queues.	IEEE Trans. Veh. Technol.	2012	DBLP DOI BibTeX RDF
22	John H. Nixon	Investigations into refinements of Storey's method of multiple hypothesis testing minimising the FDR, and its application to test binomial data.	Comput. Stat. Data Anal.	2012	DBLP DOI BibTeX RDF
22	Mahdi Aiash, Glenford E. Mapp, Aboubaker Lasebae, Raphael Chung-Wei Phan, Jonathan Loo	A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDR.	EURASIP J. Wirel. Commun. Netw.	2012	DBLP DOI BibTeX RDF
22	Andrzej Wilczek, Agnieszka Szyplowska, Wojciech Skierucha, Jolanta Ciesla, Viliam Pichler, Grzegorz Janik	Determination of Soil Pore Water Salinity Using an FDR Sensor Working at Various Frequencies up to 500 MHz.	Sensors	2012	DBLP DOI BibTeX RDF
22	Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe 0001, James Worrell 0001	Recent Developments in FDR.	CAV	2012	DBLP DOI BibTeX RDF
22	Aiping Liu, Junning Li, Z. Jane Wang 0001, Martin J. McKeown	An FDR-controlled, exploratory group modeling for assessing brain connectivity.	ISBI	2012	DBLP DOI BibTeX RDF
22	Mahdi Aiash, Glenford E. Mapp, Raphael C.-W. Phan, Aboubaker Lasebae, Jonathan Loo	A Formally Verified Device Authentication Protocol Using Casper/FDR.	TrustCom	2012	DBLP DOI BibTeX RDF
22	Jérôme Vienne, Jitong Chen, Md. Wasi-ur-Rahman, Nusrat S. Islam, Hari Subramoni, Dhabaleswar K. Panda 0001	Performance Analysis and Evaluation of InfiniBand FDR and 40GigE RoCE on HPC and Cloud Computing Systems.	Hot Interconnects	2012	DBLP DOI BibTeX RDF
22	Ilke Turkmen, Hakan Akbulut	Airspeed computation with ANN using FDR records.	SIU	2012	DBLP DOI BibTeX RDF
22	Yi-Ting Hwang, Shih-Kai Chu, Shyh-Tyan Ou	Evaluations of FDR-controlling procedures in multiple hypothesis testing.	Stat. Comput.	2011	DBLP DOI BibTeX RDF
22	Klaus Jung, Tim Friede, Tim Beißbarth	Reporting FDR analogous confidence intervals for the log fold change of differentially expressed genes.	BMC Bioinform.	2011	DBLP DOI BibTeX RDF
22	Ping Gong 0004, Jianmin Jiang, Shi Zhang	Formal Analysis of OWL-S Process Model by FDR.	APSCC	2011	DBLP DOI BibTeX RDF
22	Ronny Merkel, Christian Kraetzer, Robert Altschaffel, Eric Clausing, Maik Schott, Jana Dittmann	Fingerprint Forensics Application Protocol: Semi-automated Modeling and Verification of Watermark-Based Communication Using CASPER and FDR.	IWDW	2011	DBLP DOI BibTeX RDF
22	Kwang-Ho Seok, Junho Ko, Chul-Won Park, Yoon Sang Kim	Virtual FDR Based Frequency Monitoring System for Wide-Area Power Protection.	FGIT-ASEA/DRBC/EL	2011	DBLP DOI BibTeX RDF
22	Maarten van Iterson, Judith M. Boer, Renée X. de Menezes	Filtering, FDR and power.	BMC Bioinform.	2010	DBLP DOI BibTeX RDF
22	Justin R. Chumbley, Keith J. Worsley, Guillaume Flandin, Karl J. Friston	Topological FDR for neuroimaging.	NeuroImage	2010	DBLP DOI BibTeX RDF
22	Wojciech Skierucha, Andrzej Wilczek	A FDR Sensor for Measuring Complex Soil Dielectric Permittivity in the 10-500 MHz Frequency Range.	Sensors	2010	DBLP DOI BibTeX RDF
22	Arshad Beg, Andrew Butterfield	Modelling flash devices with FDR: progress and limits.	FIT	2010	DBLP DOI BibTeX RDF
22	Megan Orr, Peng Liu 0012	Sample Size Estimation while Controlling False Discovery Rate for Microarray Experiments Using the ssize.fdr Package.	R J.	2009	DBLP DOI BibTeX RDF
22	Justin R. Chumbley, Karl J. Friston	False discovery rate revisited: FDR and topological inference using Gaussian random fields.	NeuroImage	2009	DBLP DOI BibTeX RDF
22	Xuefeng Bruce Ling, Harvey J. Cohen, Joseph Jin, Irwin Lau, James Schilling	FDR made easy in differential feature discovery and correlation analyses.	Bioinform.	2009	DBLP DOI BibTeX RDF
22	Hristina Palikareva, Joël Ouaknine, Bill Roscoe	Faster FDR Counterexample Generation Using SAT-Solving.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2009	DBLP DOI BibTeX RDF
22	Tomasz Mazur, Gavin Lowe	Counter Abstraction in the CSP/FDR setting.	AVoCS	2007	DBLP DOI BibTeX RDF
22	Xin Lu, David L. Perkins	Re-sampling strategy to improve the estimation of number of null hypotheses in FDR control under strong correlation structures.	BMC Bioinform.	2007	DBLP DOI BibTeX RDF
22	Leo Freitas, Jim Woodcock 0001	FDR Explorer.	Refine@ICFEM	2006	DBLP DOI BibTeX RDF
22	Sin-Ho Jung, Woncheol Jang	How accurately can we control the FDR in analyzing microarray data?	Bioinform.	2006	DBLP DOI BibTeX RDF
22	Gilles Blanchard, François Fleuret	Occam's hammer: a link between randomized learning and multiple testing FDR control	CoRR	2006	DBLP BibTeX RDF
22	Erhan Baki Ermis, Venkatesh Saligrama	Detection and Localization in Sensor Networks Using Distributed FDR.	CISS	2006	DBLP DOI BibTeX RDF
22	Julie Aubert, Avner Bar-Hen, Jean-Jacques Daudin, Stéphane Robin	Correction: Determination of the differentially expressed genes in microarray experiments using local FDR.	BMC Bioinform.	2005	DBLP DOI BibTeX RDF
22	Sin-Ho Jung	Sample size for FDR-control in microarray data analysis.	Bioinform.	2005	DBLP DOI BibTeX RDF
22	Jianhua Hu, Fei Zou, Fred A. Wright	Practical FDR-based sample size calculations in microarray experiments.	Bioinform.	2005	DBLP DOI BibTeX RDF
22	Dongxiao Zhu, Alfred O. Hero III, Zhaohui S. Qin, Anand Swaroop	High Throughput Screening of Co-Expressed Gene Pairs with Controlled False Discovery Rate (FDR) and Minimum Acceptable Strength (MAS).	J. Comput. Biol.	2005	DBLP DOI BibTeX RDF
22	Julie Aubert, Avner Bar-Hen, Jean-Jacques Daudin, Stéphane Robin	Determination of the differentially expressed genes in microarray experiments using local FDR.	BMC Bioinform.	2004	DBLP DOI BibTeX RDF
22	S. Baskar 0001, A. Alphones, Ponnuthurai N. Suganthan	Concurrent PSO and FDR-PSO based reconfigurable phase-differentiated antenna array design.	IEEE Congress on Evolutionary Computation	2004	DBLP DOI BibTeX RDF
22	Young Ah Ahn, Jin-Young Choi	FDR verification of ESANP protocol in Ad hoc Network.	SNPD	2004	DBLP BibTeX RDF
22	Il-Gon Kim, Jin-Young Choi	New S/Key System against Dictionary Attack: A Case Study in Casper and CSP/FDR.	VVEIS	2004	DBLP BibTeX RDF
22	Chad Verbowski, John Dunagan, Brad Daniels, Yi-Min Wang	Experience Talk: FDR: A Flight Data Recorder Using Black-BoxAnalysis of Persistent State Changes for Managing Change and Configuration.	LISA	2004	DBLP BibTeX RDF
22	Philippa J. Broadfoot, A. W. Roscoe 0001	Tutorial on FDR and Its Applications.	SPIN	2000	DBLP DOI BibTeX RDF
22	S. J. Creese, Joy N. Reed	Verifying End-to-End Protocols using Induction with CSP/FDR.	IPPS/SPDP Workshops	1999	DBLP DOI BibTeX RDF
22	Clemens Fischer, Heike Wehrheim	Model-Checking CSP-OZ Specifications with FDR.	IFM	1999	DBLP DOI BibTeX RDF
22	S. J. Creese, A. W. Roscoe 0001	Verifying an infinite family of inductions simultaneously using data independence and FDR.	FORTE	1999	DBLP BibTeX RDF
22	Gavin Lowe	Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR.	Softw. Concepts Tools	1996	DBLP BibTeX RDF
22	Gavin Lowe	Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR.	TACAS	1996	DBLP DOI BibTeX RDF
22	Lutz Richter	Mikrocomputer 2: P Stuber (ed) Aargauer Tagblatt AG, FDR (1978) 143 pp, DM 28 (in German).	Microprocess. Microsystems	1979	DBLP DOI BibTeX RDF
22	Barrie Nicholson	Euromicro 78: 17-19 October 1978 Technical University, Munich, FDR. Organized by Euromicro.	Microprocess. Microsystems	1979	DBLP DOI BibTeX RDF
13	A. W. Roscoe 0001, Philip J. Armstrong, Pragyesh	Local Search in Model Checking.	ATVA	2009	DBLP DOI BibTeX RDF
13	Andrew Butterfield, Art Ó Catháin	Concurrent Models of Flash Memory Device Behaviour.	SBMF	2009	DBLP DOI BibTeX RDF
13	Ming-Chang Chiang, Christina Avedissian, Marina Barysheva, Arthur W. Toga, Katie McMahon, Greig I. de Zubicaray, Margaret J. Wright, Paul M. Thompson	Extending Genetic Linkage Analysis to Diffusion Tensor Images to Map Single Gene Effects on Brain Fiber Architecture.	MICCAI (1)	2009	DBLP DOI BibTeX RDF
13	Natasha Leporé, Caroline C. Brun, Yi-Yu Chou, Ming-Chang Chiang, Rebecca A. Dutton, Kiralee M. Hayashi, Eileen Luders, Oscar L. Lopez, Howard Aizenstein, Arthur W. Toga, James T. Becker, Paul M. Thompson	Generalized Tensor-Based Morphometry of HIV/AIDS Using Multivariate Statistics on Deformation Tensors.	IEEE Trans. Medical Imaging	2008	DBLP DOI BibTeX RDF
13	Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier	Applying CSP \|\| B to information systems.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Information systems, CSP, Compositional verification, B, Combining formalisms
13	Ghislain Verdier, Nadine Hilgert, Jean-Pierre Vila	Optimality of CUSUM Rule Approximations in Change-Point Detection Problems: Application to Nonlinear State-Space Systems.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
13	Nick Moffat, Michael Goldsmith	Assumption-Commitment Support for CSP Model Checking.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Assumption-commitment, Model checking, Refinement, CSP, Compositional reasoning, Assume-guarantee
13	Michael Möller 0002, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim	Integrating a formal method into a software engineering process with UML and Java.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Java, Modelling, Model checking, UML, Formal specification, CSP, Contracts, Object-Z, Runtime checking
13	Gavin Lowe	Specification of communicating processes: temporal logic versus refusals-based refinement.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Refinement testing, Specification, Temporal logic, CSP, Refusals
13	Rodrigo Ramos, Augusto Sampaio, Alexandre Mota 0001	Framework composition conformance via refinement checking.	SAC	2008	DBLP DOI BibTeX RDF	conformance notions, framework composition, refinement, CSP
13	Bo Zhang 0017, Nicolas Chenouard, Jean-Christophe Olivo-Marin, Vannary Meas-Yedid	Statistical colocalization in biological imaging with false discovery control.	ISBI	2008	DBLP DOI BibTeX RDF
13	Junning Li, Z. Jane Wang 0001, Martin J. McKeown	Controlling the false discovery rate in modeling brain functional connectivity.	ICASSP	2008	DBLP DOI BibTeX RDF
13	Jiansong Zhang, Kun Tan, Jun Zhao, Haitao Wu, Yongguang Zhang	A Practical SNR-Guided Rate Adaptation.	INFOCOM	2008	DBLP DOI BibTeX RDF
13	Mark Palatucci, Andrew Carlson	On the chance accuracies of large collections of classifiers.	ICML	2008	DBLP DOI BibTeX RDF
13	John Derrick, Heike Wehrheim	On using data abstractions for model checking refinements.	Acta Informatica	2007	DBLP DOI BibTeX RDF
13	Aleksandar S. Dimovski, Ranko Lazic 0001	Compositional software verification based on game semantics and process algebra.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF
13	Joy N. Reed, A. W. Roscoe 0001, Jane E. Sinclair	Responsiveness and stable revivals.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Model-checking, CSP, Semantic model, Responsiveness
13	Chunxiao Zhou, Denise C. Park, Martin Styner, Yongmei Michelle Wang	ROI Constrained Statistical Surface Morphometry.	ISBI	2007	DBLP DOI BibTeX RDF
13	Delphine Nain, Martin Andreas Styner, Marc Niethammer, James J. Levitt, Martha Elizabeth Shenton, Guido Gerig, Aaron F. Bobick, Allen R. Tannenbaum	Statistical Shape Analysis of Brain Structures Using Spherical Wavelets.	ISBI	2007	DBLP DOI BibTeX RDF
13	Wenjun Li, Alain Koyama, Isra Saeed, Thomas Lang	Identifying Most Responsive Regions in the HIP Using Composite Models.	ISBI	2007	DBLP DOI BibTeX RDF
13	Abbas Bigdeli, Colin Sim, Morteza Biglari-Abhari, Brian C. Lovell	Face Detection on Embedded Systems.	ICESS	2007	DBLP DOI BibTeX RDF
13	Il-Gon Kim	Static Verification of Access Control Model for AXML Documents.	APWeb/WAIM	2007	DBLP DOI BibTeX RDF
13	Wenfa Zhan, Huaguo Liang, Feng Shi, Zhengfeng Huang	A Novel Collaborative Scheme of Test Data Compression Based on Fixed-Plus-variable-Length Coding.	CSCWD	2007	DBLP DOI BibTeX RDF
13	Eun-Jun Yoon, Wan-Soo Lee, Kee-Young Yoo	Secure PAP-Based RADIUS Protocol in Wireless Networks.	ICIC (3)	2007	DBLP DOI BibTeX RDF	RADIUS protocol, Off-line password guessing attack, Wireless network, Cryptography, Replay attack
13	Ji-Yeoun Lee, Sangbae Jeong, Minsoo Hahn	Classification of Pathological and Normal Voice Based on Linear Discriminant Analysis.	ICANNGA (2)	2007	DBLP DOI BibTeX RDF
13	Hyun Seok Kim, Jin-Young Choi	The Design and Verification of RFID Authentication Protocol for Ubiquitous Computing.	DEXA Workshops	2007	DBLP DOI BibTeX RDF	Model Checking, RFID, Authentication Protocol
13	Sudipta Kundu, Sorin Lerner, Rajesh Gupta 0001	Automated refinement checking of concurrent systems.	ICCAD	2007	DBLP DOI BibTeX RDF
13	Christie Marr	Capturing Conflict and Confusion in CSP.	IFM	2007	DBLP DOI BibTeX RDF	Interleaving Concurrency, Petri Nets, CSP, Conflict, Automatic Verification, True Concurrency, Confusion
13	Hyun Seok Kim, Jin-Young Choi	Security and Privacy Analysis of RFID Authentication Protocol for Ubiquitous Computing.	ICCCN	2007	DBLP DOI BibTeX RDF
13	Peter Y. H. Wong, Jeremy Gibbons	A Process-Algebraic Approach to Workflow Specification and Refinement.	SC@ETAPS	2007	DBLP DOI BibTeX RDF
13	Yurong Xu, Yi Ouyang 0001, Zhengyi Le, James Ford, Fillia Makedon	Analysis of range-free anchor-free localization in a wsn under wormhole attack.	MSWiM	2007	DBLP DOI BibTeX RDF
13	Mingqiu Song, Xiangpei Hu, Jiahua Li, Guishi Deng	An Authentication Model Involving Trusted Third Party for M-Commerce.	ICMB	2007	DBLP DOI BibTeX RDF
13	Alistair A. McEwan, Steve A. Schneider	A verified development of hardware using CSP∥B.	MEMOCODE	2006	DBLP DOI BibTeX RDF