Search results for "proven"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
43	Ben Proven-Bessel, Zilong Zhao 0001, Lydia Y. Chen	ComicGAN: Text-to-Comic Generative Adversarial Network.	CoRR	2021	DBLP BibTeX RDF
43	Jaures Ebiele, Theophilus Ansah-Narh, Steve Djiokap, Emmanuel Proven-Adzri, Marcellin Atemkeng	Conventional Machine Learning based on Feature Engineering for Detecting Pneumonia from Chest X-rays.	SAICSIT	2020	DBLP DOI BibTeX RDF
43	Federica Fina, Jackie Proven	Using a CRIS to Support Communication of Research: Mapping the Publication Cycle to Deposit Workflows for Data and Publications.	CRIS	2016	DBLP DOI BibTeX RDF
43	John Casey, Jackie Proven, David Dripps	Modeling Organisational Frameworks for Integrated E-Learning: The Experience of the TrustDR Project.	ICALT	2006	DBLP DOI BibTeX RDF
30	Sundri K. Khalsa	Forecasting Terrorism: Indicators and Proven Analytic Techniques.	ISI	2005	DBLP DOI BibTeX RDF
30	Elizabeth Latronico, Paul S. Miner, Philip Koopman	Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees.	DSN	2004	DBLP DOI BibTeX RDF
29	James F. Davis	The affordable application of formal methods to software engineering.	SIGAda	2005	DBLP DOI BibTeX RDF	trust, correctness, proven, engineering, formal
29	Louis Granboulan	Short Signatures in the Random Oracle Model.	ASIACRYPT	2002	DBLP DOI BibTeX RDF	random oracle and ideal cipher models, proven security, digital signature, padding
29	Michel Abdalla, Leonid Reyzin	A New Forward-Secure Digital Signature Scheme.	ASIACRYPT	2000	DBLP DOI BibTeX RDF	proven security, digital signatures, forward security, concrete security
29	Alan M. Davis	Rewards of Taking the Path Less Traveled.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	software engineering industry, proven techniques, rarely used techniques, quality gains, productivity gains, fads, software engineering, software projects, DP management, software engineering methodologies
29	Robert B. Grady, Tom Van Slack	Key Lessons in Achieving Widespread Inspection Use.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	Hewlett Packard computers, widespread inspection use, technology adoption efforts, initial guidelines, widespread belief, proven practices, metric, standards, standardization, software quality, software metrics, software process improvement, inspection, best practices, software inspections, technology adoption, software-development organizations, Hewlett-Packard
29	Geoff Barrett	Formal Methods Applied to a Floating-Point Number System.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	floating-point number system, binary floating-point arithmetic, ANSI/IEEE Std. 754-1985, set-theoretic specification language, sequential components, unpack, operands, proven rules, mathematically rigorous method, Inmos IMS T800 transputer, formal specification, formal methods, specification languages, digital arithmetic, Z, formalization, round, pack, program development, IEEE standard, floating-point unit, internal representations
26	Katell Morin-Allory, Dominique Borrione	Proven correct monitors from PSL specifications.	DATE	2006	DBLP DOI BibTeX RDF
26	Tsz Hon Yuen, Victor K. Wei	Fast and Proven Secure Blind Identity-Based Signcryption from Pairings.	CT-RSA	2005	DBLP DOI BibTeX RDF
26	Mark D. Aagaard, Miriam Leeser	PBS: proven Boolean simplification.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
26	Yvo Desmedt, Mike Burmester	Towards Practical "Proven Secure" Authenticated Key Distribution.	CCS	1993	DBLP DOI BibTeX RDF
25	Qingsong Yao, Jinsong Han, Yong Qi, Lei Yang 0025, Yunhao Liu 0001	Privacy Leakage in Access Mode: Revisiting Private RFID Authentication Protocols.	ICPP	2011	DBLP DOI BibTeX RDF	access mode, privacy leakage, proven private, RFID, authentication protocol
25	Ed Van Sickle	Refilling the it pipleline and using storage technologies as a specialization.	CPR	2008	DBLP DOI BibTeX RDF	certification., emc academic alliance program, emc proven professional program, industry - education relationships, storage courses and curriculum, computer science education, storage technologies, information science education
25	Zhenchuan Chai, Zhenfu Cao, Yuan Zhou	Efficient ID-Based Multi-Decrypter Encryption with Short Ciphertexts.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	multi-user cryptography, proven security, random oracle, ID-based cryptography
25	Zhenchuan Chai, Zhenfu Cao, Xiaolei Dong	Identity-based signature scheme based on quadratic residues.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	proven security, factoring, random oracle, ID-based signature, quadratic residue
25	Ed Van Sickle, Efrem Mallach, Brian H. Cameron, Derrek B. Dunn, Denetra Rook, Frank M. Groom, Ronnie Rollins	Storage technologies: an education opportunity.	SIGITE Conference	2007	DBLP DOI BibTeX RDF	EMC academic alliance program, EMC proven professional program, industry-education relationships, information infrastructure technologies, storage courses and curriculum, storage education, computer science education, certification, information storage, storage technologies, information science education
21	Albrecht Schmidt 0001	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
21	Johannes Pahlke, Ivo F. Sbalzarini	Proven Distributed Memory Parallelization of Particle Methods.	CoRR	2024	DBLP DOI BibTeX RDF
21	Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian	On proving that an unsafe controller is not proven safe.	J. Log. Algebraic Methods Program.	2024	DBLP DOI BibTeX RDF
21	Sébastien Michelland, Christophe Deleuze, Laure Gonnord	From Low-Level Fault Modeling (of a Pipeline Attack) to a Proven Hardening Scheme.	CC	2024	DBLP DOI BibTeX RDF
21	Sergii Grybniak, Yevhen Leonchyk, Igor Mazurok, Oleksandr Nashyvan, Ruslan Shanin	Waterfall: Gozalandia. Distributed protocol with fast finality and proven safety and liveness.	IET Blockchain	2023	DBLP DOI BibTeX RDF
21	David Zooker, Yoav Weizman, Alexander Fish, Osnat Keren	Silicon Proven 1.29 μm × 1.8 μm 65nm Sub-Vt Optical Sensor for Hardware Security Applications.	IEEE Access	2023	DBLP DOI BibTeX RDF
21	Keren Zhu 0001, Hao Chen 0059, Mingjie Liu, David Z. Pan	Tutorial and Perspectives on MAGICAL: A Silicon-Proven Open-Source Analog IC Layout System.	IEEE Trans. Circuits Syst. II Express Briefs	2023	DBLP DOI BibTeX RDF
21	Sacha Cerf, Benjamin Doerr, Benjamin Hebras, Yakob Kahane, Simon Wietheger	The First Proven Performance Guarantees for the Non-Dominated Sorting Genetic Algorithm II (NSGA-II) on a Combinatorial Optimization Problem.	CoRR	2023	DBLP DOI BibTeX RDF
21	Imen Tounsi, Abdessamad Saidi 0002, Mohamed Hadj Kacem, Ahmed Hadj Kacem	Internet of Things design patterns modeling proven correct by construction: Application to aged care solution.	Future Gener. Comput. Syst.	2023	DBLP DOI BibTeX RDF
21	Sam Widlund	WESP: An encryption method that is proven to require an exponentially growing time to break it.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
21	Ivar Jacobson, Alistair Cockburn	Use Cases are Essential: Use cases provide a proven method to capture and explain the requirements of a system in a concise and easily understood format.	ACM Queue	2023	DBLP DOI BibTeX RDF
21	Suliman Alazmi, Daniel Conte de Leon	Customizing OWASP ZAP: A Proven Method for Detecting SQL Injection Vulnerabilities.	BigDataSecurity/HPSC/IDS	2023	DBLP DOI BibTeX RDF
21	Lubomír Stepánek, Filip Habarta, Ivana Malá, Lubos Marek	A lower bound for proportion of visibility polygon's surface to entire polygon's surface: Estimated by Art Gallery Problem and proven that cannot be greatly improved.	FedCSIS	2023	DBLP DOI BibTeX RDF
21	Benjamin Doerr, Zhongdi Qu	From Understanding the Population Dynamics of the NSGA-II to the First Proven Lower Bounds.	AAAI	2023	DBLP DOI BibTeX RDF
21	Benjamin Doerr, Zhongdi Qu	Hot off the Press: From Understanding the Population Dynamics of the NSGA-II to the First Proven Lower Bounds.	GECCO Companion	2023	DBLP DOI BibTeX RDF
21	Andi Djalal Latief, Asril Jarin, Mohammad Teduh Uliniansyah, Elvira Nurfadhilah, Dian Isnaeni Nurul Afra	A Proven Sentiment Annotation Guideline for Indonesian Twitter Data.	IC3INA	2023	DBLP DOI BibTeX RDF
21	Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider	Proven Optimally-Balanced Latin Rectangles with SAT (Short Paper).	CP	2023	DBLP DOI BibTeX RDF
21	Sacha Cerf, Benjamin Doerr, Benjamin Hebras, Yakob Kahane, Simon Wietheger	The First Proven Performance Guarantees for the Non-Dominated Sorting Genetic Algorithm II (NSGA-II) on a Combinatorial Optimization Problem.	IJCAI	2023	DBLP DOI BibTeX RDF
21	Sergio Martínez, Thomas Lavaur, Jérôme Lacan, Caroline P. C. Chanel	Proven Transaction Flow Control for zk-Rollups.	BRAINS	2023	DBLP DOI BibTeX RDF
21	Lu Wei 0003, Jie Cui 0004, Hong Zhong 0001, Yan Xu 0007, Lu Liu 0001	Proven Secure Tree-Based Authenticated Key Agreement for Securing V2V and V2I Communications in VANETs.	IEEE Trans. Mob. Comput.	2022	DBLP DOI BibTeX RDF
21	Claudia Ziegler Acemyan, Philip T. Kortum, Michael D. Byrne, Dan S. Wallach	Summative Usability Assessments of STAR-Vote: A Cryptographically Secure e2e Voting System That Has Been Empirically Proven to Be Easy to Use.	Hum. Factors	2022	DBLP DOI BibTeX RDF
21	Sivan Toledo, Shai Mendel, Anat Levi, Yoni Vortman, Wiebke Ullmann, Lena-Rosa Scherer, Jan Pufelski, Frank van Maarseveen, Bas Denissen, Allert Bijleveld, Yotam Orchan, Yoav Bartan, Sivan Margalit, Idan Talmon, Ran Nathan	Vildehaye: A Family of Versatile, Widely-Applicable, and Field-Proven Lightweight Wildlife Tracking and Sensing Tags.	CoRR	2022	DBLP DOI BibTeX RDF
21	Benjamin Doerr, Zhongdi Qu	From Understanding the Population Dynamics of the NSGA-II to the First Proven Lower Bounds.	CoRR	2022	DBLP DOI BibTeX RDF
21	Remi Adelin, Cyrius Nugier, Eric Alata, Vincent Nicomette, Vincent Migliore, Mohamed Kaâniche	Facing emerging challenges in connected vehicles: a formally proven, legislation compliant, and post-quantum ready security protocol.	J. Comput. Virol. Hacking Tech.	2022	DBLP DOI BibTeX RDF
21	Sivan Toledo, Shai Mendel, Anat Levi, Yoni Vortman, Wiebke Ullmann, Lena-Rosa Scherer, Jan Pufelski, Frank van Maarseveen, Bas Denissen, Allert Bijleveld, Yotam Orchan, Yoav Bartan, Sivan Margalit, Idan Talmon, Ran Nathan	Vildehaye: A Family of Versatile, Widely-Applicable, and Field-Proven Lightweight Wildlife Tracking and Sensing Tags.	IPSN	2022	DBLP DOI BibTeX RDF
21	Nicolas Bordes, Paolo Maistri	Electromagnetic Leakage Assessment of a Proven Higher-Order Masking of AES S-Box.	DSD	2022	DBLP DOI BibTeX RDF
21	Thomas Lavaur, Jérôme Lacan	zkBeacon: Proven Randomness Beacon based on Zero-knowledge Verifiable Computation.	SECRYPT	2022	DBLP BibTeX RDF
21	Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta	Hardening attack surfaces with formally proven binary format parsers.	PLDI	2022	DBLP DOI BibTeX RDF
21	Yehuda Kra, Adam Teman	Silicon-Proven Clockless Wave-Propagated Pipelining for High-Throughput, Energy-Efficient Processing.	ISCAS	2022	DBLP DOI BibTeX RDF
21	Shu Zhang 0006, Jinru Wu, Sigang Yu, Ruoyang Wang, Enze Shi, Yongfeng Gao, Zhengrong Liang	A Bagging Strategy-Based Multi-scale Texture GLCM-CNN Model for Differentiating Malignant from Benign Lesions Using Small Pathologically Proven Dataset.	MMMI@MICCAI	2022	DBLP DOI BibTeX RDF
21	Imen Tounsi, Najeh Khalfi, Abdessamad Saidi 0002, Mohamed Hadj Kacem	Modeling IoT Design Patterns Proven Correct by Construction.	ICOST	2022	DBLP DOI BibTeX RDF
21	Hank Revercomb	The Big Picture: New IR Science Drivers, Key Observing Physics, and Proven Building Blocks Should Define the Next Generation US Sounding System.	IGARSS	2022	DBLP DOI BibTeX RDF
21	Günther Eibl, Sanaz Taheri Boshrooyeh, Alptekin Küpçü	AggFT: Low-Cost Fault-Tolerant Smart Meter Aggregation with Proven Termination and Privacy.	CoRR	2021	DBLP BibTeX RDF
21	Rei Ueno, Naofumi Homma, Sumio Morioka, Takafumi Aoki	A Systematic Design Methodology of Formally Proven Side-Channel-Resistant Cryptographic Hardware.	IEEE Des. Test	2021	DBLP DOI BibTeX RDF
21	Mirna Muñoz 0001, Jezreel Mejia, Adriana Peña 0001, Claude Y. Laporte, Gloria Piedad Gasca Hurtado, María Clara Gómez-Álvarez	An Exploratory Analysis of the Perception of the Utility of Proven Practices of the Software Basic Profile of ISO/IEC 29110 by a Set of VSEs in Mexico.	EuroSPI	2021	DBLP DOI BibTeX RDF
21	Brody Kutt, William Hewlett, Oleksii Starov, Yuchen Zhou	Innocent Until Proven Guilty (IUPG): Building Deep Learning Models with Embedded Robustness to Out-Of-Distribution Content.	SP (Workshops)	2021	DBLP DOI BibTeX RDF
21	Charles Jaffe, Steven Z. Kassakian, Viet Nguyen, Anna Taylor	Proven Methodologies for Accelerating Adoption of HL7® FHIR®.	AMIA	2021	DBLP BibTeX RDF
21	Michael Weiner, Elizabeth M. Yano, Jessica A. Davila, Catherine Brayton, Alison M. Cogan, Seppo T. Rinne, Steven R. Simon	The PROVEN Coordinating Hub to Accelerate Research about Electronic Health Record Modernization in the U.S. Department of Veterans Affairs.	AMIA	2021	DBLP BibTeX RDF
21	Claudio Contardo	Decremental Clustering for the Solution of p-Dispersion Problems to Proven Optimality.	INFORMS J. Optim.	2020	DBLP DOI BibTeX RDF
21	Alfred A. Roubos, Diego L. Allaix, Timo Schweckendiek, Raphaël D. J. M. Steenbergen, Sebastiaan N. Jonkman	Time-dependent reliability analysis of service-proven quay walls subject to corrosion-induced degradation.	Reliab. Eng. Syst. Saf.	2020	DBLP DOI BibTeX RDF
21	Fangfang Han, Linkai Yan, Junxin Chen, Yueyang Teng, Shuo Chen 0005, Shouliang Qi, Wei Qian 0001, Jie Yang, William Moore, Shu Zhang 0006, Zhengrong Liang	Predicting Unnecessary Nodule Biopsies from a Small, Unbalanced, and Pathologically Proven Dataset by Transfer Learning.	J. Digit. Imaging	2020	DBLP DOI BibTeX RDF
21	Ankit Shah, Raman Nayyar, Arani Sinha	Silicon-Proven Timing Signoff Methodology Using Hazard-Free Robust Path Delay Tests.	IEEE Des. Test	2020	DBLP DOI BibTeX RDF
21	Dominic Steinhöfel	Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules.	Denert Award	2020	DBLP DOI BibTeX RDF
21	Rui Gao, Mehzabeen Mehedi, Haibao Chen, Xinsheng Wang, Jianfu Zhang 0001, Xiaoling Lin, Zhiyuan He, Yiqiang Chen, Dengyun Lei, Yun Huang, Yunfei En, Zhigang Ji, Runsheng Wang	A fast and test-proven methodology of assessing RTN/fluctuation on deeply scaled nano pMOSFETs.	IRPS	2020	DBLP DOI BibTeX RDF
21	Hao Chen 0059, Keren Zhu 0001, Mingjie Liu, Xiyuan Tang, Nan Sun 0001, David Z. Pan	Toward Silicon-Proven Detailed Routing for Analog and Mixed-Signal Circuits.	ICCAD	2020	DBLP DOI BibTeX RDF
21	Mohamed Shalan, Tim Edwards	Building OpenLANE: A 130nm OpenROAD-based Tapeout- Proven Flow : Invited Paper.	ICCAD	2020	DBLP DOI BibTeX RDF
21	Shu Zhang 0006, Fangfang Han, Zhengrong Liang, Jiaxing Tan, Weiguo Cao, Yongfeng Gao, Marc Jason Pomeroy, Kenneth Ng, Wei Hou	An investigation of CNN models for differentiating malignant from benign lesions using small pathologically proven datasets.	Comput. Medical Imaging Graph.	2019	DBLP DOI BibTeX RDF
21	Robert Buhren, Christian Werling, Jean-Pierre Seifert	Insecure Until Proven Updated: Analyzing AMD SEV's Remote Attestation.	CoRR	2019	DBLP BibTeX RDF
21	David Zooker Zabib, Moshe Avital, Yoav Weizman, Alexander Fish, Osnat Keren	Silicon Proven 1.8 µm × 9.2 µm 65-nm Digital Bit Generator for Hardware Security Applications.	IEEE Trans. Circuits Syst. II Express Briefs	2019	DBLP DOI BibTeX RDF
21	Robert Buhren, Christian Werling, Jean-Pierre Seifert	Insecure Until Proven Updated: Analyzing AMD SEV's Remote Attestation.	CCS	2019	DBLP DOI BibTeX RDF
21	Robert Buhren	Insecure Until Proven Updated: Analyzing AMD SEV's Remote Attestation.	Krypto-Tag	2019	DBLP DOI BibTeX RDF
21	Ankit Shah, Raman Nayyar, Arani Sinha	Silicon Proven Timing Signoff Methodology using Hazard-Free Robust Path Delay Tests.	VTS	2019	DBLP DOI BibTeX RDF
21	Reginald A. Blake, Janet Liou-Mark, Hamidreza Norouzi, Laura Yuen-Lau	Remote Sensing Research: A Proven Catalyst for Increasing Geoscience Engagement Among Minority Students.	IGARSS	2019	DBLP DOI BibTeX RDF
21	Lily Weng, Pin-Yu Chen, Lam M. Nguyen, Mark S. Squillante, Akhilan Boopathy, Ivan V. Oseledets, Luca Daniel	PROVEN: Verifying Robustness of Neural Networks with a Probabilistic Approach.	ICML	2019	DBLP BibTeX RDF
21	Steve Jeffrey Tueno Fotso	Vers une approche formelle d'ingénierie des exigences outillée et éprouvée. (Towards a tool-supported and proven formal requirements engineering method).		2019	RDF
21	Adrian Hernandez-Mendez, Felix Michel, Florian Matthes	A Practice-Proven Reference Architecture for Model-Based Collaborative Information Systems.	Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model.	2018	DBLP DOI BibTeX RDF
21	Tsui-Wei Weng, Pin-Yu Chen, Lam M. Nguyen, Mark S. Squillante, Ivan V. Oseledets, Luca Daniel	PROVEN: Certifying Robustness of Neural Networks with a Probabilistic Approach.	CoRR	2018	DBLP BibTeX RDF
21	Johannes Müller 0003, Stefan Krebs, Michael Buchholz, Sören Hohmann	Interval MRAC with Proven Stability Properties and Application on Induction Motor Control.	ICCA	2018	DBLP DOI BibTeX RDF
21	Jan Peleska 0001, Jörg Brauer, Wen-ling Huang	Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges.	ISoLA (4)	2018	DBLP DOI BibTeX RDF
21	Sami Hyrynsalmi, Jukka Ruohonen, Marko Seppänen	Healthy until otherwise proven: some proposals for renewing research of software ecosystem health.	SoHeal@ICSE	2018	DBLP DOI BibTeX RDF
21	Liaojun Pang, Yufei Hu, Xia Zhou, Yumin Wang, Huixian Li	Directed proxy signature with fast revocation proven secure in the standard model.	IET Inf. Secur.	2017	DBLP DOI BibTeX RDF
21	Alaauldin Ibrahim, Gökhan Dalkiliç	An Advanced Encryption Standard Powered Mutual Authentication Protocol Based on Elliptic Curve Cryptography for RFID, Proven on WISP.	J. Sensors	2017	DBLP DOI BibTeX RDF
21	Shoei Nashimoto, Naofumi Homma, Yu-ichi Hayashi, Junko Takahashi, Hitoshi Fuji, Takafumi Aoki	Buffer overflow attack with multiple fault injection and a proven countermeasure.	J. Cryptogr. Eng.	2017	DBLP DOI BibTeX RDF
21	Mohammad Javad Shafiee, Audrey G. Chung, Farzad Khalvati, Masoom A. Haider, Alexander Wong	Discovery Radiomics via Evolutionary Deep Radiomic Sequencer Discovery for Pathologically-Proven Lung Cancer Detection.	CoRR	2017	DBLP BibTeX RDF
21	Jens Knoop, Laura Kovács, Jakob Zwirchmayr	Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution.	J. Symb. Comput.	2017	DBLP DOI BibTeX RDF
21	Rei Ueno, Naofumi Homma, Sumio Morioka, Takafumi Aoki	Automatic generation of formally-proven tamper-resistant Galois-field multipliers based on generalized masking scheme.	DATE	2017	DBLP DOI BibTeX RDF
21	Jean-Guillaume Dumas, Pascal Lafourcade 0001, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel	LOCALPKI: A User-Centric Formally Proven Alternative to PKIX.	SECRYPT	2017	DBLP DOI BibTeX RDF
21	Moritz Schrey, Tilman Sinning, Gabor Varga, Arun Ashok, Iyappan Subbiah, Stefan Heinen	A proven MIMO capable TDD/FDD frequency converter enabling cognitive features for LTE transceivers.	LANMAN	2017	DBLP DOI BibTeX RDF
21	Jayamine Alupotha, Sanduni Prasadi, Janaka Alawatugoda 0001, Roshan G. Ragel, Mohamed Fawsan	Implementing a proven-secure and cost-effective countermeasure against the compression ratio info-leak mass exploitation (CRIME) attack.	ICIIS	2017	DBLP DOI BibTeX RDF
21	Yair Carmon, John C. Duchi, Oliver Hinder, Aaron Sidford	"Convex Until Proven Guilty": Dimension-Free Acceleration of Gradient Descent on Non-Convex Functions.	ICML	2017	DBLP BibTeX RDF
21	Devinder Kumar, Audrey G. Chung, Mohammad Javad Shafiee, Farzad Khalvati, Masoom A. Haider, Alexander Wong	Discovery Radiomics for Pathologically-Proven Computed Tomography Lung Cancer Prediction.	ICIAR	2017	DBLP DOI BibTeX RDF
21	Susan K. Cohen, Sean T. Hsu, Kristina B. Dahlin	With Whom Do Technology Sponsors Partner During Technology Battles? Social Networking Strategies for Unproven (and Proven) Technologies.	Organ. Sci.	2016	DBLP DOI BibTeX RDF
21	Mark R. Heckman, Roger R. Schell	Using Proven Reference Monitor Patterns for Security Evaluation.	Inf.	2016	DBLP DOI BibTeX RDF
21	Young Woong Park, Diego Klabjan	An aggregate and iterative disaggregate algorithm with proven optimality in machine learning.	Mach. Learn.	2016	DBLP DOI BibTeX RDF
21	Jacques M. Bahi, Jean-François Couchot, Christophe Guyeux	Quality Analysis of a Chaotic Proven Keyed Hash Function.	CoRR	2016	DBLP BibTeX RDF
21	Young Woong Park, Diego Klabjan	An Aggregate and Iterative Disaggregate Algorithm with Proven Optimality in Machine Learning.	CoRR	2016	DBLP BibTeX RDF
21	Noa Edri, Pascal Meinerzhagen, Adam Teman, Andreas Burg, Alexander Fish	Silicon-Proven, Per-Cell Retention Time Distribution Model for Gain-Cell Based eDRAMs.	IEEE Trans. Circuits Syst. I Regul. Pap.	2016	DBLP DOI BibTeX RDF
21	Radu Curticapean	Parity Separation: A Scientifically Proven Method for Permanent Weight Loss.	ICALP	2016	DBLP DOI BibTeX RDF
21	Franck Slama	Automatic Predicate Testing in Formal Certification - You've only Proven What You've Said, Not What You Meant!	TAP@STAF	2016	DBLP DOI BibTeX RDF