read* form*OKJuan Fernando Tavera-MesíasAaron Van KlytonAlexander Zuñiga CollazosTechnology readiness, mobile payments and gender- a reflective-formative second order approach.Behav. Inf. Technol.4271005-10232023Journal Articlesclosedjournals/behaviourIT/TaveraMesiasKC2310.1080/0144929X.2022.2054729https://doi.org/10.1080/0144929x.2022.2054729https://dblp.org/rec/journals/behaviourIT/TaveraMesiasKC23URL#101907Marcela Uliano-SilvaJoão Gabriel R. N. FerreiraKsenia KrasheninnikovaMark L. BlaxterNova MieszkowskaNeil HallPeter HollandRichard DurbinThomas RichardsPaul J. KerseyPeter HollingsworthWillie WilsonAlex TwyfordEster GayaMara LawniczakOwen LewisGavin BroadFergal MartinMichelle HartIan BarnesGiulio FormentiLinelle AbuegJames W. TorranceEugene W. MyersShane A. McCarthyMitoHiFi: a python pipeline for mitochondrial genome assembly from PacBio high fidelity reads.BMC Bioinform.2412882023Journal Articlesopenjournals/bmcbi/UlianoSilvaFKBMHHDRKHWTGLLBMHBFAT2310.1186/S12859-023-05385-Yhttps://doi.org/10.1186/s12859-023-05385-yhttps://dblp.org/rec/journals/bmcbi/UlianoSilvaFKBMHHDRKHWTGLLBMHBFAT23URL#104303Michael HaseyJinmo RheeDaniel Cardoso LlachForm data as a resource in architectural analysis: an architectural distant reading of wooden churches from the Carpathian Mountain regions of Eastern Europe.Digit. Creativity342103-1262023Journal Articlesclosedjournals/creativity/HaseyRL2310.1080/14626268.2023.2201281https://doi.org/10.1080/14626268.2023.2201281https://dblp.org/rec/journals/creativity/HaseyRL23URL#121892Hakan ÇetinMustafa UlusoyThe effect of augmented reality-based reading environments on retelling skills: Formative experiment.Educ. Inf. Technol.2855849-58732023Journal Articlesclosedjournals/eait/CetinU2310.1007/S10639-022-11415-8https://doi.org/10.1007/s10639-022-11415-8https://dblp.org/rec/journals/eait/CetinU23URL#130810Jeyun YangYoungsang KwonNovel CNN-Based Approach for Reading Urban Form Data in 2D Images: An Application for Predicting Restaurant Location in Seoul, Korea.ISPRS Int. J. Geo Inf.1293732023Journal Articlesopenjournals/ijgi/YangK2310.3390/IJGI12090373https://doi.org/10.3390/ijgi12090373https://dblp.org/rec/journals/ijgi/YangK23URL#153477Sabrina MangalStephanie Niño de RiveraJacky ChoiMeghan Reading TurchioeNatalie C. BendaMarianne SharkoAnnie C. MyersParag GoyalLydia DugdaleRuth Masterson CreberReturning study results to research participants: Data access, format, and sharing preferences.Int. J. Medical Informatics1701049552023Journal Articlesclosedjournals/ijmi/MangalRCTBSMGDC2310.1016/J.IJMEDINF.2022.104955https://doi.org/10.1016/j.ijmedinf.2022.104955https://dblp.org/rec/journals/ijmi/MangalRCTBSMGDC23URL#155765Saeed FathollahzadehMatthias Boehm 0001GIO: Generating Efficient Matrix and Frame Readers for Custom Data Formats by Example.Proc. ACM Manag. Data12120:1-120:262023Journal Articlesclosedjournals/pacmmod/Fathollahzadeh02310.1145/3589265https://doi.org/10.1145/3589265https://dblp.org/rec/journals/pacmmod/Fathollahzadeh023URL#205767Hérlon Manollo Cândido GuedesPaula Christina Figueira CardosoEvelise Roman Corbalan Góis FreireWillian Massami WatanabeAndré Pimenta FreireScreen-Reader Based Contextual Exploration of Mathematical Formulas in Brazilian Portuguese: Design, User Evaluation and Teaching Scenario in the Context of Numerical Analysis.J. Interact. Syst.141546-5612023Journal Articlesopenjournals/sbcjis/GuedesCFWF2310.5753/JIS.2023.3325https://doi.org/10.5753/jis.2023.3325https://dblp.org/rec/journals/sbcjis/GuedesCFWF23URL#222383Zhangcheng HuangNoise Model of Large-Format Readout Integrated Circuit for Infrared Focal Plane Array.IEEE Trans. Circuits Syst. I Regul. Pap.701142-1532023Journal Articlesclosedjournals/tcasI/Huang2310.1109/TCSI.2022.3217273https://doi.org/10.1109/TCSI.2022.3217273https://dblp.org/rec/journals/tcasI/Huang23URL#249556Scott A. CrossleyJoon Suh ChoiYanisa ScherberMathis LuckaUsing Large Language Models to Develop Readability Formulas for Educational Settings.AIED422-4272023Conference and Workshop Papersclosedconf/aied/CrossleyCSL2310.1007/978-3-031-36336-8_66https://doi.org/10.1007/978-3-031-36336-8_66https://dblp.org/rec/conf/aied/CrossleyCSL23URL#291972Paul NussbaumReading the Robot Mind - Presenting Internal Data Flow Within an AI for Classification of Bird Sounds in a Format Familiar to Subject Matter Experts.CLEF2107-21212023Conference and Workshop Papersopenconf/clef/Nussbaum23https://ceur-ws.org/Vol-3497/paper-178.pdfhttps://dblp.org/rec/conf/clef/Nussbaum23URL#314122Zhong QianTiening SunTing ZouPeifeng LiQiaoming ZhuGuodong ZhouSpeculation and Negation Scope Resolution via Machine Reading Comprehension Formulation with Data Augmentation.DASFAA487-4962023Conference and Workshop Papersclosedconf/dasfaa/QianSZLZZ2310.1007/978-3-031-30675-4_35https://doi.org/10.1007/978-3-031-30675-4_35https://dblp.org/rec/conf/dasfaa/QianSZLZZ23URL#323972Anja TjärnhageUlrik SöderströmOle NorbergMattias Andersson 0004Thomas MejtoftThe Impact of Scrollytelling on the Reading Experience of Long-Form Journalism.ECCE6:1-6:92023Conference and Workshop Papersclosedconf/ecce/TjarnhageSNAM2310.1145/3605655.3605683https://doi.org/10.1145/3605655.3605683https://dblp.org/rec/conf/ecce/TjarnhageSNAM23URL#328983Pranav BishtNikhil Gupta 0012Ilya VolkovichTowards Identity Testing for Sums of Products of Read-Once and Multilinear Bounded-Read Formulae.FSTTCS9:1-9:232023Conference and Workshop Papersopenconf/fsttcs/Bisht0V2310.4230/LIPICS.FSTTCS.2023.9https://doi.org/10.4230/LIPIcs.FSTTCS.2023.9https://dblp.org/rec/conf/fsttcs/Bisht0V23URL#341192Quinten SteenhuisBryce WilleyDavid ColarussoBeyond Readability with RateMyPDF: A Combined Rule-based and Machine Learning Approach to Improving Court Forms.ICAIL287-2962023Conference and Workshop Papersclosedconf/icail/SteenhuisWC2310.1145/3594536.3595146https://doi.org/10.1145/3594536.3595146https://dblp.org/rec/conf/icail/SteenhuisWC23URL#353227Hammad AhmadZachary KarasKimberly DiazAmir KamilJean-Baptiste JeanninWestley WeimerHow Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms.ICSE208-2202023Conference and Workshop Papersclosedconf/icse/AhmadKDKJW2310.1109/ICSE48619.2023.00029https://doi.org/10.1109/ICSE48619.2023.00029https://dblp.org/rec/conf/icse/AhmadKDKJW23URL#384274Rolf DrechslerMartha SchnieberNext-Generation Automatic Human-Readable Proofs Enabling Polynomial Formal Verification.MEMOCODE122-1252023Conference and Workshop Papersclosedconf/memocode/DrechslerS23https://ieeexplore.ieee.org/document/10316198https://dblp.org/rec/conf/memocode/DrechslerS23URL#415116Tianyuan Cai 0004Aleena Gertrudes NiklausBernard KerrMichael KraleyZoya BylinskiiPreferred Reading Formats for Mobile Devices: Results from Readability Studies.MobileHCI16:1-16:92023Conference and Workshop Papersclosedconf/mhci/0004NKKB2310.1145/3565066.3608706https://doi.org/10.1145/3565066.3608706https://dblp.org/rec/conf/mhci/0004NKKB23URL#415689Nikhil Gupta 0008Chandan Saha 0001Bhargav ThankeyEquivalence Test for Read-Once Arithmetic Formulas.SODA4205-42722023Conference and Workshop Papersclosedconf/soda/00080T2310.1137/1.9781611977554.CH162https://doi.org/10.1137/1.9781611977554.ch162https://dblp.org/rec/conf/soda/00080T23URL#446060Christopher TensmeyerZoya BylinskiiTianyuan Cai 0004Dave Miller 0001Ani NenkovaAleena Gertrudes NiklausShaun WallaceWeb Table Formatting Affects Readability on Mobile Devices.WWW1334-13442023Conference and Workshop Papersclosedconf/www/TensmeyerB00NNW2310.1145/3543507.3583506https://doi.org/10.1145/3543507.3583506https://dblp.org/rec/conf/www/TensmeyerB00NNW23URL#459774Bruce W. LeeJason Hyung-Jong LeeTraditional Readability Formulas Compared for English.CoRRabs/2301.029752023Informal and Other Publicationsopenjournals/corr/abs-2301-0297510.48550/ARXIV.2301.02975https://doi.org/10.48550/arXiv.2301.02975https://dblp.org/rec/journals/corr/abs-2301-02975URL#465814Vipula RawtePrachi PriyaS. M. Towhidul Islam TonmoyS. M. Mehedi ZamanAmit P. ShethAmitava DasExploring the Relationship between LLM Hallucinations and Prompt Linguistic Nuances: Readability, Formality, and Concreteness.CoRRabs/2309.110642023Informal and Other Publicationsopenjournals/corr/abs-2309-1106410.48550/ARXIV.2309.11064https://doi.org/10.48550/arXiv.2309.11064https://dblp.org/rec/journals/corr/abs-2309-11064URL#532557Pranav BishtNikhil Gupta 0012Ilya VolkovichTowards Identity Testing for Sums of Products of Read-Once and Multilinear Bounded-Read Formulae.Electron. Colloquium Comput. Complex.TR232023Informal and Other Publicationsopenjournals/eccc/BishtGV23https://eccc.weizmann.ac.il/report/2023/109https://dblp.org/rec/journals/eccc/BishtGV23URL#563663K. Subramani 0001Piotr Wojciechowski 0002Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas.Ann. Math. Artif. Intell.9013-292022Journal Articlesclosedjournals/amai/SubramaniW2210.1007/S10472-021-09762-2https://doi.org/10.1007/s10472-021-09762-2https://dblp.org/rec/journals/amai/SubramaniW22URL#586118Wataru NoguchiHiroyuki IizukaMasahito YamamotoMulti-modal shared module that enables the bottom-up formation of map representation and top-down map reading.Adv. Robotics361-285-992022Journal Articlesclosedjournals/ar/NoguchiIY2210.1080/01691864.2021.1993334https://doi.org/10.1080/01691864.2021.1993334https://dblp.org/rec/journals/ar/NoguchiIY22URL#589436Soohyun LeeClara R. BakkerCarl VitzthumBurak Han AlverPeter J. ParkPairs and Pairix: a file format and a tool for efficient storage and retrieval for Hi-C read pairs.Bioinform.3861729-17312022Journal Articlesclosedjournals/bioinformatics/LeeBVAP2210.1093/BIOINFORMATICS/BTAB870https://doi.org/10.1093/bioinformatics/btab870https://dblp.org/rec/journals/bioinformatics/LeeBVAP22URL#594410John L. SpougeA closed formula relevant to 'Theory of local k-mer selection with applications to long-read alignment' by Jim Shaw and Yun William Yu.Bioinform.38204848-48492022Journal Articlesclosedjournals/bioinformatics/Spouge2210.1093/BIOINFORMATICS/BTAC604https://doi.org/10.1093/bioinformatics/btac604https://dblp.org/rec/journals/bioinformatics/Spouge22URL#594705Gayatri VenugopalDhanya PramodJatinderkumar R. SainiRevisiting the Role of Classical Readability Formulae Parameters in Complex Word Identification (Part 2).Comput. Sci. J. Moldova30149-632022Journal Articlesopenjournals/csjm/VenugopalPS22http://www.math.md/publications/csjm/issues/v30-n1/13416/https://dblp.org/rec/journals/csjm/VenugopalPS22URL#614075Daniele MundiciThe read once formula of a series-parallel network.Discret. Appl. Math.320304-3102022Journal Articlesclosedjournals/dam/Mundici2210.1016/J.DAM.2022.06.002https://doi.org/10.1016/j.dam.2022.06.002https://dblp.org/rec/journals/dam/Mundici22URL#617082Yuan-Hsuan Lee 0001Beyond online search strategies: The effects of internet epistemic beliefs and different note-taking formats on online multiple document reading comprehension.J. Comput. Assist. Learn.3841102-11142022Journal Articlesclosedjournals/jcal/Lee2210.1111/JCAL.12668https://doi.org/10.1111/jcal.12668https://dblp.org/rec/journals/jcal/Lee22URL#666041Miao ZhuJacqueline M. ColePDFDataExtractor: A Tool for Reading Scientific Text and Interpreting Metadata from the Typeset Literature in the Portable Document Format.J. Chem. Inf. Model.6271633-16432022Journal Articlesopenjournals/jcisd/ZhuC2210.1021/ACS.JCIM.1C01198https://doi.org/10.1021/acs.jcim.1c01198https://dblp.org/rec/journals/jcisd/ZhuC22URL#668143Alicia M. SalazDiane MizrachiA proposed reading event analysis model (REAM) for determining likely reading format preferences.J. Documentation782190-2062022Journal Articlesclosedjournals/jd/SalazM2210.1108/JD-01-2021-0016https://doi.org/10.1108/JD-01-2021-0016https://dblp.org/rec/journals/jd/SalazM22URL#670704Remi AdelinCyrius NugierEric AlataVincent NicometteVincent MiglioreMohamed KaânicheFacing emerging challenges in connected vehicles: a formally proven, legislation compliant, and post-quantum ready security protocol.J. Comput. Virol. Hacking Tech.184425-4522022Journal Articlesclosedjournals/virology/AdelinNANMK2210.1007/S11416-022-00426-1https://doi.org/10.1007/s11416-022-00426-1https://dblp.org/rec/journals/virology/AdelinNANMK22URL#777070Dan Su 0003Xiaoguang LiJindi ZhangLifeng ShangXin Jiang 0002Qun Liu 0001Pascale FungRead before Generate! Faithful Long Form Question Answering with Machine Reading.ACL744-7562022Conference and Workshop Papersopenconf/acl/0003LZSJ0F2210.18653/V1/2022.FINDINGS-ACL.61https://doi.org/10.18653/v1/2022.findings-acl.61https://dblp.org/rec/conf/acl/0003LZSJ0F22URL#784594Stephanie Niño de RiveraSabrina MangalAnnie C. MyersMeghan Reading TurchioeRuth Masterson CreberReturning Study Results to Research Participants: Data Access, Format, and Sharing Preferences.AMIA2022Conference and Workshop Papersclosedconf/amia/RiveraMMTC22https://knowledge.amia.org/76677-amia-1.4637602/f008-1.4640715/f008-1.4640716/67-1.4641011/201-1.4641008https://dblp.org/rec/conf/amia/RiveraMMTC22URL#791673Andrew HeadAmber XieMarti A. HearstMath Augmentation: How Authors Enhance the Readability of Formulas using Novel Visual Design Practices.CHI491:1-491:182022Conference and Workshop Papersclosedconf/chi/HeadXH2210.1145/3491102.3501932https://doi.org/10.1145/3491102.3501932https://dblp.org/rec/conf/chi/HeadXH22URL#806544Coline MétraillerNarrative Flow: A Formal Distant Reading Approach for Interactive Narratives.COMHUM85-942022Conference and Workshop Papersopenconf/comhum/Metrailler22https://ceur-ws.org/Vol-3602/paper6.pdfhttps://dblp.org/rec/conf/comhum/Metrailler22URL#812867Garrett AllenAshlee MiltonKatherine Landau WrightJerry Alan FailsCasey KenningtonMaria Soledad PeraSupercalifragilisticexpialidocious: Why Using the "Right" Readability Formula in Children's Web Search Matters.ECIR3-182022Conference and Workshop Papersclosedconf/ecir/AllenMWFKP2210.1007/978-3-030-99736-6_1https://doi.org/10.1007/978-3-030-99736-6_1https://dblp.org/rec/conf/ecir/AllenMWFKP22URL#825879Noah MertensTommy WohlfahrtNick HartmannChethan Babu Venkata ReddyAutomatic Transformation of HVAC Diagrams into Machine-Readable Format.PLM410-4192022Conference and Workshop Papersclosedconf/ifip5-1/MertensWHR2210.1007/978-3-031-25182-5_40https://doi.org/10.1007/978-3-031-25182-5_40https://dblp.org/rec/conf/ifip5-1/MertensWHR22URL#879848Hérlon Manollo Cândido GuedesPaula C. F. CardosoWilliam Massami WatanabeAndré Pimenta FreireContextual exploration of mathematical formulae on the web for people with visual disabilities in brazil with an open-source screen reader.IHC10:1-10:122022Conference and Workshop Papersclosedconf/ihc/GuedesCWF2210.1145/3554364.3559134https://doi.org/10.1145/3554364.3559134https://dblp.org/rec/conf/ihc/GuedesCWF22URL#882257Anubhav ShrimalAvi JainKartik MehtaPromod YenigallaNER-MQMRC: Formulating Named Entity Recognition as Multi Question Machine Reading Comprehension.NAACL-HLT230-2382022Conference and Workshop Papersopenconf/naacl/ShrimalJMY2210.18653/V1/2022.NAACL-INDUSTRY.26https://doi.org/10.18653/v1/2022.naacl-industry.26https://dblp.org/rec/conf/naacl/ShrimalJMY22URL#915390Dan Su 0003Xiaoguang LiJindi ZhangLifeng ShangXin Jiang 0002Qun Liu 0001Pascale FungRead before Generate! Faithful Long Form Question Answering with Machine Reading.CoRRabs/2203.003432022Informal and Other Publicationsopenjournals/corr/abs-2203-0034310.48550/ARXIV.2203.00343https://doi.org/10.48550/arXiv.2203.00343https://dblp.org/rec/journals/corr/abs-2203-00343URL#970779Nikos LeonardosLower bounds for uniform read-once threshold formulae in the randomized decision tree model.CoRRabs/2203.171682022Informal and Other Publicationsopenjournals/corr/abs-2203-1716810.48550/ARXIV.2203.17168https://doi.org/10.48550/arXiv.2203.17168https://dblp.org/rec/journals/corr/abs-2203-17168URL#978306Anubhav ShrimalAvi JainKartik MehtaPromod YenigallaNER-MQMRC: Formulating Named Entity Recognition as Multi Question Machine Reading Comprehension.CoRRabs/2205.059042022Informal and Other Publicationsopenjournals/corr/abs-2205-0590410.48550/ARXIV.2205.05904https://doi.org/10.48550/arXiv.2205.05904https://dblp.org/rec/journals/corr/abs-2205-05904URL#987250Aftab Hussain 0003Readle: A Formal Framework for Designing AI-based Edge Systems.CoRRabs/2205.092392022Informal and Other Publicationsopenjournals/corr/abs-2205-0923910.48550/ARXIV.2205.09239https://doi.org/10.48550/arXiv.2205.09239https://dblp.org/rec/journals/corr/abs-2205-09239URL#988683Nikhil Gupta 0008Chandan Saha 0001Bhargav ThankeyEquivalence Test for Read-Once Arithmetic Formulas.Electron. Colloquium Comput. Complex.TR222022Informal and Other Publicationsopenjournals/eccc/00080T22https://eccc.weizmann.ac.il/report/2022/099https://dblp.org/rec/journals/eccc/00080T22URL#1040318Yanmeng LiuMeng JiShannon Shanshan LinMengdan ZhaoZiqing LyvCombining Readability Formulas and Machine Learning for Reader-oriented Evaluation of Online Health Resources.IEEE Access967610-676192021Journal Articlesopenjournals/access/LiuJLZL2110.1109/ACCESS.2021.3077073https://doi.org/10.1109/ACCESS.2021.3077073https://dblp.org/rec/journals/access/LiuJLZL21URL#1056490Yu-Ching WuChia-I ChenPeng-Ying ChenChun-Hung KuoYi-Hsuan HungKang-Yung PengVin-Cent WuJyy-Jih Tsai-WuChia-Lang HsuGRAde: a long-read sequencing approach to efficiently identifying the CYP11B1/CYP11B2 chimeric form in patients with glucocorticoid-remediable aldosteronism.BMC Bioinform.22-S106132021Journal Articlesopenjournals/bmcbi/WuCCKHPWTH2110.1186/S12859-022-04561-Whttps://doi.org/10.1186/s12859-022-04561-whttps://dblp.org/rec/journals/bmcbi/WuCCKHPWTH21URL#1074869Gayatri VenugopalDhanya PramodJatinderkumar R. SainiAnalyzing Complex Words in Hindi using Parameters of Classical Readability Formulae (Part 1).Comput. Sci. J. Moldova293366-3872021Journal Articlesopenjournals/csjm/VenugopalPS21http://www.math.md/publications/csjm/issues/v29-n3/13389/https://dblp.org/rec/journals/csjm/VenugopalPS21URL#1092894Mahmoud KhaledMajid Zamani 0001Cloud-Ready Acceleration of Formal Method Techniques for Cyber-Physical Systems.IEEE Des. Test38525-342021Journal Articlesclosedjournals/dt/KhaledZ2110.1109/MDAT.2020.3034048https://doi.org/10.1109/MDAT.2020.3034048https://dblp.org/rec/journals/dt/KhaledZ21URL#1097778Chih-Ming Chen 0001Liang-Chun ChenWei-Jiun HorngA collaborative reading annotation system with formative assessment and feedback mechanisms to promote digital reading performance.Interact. Learn. Environ.295848-8652021Journal Articlesclosedjournals/ile/ChenCH2110.1080/10494820.2019.1636091https://doi.org/10.1080/10494820.2019.1636091https://dblp.org/rec/journals/ile/ChenCH21URL#1130427Martijn G. KerslootAnnika JacobsenKarlijn H. J. GroenenBruna dos Santos VieiraRajaram KaliyaperumalAmeen Abu-HannaRonald CornetPeter A. C. 't HoenMarco RoosLeo J. Schultze KoolDerk L. ArtsDe-novo FAIRification via an Electronic Data Capture system by automated transformation of filled electronic Case Report Forms into machine-readable data.J. Biomed. Informatics1221038972021Journal Articlesopenjournals/jbi/KerslootJGVKACH2110.1016/J.JBI.2021.103897https://doi.org/10.1016/j.jbi.2021.103897https://dblp.org/rec/journals/jbi/KerslootJGVKACH21URL#1140931Toon VerstraelenWilliam AdamsLeila PujalAlireza TehraniBraden D. KellyLuis MacayaFanwang MengMichael RicherRaymundo Hernández-EsparzaXiaotian Derrick YangMatthew ChanTaewon David KimMaarten Cools-CeuppensValerii ChuikoEsteban Vöhringer-MartinezPaul W. AyersFarnaz Heidar-ZadehIOData: A python library for reading, writing, and converting computational chemistry file formats and generating input files.J. Comput. Chem.426458-4642021Journal Articlesclosedjournals/jcc/VerstraelenAPTK2110.1002/JCC.26468https://doi.org/10.1002/jcc.26468https://dblp.org/rec/journals/jcc/VerstraelenAPTK21URL#1142147Ludmila GlinskihDmitry ItsyksonOn Tseitin Formulas, Read-Once Branching Programs and Treewidth.Theory Comput. Syst.653613-6332021Journal Articlesclosedjournals/mst/GlinskihI2110.1007/S00224-020-10007-8https://doi.org/10.1007/s00224-020-10007-8https://dblp.org/rec/journals/mst/GlinskihI21URL#1166259Piotr Wojciechowski 0002K. Subramani 0001Copy complexity of Horn formulas with respect to unit read-once resolution.Theor. Comput. Sci.89070-862021Journal Articlesclosedjournals/tcs/WojciechowskiS2110.1016/J.TCS.2021.08.017https://doi.org/10.1016/j.tcs.2021.08.017https://dblp.org/rec/journals/tcs/WojciechowskiS21URL#1218675Svitlana P. PalamarGanna V. BielienkaTatyana O. PonomarenkoLiudmyla V. KozakLiudmyla L. NezhyvaAndrei V. VoznyakFormation of readiness of future teachers to use augmented reality in the educational process of preschool and primary education.AREdu2021Conference and Workshop Papersopenconf/aredu/PalamarBPKNV21https://ceur-ws.org/Vol-2898/paper18.pdfhttps://dblp.org/rec/conf/aredu/PalamarBPKNV21URL#1259795Purnata GhosalB. V. Raghavendra RaoLimitations of Sums of Bounded Read Formulas and ABPs.CSR147-1692021Conference and Workshop Papersclosedconf/csr/GhosalR2110.1007/978-3-030-79416-3_9https://doi.org/10.1007/978-3-030-79416-3_9https://dblp.org/rec/conf/csr/GhosalR21URL#1282793Diane MizrachiAlicia M. SalazBookending ARFIS: The Development, Final Results, and Current State of the Academic Reading Format International Study.ECIL675-6872021Conference and Workshop Papersclosedconf/ecil/MizrachiS2110.1007/978-3-030-99885-1_56https://doi.org/10.1007/978-3-030-99885-1_56https://dblp.org/rec/conf/ecil/MizrachiS21URL#1290377Marc HuppmannManuel HarrantThomas NirmaierAndi BuzoLinus MaurerGeorg PelzHuman- and Machine-Readable Requirements Formulation for Lab Verification Automation.ICECS1-42021Conference and Workshop Papersclosedconf/icecsys/HuppmannHNBMP2110.1109/ICECS53924.2021.9665466https://doi.org/10.1109/ICECS53924.2021.9665466https://dblp.org/rec/conf/icecsys/HuppmannHNBMP21URL#1326913Xinghua ChengErjie HuDi Hu 0002Integrating Structural Description of Data Format Information into Programming to Auto-generate File Reading Programs.CoRRabs/2110.050532021Informal and Other Publicationsopenjournals/corr/abs-2110-05053https://arxiv.org/abs/2110.05053https://dblp.org/rec/journals/corr/abs-2110-05053URL#1482319Yan HeLiang Feng ZhangVerifiable Summation of Read-Once Formula Specified Data.IEEE Access822434-224442020Journal Articlesopenjournals/access/HeZ2010.1109/ACCESS.2020.2970067https://doi.org/10.1109/ACCESS.2020.2970067https://dblp.org/rec/journals/access/HeZ20URL#1515338Mikhail KrasnyanskySergey KarpushkinAndrey PopovArtem ObukhovDenis DedovMethodology of Forming the Readiness of Miners for Work in Extreme Situations Using a Training Complex.Int. J. Emerg. Technol. Learn.15286-972020Journal Articlesclosedjournals/ijet/KrasnyanskyKPOD2010.3991/IJET.V15I02.11584https://doi.org/10.3991/ijet.v15i02.11584https://dblp.org/rec/journals/ijet/KrasnyanskyKPOD20URL#1580251Alexander KozachinskiyRecognizing Read-Once Functions from Depth-Three Formulas.Theory Comput. Syst.6413-162020Journal Articlesclosedjournals/mst/Kozachinskiy2010.1007/S00224-019-09923-1https://doi.org/10.1007/s00224-019-09923-1https://dblp.org/rec/journals/mst/Kozachinskiy20URL#1621240Bin BiChen WuMing YanWei Wang 0225Jiangnan XiaChenliang LiGenerating Well-Formed Answers by Machine Reading with Stochastic Selector Networks.AAAI7424-74312020Conference and Workshop Papersopenconf/aaai/BiWY0XL2010.1609/AAAI.V34I05.6238https://doi.org/10.1609/aaai.v34i05.6238https://dblp.org/rec/conf/aaai/BiWY0XL20URL#1691140Kuan-Lin ChenChih-Ming Chen 0001Wei-Jiun HongA Collaborative Reading Annotation System with Formative Assessment and Feedback Mechanisms to Promote Digital Reading Performance.IIAI-AAI189-1922020Conference and Workshop Papersclosedconf/iiaiaai/Chen0H2010.1109/IIAI-AAI50415.2020.00044https://doi.org/10.1109/IIAI-AAI50415.2020.00044https://dblp.org/rec/conf/iiaiaai/Chen0H20URL#1793385Robert L. ReadCalculating the Segmented Helix Formed by Repetitions of Identical Subunits.IMAMR115-1242020Conference and Workshop Papersclosedconf/imamr/Read2010.1007/978-3-030-91352-6_12https://doi.org/10.1007/978-3-030-91352-6_12https://dblp.org/rec/conf/imamr/Read20URL#1796119K. Subramani 0001Piotr Wojciechowski 0002Finding read-once refutations in 2CNF formulas and variants - a parameterized perspective.ISAIM2020Conference and Workshop Papersopenconf/isaim/SubramaniW20http://isaim2020.cs.ou.edu/papers/ISAIM2020_Subramani_Wojciechowski.pdfhttps://dblp.org/rec/conf/isaim/SubramaniW20URL#1801699Thomas FinateuAtsumi NiwaDaniel MatolinKoya TsuchimotoAndrea MascheroniEtienne ReynaudPooria MostafaluFrederick T. BradyLudovic ChotardFlorian Le GoffHirotsugu TakahashiHayato WakabayashiYusuke OikeChristoph Posch5.10 A 1280×720 Back-Illuminated Stacked Temporal Contrast Event-Based Vision Sensor with 4.86µm Pixels, 1.066GEPS Readout, Programmable Event-Rate Controller and Compressive Data-Formatting Pipeline.ISSCC112-1142020Conference and Workshop Papersclosedconf/isscc/FinateuNMTMRMBC2010.1109/ISSCC19947.2020.9063149https://doi.org/10.1109/ISSCC19947.2020.9063149https://dblp.org/rec/conf/isscc/FinateuNMTMRMBC20URL#1807685Michael BoothJesse BerwaldUchenna ChukwuJohn DawsonRaouf DridiDeYung LeMark WaingerSteven P. ReinhardtQCI Qbsolv Delivers Strong Classical Performance for Quantum-Ready Formulation.CoRRabs/2005.112942020Informal and Other Publicationsopenjournals/corr/abs-2005-11294https://arxiv.org/abs/2005.11294https://dblp.org/rec/journals/corr/abs-2005-11294URL#1890613Purnata GhosalB. V. Raghavendra RaoLimitations of Sums of Bounded-Read Formulas.CoRRabs/2010.013852020Informal and Other Publicationsopenjournals/corr/abs-2010-01385https://arxiv.org/abs/2010.01385https://dblp.org/rec/journals/corr/abs-2010-01385URL#1916849Stefan TabelMotion-Blur in Scientific Images: Area-Based Registration of Blur, a Temporal Image Formation Model, and Computation of Readout Smear Corrections.2019Books and Thesesclosedphd/dnb/Tabel19https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20191029-1473318-1-6https://dblp.org/rec/phd/dnb/Tabel19URL#1941573Ben C. StöverSarah WiechersKai F. MüllerJPhyloIO: a Java library for event-based reading and writing of different phylogenetic file formats through a common interface.BMC Bioinform.201402:1-402:152019Journal Articlesopenjournals/bmcbi/StoverWM1910.1186/S12859-019-2982-3https://doi.org/10.1186/s12859-019-2982-3https://dblp.org/rec/journals/bmcbi/StoverWM19URL#1971485Maryna Diachenko-BohunNataliia HrytsaiMaryna GrynovaIgor GrygusWalery ZukowThe readiness formation of future biology teachers for healthcare-safety technologies realization in professional activity.Educ. Inf. Technol.241679-6912019Journal Articlesopenjournals/eait/Diachenko-Bohun1910.1007/S10639-018-9799-Yhttps://doi.org/10.1007/s10639-018-9799-yhttps://dblp.org/rec/journals/eait/Diachenko-Bohun19URL#1991592Linn-Birgit Kampen KristensenHow to Choose a Format: Consumers' Evaluation in Choosing a Format for Reading Books in Norway.J. Electron. Publ.2212019Journal Articlesopenjournals/ep/Kristensen1910.3998/3336451.0022.102https://doi.org/10.3998/3336451.0022.102https://dblp.org/rec/journals/ep/Kristensen19URL#1995874Si Liu 0003Peter Csaba ÖlveczkyQi Wang 0017Indranil GuptaJosé Meseguer 0001Read atomic transactions with prevention of lost updates: ROLA and its formal analysis.Formal Aspects Comput.315503-5402019Journal Articlesopenjournals/fac/LiuOWGM1910.1007/S00165-019-00489-Whttps://doi.org/10.1007/s00165-019-00489-whttps://dblp.org/rec/journals/fac/LiuOWGM19URL#1997613Luciana Brasil Rebelo dos SantosValdivino Alexandre de Santiago JúniorLucas Venezian PovoaAlbino Vieira FreitasCleyton De Castro MarioSoftware inspections: comparing a formal method based with a classical reading methodology.Int. J. Comput. Appl. Technol.594296-3172019Journal Articlesclosedjournals/ijcat/SantosJPFM1910.1504/IJCAT.2019.099198https://doi.org/10.1504/IJCAT.2019.099198https://dblp.org/rec/journals/ijcat/SantosJPFM19URL#2007852Alex M. ClarkLeah McEwenPeter GedeckBarry A. BuninCapturing mixture composition: an open machine-readable format for representing mixed substances.J. Cheminformatics11133:1-33:172019Journal Articlesopenjournals/jcheminf/ClarkMGB1910.1186/S13321-019-0357-4https://doi.org/10.1186/s13321-019-0357-4https://dblp.org/rec/journals/jcheminf/ClarkMGB19URL#2028944C. RamyaB. V. Raghavendra RaoLower bounds for Sum and Sum of Products of Read-once Formulas.ACM Trans. Comput. Theory11210:1-10:272019Journal Articlesclosedjournals/toct/RamyaR1910.1145/3313232https://doi.org/10.1145/3313232https://dblp.org/rec/journals/toct/RamyaR19URL#2097828Dean DoronPooya HatamiWilliam M. HozaNear-Optimal Pseudorandom Generators for Constant-Depth Read-Once Formulas.CCC16:1-16:342019Conference and Workshop Papersopenconf/coco/DoronHH1910.4230/LIPICS.CCC.2019.16https://doi.org/10.4230/LIPIcs.CCC.2019.16https://dblp.org/rec/conf/coco/DoronHH19URL#2141593Ludmila GlinskihDmitry ItsyksonOn Tseitin Formulas, Read-Once Branching Programs and Treewidth.CSR143-1552019Conference and Workshop Papersclosedconf/csr/GlinskihI1910.1007/978-3-030-19955-5_13https://doi.org/10.1007/978-3-030-19955-5_13https://dblp.org/rec/conf/csr/GlinskihI19URL#2147808Larisa M. PetrenkoIryna P. VaravaAndrey V. PikilnyakMotivation readiness of future software engineer's professional self-improvement and prospects of its formation in college cloud environment.CTE626-6472019Conference and Workshop Papersopenconf/cte/PetrenkoVP1910.55056/CTE.417https://doi.org/10.55056/cte.417https://dblp.org/rec/conf/cte/PetrenkoVP19URL#2147980Hans Kleine BüningPiotr Wojciechowski 0002K. Subramani 0001Read-Once Resolutions in Horn Formulas.FAW100-1102019Conference and Workshop Papersclosedconf/faw/BuningWS1910.1007/978-3-030-18126-0_9https://doi.org/10.1007/978-3-030-18126-0_9https://dblp.org/rec/conf/faw/BuningWS19URL#2166224Alessio AntoniniGustavo Gomez MejiaLucia LupiAll We Do is "Stalking": Studying New Forms of Reading in Social Networks.HT111-1152019Conference and Workshop Papersclosedconf/ht/AntoniniML1910.1145/3342220.3343646https://doi.org/10.1145/3342220.3343646https://dblp.org/rec/conf/ht/AntoniniML19URL#2177854Stênio AbreuJorge Sassaki Resende SilvaGraciela Pires dos AnjosHérlon Manollo Cândido GuedesSoraia Silva PrietchPaula Christina Figueira CardosoAndré Pimenta FreireUsability evaluation of a resource to read mathematical formulae in a screen reader for people with visual disabilities.IHC53:1-53:112019Conference and Workshop Papersclosedconf/ihc/AbreuSAGPCF1910.1145/3357155.3358480https://doi.org/10.1145/3357155.3358480https://dblp.org/rec/conf/ihc/AbreuSAGPCF19URL#2218998Irvin DongoRichard ChbeirS-RDF: A New RDF Serialization Format for Better Storage Without Losing Human Readability.OTM Conferences246-2642019Conference and Workshop Papersclosedconf/otm/DongoC1910.1007/978-3-030-33246-4_16https://doi.org/10.1007/978-3-030-33246-4_16https://dblp.org/rec/conf/otm/DongoC19URL#2259126Rocco A. ServedioLi-Yang TanPseudorandomness for read-k DNF formulas.SODA621-6382019Conference and Workshop Papersopenconf/soda/ServedioT1910.1137/1.9781611975482.39https://doi.org/10.1137/1.9781611975482.39https://dblp.org/rec/conf/soda/ServedioT19URL#2277510Mike SchaekermannGraeme BeatonMinahz HabibAndrew Lim 0002Kate LarsonEdith LawCapturing Expert Arguments from Medical Adjudication Discussions in a Machine-readable Format.WWW1131-11372019Conference and Workshop Papersclosedconf/www/SchaekermannBHL1910.1145/3308560.3317085https://doi.org/10.1145/3308560.3317085https://dblp.org/rec/conf/www/SchaekermannBHL19URL#2293724Ludmila GlinskihDmitry ItsyksonOn Tseitin formulas, read-once branching programs and treewidth.Electron. Colloquium Comput. Complex.TR192019Informal and Other Publicationsopenjournals/eccc/GlinskihI19https://eccc.weizmann.ac.il/report/2019/020https://dblp.org/rec/journals/eccc/GlinskihI19URL#2355259Hector R. PonceRichard E. MayerVerónica A. FigueroaMario J. LópezInteractive highlighting for just-in-time formative assessment during whole-class instruction: effects on vocabulary learning and reading comprehension.Interact. Learn. Environ.26142-602018Journal Articlesclosedjournals/ile/PonceMFL1810.1080/10494820.2017.1282878https://doi.org/10.1080/10494820.2017.1282878https://dblp.org/rec/journals/ile/PonceMFL18URL#2426403Naoyuki SatoWords-In-Sequence Memory Formed by Eye Movement Sequences During Reading: A Network Model Based on Theta Phase Coding.Neural Process. Lett.4731027-10392018Journal Articlesclosedjournals/npl/Sato1810.1007/S11063-017-9632-4https://doi.org/10.1007/s11063-017-9632-4https://dblp.org/rec/journals/npl/Sato18URL#2460272Hazem A. AhmedHamed SalahJoerg RobertAlbert HeubergerA Closed-Form Solution for ALOHA Frame Length Optimizing Multiple Collision Recovery Coefficients' Reading Efficiency.IEEE Syst. J.1211047-10502018Journal Articlesclosedjournals/sj/AhmedSRH1810.1109/JSYST.2016.2539380https://doi.org/10.1109/JSYST.2016.2539380https://dblp.org/rec/journals/sj/AhmedSRH18URL#2478878Meena MahajanAnuj TawariSums of read-once formulas: How many summands are necessary?Theor. Comput. Sci.70834-452018Journal Articlesclosedjournals/tcs/MahajanT1810.1016/J.TCS.2017.10.019https://doi.org/10.1016/j.tcs.2017.10.019https://dblp.org/rec/journals/tcs/MahajanT18URL#2488383Daniel MinahanIlya VolkovichComplete Derandomization of Identity Testing and Reconstruction of Read-Once Formulas.ACM Trans. Comput. Theory10310:1-10:112018Journal Articlesclosedjournals/toct/MinahanV1810.1145/3196836https://doi.org/10.1145/3196836https://dblp.org/rec/journals/toct/MinahanV18URL#2497831Tariq DaradkehAnjali AgarwalNishith GoelMarzia ZamanReal Time Metering of Cloud Resource Reading Accurate Data Source Using Optimal Message Serialization and Format.IEEE CLOUD476-4832018Conference and Workshop Papersclosedconf/IEEEcloud/DaradkehAGZ1810.1109/CLOUD.2018.00067https://doi.org/10.1109/CLOUD.2018.00067https://dblp.org/rec/conf/IEEEcloud/DaradkehAGZ18URL#2507784Alexander KozachinskiyRecognizing Read-Once Functions from Depth-Three Formulas.CSR232-2432018Conference and Workshop Papersclosedconf/csr/Kozachinskiy1810.1007/978-3-319-90530-3_20https://doi.org/10.1007/978-3-319-90530-3_20https://dblp.org/rec/conf/csr/Kozachinskiy18URL#2543313Jianghua ZhaoXuezhi Wang 0004Yuanchun ZhouQiming QinTowards a Framework for Offering Remote Sensing Data in an Analysis-Ready Format.IGARSS5258-52612018Conference and Workshop Papersclosedconf/igarss/Zhao0ZQ1810.1109/IGARSS.2018.8518458https://doi.org/10.1109/IGARSS.2018.8518458https://dblp.org/rec/conf/igarss/Zhao0ZQ18URL#2609575An-Vinh LuongDiep NguyenDien DinhA New Formula for Vietnamese Text Readability Assessment.KSE198-2022018Conference and Workshop Papersclosedconf/kse/LuongND1810.1109/KSE.2018.8573379https://doi.org/10.1109/KSE.2018.8573379https://dblp.org/rec/conf/kse/LuongND18URL#2631805Marina SolnyshkinaVladimir Ivanov 0001Valery D. SolovyevReadability Formula for Russian Texts: A Modified Version.MICAI132-1452018Conference and Workshop Papersclosedconf/micai/Solnyshkina0S1810.1007/978-3-030-04497-8_11https://doi.org/10.1007/978-3-030-04497-8_11https://dblp.org/rec/conf/micai/Solnyshkina0S18URL#2636416Alexander KozachinskiyRecognizing Read-Once Functions from Depth-Three Formulas.CoRRabs/1802.038152018Informal and Other Publicationsopenjournals/corr/abs-1802-03815http://arxiv.org/abs/1802.03815https://dblp.org/rec/journals/corr/abs-1802-03815URL#2693847Dean DoronPooya HatamiWilliam HozaNear-Optimal Pseudorandom Generators for Constant-Depth Read-Once Formulas.Electron. Colloquium Comput. Complex.TR182018Informal and Other Publicationsopenjournals/eccc/DoronHH18https://eccc.weizmann.ac.il/report/2018/183https://dblp.org/rec/journals/eccc/DoronHH18URL#2731396Obinna Chinedu OnyimaduFormalization and modeling of human values for recipient sentiment prediction.2017Books and Thesesclosedphd/ethos/Onyimadu17https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.736233https://dblp.org/rec/phd/ethos/Onyimadu17URL#2737392M. RathgebRe-reading Laws of Form as a Language in Change.Cybern. Hum. Knowing243-4225-2442017Journal Articlesclosedjournals/chk/Rathgeb17http://www.ingentaconnect.com/contentone/imp/chk/2017/00000024/f0020003/art00009https://dblp.org/rec/journals/chk/Rathgeb17URL#2757416Joseph SchuchartMichael GerndtPer Gunnar KjeldsbergMichael LysaghtDavid HorákLubomír RíhaAndreas GochtMohammed SourouriMadhura KumaraswamyAnamika ChowdhuryMagnus JahreKai DiethelmOthman BouiziUmbreen Sabir MianJakub KruzíkRadim SojkaMartin BesedaVenkatesh KannanZakaria BendifallahDaniel HackenbergWolfgang E. NagelThe READEX formalism for automatic tuning for energy efficiency.Computing998727-7452017Journal Articlesopenjournals/computing/SchuchartGKLHRG1710.1007/S00607-016-0532-7https://doi.org/10.1007/s00607-016-0532-7https://dblp.org/rec/journals/computing/SchuchartGKLHRG17URL#2762271Angzhan WenWeiwei LinYacong MaHaoan XieGuoqiang ZhangNews event evolution model based on the reading willingness and modified TF-IDF formula.J. High Speed Networks23133-472017Journal Articlesclosedjournals/jhsn/WenLMXZ1710.3233/JHS-170555https://doi.org/10.3233/JHS-170555https://dblp.org/rec/journals/jhsn/WenLMXZ17URL#2806756Andre SchmeißerDaniel BurkhartDominik LinnJohannes SchnebeleManuel EttmüllerSimone GramschWalter ArneEnsight4Matlab: read, process, and write files in EnSight® Gold format from C++ or MATLAB®.J. Open Source Softw.2202172017Journal Articlesopenjournals/jossw/SchmeisserBLSEG1710.21105/JOSS.00217https://doi.org/10.21105/joss.00217https://dblp.org/rec/journals/jossw/SchmeisserBLSEG17URL#2811904Ea Christina WillumsenSource Code and Formal Analysis: A Reading of Passage.Trans. Digit. Games Res. Assoc.322017Journal Articlesopenjournals/todigra/Willumsen1710.26503/TODIGRA.V3I2.74https://doi.org/10.26503/todigra.v3i2.74https://dblp.org/rec/journals/todigra/Willumsen17URL#2858296Daniel MinahanIlya VolkovichComplete Derandomization of Identity Testing and Reconstruction of Read-Once Formulas.CCC32:1-32:132017Conference and Workshop Papersopenconf/coco/MinahanV1710.4230/LIPICS.CCC.2017.32https://doi.org/10.4230/LIPIcs.CCC.2017.32https://dblp.org/rec/conf/coco/MinahanV17URL#2897778Peng XiaoYantao PanJiuzhen ZhangAcademic Reading Format Preferences and Behaviors in Mainland China.ECIL526-5342017Conference and Workshop Papersclosedconf/ecil/XiaoPZ1710.1007/978-3-319-74334-9_54https://doi.org/10.1007/978-3-319-74334-9_54https://dblp.org/rec/conf/ecil/XiaoPZ17URL#2910141Luiz Felipe da Paixão SilvaOtavio de Faria OliveiraEvelise Roman Corbalan Góis FreireRosana Maria MendesAndré Pimenta FreireHow Much Effort is Necessary for Blind Users to Read Web-based Mathematical Formulae?: A comparison using task models with different screen readers.IHC29:1-29:102017Conference and Workshop Papersclosedconf/ihc/SilvaOFMF1710.1145/3160504.3160549https://doi.org/10.1145/3160504.3160549https://dblp.org/rec/conf/ihc/SilvaOFMF17URL#2965324Viacheslav KlimkovAdam NadolskiAlexis MoinetBartosz PutryczRoberto Barra-ChicoteThomas MerrittThomas DrugmanPhrase Break Prediction for Long-Form Reading TTS: Exploiting Text Structure Information.INTERSPEECH1064-10682017Conference and Workshop Papersopenconf/interspeech/KlimkovNMPBMD1710.21437/INTERSPEECH.2017-419https://doi.org/10.21437/Interspeech.2017-419https://dblp.org/rec/conf/interspeech/KlimkovNMPBMD17URL#2970715Ludmila GlinskihDmitry ItsyksonSatisfiable Tseitin Formulas Are Hard for Nondeterministic Read-Once Branching Programs.MFCS26:1-26:122017Conference and Workshop Papersopenconf/mfcs/GlinskihI1710.4230/LIPICS.MFCS.2017.26https://doi.org/10.4230/LIPIcs.MFCS.2017.26https://dblp.org/rec/conf/mfcs/GlinskihI17URL#2990444Hans Kleine BüningPiotr Wojciechowski 0002K. Subramani 0001On the Computational Complexity of Read once Resolution Decidability in 2CNF Formulas.TAMC362-3722017Conference and Workshop Papersclosedconf/tamc/BuningWS1710.1007/978-3-319-55911-7_26https://doi.org/10.1007/978-3-319-55911-7_26https://dblp.org/rec/conf/tamc/BuningWS17URL#3022622Shashishekar RamakrishnaLukasz GórskiAdrian PaschkeA Dialogue between a Lawyer and Computer Scientist: The Evaluation of Knowledge Transformation from Legal Text to Computer-Readable Format.Appl. Artif. Intell.303216-2322016Journal Articlesclosedjournals/aai/RamakrishnaGP1610.1080/08839514.2016.1156952https://doi.org/10.1080/08839514.2016.1156952https://dblp.org/rec/journals/aai/RamakrishnaGP16URL#3081258Nikolai SobottaWhy Forwarded Email Threads are Hard to Read: The Email Format as an Antecedent of Email Overload.Commun. Assoc. Inf. Syst.3922016Journal Articlesclosedjournals/cais/Sobotta1610.17705/1CAIS.03902https://doi.org/10.17705/1cais.03902https://dblp.org/rec/journals/cais/Sobotta16URL#3092217Yvonne KammererNina MeierElmar StahlFostering secondary-school students' intertext model formation when reading a set of websites: The effectiveness of source prompts.Comput. Educ.10252-642016Journal Articlesclosedjournals/ce/KammererMS1610.1016/J.COMPEDU.2016.07.001https://doi.org/10.1016/j.compedu.2016.07.001https://dblp.org/rec/journals/ce/KammererMS16URL#3094021Sergio Feo-ArenisBernd WestphalDaniel DietschMarco MuñizAhmad Siyar AndishaAndreas PodelskiReady for testing: ensuring conformance to industrial standards through formal verification.Formal Aspects Comput.283499-5272016Journal Articlesopenjournals/fac/ArenisWDMAP1610.1007/S00165-016-0365-3https://doi.org/10.1007/s00165-016-0365-3https://dblp.org/rec/journals/fac/ArenisWDMAP16URL#3111548A. C. LlorensEduardo Vidal-AbarcaRaquel CerdánFormative feedback to transfer self-regulation of task-oriented reading strategies.J. Comput. Assist. Learn.324314-3312016Journal Articlesclosedjournals/jcal/LlorensVC1610.1111/JCAL.12134https://doi.org/10.1111/jcal.12134https://dblp.org/rec/journals/jcal/LlorensVC16URL#3136524Hamideh MarefatAbbas Ali RezaeeFarid NaseriehEffect of Computerized Gloss Presentation Format on Reading Comprehension: A Cognitive Load Perspective.J. Inf. Technol. Educ. Res.15479-5012016Journal Articlesopenjournals/jite/MarefatRN1610.28945/3568https://doi.org/10.28945/3568https://dblp.org/rec/journals/jite/MarefatRN16URL#3143634Eldar FischerYonatan GoldhirshOded LachishTesting Read-Once Formula Satisfaction.ACM Trans. Comput. Theory825:1-5:262016Journal Articlesclosedjournals/toct/FischerGL1610.1145/2897184https://doi.org/10.1145/2897184https://dblp.org/rec/journals/toct/FischerGL16URL#3189256Ilya VolkovichCharacterizing Arithmetic Read-Once Formulae.ACM Trans. Comput. Theory812:1-2:192016Journal Articlesclosedjournals/toct/Volkovich1610.1145/2858783https://doi.org/10.1145/2858783https://dblp.org/rec/journals/toct/Volkovich16URL#3189271Elizabeth WhiteSarah A. CollinsBeatriz H. RochaTaylor L. ReadSaverio M. MavigliaJ. Perren CobbRoberto A. RochaModifying a Case Report Form to Collect Anonymous and Consistent Data.AMIA2016Conference and Workshop Papersclosedconf/amia/WhiteCRRMCR16https://knowledge.amia.org/amia-63300-1.3360278/t005-1.3362920/f005-1.3362921/2498365-1.3363007/2499527-1.3363002https://dblp.org/rec/conf/amia/WhiteCRRMCR16URL#3207023Meena MahajanAnuj TawariSums of Read-Once Formulas: How Many Summands Suffice?CSR266-2792016Conference and Workshop Papersclosedconf/csr/MahajanT1610.1007/978-3-319-34171-2_19https://doi.org/10.1007/978-3-319-34171-2_19https://dblp.org/rec/conf/csr/MahajanT16URL#3231290Ea Christina WillumsenSource Code and Formal Analysis: A Hermeneutic Reading of Passage.DiGRA/FDG2016Conference and Workshop Papersopenconf/digra/Willumsen16http://www.digra.org/digital-library/publications/source-code-and-formal-analysis-a-hermeneutic-reading-of-passage/https://dblp.org/rec/conf/digra/Willumsen16URL#3235123Diane MizrachiJoumana BoustanySerap KurbanogluGüleda DoganTania TodorovaPolona VilarThe Academic Reading Format International Study (ARFIS): Investigating Students Around the World.ECIL215-2272016Conference and Workshop Papersclosedconf/ecil/MizrachiBKDTV1610.1007/978-3-319-52162-6_21https://doi.org/10.1007/978-3-319-52162-6_21https://dblp.org/rec/conf/ecil/MizrachiBKDTV16URL#3238291Diane MizrachiJoumana BoustanySerap KurbanogluGüleda DoganTania TodorovaPolona VilarErratum to: The Academic Reading Format International Study (ARFIS): Investigating Students Around the World.ECIL2016Conference and Workshop Papersopenconf/ecil/MizrachiBKDTV16a10.1007/978-3-319-52162-6_72https://doi.org/10.1007/978-3-319-52162-6_72https://dblp.org/rec/conf/ecil/MizrachiBKDTV16aURL#3238292Ramya C.B. V. Raghavendra RaoSum of Products of Read-Once Formulas.FSTTCS39:1-39:152016Conference and Workshop Papersopenconf/fsttcs/CR1610.4230/LIPICS.FSTTCS.2016.39https://doi.org/10.4230/LIPIcs.FSTTCS.2016.39https://dblp.org/rec/conf/fsttcs/CR16URL#3249556Nataliya KushnirNataliya OsipovaNataliya ValkoOlena LitvinenkoThe Experience of the Master Classes as a Means of Formation of Readiness of Teachers to Implement Innovation.ICTERI200-2142016Conference and Workshop Papersopenconf/icteri/KushnirOVL16https://ceur-ws.org/Vol-1614/paper_42.pdfhttps://dblp.org/rec/conf/icteri/KushnirOVL16URL#3282504Nataliya KushnirNataliya OsipovaNataliya ValkoOlena LitvinenkoThe Experience of the Master Classes as a Means of Formation of Readiness of Teachers to Implement Innovation.ICTERI184-1992016Conference and Workshop Papersclosedconf/icteri/KushnirOVL16a10.1007/978-3-319-69965-3_11https://doi.org/10.1007/978-3-319-69965-3_11https://dblp.org/rec/conf/icteri/KushnirOVL16aURL#3282505Terry SmithThe problems with current readability methods and formulas: Missing that usability design.IPCC1-42016Conference and Workshop Papersclosedconf/ipcc/Smith1610.1109/IPCC.2016.7740525https://doi.org/10.1109/IPCC.2016.7740525https://dblp.org/rec/conf/ipcc/Smith16URL#3295022Mitali BafnaSatyanarayana V. LokamSébastien TavenasAmeya VelingkerOn the Sensitivity Conjecture for Read-k Formulas.MFCS16:1-16:142016Conference and Workshop Papersopenconf/mfcs/BafnaLTV1610.4230/LIPICS.MFCS.2016.16https://doi.org/10.4230/LIPIcs.MFCS.2016.16https://dblp.org/rec/conf/mfcs/BafnaLTV16URL#3312740Sayan GhoshAyananta DasDilip Kumar PratiharA New Form of Fuzzy Reasoning Tool to Ensure Both Accuracy and Readability.SoCPaR54-652016Conference and Workshop Papersclosedconf/socpar/GhoshDP1610.1007/978-3-319-60618-7_6https://doi.org/10.1007/978-3-319-60618-7_6https://dblp.org/rec/conf/socpar/GhoshDP16URL#3341152Nobuaki MinematsuDaisuke SaitoNobuyuki NishizawaProsodic Reading Tutor of Japanese, Suzuki-kun: The first and only educational tool to teach the formal Japanese.SSW1222016Conference and Workshop Papersunavailableconf/ssw/MinematsuSN16http://www.isca-speech.org/archive/SSW_2016/abstracts/ssw9_DS-1_Minematsu.htmlhttps://dblp.org/rec/conf/ssw/MinematsuSN16URL#3344103Hans Kleine BüningPiotr Wojciechowski 0002K. Subramani 0001On the computational complexity of read once resolution decidability in 2CNF formulas.CoRRabs/1610.045232016Informal and Other Publicationsopenjournals/corr/BuningWS16http://arxiv.org/abs/1610.04523https://dblp.org/rec/journals/corr/BuningWS16URL#3367266Meena MahajanAnuj TawariSums of read-once formulas: How many summands suffice?CoRRabs/1603.026052016Informal and Other Publicationsopenjournals/corr/MahajanT16http://arxiv.org/abs/1603.02605https://dblp.org/rec/journals/corr/MahajanT16URL#3377304Mitali BafnaSatyanarayana V. LokamSébastien TavenasAmeya VelingkerOn the Sensitivity Conjecture for Read-k Formulas.Electron. Colloquium Comput. Complex.TR162016Informal and Other Publicationsopenjournals/eccc/BafnaLTV16https://eccc.weizmann.ac.il/report/2016/132https://dblp.org/rec/journals/eccc/BafnaLTV16URL#3387248Daniel MinahanIlya VolkovichComplete Derandomization of Identity Testing and Reconstruction of Read-Once Formulas.Electron. Colloquium Comput. Complex.TR162016Informal and Other Publicationsopenjournals/eccc/MinahanV16https://eccc.weizmann.ac.il/report/2016/171https://dblp.org/rec/journals/eccc/MinahanV16URL#3387393Pavel BeranIvan MrazABIF Manager: simple reading and editing of ABIF formatted files.Bioinform.31244012-40132015Journal Articlesclosedjournals/bioinformatics/BeranM1510.1093/BIOINFORMATICS/BTV512https://doi.org/10.1093/bioinformatics/btv512https://dblp.org/rec/journals/bioinformatics/BeranM15URL#3404483Matthew AndersonDieter van MelkebeekIlya VolkovichDeterministic polynomial identity tests for multilinear bounded-read formulae.Comput. Complex.244695-7762015Journal Articlesclosedjournals/cc/AndersonMV1510.1007/S00037-015-0097-4https://doi.org/10.1007/s00037-015-0097-4https://dblp.org/rec/journals/cc/AndersonMV15URL#3408627Thomas A. HouseJonathan M. ReadLeon DanonMatthew J. KeelingTesting the hypothesis of preferential attachment in social network formation.EPJ Data Sci.41132015Journal Articlesopenjournals/epjds/HouseRDK1510.1140/EPJDS/S13688-015-0052-2https://doi.org/10.1140/epjds/s13688-015-0052-2https://dblp.org/rec/journals/epjds/HouseRDK15URL#3424578Luis Cárcamo UlloaMari-Carmen Marcos MoraRamon Cladellas ProsAntoni Castelló TarridaNews photography for Facebook: effects of images on the visual behaviour of readers in three simulated newspaper formats.Inf. Res.2012015Journal Articlesopenjournals/ires/UlloaMPT15http://www.informationr.net/ir/20-1/paper660.htmlhttps://dblp.org/rec/journals/ires/UlloaMPT15URL#3445428Alex BlekhmanJuan P. WachsDov DoriModel-Based System Specification With Tesperanto: Readable Text From Formal Graphics.IEEE Trans. Syst. Man Cybern. Syst.45111448-14582015Journal Articlesclosedjournals/tsmc/BlekhmanWD1510.1109/TSMC.2015.2406753https://doi.org/10.1109/TSMC.2015.2406753https://dblp.org/rec/journals/tsmc/BlekhmanWD15URL#3500931Giulia VenturiTommaso BellandiFelice Dell'OrlettaSimonetta MontemagniNLP-Based Readability Assessment of Health-Related Texts: a Case Study on Italian Informed Consent Forms.Louhi@EMNLP131-1412015Conference and Workshop Papersopenconf/acl-louhi/VenturiBDM1510.18653/V1/W15-2618https://doi.org/10.18653/v1/W15-2618https://dblp.org/rec/conf/acl-louhi/VenturiBDM15URL#3509991Terttu A. K. KortelainenReading Format Preferences of Finnish University Students.ECIL446-4542015Conference and Workshop Papersopenconf/ecil/Kortelainen15a10.1007/978-3-319-28197-1_45https://doi.org/10.1007/978-3-319-28197-1_45https://dblp.org/rec/conf/ecil/Kortelainen15aURL#3545449Stefan FeuerriegelSebastian Felix HeitzmannDirk Neumann 0001Do Investors Read Too Much into News? How News Sentiment Causes Price Formation.HICSS4803-48122015Conference and Workshop Papersclosedconf/hicss/FeuerriegelHN1510.1109/HICSS.2015.571https://doi.org/10.1109/HICSS.2015.571https://dblp.org/rec/conf/hicss/FeuerriegelHN15URL#3566312Karol PakReadable Formalization of Euler's Partition Theorem in Mizar.CICM211-2262015Conference and Workshop Papersclosedconf/mkm/Pak1510.1007/978-3-319-20615-8_14https://doi.org/10.1007/978-3-319-20615-8_14https://dblp.org/rec/conf/mkm/Pak15URL#3626479Fu-Ja KungPa-Hwa LeeYih-Ru WangSin-Horng ChenChen-Yu ChiangOn finding word-level break-type formation rules for mandarin read speech.O-COCOSDA/CASLRE53-572015Conference and Workshop Papersclosedconf/ococosda/KungLWCC1510.1109/ICSDA.2015.7357864https://doi.org/10.1109/ICSDA.2015.7357864https://dblp.org/rec/conf/ococosda/KungLWCC15URL#3632908Meena MahajanAnuj TawariSums of read-once formulas: How many summands suffice?Electron. Colloquium Comput. Complex.TR152015Informal and Other Publicationsopenjournals/eccc/MahajanT15https://eccc.weizmann.ac.il/report/2015/204https://dblp.org/rec/journals/eccc/MahajanT15URL#3690863Pierre BourretModèle à Composant pour Plate-forme Autonomique. (Component model for Autonomic-Ready plateform).2014Books and Thesesopenphd/hal/Bourret14https://tel.archives-ouvertes.fr/tel-01214962https://dblp.org/rec/phd/hal/Bourret14URL#3697005Alexandra B. ProapsJames P. BlissThe effects of text presentation format on reading comprehension and video game performance.Comput. Hum. Behav.3641-472014Journal Articlesclosedjournals/chb/ProapsB1410.1016/J.CHB.2014.03.039https://doi.org/10.1016/j.chb.2014.03.039https://dblp.org/rec/journals/chb/ProapsB14URL#3712917A. C. LlorensRaquel CerdánEduardo Vidal-AbarcaAdaptive formative feedback to improve strategic search decisions in task-oriented reading.J. Comput. Assist. Learn.303233-2512014Journal Articlesclosedjournals/jcal/LlorensCV1410.1111/JCAL.12050https://doi.org/10.1111/jcal.12050https://dblp.org/rec/journals/jcal/LlorensCV14URL#3751417Amir ShpilkaIlya VolkovichOn Reconstruction and Testing of Read-Once Formulas.Theory Comput.10465-5142014Journal Articlesopenjournals/toc/ShpilkaV1410.4086/TOC.2014.V010A018https://doi.org/10.4086/toc.2014.v010a018https://dblp.org/rec/journals/toc/ShpilkaV14URL#3798458Róza GoscienKrzysztof WalkowiakMiroslaw KlinkowskiOn the regenerators usage in cloud-ready elastic optical networks with distance-adaptive modulation formats.ECOC1-32014Conference and Workshop Papersclosedconf/ecoc/GoscienWK1410.1109/ECOC.2014.6964172https://doi.org/10.1109/ECOC.2014.6964172https://dblp.org/rec/conf/ecoc/GoscienWK14URL#3844808Andreas BollinDominik Rauner-ReithmayerFormal specification comprehension: the art of reading and writing z.FormaliSE3-92014Conference and Workshop Papersclosedconf/icse/BollinR1410.1145/2593489.2593491https://doi.org/10.1145/2593489.2593491https://dblp.org/rec/conf/icse/BollinR14URL#3888095Thomas FrançoisLaetitia BrouwersHubert NaetsCédrick FaironAMesure: a readability formula for administrative texts (AMESURE: une plateforme de lisibilité pour les textes administratifs) [in French].TALN467-4722014Conference and Workshop Papersopenconf/taln/FrancoisBNF14https://aclanthology.org/F14-2014/https://dblp.org/rec/conf/taln/FrancoisBNF14URL#3948281Ilya VolkovichCharacterizing Arithmetic Read-Once Formulae.CoRRabs/1408.19952014Informal and Other Publicationsopenjournals/corr/Volkovich14http://arxiv.org/abs/1408.1995https://dblp.org/rec/journals/corr/Volkovich14URL#3982502I-Jung ChenJung-Chuan YenHypertext annotation: Effects of presentation formats and learner proficiency on reading comprehension and vocabulary learning in foreign languages.Comput. Educ.63416-4232013Journal Articlesclosedjournals/ce/ChenY1310.1016/J.COMPEDU.2013.01.005https://doi.org/10.1016/j.compedu.2013.01.005https://dblp.org/rec/journals/ce/ChenY13URL#4003172Elsa Andrea KirchnerRolf DrechslerA formal model for embedded brain reading.Ind. Robot406530-5402013Journal Articlesclosedjournals/irob/KirchnerD1310.1108/IR-01-2013-318https://doi.org/10.1108/IR-01-2013-318https://dblp.org/rec/journals/irob/KirchnerD13URL#4037146Paolo Lorenzi 0001Rosario RaoT. PriftiFernanda IrreraImpact of the forming conditions and electrode metals on read disturb in HfO2-based RRAM.Microelectron. Reliab.539-111203-12072013Journal Articlesclosedjournals/mr/LorenziRPI1310.1016/J.MICROREL.2013.07.043https://doi.org/10.1016/j.microrel.2013.07.043https://dblp.org/rec/journals/mr/LorenziRPI13URL#4058342Zhihao XuHiroaki KawashimaKlaus Schilling 0001Readiness in formation control of multi-robot system.ACC3032-30382013Conference and Workshop Papersclosedconf/amcc/XuKS1310.1109/ACC.2013.6580296https://doi.org/10.1109/ACC.2013.6580296https://dblp.org/rec/conf/amcc/XuKS13URL#4101058Dania BilalComparing google's readability of search results to the flesch readability formulae: A preliminary analysis on children's search queries.ASIST1-92013Conference and Workshop Papersclosedconf/asist/Bilal1310.1002/MEET.14505001094https://doi.org/10.1002/meet.14505001094https://dblp.org/rec/conf/asist/Bilal13URL#4104786Thomas A. FarmerKlinton BicknellMichael K. TanenhausPerceptual Word-Form Typicality Effects Are Modulated by Strength of Expectation During Reading.CogSci2013Conference and Workshop Papersopenconf/cogsci/FarmerBT13https://mindmodeling.org/cogsci2013/papers/0746/index.htmlhttps://dblp.org/rec/conf/cogsci/FarmerBT13URL#4120879Marc StadtlerLisa ScharrerRainer BrommeHow Do Readers Explain the Occurrence of Conflicts in Science Texts? Effects of Presentation Format and Source Expertise.CogSci2013Conference and Workshop Papersopenconf/cogsci/StadtlerSB13https://mindmodeling.org/cogsci2013/papers/0613/index.htmlhttps://dblp.org/rec/conf/cogsci/StadtlerSB13URL#4121463Simon MoeMichael WrightCan Accessible Digital Formats Improve Reading Skills, Habits and Educational Level for Dyslectic Youngsters?HCI203-2122013Conference and Workshop Papersclosedconf/hci/MoeW1310.1007/978-3-642-39194-1_24https://doi.org/10.1007/978-3-642-39194-1_24https://dblp.org/rec/conf/hci/MoeW13URL#4149770Tse-Ming TsaiShih-Chun ChouBo-Fu LiuYuting LinThe Effects of Information Format and Reading Task on Mobile User's Reading Behavior: A Cognitive Fit Perspective.HCI422-4262013Conference and Workshop Papersclosedconf/hci/TsaiCLL1310.1007/978-3-642-39473-7_84https://doi.org/10.1007/978-3-642-39473-7_84https://dblp.org/rec/conf/hci/TsaiCLL13URL#4150300Radoslaw KlimekA Deduction-based System for Formal Verification of Agent-ready Web Services.KES-AMSTA203-2122013Conference and Workshop Papersclosedconf/kesamsta/Klimek1310.3233/978-1-61499-254-7-203https://doi.org/10.3233/978-1-61499-254-7-203https://dblp.org/rec/conf/kesamsta/Klimek13URL#4200069Alessandro CosentinoRobin KothariAdam PaetznickDequantizing Read-once Quantum Formulas.TQC80-922013Conference and Workshop Papersopenconf/tqc/CosentinoKP1310.4230/LIPICS.TQC.2013.80https://doi.org/10.4230/LIPIcs.TQC.2013.80https://dblp.org/rec/conf/tqc/CosentinoKP13URL#4234041Alessandro CosentinoRobin KothariAdam PaetznickDequantizing read-once quantum formulasCoRRabs/1304.51642013Informal and Other Publicationsopenjournals/corr/abs-1304-5164http://arxiv.org/abs/1304.5164https://dblp.org/rec/journals/corr/abs-1304-5164URL#4263908Dwight W. ReadCultural kinship as a computational system: from bottom-up to top-down forms of social organization.Comput. Math. Organ. Theory182232-2532012Journal Articlesclosedjournals/cmot/Read1210.1007/S10588-012-9113-2https://doi.org/10.1007/s10588-012-9113-2https://dblp.org/rec/journals/cmot/Read12URL#4287017Moonzoo KimYunho KimYunja ChoiConcolic testing of the multi-sector read operation for flash storage platform software.Formal Aspects Comput.243355-3742012Journal Articlesopenjournals/fac/KimKC1210.1007/S00165-011-0200-9https://doi.org/10.1007/s00165-011-0200-9https://dblp.org/rec/journals/fac/KimKC12URL#4298677Moon-Suk ChoiSeongho JuYong-Hun LimJong-mock BaekImplementation of Wireless Automatic Routing Mechanism for the effective formation of Integrated Meter Reading network.Int. J. Ad Hoc Ubiquitous Comput.9284-942012Journal Articlesclosedjournals/ijahuc/ChoiJLB1210.1504/IJAHUC.2012.045550https://doi.org/10.1504/IJAHUC.2012.045550https://dblp.org/rec/journals/ijahuc/ChoiJLB12URL#4305626Elizabeth A. KrupinskiE. Tyler HallStacy JawBruce I. ReinerEliot L. SiegelInfluence of Radiology Report Format on Reading Time and Comprehension.J. Digit. Imaging25163-692012Journal Articlesclosedjournals/jdi/KrupinskiHJRS1210.1007/S10278-011-9424-8https://doi.org/10.1007/s10278-011-9424-8https://dblp.org/rec/journals/jdi/KrupinskiHJRS12URL#4324095Chunxin YangYunwei DongFan Zhang 0099Ehsan AhmadBin GuFormal Semantics of AADL Models with Machine-Readable CSP.ACIS-ICIS565-5712012Conference and Workshop Papersclosedconf/ACISicis/YangDZAG1210.1109/ICIS.2012.51https://doi.org/10.1109/ICIS.2012.51https://dblp.org/rec/conf/ACISicis/YangDZAG12URL#4367827Thomas FrançoisEleni MiltsakakiDo NLP and machine learning improve traditional readability formulas?PITR@NAACL-HLT49-572012Conference and Workshop Papersopenconf/acl-pitr/FrancoisM12https://aclanthology.org/W12-2207/https://dblp.org/rec/conf/acl-pitr/FrancoisM12URL#4371514Tom BrughmansNetworks of networks: a critical review of formal network methods in archaeology through citation network analysis and close reading.DH129-1302012Conference and Workshop Papersunavailableconf/dihu/Brughmans12http://www.dh2012.uni-hamburg.de/conference/programme/abstracts/networks-of-networks-a-critical-review-of-formal-network-methods-in-archaeology-through-citation-network-analysis-and-close-reading.1.htmlhttps://dblp.org/rec/conf/dihu/Brughmans12URL#4402017Thomas FrançoisCédrick FaironAn "AI readability" Formula for French as a Foreign Language.EMNLP-CoNLL466-4772012Conference and Workshop Papersopenconf/emnlp/FrancoisF12https://aclanthology.org/D12-1043/https://dblp.org/rec/conf/emnlp/FrancoisF12URL#4407921Andrew M. ChildsShelby KimmelRobin KothariThe Quantum Query Complexity of Read-Many Formulas.ESA337-3482012Conference and Workshop Papersclosedconf/esa/ChildsKK1210.1007/978-3-642-33090-2_30https://doi.org/10.1007/978-3-642-33090-2_30https://dblp.org/rec/conf/esa/ChildsKK12URL#4408654Meena MahajanB. V. Raghavendra RaoKarteek SreenivasaiahIdentity Testing, Multilinearity Testing, and Monomials in Read-Once/Twice Formulas and Branching Programs.MFCS655-6672012Conference and Workshop Papersclosedconf/mfcs/MahajanRS1210.1007/978-3-642-32589-2_57https://doi.org/10.1007/978-3-642-32589-2_57https://dblp.org/rec/conf/mfcs/MahajanRS12URL#4471116Sebastian DeorowiczSzymon GrabowskiCompression of DNA sequence reads in FASTQ format.Bioinform.276860-8622011Journal Articlesclosedjournals/bioinformatics/DeorowiczG1110.1093/BIOINFORMATICS/BTR014https://doi.org/10.1093/bioinformatics/btr014https://dblp.org/rec/journals/bioinformatics/DeorowiczG11URL#4542773Kazuyuki AmanoOn Directional vs. General Randomized Decision Tree Complexity for Read-Once Formulas.Chic. J. Theor. Comput. Sci.20112011Journal Articlesopenjournals/cjtcs/Amano11http://cjtcs.cs.uchicago.edu/articles/CATS2010/3/contents.htmlhttps://dblp.org/rec/journals/cjtcs/Amano11URL#4548757Sascha UrbaczekAdrian KolodzikJ. Robert FischerTobias LippertStefan HeuserInken GrothTanja Schulz-GaschMatthias RareyNAOMI: On the Almost Trivial Task of Reading Molecules from Different File formats.J. Chem. Inf. Model.51123199-32072011Journal Articlesclosedjournals/jcisd/UrbaczekKFLHGSR1110.1021/CI200324Ehttps://doi.org/10.1021/ci200324ehttps://dblp.org/rec/journals/jcisd/UrbaczekKFLHGSR11URL#4582826Khaled M. ElbassioniKazuhisa MakinoImran RaufOn the readability of monotone Boolean formulae.J. Comb. Optim.223293-3042011Journal Articlesopenjournals/jco/ElbassioniMR1110.1007/S10878-009-9283-0https://doi.org/10.1007/s10878-009-9283-0https://dblp.org/rec/journals/jco/ElbassioniMR11URL#4583334Kousuke MiyajiShuhei TanakamaruKentaro HondaShinji MiyanoKen TakeuchiImprovement of Read Margin and Its Distribution by VTH Mismatch Self-Repair in 6T-SRAM With Asymmetric Pass Gate Transistor Formed by Post-Process Local Electron Injection.IEEE J. Solid State Circuits4692180-21882011Journal Articlesclosedjournals/jssc/MiyajiTHMT1110.1109/JSSC.2011.2147030https://doi.org/10.1109/JSSC.2011.2147030https://dblp.org/rec/journals/jssc/MiyajiTHMT11URL#4591327Guorong XuNan DengZhiyu ZhaoThair JudehErik K. FlemingtonDongxiao ZhuSAMMate: a GUI tool for processing short read alignments in SAM/BAM format.Source Code Biol. Medicine622011Journal Articlesopenjournals/scfbm/XuDZJFZ1110.1186/1751-0473-6-2https://doi.org/10.1186/1751-0473-6-2https://dblp.org/rec/journals/scfbm/XuDZJFZ11URL#4604609Hyo Woon YoonJi-Hyang LimAn fMRI Study of Reading Different Word Form.ACN229-2372011Conference and Workshop Papersclosedconf/acn/YoonL1110.1007/978-3-642-23312-8_29https://doi.org/10.1007/978-3-642-23312-8_29https://dblp.org/rec/conf/acn/YoonL11URL#4628914Matthew AndersonDieter van MelkebeekIlya VolkovichDerandomizing Polynomial Identity Testing for Multilinear Constant-Read Formulae.CCC273-2822011Conference and Workshop Papersclosedconf/coco/AndersonMV1110.1109/CCC.2011.18https://doi.org/10.1109/CCC.2011.18https://dblp.org/rec/conf/coco/AndersonMV11URL#4649156Andrej BogdanovPeriklis A. PapakonstantinouAndrew WanPseudorandomness for Read-Once Formulas.FOCS240-2462011Conference and Workshop Papersclosedconf/focs/BogdanovPW1110.1109/FOCS.2011.57https://doi.org/10.1109/FOCS.2011.57https://dblp.org/rec/conf/focs/BogdanovPW11URL#4671093Doug WightmanTim GinnRoel VertegaalBendFlip: Examining Input Techniques for Electronic Book Readers with Flexible Form Factors.INTERACT117-1332011Conference and Workshop Papersopenconf/interact/WightmanGV1110.1007/978-3-642-23765-2_9https://doi.org/10.1007/978-3-642-23765-2_9https://dblp.org/rec/conf/interact/WightmanGV11URL#4710720Thomas FrançoisPatrick WatrinOn the Contribution of MWE-based Features to a Readability Formula for French as a Foreign Language.RANLP441-4472011Conference and Workshop Papersopenconf/ranlp/FrancoisW11https://aclanthology.org/R11-1061/https://dblp.org/rec/conf/ranlp/FrancoisW11URL#4739332Thomas FrançoisPatrick WatrinQuel apport des unités polylexicales dans une formule de lisibilité pour le français langue étrangère (What is the contribution of multi-word expressions in a readability formula for the French as a foreign language).TALN13-182011Conference and Workshop Papersopenconf/taln/FrancoisW11https://aclanthology.org/2011.jeptalnrecital-court.3/https://dblp.org/rec/conf/taln/FrancoisW11URL#4751753Andrew M. ChildsShelby KimmelRobin KothariThe quantum query complexity of read-many formulasCoRRabs/1112.05482011Informal and Other Publicationsopenjournals/corr/abs-1112-0548http://arxiv.org/abs/1112.0548https://dblp.org/rec/journals/corr/abs-1112-0548URL#4779935Andrej BogdanovPeriklis A. PapakonstantinouAndrew WanPseudorandomness for read-once formulas.Electron. Colloquium Comput. Complex.TR112011Informal and Other Publicationsopenjournals/eccc/BogdanovPW11https://eccc.weizmann.ac.il/report/2011/117https://dblp.org/rec/journals/eccc/BogdanovPW11URL#4780676Maria Cristina PattuelliDebbie L. RabinaForms, effects, function: LIS students' attitudes towards portable e-book readers.Aslib Proc.623228-2442010Journal Articlesclosedjournals/aslib/PattuelliR1010.1108/00012531011046880https://doi.org/10.1108/00012531011046880https://dblp.org/rec/journals/aslib/PattuelliR10URL#4791830Xiaowei Huang 0001Li JiaoWeiming LuCongruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence.Comput. J.53121-362010Journal Articlesclosedjournals/cj/HuangJL1010.1093/COMJNL/BXN009https://doi.org/10.1093/comjnl/bxn009https://dblp.org/rec/journals/cj/HuangJL10URL#4798591Eun-Ju LeeYoon Jae JangWhat Do Others' Reactions to News on Internet Portal Sites Tell Us? Effects of Presentation Format and Readers' Need for Cognition on Reality Perception.Commun. Res.376825-8462010Journal Articlesclosedjournals/commres/LeeJ1010.1177/0093650210376189https://doi.org/10.1177/0093650210376189https://dblp.org/rec/journals/commres/LeeJ10URL#4801143Ming FuYu Zhang 0086Yong LiFormal verification of concurrent programs with read-write locks.Frontiers Comput. Sci. China4165-772010Journal Articlesclosedjournals/fcsc/FuZL1010.1007/S11704-009-0067-6https://doi.org/10.1007/s11704-009-0067-6https://dblp.org/rec/journals/fcsc/FuZL10URL#4810679Hideaki FukuharaEiji TakimotoLower Bounds on Quantum Query Complexity for Read-Once Formulas with XOR and MUX Operators.IEICE Trans. Inf. Syst.93-D2280-2892010Journal Articlesclosedjournals/ieicet/FukuharaT1010.1587/TRANSINF.E93.D.280https://doi.org/10.1587/transinf.E93.D.280https://dblp.org/rec/journals/ieicet/FukuharaT10URL#4814269Stanislas DehaeneKimihiro NakamuraAntoinette JobertChihiro KurokiSeiji OgawaLaurent CohenWhy do children make mirror errors in reading? Neural correlates of mirror invariance in the visual word form area.NeuroImage4921837-18482010Journal Articlesclosedjournals/neuroimage/DehaeneNJKOC1010.1016/J.NEUROIMAGE.2009.09.024https://doi.org/10.1016/j.neuroimage.2009.09.024https://dblp.org/rec/journals/neuroimage/DehaeneNJKOC10URL#4845545Saleh Al-ShehriChristina GitsakiOnline reading: A preliminary study of the impact of integrated and split-attention formats on l2 students' cognitive load.ReCALL223356-3752010Journal Articlesclosedjournals/recall/Al-ShehriG1010.1017/S0958344010000212https://doi.org/10.1017/S0958344010000212https://dblp.org/rec/journals/recall/Al-ShehriG10URL#4850964Sana StojanovicVesna PavlovicPredrag JanicicA Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs.Automated Deduction in Geometry201-2202010Conference and Workshop Papersclosedconf/adg/StojanovicPJ1010.1007/978-3-642-25070-5_12https://doi.org/10.1007/978-3-642-25070-5_12https://dblp.org/rec/conf/adg/StojanovicPJ10URL#4874810Kazuyuki AmanoOn Directional vs. Undirectional Randomized Decision Tree Complexity for Read-Once Formulas.CATS25-302010Conference and Workshop Papersopenconf/cats/Amano10http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV109Amano.htmlhttps://dblp.org/rec/conf/cats/Amano10URL#4885712Rahul Jain 0001Hartmut KlauckShengyu Zhang 0002Depth-Independent Lower Bounds on the Communication Complexity of Read-Once Boolean Formulas.COCOON54-592010Conference and Workshop Papersclosedconf/cocoon/JainKZ1010.1007/978-3-642-14031-0_8https://doi.org/10.1007/978-3-642-14031-0_8https://dblp.org/rec/conf/cocoon/JainKZ10URL#4892613Judd AntinCoye CheshireReaders are not free-riders: reading as a form of participation on wikipedia.CSCW127-1302010Conference and Workshop Papersclosedconf/cscw/AntinC1010.1145/1718918.1718942https://doi.org/10.1145/1718918.1718942https://dblp.org/rec/conf/cscw/AntinC10URL#4894770Peter Gorm LarsenJohn S. FitzgeraldSune WolffAre Formal Methods Ready for Agility? A Reality Check.FM+AM13-252010Conference and Workshop Papersopenconf/fmam/LarsenFW10https://dl.gi.de/handle/20.500.12116/19657https://dblp.org/rec/conf/fmam/LarsenFW10URL#4907760Maria ShugrinaFormatting Time-Aligned ASR Transcripts for Readability.HLT-NAACL198-2062010Conference and Workshop Papersopenconf/naacl/Shugrina10https://aclanthology.org/N10-1023/https://dblp.org/rec/conf/naacl/Shugrina10URL#4966431A. A. KrizhanovskyThe comparison of Wiktionary thesauri transformed into the machine-readable formatCoRRabs/1006.50402010Informal and Other Publicationsopenjournals/corr/abs-1006-5040http://arxiv.org/abs/1006.5040https://dblp.org/rec/journals/corr/abs-1006-5040URL#5006692Matthew AndersonDieter van MelkebeekIlya VolkovichDerandomizing Polynomial Identity Testing for Multilinear Constant-Read Formulae.Electron. Colloquium Comput. Complex.TR102010Informal and Other Publicationsopenjournals/eccc/AndersonMV10https://eccc.weizmann.ac.il/report/2010/188https://dblp.org/rec/journals/eccc/AndersonMV10URL#5010129Helen I. FieldSerena A. ScollenCraig LuccariniCaroline BaynesJonathan MorrisonAlison M. DunningDouglas F. EastonPaul D. P. PharoahSeq4SNPs: new software for retrieval of multiple, accurately annotated DNA sequences, ready formatted for SNP assay design.BMC Bioinform.102009Journal Articlesopenjournals/bmcbi/FieldSLBMDEP0910.1186/1471-2105-10-180https://doi.org/10.1186/1471-2105-10-180https://dblp.org/rec/journals/bmcbi/FieldSLBMDEP09URL#5023063Amir ShpilkaIlya VolkovichImproved Polynomial Identity Testing for Read-Once Formulas.APPROX-RANDOM700-7132009Conference and Workshop Papersclosedconf/approx/ShpilkaV0910.1007/978-3-642-03685-9_52https://doi.org/10.1007/978-3-642-03685-9_52https://dblp.org/rec/conf/approx/ShpilkaV09URL#5103560T. S. JayramSwastik KoppartyPrasad RaghavendraOn the Communication Complexity of Read-Once AC0 Formulae.CCC329-3402009Conference and Workshop Papersclosedconf/coco/JayramKR0910.1109/CCC.2009.39https://doi.org/10.1109/CCC.2009.39https://dblp.org/rec/conf/coco/JayramKR09URL#5117301Khaled M. ElbassioniKazuhisa MakinoImran RaufOn the Readability of Monotone Boolean Formulae.COCOON496-5052009Conference and Workshop Papersclosedconf/cocoon/ElbassioniMR0910.1007/978-3-642-02882-3_49https://doi.org/10.1007/978-3-642-02882-3_49https://dblp.org/rec/conf/cocoon/ElbassioniMR09URL#5117386Moon-Suk ChoiSeongho JuYong-Hun LimJong-mock BaekDesign and Performance Analysis of Automatic Wireless Routing Mechanism for the Effective Formation of IMR (Integrated Meter Reading) Network.FGIT-FGCN493-5002009Conference and Workshop Papersclosedconf/fgit/ChoiJLB0910.1007/978-3-642-10844-0_57https://doi.org/10.1007/978-3-642-10844-0_57https://dblp.org/rec/conf/fgit/ChoiJLB09URL#5134236Walter J. FreemanCortical mechanisms of memory formation and readout.IJCNN882-8892009Conference and Workshop Papersclosedconf/ijcnn/Freeman0910.1109/IJCNN.2009.5178646https://doi.org/10.1109/IJCNN.2009.5178646https://dblp.org/rec/conf/ijcnn/Freeman09URL#5167158Tim vor der BrückApproximation of the Parameters of a Readability Formula by Robust Regression.MLDM Posters115-1252009Conference and Workshop Papersunavailableconf/mldm/Bruck09https://dblp.org/rec/conf/mldm/Bruck09URL#5186330Mark A. HillebrandDirk LeinenbachFormal Verification of a Reader-Writer Lock Implementation in C.SSV123-1412009Conference and Workshop Papersopenjournals/entcs/HillebrandL0910.1016/J.ENTCS.2009.09.063https://doi.org/10.1016/j.entcs.2009.09.063https://dblp.org/rec/journals/entcs/HillebrandL09URL#5216868Pedro Fernandes Ribeiro NetoMaria Lígia Barbosa PerkusichHyggo Oliveira de AlmeidaAngelo PerkusichA Formal Verification and Approach for Real-Time Databases.Selected Readings on Database Technologies and Applications268-2952009Parts in Books or Collectionsclosedbooks/igi/09/NetoPAP0910.4018/978-1-60566-098-1.CH013https://doi.org/10.4018/978-1-60566-098-1.ch013https://dblp.org/rec/books/igi/09/NetoPAP09URL#5217390Rahul Jain 0001Hartmut KlauckShengyu Zhang 0002Depth-Independent Lower bounds on the Communication Complexity of Read-Once Boolean FormulasCoRRabs/0908.44532009Informal and Other Publicationsopenjournals/corr/abs-0908-4453http://arxiv.org/abs/0908.4453https://dblp.org/rec/journals/corr/abs-0908-4453URL#5232162W. Teed RockwellDynamic empathy: A new formulation for the simulation theory of mind reading.Cogn. Syst. Res.91-252-632008Journal Articlesclosedjournals/cogsr/Rockwell0810.1016/J.COGSYS.2007.07.004https://doi.org/10.1016/j.cogsys.2007.07.004https://dblp.org/rec/journals/cogsr/Rockwell08URL#5251377Xiaoyan ZhangThe Effects of Formal Schema on Reading Comprehension¡XAn Experiment with Chinese EFL Readers.Int. J. Comput. Linguistics Chin. Lang. Process.1322008Journal Articlesopenjournals/ijclclp/Zhang08http://www.aclclp.org.tw/clclp/v13n2/v13n2a4.pdfhttps://dblp.org/rec/journals/ijclclp/Zhang08URL#5267276Gondy LeroyTrudi MillerGraciela RosemblatAllen C. BrowneA balanced approach to health information evaluation: A vocabulary-based naïve Bayes classifier and readability formulas.J. Assoc. Inf. Sci. Technol.5991409-14192008Journal Articlesclosedjournals/jasis/LeroyMRB0810.1002/ASI.20837https://doi.org/10.1002/asi.20837https://dblp.org/rec/journals/jasis/LeroyMRB08URL#5275741Gondy LeroyStephen HelmreichJames R. CowieTrudi MillerWei ZhengEvaluating Online Health Information: Beyond Readability Formulas.AMIA2008Conference and Workshop Papersclosedconf/amia/LeroyHCMZ08https://knowledge.amia.org/amia-55142-a2008a-1.625176/t-001-1.626020/f-001-1.626021/a-081-1.626321/a-082-1.626318https://dblp.org/rec/conf/amia/LeroyHCMZ08URL#5318782Kazuhiro Ogata 0001Kokichi FutatsugiFormal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes.ICFEM187-2062008Conference and Workshop Papersclosedconf/icfem/OgataF0810.1007/978-3-540-88194-0_13https://doi.org/10.1007/978-3-540-88194-0_13https://dblp.org/rec/conf/icfem/OgataF08URL#5364335Takehiko MurakawaTakayoshi KawasakiHirofumi MizuochiMasaru NakagawaFormulation of Clamshell Diagram and Its Application to Source Code Reading.JCKBSE474-4832008Conference and Workshop Papersclosedconf/jckbse/MurakawaKMN0810.3233/978-1-58603-900-4-474https://doi.org/10.3233/978-1-58603-900-4-474https://dblp.org/rec/conf/jckbse/MurakawaKMN08URL#5392373John C. ReynoldsReadable Formal Proofs.VSTTE12008Conference and Workshop Papersclosedconf/vstte/Reynolds0810.1007/978-3-540-87873-5_1https://doi.org/10.1007/978-3-540-87873-5_1https://dblp.org/rec/conf/vstte/Reynolds08URL#5420062Sai HuSimulations of Biological Ion Channels by Using the Shockley-Read-Hall Formalism2007Books and Thesesclosedphd/us/Hu07https://hdl.handle.net/2142/81011https://dblp.org/rec/phd/us/Hu07URL#5443151J. A. FalknerJ. W. FalknerP. C. AndrewsProteomeCommons.org IO Framework: reading and writing multiple proteomics data formats.Bioinform.232262-2632007Journal Articlesclosedjournals/bioinformatics/FalknerFA0710.1093/BIOINFORMATICS/BTL573https://doi.org/10.1093/bioinformatics/btl573https://dblp.org/rec/journals/bioinformatics/FalknerFA07URL#5448545Rutu MulkarJerry R. HobbsEduard H. HovyLearning from Reading Syntactically Complex Biology Texts.AAAI Spring Symposium - Logical Formalizations of Commonsense Reasoning132-1372007Conference and Workshop Papersclosedconf/aaaiss/MulkarHH07http://www.aaai.org/Library/Symposia/Spring/2007/ss07-05-023.phphttps://dblp.org/rec/conf/aaaiss/MulkarHH07URL#5513045Jan EngelenChristophe StrobbeThe Open Document Format and its Impact on Accessibility for Persons with a Reading Impairment.ELPUB85-902007Conference and Workshop Papersclosedconf/elpub/EngelenS07https://nbn-resolving.org/urn:nbn:se:elpub-146_elpub2007https://dblp.org/rec/conf/elpub/EngelenS07URL#5538005Christopher ScaffidiUnsupervised Inference of Data Formats in Human-Readable Notation.ICEIS236-2442007Conference and Workshop Papersunavailableconf/iceis/Scaffidi07https://dblp.org/rec/conf/iceis/Scaffidi07URL#5560937Susan H. RodgerJinghui LimStephen ReadingIncreasing interaction and support in the formal languages and automata theory course.ITiCSE58-622007Conference and Workshop Papersclosedconf/iticse/RodgerLR0710.1145/1268784.1268803https://doi.org/10.1145/1268784.1268803https://dblp.org/rec/conf/iticse/RodgerLR07URL#5585049Robert A. OchsHyun J. KimErin AngelChristoph PankninMichael F. McNitt-GrayMatthew S. BrownForming a reference standard from LIDC data: impact of reader agreement on reported CAD performance.Medical Imaging - Computer-Aided Diagnosis65142A2007Conference and Workshop Papersclosedconf/micad/OchsKAPMB0710.1117/12.707916https://doi.org/10.1117/12.707916https://dblp.org/rec/conf/micad/OchsKAPMB07URL#5590515Kari KosonenKai HakkarainenSystematic Formation of Reading Comprehension in Visually Impaired Children.ICLS2006Conference and Workshop Papersopenconf/icls/KosonenH06https://repository.isls.org/handle/1/3642https://dblp.org/rec/conf/icls/KosonenH06URL#5746092Gunjae KooWoochul JungHeesub LeeA robust PRML read channel with digital timing recovery for multi-format optical disc.ISCAS2006Conference and Workshop Papersclosedconf/iscas/KooJL0610.1109/ISCAS.2006.1692943https://doi.org/10.1109/ISCAS.2006.1692943https://dblp.org/rec/conf/iscas/KooJL06URL#5761119Chandan KarfaChittaranjan A. MandalDipankar Sarkar 0001S. R. PentakotaChris ReadeA Formal Verification Method of Scheduling in High-level Synthesis.ISQED71-782006Conference and Workshop Papersclosedconf/isqed/KarfaMSPR0610.1109/ISQED.2006.10https://doi.org/10.1109/ISQED.2006.10https://dblp.org/rec/conf/isqed/KarfaMSPR06URL#5765556Lindsay J. EvettDavid J. Brown 0001Text formats and web design for visually impaired and dyslexic readers - Clear Text for All.Interact. Comput.174453-4722005Journal Articlesclosedjournals/iwc/EvettB0510.1016/J.INTCOM.2005.04.001https://doi.org/10.1016/j.intcom.2005.04.001https://dblp.org/rec/journals/iwc/EvettB05URL#5835153Argye E. HillisMelissa NewhartJennifer E. Heidler-GaryPeter B. BarkerEdward HerskovitsMahaveer DegaonkarThe roles of the "visual word form area" in reading.NeuroImage242548-5592005Journal Articlesclosedjournals/neuroimage/HillisNHBHD0510.1016/J.NEUROIMAGE.2004.08.026https://doi.org/10.1016/j.neuroimage.2004.08.026https://dblp.org/rec/journals/neuroimage/HillisNHBHD05URL#5845846Mathieu VigneauGaël JobardBernard MazoyerNathalie Tzourio-MazoyerWord and non-word reading: What role for the Visual Word Form Area?NeuroImage273694-7052005Journal Articlesclosedjournals/neuroimage/VigneauJMT0510.1016/J.NEUROIMAGE.2005.04.038https://doi.org/10.1016/j.neuroimage.2005.04.038https://dblp.org/rec/journals/neuroimage/VigneauJMT05URL#5846185Ann M. WrightsonSemantics of Well Formed XML as a Human and Machine Readable Language: Why is some XML so difficult to read?Extreme Markup Languages®2005Conference and Workshop Papersunavailableconf/extreme/Wrightson05http://www.mulberrytech.com/Extreme/Proceedings/html/2005/Wrightson01/EML2005Wrightson01.htmlhttps://dblp.org/rec/conf/extreme/Wrightson05URL#5893437Daniel M. RussellAndreas DiebergerMinitrack Summary: Media Literacy-Reading and Writing Digital Forms.HICSS2005Conference and Workshop Papersclosedconf/hicss/RussellD0510.1109/HICSS.2005.422https://doi.org/10.1109/HICSS.2005.422https://dblp.org/rec/conf/hicss/RussellD05URL#5898843Fangjian HuangShengli ChenSchur partition for symmetric ternary forms and readable proof to inequalities.ISSAC185-1922005Conference and Workshop Papersclosedconf/issac/HuangC0510.1145/1073884.1073911https://doi.org/10.1145/1073884.1073911https://dblp.org/rec/conf/issac/HuangC05URL#5926969Simeon VeloudisA formal approach to modelling real-time critical systems.2004Books and Thesesclosedphd/ethos/Veloudis04https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.417354https://dblp.org/rec/phd/ethos/Veloudis04URL#5966229Judy GoldsmithRobert H. SloanBalázs SzörényiGyörgy TuránTheory revision with queries: Horn, read-once, and parity formulas.Artif. Intell.1562139-1762004Journal Articlesclosedjournals/ai/GoldsmithSST0410.1016/J.ARTINT.2004.01.002https://doi.org/10.1016/j.artint.2004.01.002https://dblp.org/rec/journals/ai/GoldsmithSST04URL#5967988Gustav ÖquistAnna Sågvall HeinJan YggeMikael GoldsteinEye Movement Study of Reading on a Mobile Device Using the Page and RSVP Text Presentation Formats.Mobile HCI108-1192004Conference and Workshop Papersclosedconf/mhci/OquistHYG0410.1007/978-3-540-28637-0_10https://doi.org/10.1007/978-3-540-28637-0_10https://dblp.org/rec/conf/mhci/OquistHYG04URL#6074449Julie ReadO.S. form no. 1, 9.SIGGRAPH Art Gallery722004Conference and Workshop Papersclosedconf/siggraph/Read0410.1145/1185884.1185950https://doi.org/10.1145/1185884.1185950https://dblp.org/rec/conf/siggraph/Read04URL#6086556Julie ReadO.S. form no. 2, 10.SIGGRAPH Art Gallery732004Conference and Workshop Papersclosedconf/siggraph/Read04a10.1145/1185884.1185951https://doi.org/10.1145/1185884.1185951https://dblp.org/rec/conf/siggraph/Read04aURL#6086557Greg O'KeefeTowards a Readable Formalisation of Category Theory.CATS212-2282004Conference and Workshop Papersopenjournals/entcs/OKeefe0410.1016/J.ENTCS.2003.12.014https://doi.org/10.1016/j.entcs.2003.12.014https://dblp.org/rec/journals/entcs/OKeefe04URL#6096052Harrison DekkerCan DDI Records Be Accurately Transformed to "Catalog-ready" MARC 21 Format?IASSIST Conference2004Informal and Other Publicationsunavailableconf/iassist/Dekker04https://dblp.org/rec/conf/iassist/Dekker04URL#6098420Dwight W. ReadThe Emergence of Order from Disorder as a Form of Self Organization.Comput. Math. Organ. Theory93195-2252003Journal Articlesclosedjournals/cmot/Read0310.1023/B:CMOT.0000026582.17381.42https://doi.org/10.1023/B:CMOT.0000026582.17381.42https://dblp.org/rec/journals/cmot/Read03URL#6108964Michael L. BernardBarbara S. ChaparroMelissa M. MillsCharles G. HalcombComparing the effects of text size and format on the readibility of computer-displayed Times New Roman and Arial text.Int. J. Hum. Comput. Stud.596823-8352003Journal Articlesclosedjournals/ijmms/BernardCMH0310.1016/S1071-5819(03)00121-6https://doi.org/10.1016/S1071-5819(03)00121-6https://dblp.org/rec/journals/ijmms/BernardCMH03URL#6119240Sara LjungbladTobias SkogLalya GayeAre designers ready for ubiquitous computing?: a formative study.CHI Extended Abstracts992-9932003Conference and Workshop Papersclosedconf/chi/LjungbladSG0310.1145/765891.766111https://doi.org/10.1145/765891.766111https://dblp.org/rec/conf/chi/LjungbladSG03URL#6155956Olivier GapenneAmal Ali AmmarCharles LenayKatia RoviraTACTOS: A Special Computer Interface for the Reading and Writing of 2D Forms in Blind People.HCI1270-12742003Conference and Workshop Papersunavailableconf/hci/GapenneALR03https://dblp.org/rec/conf/hci/GapenneALR03URL#6170327Hiroshi SakoMinenobu SekiNaohiro FurukawaHisashi IkedaAtsuhiro ImaizumiForm Reading based on Form-type Identification and Form-data Recognition.ICDAR926-2003Conference and Workshop Papersclosedconf/icdar/SakoSFII0310.1109/ICDAR.2003.1227795https://doi.org/10.1109/ICDAR.2003.1227795https://dblp.org/rec/conf/icdar/SakoSFII03URL#6176979Dimitri Reading-PicopoulosAlhussein A. AbouzeidA Bluetooth Scatternet Formation Algorithm for Networks with Heterogeneous Device Capabilities.ICOIN295-3052003Conference and Workshop Papersclosedconf/icoin/Reading-PicopoulosA0310.1007/978-3-540-45235-5_29https://doi.org/10.1007/978-3-540-45235-5_29https://dblp.org/rec/conf/icoin/Reading-PicopoulosA03URL#6180519Judy GoldsmithRobert H. SloanBalázs SzörényiGyörgy TuránTheory Revision with Queries: Horn, Read-once, and Parity FormulasElectron. Colloquium Comput. Complex.TR032003Informal and Other Publicationsopenjournals/eccc/ECCC-TR03-039https://eccc.weizmann.ac.il/eccc-reports/2003/TR03-039/index.htmlhttps://dblp.org/rec/journals/eccc/ECCC-TR03-039URL#6216130Markus Wenzel 0001Isabelle, Isar - a versatile environment for human readable formal proof documents.1-3172002Books and Thesesclosedphd/dnb/Wenzel02ahttp://tumb1.biblio.tu-muenchen.de/publ/diss/in/2002/wenzel.pdfhttps://dblp.org/rec/phd/dnb/Wenzel02aURL#6217752Marc K. ZimmermanKristina LundqvistNancy G. LevesonInvestigating the readability of state-based formal requirements specification languages.ICSE33-432002Conference and Workshop Papersclosedconf/icse/ZimmermanLL0210.1145/581339.581347https://doi.org/10.1145/581339.581347https://dblp.org/rec/conf/icse/ZimmermanLL02URL#6286404Catherine C. MarshallChristine RuotoloReading-in-the-small: a study of reading on small form factor devices.JCDL56-642002Conference and Workshop Papersclosedconf/jcdl/MarshallR0210.1145/544220.544230https://doi.org/10.1145/544220.544230https://dblp.org/rec/conf/jcdl/MarshallR02URL#6295273James MayfieldPaul McNameeConverting on-line bilingual dictionaries from human-readable to machine-readable form.SIGIR405-4062002Conference and Workshop Papersclosedconf/sigir/MayfieldM0210.1145/564376.564466https://doi.org/10.1145/564376.564466https://dblp.org/rec/conf/sigir/MayfieldM02URL#6305767Pekka SalonenLauri SydänheimoA 2.45 GHz digital beam-forming antenna for RFID reader.VTC Spring1766-17702002Conference and Workshop Papersclosedconf/vtc/SalonenS0210.1109/VTC.2002.1002924https://doi.org/10.1109/VTC.2002.1002924https://dblp.org/rec/conf/vtc/SalonenS02URL#6309472Stanislav ChachkovDidier BuchsFrom Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach.ACSD99-2001Conference and Workshop Papersclosedconf/acsd/ChachkovB0110.1109/CSD.2001.981768https://doi.org/10.1109/CSD.2001.981768https://dblp.org/rec/conf/acsd/ChachkovB01URL#6352255Martin SauerhoffIngo WegenerRalph WerchnerOptimal ordered binary decision diagrams for read-once formulas.Discret. Appl. Math.1031-3237-2582000Journal Articlesopenjournals/dam/SauerhoffWW0010.1016/S0166-218X(99)00210-3https://doi.org/10.1016/S0166-218X(99)00210-3https://dblp.org/rec/journals/dam/SauerhoffWW00URL#6409831Young J. RhoTamás D. GedeonAcademic Articles on the Web: Reading Patterns and Formats.Int. J. Hum. Comput. Interact.122219-2402000Journal Articlesclosedjournals/ijhci/RhoG0010.1207/S15327590IJHC1202_4https://doi.org/10.1207/S15327590IJHC1202_4https://dblp.org/rec/journals/ijhci/RhoG00URL#6415225Janice RedishReadability formulas have even more limitations than Klare discusses.ACM J. Comput. Documentation243132-1372000Journal Articlesclosedjournals/jcd/Redish0010.1145/344599.344637https://doi.org/10.1145/344599.344637https://dblp.org/rec/journals/jcd/Redish00URL#6419141Karen A. SchriverReadability formulas in the new millenium: what's the use?ACM J. Comput. Documentation243138-1402000Journal Articlesclosedjournals/jcd/Schriver0010.1145/344599.344638https://doi.org/10.1145/344599.344638https://dblp.org/rec/journals/jcd/Schriver00URL#6419143Young J. RhoTamás D. GedeonReading patterns and formats of academic articles on the Web.ACM SIGCHI Bull.32167-712000Journal Articlesclosedjournals/sigchi/RhoG0010.1145/333329.333348https://doi.org/10.1145/333329.333348https://dblp.org/rec/journals/sigchi/RhoG00URL#6428641Vincent ZammitOn the readability of machine checkable formal proofs.1999Books and Thesesclosedphd/ethos/Zammit99http://kar.kent.ac.uk/21861/https://dblp.org/rec/phd/ethos/Zammit99URL#6484496Jaan MikkJaanus EltsA Reading Comprehension Formula of Reader and Text Characteristics.J. Quant. Linguistics63214-2211999Journal Articlesclosedjournals/jql/MikkE9910.1076/JQUL.6.3.214.6158https://doi.org/10.1076/jqul.6.3.214.6158https://dblp.org/rec/journals/jql/MikkE99URL#6500890Jean-Yves RamelGuillaume BoissierHubert EmptozAutomatic Reading of Handwritten Chemical Formulas from a Structural Representation of the Image.ICDAR83-861999Conference and Workshop Papersclosedconf/icdar/RamelBE9910.1109/ICDAR.1999.791730https://doi.org/10.1109/ICDAR.1999.791730https://dblp.org/rec/conf/icdar/RamelBE99URL#6529929Markus Wenzel 0001Isar - A Generic Interpretative Approach to Readable Formal Proof Documents.TPHOLs167-1841999Conference and Workshop Papersclosedconf/tphol/Wenzel9910.1007/3-540-48256-3_12https://doi.org/10.1007/3-540-48256-3_12https://dblp.org/rec/conf/tphol/Wenzel99URL#6548935Daoud BshoutyNader H. BshoutyOn Interpolating Arithmetic Read-Once Formulas with Exponentiation.J. Comput. Syst. Sci.561112-1241998Journal Articlesopenjournals/jcss/BshoutyB9810.1006/JCSS.1997.1550https://doi.org/10.1006/jcss.1997.1550https://dblp.org/rec/journals/jcss/BshoutyB98URL#6568705Francesca CesariniMarco GoriSimone MarinaiGiovanni SodaINFORMys: A Flexible Invoice-Like Form-Reader System.IEEE Trans. Pattern Anal. Mach. Intell.207730-7451998Journal Articlesclosedjournals/pami/CesariniGMS9810.1109/34.689303https://doi.org/10.1109/34.689303https://dblp.org/rec/journals/pami/CesariniGMS98URL#6573839Nader H. BshoutyRichard CleveInterpolating Arithmetic Read-Once Formulas in Parallel.SIAM J. Comput.272401-4131998Journal Articlesclosedjournals/siamcomp/BshoutyC9810.1137/S009753979528812Xhttps://doi.org/10.1137/S009753979528812Xhttps://dblp.org/rec/journals/siamcomp/BshoutyC98URL#6575730Bill N. SchilitGene GolovchinskyMorgan N. PriceBeyond Paper: Supporting Active Reading with Free Form Digital Ink Annotations.CHI249-2561998Conference and Workshop Papersclosedconf/chi/SchilitGP9810.1145/274644.274680https://doi.org/10.1145/274644.274680https://dblp.org/rec/conf/chi/SchilitGP98URL#6586787Tod AmonGaetano BorrielloJiwen LiuMaking Complex Timing Relationships Readable: Presburger Formula Simplicication Using Don't Cares.DAC586-5901998Conference and Workshop Papersclosedconf/dac/AmonBL9810.1145/277044.277198https://doi.org/10.1145/277044.277198https://dblp.org/rec/conf/dac/AmonBL98URL#6588229Michael D. GarrisIntelligent System for Reading Handwriting on Forms.HICSS233-2421998Conference and Workshop Papersclosedconf/hicss/Garris9810.1109/HICSS.1998.656271https://doi.org/10.1109/HICSS.1998.656271https://dblp.org/rec/conf/hicss/Garris98URL#6594071Alexandra Maria Quintas Figueiredo de BarrosFormal methods for rapid software prototyping.1997Books and Thesesclosedphd/ethos/QuintasFigueiredodeBarros97https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.244903https://dblp.org/rec/phd/ethos/QuintasFigueiredodeBarros97URL#6620121Matthew SydesJames HartleyA Thorn in the Flesch: Observations on the Unreliability of Computer-Based Readability Formulae.Br. J. Educ. Technol.282143-1451997Journal Articlesclosedjournals/bjet/SydesH9710.1111/1467-8535.00019https://doi.org/10.1111/1467-8535.00019https://dblp.org/rec/journals/bjet/SydesH97URL#6622708Moshe DubinerUri ZwickAmplification by Read-Once Formulas.SIAM J. Comput.26115-381997Journal Articlesclosedjournals/siamcomp/DubinerZ9710.1137/S009753979223633Xhttps://doi.org/10.1137/S009753979223633Xhttps://dblp.org/rec/journals/siamcomp/DubinerZ97URL#6638814Thomas W. RauberValério B. de SouzaSilvana RossettoA System for Automatic Form Reading.BSDIA311-3211997Conference and Workshop Papersclosedconf/bsdia/RauberSR9710.1007/3-540-63791-5_24https://doi.org/10.1007/3-540-63791-5_24https://dblp.org/rec/conf/bsdia/RauberSR97URL#6648022Jonathan P. BowenMichael G. HincheyDavid TillZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, ProceedingsZUMLecture Notes in Computer Science1212Springer1997Editorshipconf/zum/199710.1007/BFB0027279https://doi.org/10.1007/BFb0027279https://dblp.org/rec/conf/zum/1997URL#6674770Sriganesh MadhvanathVenugopal GovindarajuSargur N. SrihariReading handwritten phrases on U.S. census forms.Int. J. Imaging Syst. Technol.74312-3191996Journal Articlesclosedjournals/imst/MadhvanathGS9610.1002/(SICI)1098-1098(199624)7:4<312::AID-IMA6>3.0.CO;2-Bhttps://doi.org/10.1002/(SICI)1098-1098(199624)7:4<312::AID-IMA6>3.0.CO;2-Bhttps://dblp.org/rec/journals/imst/MadhvanathGS96URL#6686092Robert B. JacksonDavid W. EmbleyUsing joint application design to develop readable formal specifications.Inf. Softw. Technol.3810615-6311996Journal Articlesclosedjournals/infsof/JacksonE9610.1016/0950-5849(95)01058-0https://doi.org/10.1016/0950-5849(95)01058-0https://dblp.org/rec/journals/infsof/JacksonE96URL#6686222Sargur N. SrihariYong-Chul ShinVemulapati RamanaprasadDar-Shyang LeeA system to read names and addresses on tax forms.Proc. IEEE8471038-10491996Journal Articlesclosedjournals/pieee/SrihariSRL9610.1109/5.503302https://doi.org/10.1109/5.503302https://dblp.org/rec/journals/pieee/SrihariSRL96URL#6693278Vemulapati RamanaprasadYong-Chul ShinSargur N. SrihariReading handprinted addresses on IRS tax forms.Document Recognition243-2501996Conference and Workshop Papersclosedconf/drr/RamanaprasadSS9610.1117/12.234706https://doi.org/10.1117/12.234706https://dblp.org/rec/conf/drr/RamanaprasadSS96URL#6706418Beate BolligIngo WegenerRead-once Projections and Formal Circuit Verification with Binary Decision Diagrams.STACS491-5021996Conference and Workshop Papersclosedconf/stacs/BolligW9610.1007/3-540-60922-9_40https://doi.org/10.1007/3-540-60922-9_40https://dblp.org/rec/conf/stacs/BolligW96URL#6724776Krishnan PillaipakkamnattVijay Raghavan 0002Read-Twice DNF Formulas are Properly Learnable.Inf. Comput.1222236-2671995Journal Articlesopenjournals/iandc/PillaipakkamnattR9510.1006/INCO.1995.1149https://doi.org/10.1006/inco.1995.1149https://dblp.org/rec/journals/iandc/PillaipakkamnattR95URL#6736311Nader H. BshoutyThomas R. HancockLisa HellersteinLearning Boolean Read-Once Formulas over Generalized Bases.J. Comput. Syst. Sci.503521-5421995Journal Articlesopenjournals/jcss/BshoutyHH9510.1006/JCSS.1995.1042https://doi.org/10.1006/jcss.1995.1042https://dblp.org/rec/journals/jcss/BshoutyHH95URL#6739715Miklos SanthaOn the Monte Carlo Boolean Decision Tree Complexity of Read-Once Formulae.Random Struct. Algorithms6175-881995Journal Articlesclosedjournals/rsa/Santha9510.1002/RSA.3240060108https://doi.org/10.1002/rsa.3240060108https://dblp.org/rec/journals/rsa/Santha95URL#6744949Nader H. BshoutyThomas R. HancockLisa HellersteinLearning Arithmetic Read-Once Formulas.SIAM J. Comput.244706-7351995Journal Articlesclosedjournals/siamcomp/BshoutyHH9510.1137/S009753979223664Xhttps://doi.org/10.1137/S009753979223664Xhttps://dblp.org/rec/journals/siamcomp/BshoutyHH95URL#6745378Johan HåstadAlexander A. RazborovAndrew Chi-Chih YaoOn the Shrinkage Exponent for Read-Once Formulae.Theor. Comput. Sci.1411&2269-2821995Journal Articlesopenjournals/tcs/HastadRY9510.1016/0304-3975(94)00081-Shttps://doi.org/10.1016/0304-3975(94)00081-Shttps://dblp.org/rec/journals/tcs/HastadRY95URL#6748521X. LiJ. HongA Robust Method of Extracting Rectangle Blocks for Form Reading .ICDAR760-1995Conference and Workshop Papersclosedconf/icdar/LiH9510.1109/ICDAR.1995.10006https://doi.ieeecomputersociety.org/10.1109/ICDAR.1995.10006https://dblp.org/rec/conf/icdar/LiH95URL#6760868Sriganesh MadhvanathVenu GovindarajuVemulapati RamanaprasadDar-Shyang LeeSargur N. SrihariReading handwritten US census forms.ICDAR82-851995Conference and Workshop Papersclosedconf/icdar/MadhvanathGRLS9510.1109/ICDAR.1995.598949https://doi.org/10.1109/ICDAR.1995.598949https://dblp.org/rec/conf/icdar/MadhvanathGRLS95URL#6760885Sargur N. SrihariYong-Chul ShinVemulapati RamanaprasadDar-Shyang LeeName and Address Block Reader system for tax form processing.ICDAR5-101995Conference and Workshop Papersclosedconf/icdar/SrihariSRL9510.1109/ICDAR.1995.598932https://doi.org/10.1109/ICDAR.1995.598932https://dblp.org/rec/conf/icdar/SrihariSRL95URL#6760936Beate BolligIngo WegenerRead-once Projections and Formal Circuit Verification with Binary Decision DiagramsElectron. Colloquium Comput. Complex.TR951995Informal and Other Publicationsopenjournals/eccc/ECCC-TR95-042https://eccc.weizmann.ac.il/eccc-reports/1995/TR95-042/index.htmlhttps://dblp.org/rec/journals/eccc/ECCC-TR95-042URL#6775842Xiaotian ChenLi ZhangJ. C. ReadleThe analytic formulas of the ripple-free tracking problem.Autom.305905-9081994Journal Articlesclosedjournals/automatica/ChenZR9410.1016/0005-1098(94)90181-3https://doi.org/10.1016/0005-1098(94)90181-3https://dblp.org/rec/journals/automatica/ChenZR94URL#6778938Nader H. BshoutyThomas R. HancockLisa HellersteinMarek KarpinskiAn Algorithm to Learn Read-Once Threshold Formulas, and Transformations Between Learning Models.Comput. Complex.437-611994Journal Articlesclosedjournals/cc/BshoutyHHK9410.1007/BF01205054https://doi.org/10.1007/BF01205054https://dblp.org/rec/journals/cc/BshoutyHHK94URL#6779765Moshe DubinerUri ZwickHow Do Read-Once Formulae Shrink?Comb. Probab. Comput.3455-4691994Journal Articlesclosedjournals/cpc/DubinerZ9410.1017/S0963548300001358https://doi.org/10.1017/S0963548300001358https://dblp.org/rec/journals/cpc/DubinerZ94URL#6781099Stephen ReadFormal and material consequence.J. Philos. Log.233247-2651994Journal Articlesclosedjournals/jphil/Read9410.1007/BF01048482https://doi.org/10.1007/BF01048482https://dblp.org/rec/journals/jphil/Read94URL#6787399Robert L. GlassEditor's corner My readers write: Some thoughts on formal methods.J. Syst. Softw.27271-721994Journal Articlesclosedjournals/jss/Glass94b10.1016/0164-1212(94)90021-3https://doi.org/10.1016/0164-1212(94)90021-3https://dblp.org/rec/journals/jss/Glass94bURL#6787950Robert E. SchapireLearning Probabilistic Read-once Formulas on Product Distributions.Mach. Learn.14147-811994Journal Articlesclosedjournals/ml/Schapire9410.1007/BF00993162https://doi.org/10.1007/BF00993162https://dblp.org/rec/journals/ml/Schapire94URL#6788991Daoud BshoutyNader H. BshoutyOn Learning Arithmetic Read-Once Formulas with Exponentiation (Extended Abstract).COLT311-3171994Conference and Workshop Papersclosedconf/colt/BshoutyB9410.1145/180139.181163https://doi.org/10.1145/180139.181163https://dblp.org/rec/conf/colt/BshoutyB94URL#6800894Atul K. ChhabraAnatomy of a hand-filled form reader.WACV195-2041994Conference and Workshop Papersclosedconf/wacv/Chhabra9410.1109/ACV.1994.341309https://doi.org/10.1109/ACV.1994.341309https://dblp.org/rec/conf/wacv/Chhabra94URL#6819703Mauricio KarchmerNathan LinialIlan NewmanMichael E. SaksAvi WigdersonCombinatorial characterization of read-once formulae.Discret. Math.1141-3275-2821993Journal Articlesopenjournals/dm/KarchmerLNSW9310.1016/0012-365X(93)90372-Zhttps://doi.org/10.1016/0012-365X(93)90372-Zhttps://dblp.org/rec/journals/dm/KarchmerLNSW93URL#6827067Krishnan PillaipakkamnattVijay Raghavan 0002A Linear Time Equivalene Test for Read-Twice DNF Formulas.Inf. Process. Lett.486289-2951993Journal Articlesclosedjournals/ipl/PillaipakkamnattR9310.1016/0020-0190(93)90171-5https://doi.org/10.1016/0020-0190(93)90171-5https://dblp.org/rec/journals/ipl/PillaipakkamnattR93URL#6829712Dana AngluinLisa HellersteinMarek KarpinskiLearning Read-Once Formulas with Queries.J. ACM401185-2101993Journal Articlesclosedjournals/jacm/AngluinHK9310.1145/138027.138061https://doi.org/10.1145/138027.138061https://dblp.org/rec/journals/jacm/AngluinHK93URL#6830221Sally A. GoldmanMichael J. KearnsRobert E. SchapireExact Identification of Read-Once Formulas Using Fixed Points of Amplification Functions.SIAM J. Comput.224705-7261993Journal Articlesclosedjournals/siamcomp/GoldmanKS9310.1137/0222047https://doi.org/10.1137/0222047https://dblp.org/rec/journals/siamcomp/GoldmanKS93URL#6835758Rafi HeimanIlan NewmanAvi WigdersonOn Read-Once Threshold Formulae and Their Randomized Decision in Tree Complexity.Theor. Comput. Sci.107163-761993Journal Articlesopenjournals/tcs/HeimanNW9310.1016/0304-3975(93)90254-Qhttps://doi.org/10.1016/0304-3975(93)90254-Qhttps://dblp.org/rec/journals/tcs/HeimanNW93URL#6838330Krishnan PillaipakkamnattVijay Raghavan 0002Read-twice DNF formulas are properly learnable.EuroCOLT121-1321993Conference and Workshop Papersunavailableconf/eurocolt/Pillaipakkamnatt93https://dblp.org/rec/conf/eurocolt/Pillaipakkamnatt93URL#6845174Jürgen Franke 0003Matthias F. OberländerWriting style detection by statistical combination of classifiers in form reader applications.ICDAR581-5841993Conference and Workshop Papersclosedconf/icdar/FrankeO9310.1109/ICDAR.1993.395668https://doi.org/10.1109/ICDAR.1993.395668https://dblp.org/rec/conf/icdar/FrankeO93URL#6848274Stephen W. K. LamLadan JavanbakhtSargur N. SrihariAnatomy of a form reader.ICDAR506-5091993Conference and Workshop Papersclosedconf/icdar/LamJS9310.1109/ICDAR.1993.395685https://doi.org/10.1109/ICDAR.1993.395685https://dblp.org/rec/conf/icdar/LamJS93URL#6848329R. L. ReadD. DavisonJ. E. ChappelearJohn S. GaravelliGBPARSE: a parser for the GenBank flat-file format with the new feature table format.Comput. Appl. Biosci.84407-4081992Journal Articlesclosedjournals/bioinformatics/ReadDCG9210.1093/BIOINFORMATICS/8.4.407https://doi.org/10.1093/bioinformatics/8.4.407https://dblp.org/rec/journals/bioinformatics/ReadDCG92URL#6865021Nader H. BshoutyThomas R. HancockLisa HellersteinLearning Boolean Read-Once Formulas with Arbitrary Symmetric and Constant Fan-in Gates.COLT1-151992Conference and Workshop Papersclosedconf/colt/BshoutyHH9210.1145/130385.130386https://doi.org/10.1145/130385.130386https://dblp.org/rec/conf/colt/BshoutyHH92URL#6881684Nader H. BshoutyThomas R. HancockLisa HellersteinLearning Arithmetic Read-Once FormulasSTOC370-3811992Conference and Workshop Papersclosedconf/stoc/BshoutyHH9210.1145/129712.129747https://doi.org/10.1145/129712.129747https://dblp.org/rec/conf/stoc/BshoutyHH92URL#6894565Qian-Ping GuAkira MaruokaAmplification of Bounded Depth Monotone Read-Once Boolean Formulae.SIAM J. Comput.20141-551991Journal Articlesclosedjournals/siamcomp/GuM9110.1137/0220003https://doi.org/10.1137/0220003https://dblp.org/rec/journals/siamcomp/GuM91URL#6909143Miklos SanthaOn the Monte Carlo Boolean Decision Tree Complexity of Read-Once Formulae.SCT180-1871991Conference and Workshop Papersclosedconf/coco/Santha9110.1109/SCT.1991.160259https://doi.org/10.1109/SCT.1991.160259https://dblp.org/rec/conf/coco/Santha91URL#6914782Thomas R. HancockLisa HellersteinLearning Read-Once Formulas over Fields and Extended Bases.COLT326-3361991Conference and Workshop Papersclosedconf/colt/HancockH91http://dl.acm.org/citation.cfm?id=114867https://dblp.org/rec/conf/colt/HancockH91URL#6914801Robert E. SchapireLearning Probabilistic Read-Once Formulas on Product Distributions.COLT184-1981991Conference and Workshop Papersclosedconf/colt/Schapire91http://dl.acm.org/citation.cfm?id=114854https://dblp.org/rec/conf/colt/Schapire91URL#6914816Howard AizensteinLeonard PittExact Learning of Read-Twice DNF Formulas (Extended Abstract)FOCS170-1791991Conference and Workshop Papersclosedconf/focs/AizensteinP9110.1109/SFCS.1991.185366https://doi.org/10.1109/SFCS.1991.185366https://dblp.org/rec/conf/focs/AizensteinP91URL#6917093M. G. ReadE. A. KazmierczakFormal Program Development in Modular Prolog: A Case Study.LOPSTR69-931991Conference and Workshop Papersclosedconf/lopstr/ReadK9110.1007/978-1-4471-3494-7_6https://doi.org/10.1007/978-1-4471-3494-7_6https://dblp.org/rec/conf/lopstr/ReadK91URL#6923056Rafi HeimanIlan NewmanAvi WigdersonOn Read-Once Threshold Formulae and Their Randomized Decision Tree Complexity.SCT78-871990Conference and Workshop Papersclosedconf/coco/HeimanNW9010.1109/SCT.1990.113956https://doi.org/10.1109/SCT.1990.113956https://dblp.org/rec/conf/coco/HeimanNW90URL#6943855Lisa HellersteinMarek KarpinskiLearning Read-Once Formulas Using Membership Queries.COLT146-1611989Conference and Workshop Papersclosedconf/colt/HellersteinK89http://dl.acm.org/citation.cfm?id=93352https://dblp.org/rec/conf/colt/HellersteinK89URL#6970223Lori Faith LamelFormalizing knowledge used in spectrogram reading: acoustic and perceptual evidence from stops.1988Books and Thesesclosedphd/ndltd/Lamel88https://hdl.handle.net/1721.1/14780https://dblp.org/rec/phd/ndltd/Lamel88URL#6981890Yuka TateisiYoshihiko OnoHisao YamadaA computer readability formula of Japanese texts for machine scoring.COLING649-6541988Conference and Workshop Papersopenconf/coling/TateishiOY88https://aclanthology.org/C88-2135/https://dblp.org/rec/conf/coling/TateishiOY88URL#6993743Chaffai TekfiReadability Formulas: an Overview.J. Documentation433261-2731987Journal Articlesclosedjournals/jd/Tekfi8710.1108/EB026811https://doi.org/10.1108/eb026811https://dblp.org/rec/journals/jd/Tekfi87URL#7007706J. K. ElderD. K. GreenE. M. SouthernAutomatic reading of DNA sequencing gel autoradiographs using a large format digital scanner.Nucleic Acids Res.141417-4241986Journal Articlesopenjournals/nar/ElderGS8610.1093/NAR/14.1.417https://doi.org/10.1093/nar/14.1.417https://dblp.org/rec/journals/nar/ElderGS86URL#7025834Chris MortensenReply to Burgess and to Read.Notre Dame J. Formal Log.272195-2001986Journal Articlesclosedjournals/ndjfl/Mortensen8610.1305/NDJFL/1093636611https://doi.org/10.1305/ndjfl/1093636611https://dblp.org/rec/journals/ndjfl/Mortensen86URL#7025944Eugene N. MiyaMultiprocessor/distributed processing bibliography (in machine-readable form).SIGARCH Comput. Archit. News13127-291985Journal Articlesclosedjournals/sigarch/Miya8510.1145/1296930.1296933https://doi.org/10.1145/1296930.1296933https://dblp.org/rec/journals/sigarch/Miya85URL#7042930John P. BurgessRead on relevance: a rejoinder.Notre Dame J. Formal Log.253217-2231984Journal Articlesclosedjournals/ndjfl/Burgess8410.1305/NDJFL/1093870627https://doi.org/10.1305/ndjfl/1093870627https://dblp.org/rec/journals/ndjfl/Burgess84URL#7055640Stephen ReadBurgess on relevance: a fallacy indeed.Notre Dame J. Formal Log.244473-4811983Journal Articlesclosedjournals/ndjfl/Read8310.1305/NDJFL/1093870449https://doi.org/10.1305/ndjfl/1093870449https://dblp.org/rec/journals/ndjfl/Read83URL#7067365Charles F. KielkopfThe specific reading of A-propositions in a defense of William of Sherwood.Notre Dame J. Formal Log.204735-7401979Journal Articlesclosedjournals/ndjfl/Kielkopf7910.1305/NDJFL/1093882794https://doi.org/10.1305/ndjfl/1093882794https://dblp.org/rec/journals/ndjfl/Kielkopf79URL#7102918Cathy Jo LinnAlternative formulations of the paging problem for cache with read through.ACM Southeast Regional Conference62-661979Conference and Workshop Papersclosedconf/ACMse/Linn7910.1145/503506.503517https://doi.org/10.1145/503506.503517https://dblp.org/rec/conf/ACMse/Linn79URL#7104447Kay DurkinJ. R. SmithRetrieval Forms and Formats for Environmental Objectives Employing Machine-Readable Biological Information.J. Chem. Inf. Comput. Sci.16114-161976Journal Articlesclosedjournals/jcisd/DurkinS7610.1021/CI60005A004https://doi.org/10.1021/ci60005a004https://dblp.org/rec/journals/jcisd/DurkinS76URL#7121417