specific* parameter*OKHuaying ZhangRintaro YanagiRen TogoTakahiro Ogawa 0001Miki HaseyamaParameter-efficient tuning of cross-modal retrieval for a specific database via trainable textual and visual prompts.Int. J. Multim. Inf. Retr.131142024Journal Articlesclosedjournals/ijmir/ZhangYTOH2410.1007/S13735-024-00322-Yhttps://doi.org/10.1007/s13735-024-00322-yhttps://dblp.org/rec/journals/ijmir/ZhangYTOH24URL#15034Andreas KoflerKirsten Miriam KerkeringLaura GöschelAriane FillmerChristoph KolbitschQuantitative MR Image Reconstruction Using Parameter-Specific Dictionary Learning With Adaptive Dictionary-Size and Sparsity-Level Choice.IEEE Trans. Biomed. Eng.712388-3992024Journal Articlesclosedjournals/tbe/KoflerKGFK2410.1109/TBME.2023.3300090https://doi.org/10.1109/TBME.2023.3300090https://dblp.org/rec/journals/tbe/KoflerKGFK24URL#35513Atsushi MatsuoYudai SuzukiIkko HamamuraShigeru YamashitaEnhancing VQE Convergence for Optimization Problems with Problem-Specific Parameterized Quantum Circuits.IEICE Trans. Inf. Syst.106111772-17822023Journal Articlesclosedjournals/ieicetd/MatsuoSHY2310.1587/TRANSINF.2023EDP7071https://doi.org/10.1587/transinf.2023edp7071https://dblp.org/rec/journals/ieicetd/MatsuoSHY23URL#146842Runhang ChenXiao-Yuan JingFei Wu 0004Wei ZhengYaru HaoTask-specific parameter decoupling for class incremental learning.Inf. Sci.6511197312023Journal Articlesclosedjournals/isci/ChenJWZH2310.1016/J.INS.2023.119731https://doi.org/10.1016/j.ins.2023.119731https://dblp.org/rec/journals/isci/ChenJWZH23URL#165435Yingzhi LiuXiao-Chuan CaiTwo-level additive Schwarz methods for three-dimensional unsteady Stokes flows in patient-specific arteries with parameterized one-dimensional central-line coarse preconditioner.J. Comput. Phys.4901122902023Journal Articlesclosedjournals/jcphy/LiuC2310.1016/J.JCP.2023.112290https://doi.org/10.1016/j.jcp.2023.112290https://dblp.org/rec/journals/jcphy/LiuC23URL#175197Pierfrancesco SienaMichele GirfoglioFrancesco BallarinGianluigi RozzaData-Driven Reduced Order Modelling for Patient-Specific Hemodynamics of Coronary Artery Bypass Grafts with Physical and Geometrical Parameters.J. Sci. Comput.942382023Journal Articlesclosedjournals/jscic/SienaGBR2310.1007/S10915-022-02082-5https://doi.org/10.1007/s10915-022-02082-5https://dblp.org/rec/journals/jscic/SienaGBR23URL#186866Caihong LiCong Liu 0003Yong SongZhenying LiangParameter value selection strategy for complete coverage path planning based on the Lü system to perform specific types of missions.Frontiers Inf. Technol. Electron. Eng.242231-2442023Journal Articlesclosedjournals/jzusc/LiLSL2310.1631/FITEE.2200211https://doi.org/10.1631/FITEE.2200211https://dblp.org/rec/journals/jzusc/LiLSL23URL#188555Marc KlimstraDaniel GeneauMelissa LacroixMatt JensenJoel T. GreenshieldsPatrick CormierRyan BrodieDrew CommandeurMing-Chang TsaiWheelchair Rugby Sprint Force-Velocity Modeling Using Inertial Measurement Units and Sport Specific Parameters: A Proof of Concept.Sensors231774892023Journal Articlesopenjournals/sensors/KlimstraGLJGCBCT2310.3390/S23177489https://doi.org/10.3390/s23177489https://dblp.org/rec/journals/sensors/KlimstraGLJGCBCT23URL#226733Akshay KaleY. S. SolankeSalim Harun ShekhAnirudh PradhanTransit f(Q,T) Gravity Model: Observational Constraints with Specific Hubble Parameter.Symmetry151018352023Journal Articlesopenjournals/symmetry/KaleSSP2310.3390/SYM15101835https://doi.org/10.3390/sym15101835https://dblp.org/rec/journals/symmetry/KaleSSP23URL#242248Wei-Hsun KeYu-Wen TsengWen-Huang ChengTask-Specific Pruning: Efficient Parameter Reduction in Multi-task Object Detection Models.APSIPA ASC1712-17172023Conference and Workshop Papersclosedconf/apsipa/KeTC2310.1109/APSIPAASC58517.2023.10317436https://doi.org/10.1109/APSIPAASC58517.2023.10317436https://dblp.org/rec/conf/apsipa/KeTC23URL#295299Christoph PetersPeggy RichterIndividualizing Patient Pathways through Modularization: Design and Evaluation of Healthcare-Specific Modularization Parameters.HICSS1063-10722023Conference and Workshop Papersopenconf/hicss/PetersR23https://hdl.handle.net/10125/102760https://dblp.org/rec/conf/hicss/PetersR23URL#347732André ThomaserMarc-Eric VogtThomas BäckAnna V. KononovaReal-World Optimization Benchmark from Vehicle Dynamics: Specification of Problems in 2D and Methodology for Transferring (Meta-)Optimized Algorithm Parameters.IJCCI31-402023Conference and Workshop Papersclosedconf/ijcci/ThomaserVBK2310.5220/0012158000003595https://doi.org/10.5220/0012158000003595https://dblp.org/rec/conf/ijcci/ThomaserVBK23URL#393658R. WhiteAllison ShieldsSwetadri Vasan Setlur NageshE. SmithJason M. DaviesDaniel R. BednarekStephen RudinCiprian N. IonitaV. ChivukulaInvestigating angiographic injection parameters for cerebral aneurysm hemodynamic characterization using patient-specific simulated angiograms.Medical Imaging - Biomedical Applications in Molecular, Structural, and Functional Imaging2023Conference and Workshop Papersclosedconf/mibam/WhiteSNSDBRIC2310.1117/12.2653871https://doi.org/10.1117/12.2653871https://dblp.org/rec/conf/mibam/WhiteSNSDBRIC23URL#414525Sanjana RamprasadElisa FerracaneSai P. SelvarajGenerating more faithful and consistent SOAP notes using attribute-specific parameters.MLHC631-6492023Conference and Workshop Papersopenconf/mlhc/RamprasadFS23https://proceedings.mlr.press/v219/ramprasad23a.htmlhttps://dblp.org/rec/conf/mlhc/RamprasadFS23URL#417857Edgar A. AguilarEzio BartocciCristinel MateisEleonora NesteriniDejan NickovicMining Specification Parameters for Multi-class Classification.RV86-1052023Conference and Workshop Papersclosedconf/rv/AguilarBMNN2310.1007/978-3-031-44267-4_5https://doi.org/10.1007/978-3-031-44267-4_5https://dblp.org/rec/conf/rv/AguilarBMNN23URL#435250Jianwei ZhouWenjie Wang 0001Xi HongMingqi YangChenhao Zhang 0002Performance Analysis of DOA Estimation Algorithms Using Physical Parameters in Specific Cases.SSP453-4572023Conference and Workshop Papersclosedconf/ssp/ZhouWHYZ2310.1109/SSP53291.2023.10208019https://doi.org/10.1109/SSP53291.2023.10208019https://dblp.org/rec/conf/ssp/ZhouWHYZ23URL#446621Hendrik SommerhoffShashank AgnihotriMohamed SalehMichael Moeller 0001Margret KeuperAndreas Kolb 0001Differentiable Sensor Layouts for End-to-End Learning of Task-Specific Camera Parameters.CoRRabs/2304.147362023Informal and Other Publicationsopenjournals/corr/abs-2304-1473610.48550/ARXIV.2304.14736https://doi.org/10.48550/arXiv.2304.14736https://dblp.org/rec/journals/corr/abs-2304-14736URL#491100Minheng ChenZhirun ZhangShuheng GuYouyong KongEmbedded Feature Similarity Optimization with Specific Parameter Initialization for 2D/3D Registration.CoRRabs/2305.062522023Informal and Other Publicationsopenjournals/corr/abs-2305-0625210.48550/ARXIV.2305.06252https://doi.org/10.48550/arXiv.2305.06252https://dblp.org/rec/journals/corr/abs-2305-06252URL#494208Stefania BellaviaFrancesco Della SantaAlessandra PapiniAlternate Training of Shared and Task-Specific Parameters for Multi-Task Neural Networks.CoRRabs/2312.163402023Informal and Other Publicationsopenjournals/corr/abs-2312-1634010.48550/ARXIV.2312.16340https://doi.org/10.48550/arXiv.2312.16340https://dblp.org/rec/journals/corr/abs-2312-16340URL#561393Ben SchwartzMike BishopErik NygrenService Binding and Parameter Specification via the DNS (SVCB and HTTPS Resource Records).RFC94601-472023Informal and Other Publicationsclosedjournals/rfc/rfc946010.17487/RFC9460https://doi.org/10.17487/RFC9460https://dblp.org/rec/journals/rfc/rfc9460URL#564471Le MaHui LiuXiaojia LinYuxing CaiLing ZhangWeiguo ChenGenggeng QinLesion-specific exposure parameters for breast cancer diagnosis on digital breast tomosynthesis and full-field digital mammography.Biomed. Signal Process. Control.771037522022Journal Articlesclosedjournals/bspc/MaLLCZCQ2210.1016/J.BSPC.2022.103752https://doi.org/10.1016/j.bspc.2022.103752https://dblp.org/rec/journals/bspc/MaLLCZCQ22URL#595143Rolf HennickerAlexander KnappSpecification of systems with parameterised events: An institution-independent approach.J. Log. Algebraic Methods Program.1281007912022Journal Articlesclosedjournals/jlap/HennickerK2210.1016/J.JLAMP.2022.100791https://doi.org/10.1016/j.jlamp.2022.100791https://dblp.org/rec/journals/jlap/HennickerK22URL#674920Alberto Martin-LopezSergio SeguraCarlos MüllerAntonio Ruiz-CortésSpecification and Automated Analysis of Inter-Parameter Dependencies in Web APIs.IEEE Trans. Serv. Comput.1542342-23552022Journal Articlesclosedjournals/tsc/Martin-LopezSMR2210.1109/TSC.2021.3050610https://doi.org/10.1109/TSC.2021.3050610https://dblp.org/rec/journals/tsc/Martin-LopezSMR22URL#770197Christel BaierFlorian Funke 0002Simon JantschToghrul KarimovEngel LefaucheuxJoël OuaknineDavid PurserMarkus A. WhitelandJames Worrell 0001Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications.CONCUR10:1-10:162022Conference and Workshop Papersopenconf/concur/Baier0JKLOPW02210.4230/LIPICS.CONCUR.2022.10https://doi.org/10.4230/LIPIcs.CONCUR.2022.10https://dblp.org/rec/conf/concur/Baier0JKLOPW022URL#812087Ruoxi ZhangRichard J. TreflerKedar S. NamjoshiSynthesizing Locally Symmetric Parameterized Protocols from Temporal Specifications.FMCAD235-2442022Conference and Workshop Papersclosedconf/fmcad/ZhangTN2210.34727/2022/ISBN.978-3-85448-053-2_30https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_30https://dblp.org/rec/conf/fmcad/ZhangTN22URL#834593Mohamed K. M. FadulJordan T. WillisDonald R. ReisingT. Daniel LovelessAn Analysis of Process Parameters for the Optimization of Specific Emitter Identification Under Rayleigh Fading.GIOTS277-2912022Conference and Workshop Papersclosedconf/giots/FadulWRL2210.1007/978-3-031-20936-9_22https://doi.org/10.1007/978-3-031-20936-9_22https://dblp.org/rec/conf/giots/FadulWRL22URL#837538Yuechen WangZunwen HeMingjun MaYan Zhang 0041Shanping YuWancheng ZhangUnsupervised Specific Emitter Identification Based on Feature Parameter Fusion and Adaptive Clustering.ICCC Workshops269-2742022Conference and Workshop Papersclosedconf/iccchina/WangHMZYZ2210.1109/ICCCWORKSHOPS55477.2022.9896666https://doi.org/10.1109/ICCCWorkshops55477.2022.9896666https://dblp.org/rec/conf/iccchina/WangHMZYZ22URL#853652Ruidong HanChao YangSiqi MaJianfeng Ma 0001Cong Sun 0001Juanru LiElisa BertinoControl Parameters Considered Harmful: Detecting Range Specification Bugs in Drone Configuration Modules via Learning-Guided Search.ICSE462-4732022Conference and Workshop Papersclosedconf/icse/HanYMM0LB2210.1145/3510003.3510084https://doi.org/10.1145/3510003.3510084https://dblp.org/rec/conf/icse/HanYMM0LB22URL#872819Saman A. BarakatEnrique Barba RoqueAna Belén SánchezSergio SeguraSpecification-Driven Code Generation for Inter-parameter Dependencies in Web APIs.ICSOC Workshops261-2732022Conference and Workshop Papersclosedconf/icsoc/BarakatRSS2210.1007/978-3-031-26507-5_21https://doi.org/10.1007/978-3-031-26507-5_21https://dblp.org/rec/conf/icsoc/BarakatRSS22URL#873405Brady HoustonKatrin KirchhoffExploration of Language-Specific Self-Attention Parameters for Multilingual End-to-End Speech Recognition.SLT755-7622022Conference and Workshop Papersclosedconf/slt/HoustonK2210.1109/SLT54892.2023.10022937https://doi.org/10.1109/SLT54892.2023.10022937https://dblp.org/rec/conf/slt/HoustonK22URL#934950Xiuhua WenChunjie CaoYifan LiYang SunDRSN with Simple Parameter-Free Attention Module for Specific Emitter Identification.TrustCom192-2002022Conference and Workshop Papersclosedconf/trustcom/WenCLS2210.1109/TRUSTCOM56396.2022.00036https://doi.org/10.1109/TrustCom56396.2022.00036https://dblp.org/rec/conf/trustcom/WenCLS22URL#940434Sara HouhouParameterised Verification from Formal Specifications of Information Systems. (Vérification paramétrée à partir des spécifications formelles des systèmes d'information).2021Books and Thesesclosedphd/hal/Houhou21https://tel.archives-ouvertes.fr/tel-03987466https://dblp.org/rec/phd/hal/Houhou21URL#1045618Zhaowei XuYang Li 0168Qing LeiLikun HuangDan-yun LaiShu-juan GuoHe-wei JiangHongyan HouYun-xiao ZhengXue-ning WangJiaoxiang WuMing-liang MaBo Zhang 0085Hong ChenCaizheng YuJun-biao XueHai-nan ZhangHuan QiSiqi YuMingxi LinYandi ZhangXiaosong LinZongjie YaoHuiming ShengZiyong SunFeng WangXionglin FanSheng-ce TaoCOVID-ONE-hi: The One-stop Database for COVID-19-specific Humoral Immunity and Clinical Parameters.Genom. Proteom. Bioinform.195669-6782021Journal Articlesopenjournals/gpb/XuLLHLGJHZWWMZC2110.1016/J.GPB.2021.09.006https://doi.org/10.1016/j.gpb.2021.09.006https://dblp.org/rec/journals/gpb/XuLLHLGJHZWWMZC21URL#1109512Yuki NanjoMasaaki ShiraseTakuya KusakaYasuyuki NogamiRestrictions of Integer Parameters for Generating Attractive BLS Subfamilies of Pairing-Friendly Elliptic Curves with Specific Embedding Degrees.Int. J. Netw. Comput.112383-4112021Journal Articlesopenjournals/ijnc/NanjoSKN21http://www.ijnc.org/index.php/ijnc/article/view/260https://dblp.org/rec/journals/ijnc/NanjoSKN21URL#1123846Rachael Miller NeilanGabrielle MajeticMauricio Gil-SilvaAnisha P. AdkeYarimar CarrasquilloBenedict J. KolberAgent-based modeling of the central amygdala and pain using cell-type specific physiological parameters.PLoS Comput. Biol.1762021Journal Articlesopenjournals/ploscb/NeilanMGACK2110.1371/JOURNAL.PCBI.1009097https://doi.org/10.1371/journal.pcbi.1009097https://dblp.org/rec/journals/ploscb/NeilanMGACK21URL#1175749Leonard SchmiesterYannik SchälteFrank T. BergmannTacio CambaErika DudkinJanine EgertFabian FröhlichLara FuhrmannAdrian L. HauberSvenja KemmerPolina A. LakrisenkoCarolin LoosSimon MerktWolfgang Müller 0001Dilan PathiranaElba Raimúndez-ÁlvarezLukas RefischMarcus RosenblattPaul StaporPhilipp StädterDantong WangFranz-Georg WielandJulio R. BangaJens TimmerAlejandro F. VillaverdeSven SahleClemens KreutzJan HasenauerDaniel WeindlPEtab - Interoperable specification of parameter estimation problems in systems biology.PLoS Comput. Biol.1712021Journal Articlesopenjournals/ploscb/SchmiesterSBCDE2110.1371/JOURNAL.PCBI.1008646https://doi.org/10.1371/journal.pcbi.1008646https://dblp.org/rec/journals/ploscb/SchmiesterSBCDE21URL#1175900Jie Zhou 0003Li JiaMassimo MenentiXuan LiuOptimal Estimate of Global Biome - Specific Parameter Settings to Reconstruct NDVI Time Series with the Harmonic ANalysis of Time Series (HANTS) Method.Remote. Sens.132142512021Journal Articlesopenjournals/remotesensing/ZhouJML2110.3390/RS13214251https://doi.org/10.3390/rs13214251https://dblp.org/rec/journals/remotesensing/ZhouJML21URL#1186359Ali EbnenasirAlex P. KlinkhamerTopology-Specific Synthesis of Self-Stabilizing Parameterized Systems with Constant-Space Processes.IEEE Trans. Software Eng.473614-6292021Journal Articlesclosedjournals/tse/EbnenasirK2110.1109/TSE.2019.2901485https://doi.org/10.1109/TSE.2019.2901485https://dblp.org/rec/journals/tse/EbnenasirK21URL#1233685Floris ErichNoriaki AndoUsing Sessions, Episodes and Parameterized Testing in ROSPIT for Constructing Re-Usable Test Specifications.ARSO234-2392021Conference and Workshop Papersclosedconf/arso/ErichA2110.1109/ARSO51874.2021.9542830https://doi.org/10.1109/ARSO51874.2021.9542830https://dblp.org/rec/conf/arso/ErichA21URL#1258040Sabrina M. NeumanBrian PlancherThomas BourgeatThierry TambeSrinivas DevadasVijay Janapa ReddiRobomorphic computing: a design methodology for domain-specific accelerators parameterized by robot morphology.ASPLOS674-6862021Conference and Workshop Papersclosedconf/asplos/NeumanPBTDR2110.1145/3445814.3446746https://doi.org/10.1145/3445814.3446746https://dblp.org/rec/conf/asplos/NeumanPBTDR21URL#1259174Paul PihoJane HillstonCombining Quantitative Data with Logic-Based Specifications for Parameter Inference.DataMod121-1372021Conference and Workshop Papersclosedconf/datamod/PihoH2110.1007/978-3-031-16011-0_9https://doi.org/10.1007/978-3-031-16011-0_9https://dblp.org/rec/conf/datamod/PihoH21URL#1284497Matej HajnalDavid SafránekTatjana PetrovDiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications.EPEW79-952021Conference and Workshop Papersclosedconf/epew/HajnalSP2110.1007/978-3-030-91825-5_5https://doi.org/10.1007/978-3-030-91825-5_5https://dblp.org/rec/conf/epew/HajnalSP21URL#1294531Daria BerdyuginaDenis CavallucciAutomatic Extraction of Potentially Contradictory Parameters from Specific Field Patent Texts.TFC150-1612021Conference and Workshop Papersclosedconf/ifip5-4/BerdyuginaC2110.1007/978-3-030-86614-3_12https://doi.org/10.1007/978-3-030-86614-3_12https://dblp.org/rec/conf/ifip5-4/BerdyuginaC21URL#1345012Xu ChenYanda MengYitian ZhaoRachel WilliamsSrinivasa R. VallabhaneniYalin ZhengLearning Unsupervised Parameter-Specific Affine Transformation for Medical Images Registration.MICCAI24-342021Conference and Workshop Papersclosedconf/miccai/ChenMZWVZ2110.1007/978-3-030-87202-1_3https://doi.org/10.1007/978-3-030-87202-1_3https://dblp.org/rec/conf/miccai/ChenMZWVZ21URL#1374065Benjamin J. LengerichCaleb EllingtonBryon AragamEric P. XingManolis KellisNOTMAD: Estimating Bayesian Networks with Sample-Specific Structures and Parameters.CoRRabs/2111.011042021Informal and Other Publicationsopenjournals/corr/abs-2111-01104https://arxiv.org/abs/2111.01104https://dblp.org/rec/journals/corr/abs-2111-01104URL#1485736Ruidong HanChao YangSiqi MaJianfeng Ma 0001Cong Sun 0001Juanru LiElisa BertinoControl Parameters Considered Harmful: Detecting Range Specification Bugs in Drone Configuration Modules via Learning-Guided Search.CoRRabs/2112.035112021Informal and Other Publicationsopenjournals/corr/abs-2112-03511https://arxiv.org/abs/2112.03511https://dblp.org/rec/journals/corr/abs-2112-03511URL#1493128Mengze GaoHuihui YeTae Hyung KimZijing ZhangSeohee SoBerkin BilgicAccurate parameter estimation using scan-specific unsupervised deep learning for relaxometry and MR fingerprinting.CoRRabs/2112.038152021Informal and Other Publicationsopenjournals/corr/abs-2112-03815https://arxiv.org/abs/2112.03815https://dblp.org/rec/journals/corr/abs-2112-03815URL#1493270Daniel AngelovYordan HristovSubramanian RamamoorthyFrom demonstrations to task-space specifications. Using causal analysis to extract rule parameterization from demonstrations.Auton. Agents Multi Agent Syst.342452020Journal Articlesopenjournals/aamas/AngelovHR2010.1007/S10458-020-09471-Whttps://doi.org/10.1007/s10458-020-09471-whttps://dblp.org/rec/journals/aamas/AngelovHR20URL#1508425Junkai XuFangyuan CaoShi Zhan 0001Ming LingHai HuPeter B. ShullMapping-Based Dosage of Gait Modification Selection for Multi-Parameter, Subject-Specific Gait Retraining.IEEE Access8106354-1063632020Journal Articlesopenjournals/access/XuCZLHS2010.1109/ACCESS.2020.2999473https://doi.org/10.1109/ACCESS.2020.2999473https://dblp.org/rec/journals/access/XuCZLHS20URL#1523686Qianhui SunCong ZhouJ. Geoffrey ChaseParameter updating of a patient-specific lung mechanics model for optimising mechanical ventilation.Biomed. Signal Process. Control.601020032020Journal Articlesclosedjournals/bspc/SunZC2010.1016/J.BSPC.2020.102003https://doi.org/10.1016/j.bspc.2020.102003https://dblp.org/rec/journals/bspc/SunZC20URL#1537666Nils LichtenbergPepe EulzerGabriele RomanoAndreas BrcicMatthias KarckKai LawonnRaffaele De SimoneSandy EngelhardtMitral valve flattening and parameter mapping for patient-specific valve diagnosis.Int. J. Comput. Assist. Radiol. Surg.154617-6272020Journal Articlesopenjournals/cars/LichtenbergERBK2010.1007/S11548-019-02114-Whttps://doi.org/10.1007/s11548-019-02114-whttps://dblp.org/rec/journals/cars/LichtenbergERBK20URL#1539916Gaku MorioHiroaki OzakiTerufumi MorishitaYuta KoreedaKohsuke YanaiTowards Better Non-Tree Argument Mining: Proposition-Level Biaffine Parsing with Task-Specific Parameterization.ACL3259-32662020Conference and Workshop Papersopenconf/acl/MorioOMKY2010.18653/V1/2020.ACL-MAIN.298https://doi.org/10.18653/v1/2020.acl-main.298https://dblp.org/rec/conf/acl/MorioOMKY20URL#1692969Arfeen KhalidBioMETA: A multiple specification parameter estimation system for stochastic biochemical models.BIBM158-1632020Conference and Workshop Papersclosedconf/bibm/Khalid2010.1109/BIBM49941.2020.9313311https://doi.org/10.1109/BIBM49941.2020.9313311https://dblp.org/rec/conf/bibm/Khalid20URL#1705097Eva SmijákováSamuel PastvaDavid SafránekLubos BrimParallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications.CMSB280-2972020Conference and Workshop Papersclosedconf/cmsb/SmijakovaPSB2010.1007/978-3-030-60327-4_15https://doi.org/10.1007/978-3-030-60327-4_15https://dblp.org/rec/conf/cmsb/SmijakovaPSB20URL#1717995Zi Wang 0006Benjamin Carrión SchäferMachine Leaming to Set Meta-Heuristic Specific Parameters for High-Level Synthesis Design Space Exploration.DAC1-62020Conference and Workshop Papersclosedconf/dac/WangS2010.1109/DAC18072.2020.9218674https://doi.org/10.1109/DAC18072.2020.9218674https://dblp.org/rec/conf/dac/WangS20URL#1727132Giulia ComunaleFrancesca M. SusinJonathan P. MynardA female-specific cardiovascular lumped-parameter model.EMBC2654-26572020Conference and Workshop Papersclosedconf/embc/ComunaleSM2010.1109/EMBC44109.2020.9175427https://doi.org/10.1109/EMBC44109.2020.9175427https://dblp.org/rec/conf/embc/ComunaleSM20URL#1736876Saiqin LongHao YuZhetao LiShujuan TianYun Li 0009Energy efficiency evaluation based on QoS parameter specification for cloud systems.HPCC/DSS/SmartCity27-342020Conference and Workshop Papersclosedconf/hpcc/LongYLTL2010.1109/HPCC-SMARTCITY-DSS50907.2020.00005https://doi.org/10.1109/HPCC-SmartCity-DSS50907.2020.00005https://dblp.org/rec/conf/hpcc/LongYLTL20URL#1753726Yuki NanjoMasaaki ShiraseTakuya KusakaYasuyuki NogamiSpecific Congruence Classes of Integer Parameters for Generating BLS Curves for Fast Pairings.CANDAR348-3542020Conference and Workshop Papersclosedconf/ic-nc/NanjoSKN2010.1109/CANDARW51189.2020.00073https://doi.org/10.1109/CANDARW51189.2020.00073https://dblp.org/rec/conf/ic-nc/NanjoSKN20URL#1755648Bowen LiKe Yan 0006Dar-In TaiYuankai HuoLe Lu 0001Jing Xiao 0006Adam P. HarrisonReliable Liver Fibrosis Assessment from Ultrasound Using Global Hetero-Image Fusion and View-Specific Parameterization.MICCAI606-6152020Conference and Workshop Papersclosedconf/miccai/LiYTHLXH2010.1007/978-3-030-59716-0_58https://doi.org/10.1007/978-3-030-59716-0_58https://dblp.org/rec/conf/miccai/LiYTHLXH20URL#1816821Marja FleitmannHristina UzunovaAndreas Martin StrothJan GerlachAlexander FürschkeJörg BarkhausenArpad BischofHeinz HandelsDeep-Learning-Based Feature Encoding of Clinical Parameters for Patient Specific CTA Dose Optimization.MobiHealth315-3222020Conference and Workshop Papersclosedconf/mobihealth/FleitmannUSGFBB2010.1007/978-3-030-70569-5_20https://doi.org/10.1007/978-3-030-70569-5_20https://dblp.org/rec/conf/mobihealth/FleitmannUSGFBB20URL#1820872Kaiyi JiJason D. LeeYingbin LiangH. Vincent PoorConvergence of Meta-Learning with Task-Specific Adaptation over Partial Parameters.NeurIPS2020Conference and Workshop Papersopenconf/nips/JiLLP20https://proceedings.neurips.cc/paper/2020/hash/84c578f202616448a2f80e6f56d5f16d-Abstract.htmlhttps://dblp.org/rec/conf/nips/JiLLP20URL#1824591Alberto Martin-LopezSergio SeguraCarlos MüllerAntonio Ruiz-CortésSpecification and Automated Analysis of Inter-Parameter Dependencies in Web APIs.CoRRabs/2005.033202020Informal and Other Publicationsopenjournals/corr/abs-2005-03320https://arxiv.org/abs/2005.03320https://dblp.org/rec/journals/corr/abs-2005-03320URL#1885603Kaiyi JiJason D. LeeYingbin LiangH. Vincent PoorConvergence of Meta-Learning with Task-Specific Adaptation over Partial Parameters.CoRRabs/2006.094862020Informal and Other Publicationsopenjournals/corr/abs-2006-09486https://arxiv.org/abs/2006.09486https://dblp.org/rec/journals/corr/abs-2006-09486URL#1893952Daniel AngelovYordan HristovSubramanian RamamoorthyFrom Demonstrations to Task-Space Specifications: Using Causal Analysis to Extract Rule Parameterization from Demonstrations.CoRRabs/2006.113002020Informal and Other Publicationsopenjournals/corr/abs-2006-11300https://arxiv.org/abs/2006.11300https://dblp.org/rec/journals/corr/abs-2006-11300URL#1894703Bowen LiKe Yan 0006Dar-In TaiYuankai HuoLe Lu 0001Jing Xiao 0006Adam P. HarrisonReliable Liver Fibrosis Assessment from Ultrasound using Global Hetero-Image Fusion and View-Specific Parameterization.CoRRabs/2008.033522020Informal and Other Publicationsopenjournals/corr/abs-2008-03352https://arxiv.org/abs/2008.03352https://dblp.org/rec/journals/corr/abs-2008-03352URL#1904788Andrés Vazquez SieberMónica RomeroPower Module (PM) core-specific parameters for a detailed design-oriented inductor model.CoRRabs/2008.136592020Informal and Other Publicationsopenjournals/corr/abs-2008-13659https://arxiv.org/abs/2008.13659https://dblp.org/rec/journals/corr/abs-2008-13659URL#1908812Heyrim ChoAllison L. LewisKathleen M. StoreyBayesian information-theoretic calibration of patient-specific radiotherapy sensitivity parameters for informing effective scanning protocols in cancer.CoRRabs/2009.026202020Informal and Other Publicationsopenjournals/corr/abs-2009-02620https://arxiv.org/abs/2009.02620https://dblp.org/rec/journals/corr/abs-2009-02620URL#1909807Shuman PengWeilian SongMartin EsterCombining Domain-Specific Meta-Learners in the Parameter Space for Cross-Domain Few-Shot Classification.CoRRabs/2011.001792020Informal and Other Publicationsopenjournals/corr/abs-2011-00179https://arxiv.org/abs/2011.00179https://dblp.org/rec/journals/corr/abs-2011-00179URL#1921805Pascal DolejschHelge HassJens TimmerExtensions of ℓ 1 regularization increase detection specificity for cell-type specific parameters in dynamic models.BMC Bioinform.201395:1-395:132019Journal Articlesopenjournals/bmcbi/DolejschHT1910.1186/S12859-019-2976-1https://doi.org/10.1186/s12859-019-2976-1https://dblp.org/rec/journals/bmcbi/DolejschHT19URL#1969182Rafael Rodriguez-RecheRocío Pérez de PradoSebastián García GalánJosé Enrique Muñoz ExpósitoNicolás Ruiz-ReyesSpecific Parameter-Free Global Optimization to Speed Up Setting and Avoid Factors Interactions.Comput. Informatics382265-2902019Journal Articlesopenjournals/cai/Rodriguez-Reche1910.31577/CAI_2019_2_265https://doi.org/10.31577/cai_2019_2_265https://dblp.org/rec/journals/cai/Rodriguez-Reche19URL#1971181Binbin LuChris BrunsdonMartin CharltonPaul Harris 0002A response to 'A comment on geographically weighted regression with parameter-specific distance metrics'.Int. J. Geogr. Inf. Sci.3371300-13122019Journal Articlesclosedjournals/gis/LuBCH1910.1080/13658816.2019.1585541https://doi.org/10.1080/13658816.2019.1585541https://dblp.org/rec/journals/gis/LuBCH19URL#1999050Taylor OshanLevi John WolfA. Stewart FotheringhamWei Kang 0005Ziqi LiHanchen YuA comment on geographically weighted regression with parameter-specific distance metrics.Int. J. Geogr. Inf. Sci.3371289-12992019Journal Articlesclosedjournals/gis/OshanWFKLY1910.1080/13658816.2019.1572895https://doi.org/10.1080/13658816.2019.1572895https://dblp.org/rec/journals/gis/OshanWFKLY19URL#1999064Keishi NomuraAiko MurataYuko YotsumotoShiro KumanoBayesian Item Response Model with Condition-specific Parameters for Evaluating the Differential Effects of Perspective-taking on Emotional Sharing.CogSci35372019Conference and Workshop Papersopenconf/cogsci/NomuraMYK19https://mindmodeling.org/cogsci2019/papers/0845/index.htmlhttps://dblp.org/rec/conf/cogsci/NomuraMYK19URL#2140970Adam SantorelliMartin O'HalloranPatient-Specific Debye Parameters for Human Blood.EMBC238-2422019Conference and Workshop Papersclosedconf/embc/SantorelliO1910.1109/EMBC.2019.8856388https://doi.org/10.1109/EMBC.2019.8856388https://dblp.org/rec/conf/embc/SantorelliO19URL#2157676Janusz IskraMichal PietrzakKrzysztof PrzednowekThe Use of IMU-based Human Motion Capture to Assess Kinematic Parameters of Specific Exercises Performed by 400 M Hurdlers.icSPORTS209-2162019Conference and Workshop Papersclosedconf/icsports/IskraPP1910.5220/0008363602090216https://doi.org/10.5220/0008363602090216https://dblp.org/rec/conf/icsports/IskraPP19URL#2207873David DitterTimo GerkmannInfluence of Speaker-Specific Parameters on Speech Separation Systems.INTERSPEECH4584-45882019Conference and Workshop Papersopenconf/interspeech/DitterG1910.21437/INTERSPEECH.2019-2459https://doi.org/10.21437/Interspeech.2019-2459https://dblp.org/rec/conf/interspeech/DitterG19URL#2223018Georgios FainekosBardh HoxhaSriram Sankaranarayanan 0001Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo.RV27-472019Conference and Workshop Papersclosedconf/rv/FainekosH01910.1007/978-3-030-32079-9_3https://doi.org/10.1007/978-3-030-32079-9_3https://dblp.org/rec/conf/rv/FainekosH019URL#2265858Flavio C. D. MoraesFiltering journal impact factor rank by specific parameters.CoRRabs/1902.007122019Informal and Other Publicationsopenjournals/corr/abs-1902-00712http://arxiv.org/abs/1902.00712https://dblp.org/rec/journals/corr/abs-1902-00712URL#2302533Abramo AgostiPasquale CiarlettaHarald GarckeMichael HinzeLearning patient-specific parameters for a diffuse interface glioblastoma model from neuroimaging data.CoRRabs/1912.080362019Informal and Other Publicationsopenjournals/corr/abs-1912-08036http://arxiv.org/abs/1912.08036https://dblp.org/rec/journals/corr/abs-1912-08036URL#2351421Matthew Wai Heng ChungHegler TissotEvaluating the Effectiveness of Margin Parameter when Learning Knowledge Embedding Representation for Domain-specific Multi-relational Categorized Data.CoRRabs/1912.102642019Informal and Other Publicationsopenjournals/corr/abs-1912-10264http://arxiv.org/abs/1912.10264https://dblp.org/rec/journals/corr/abs-1912-10264URL#2352132Carola BlazquezJana RiesPablo A. Miranda 0001Roberto Jesus LeónAn Instance-Specific Parameter Tuning Approach Using Fuzzy Logic for a Post-Processing Topological Map-Matching Algorithm.IEEE Intell. Transp. Syst. Mag.10487-972018Journal Articlesclosedjournals/itsm/BlazquezRML1810.1109/MITS.2018.2867527https://doi.org/10.1109/MITS.2018.2867527https://dblp.org/rec/journals/itsm/BlazquezRML18URL#2429848Binbin LuWenbai YangYong GePaul Harris 0002Improvements to the calibration of a geographically weighted regression with parameter-specific distance metrics and bandwidths.Comput. Environ. Urban Syst.7141-572018Journal Articlesclosedjournals/urban/LuYGH1810.1016/J.COMPENVURBSYS.2018.03.012https://doi.org/10.1016/j.compenvurbsys.2018.03.012https://dblp.org/rec/journals/urban/LuYGH18URL#2501708Ryosuke FujitaTakumi KawakamiChihiro IchikawaKen YamamotoHiroyuki TakaoYuichi MurayamaMasahiro MotosukeComparison of hemodynamic parameters that can predict an aneurysmal rupture: 20 patient-specific models experiment.EMBC1335-13382018Conference and Workshop Papersclosedconf/embc/FujitaKIYTMM1810.1109/EMBC.2018.8512559https://doi.org/10.1109/EMBC.2018.8512559https://dblp.org/rec/conf/embc/FujitaKIYTMM18URL#2553128Rubén RubioNarciso Martí-OlietIsabel PitaAlberto VerdejoParameterized Strategies Specification in Maude.WADT27-442018Conference and Workshop Papersclosedconf/wadt/RubioMPV1810.1007/978-3-030-23220-7_2https://doi.org/10.1007/978-3-030-23220-7_2https://dblp.org/rec/conf/wadt/RubioMPV18URL#2674748Óscar Martín 0001Alberto VerdejoNarciso Martí-OlietParameterized Programming for Compositional System Specification.WRLA@ETAPS59-752018Conference and Workshop Papersclosedconf/wrla/MartinVM1810.1007/978-3-319-99840-4_4https://doi.org/10.1007/978-3-319-99840-4_4https://dblp.org/rec/conf/wrla/MartinVM18URL#2678918Alain GiorgettiSpécification et vérification de systèmes paramétrés. (Specification and verification of parameterized systems).2017Books and Thesesclosedbooks/hal/Giorgetti17https://tel.archives-ouvertes.fr/tel-02301872https://dblp.org/rec/books/hal/Giorgetti17URL#2731958Sabrina AmmarOmar TriguiSenouci MohamedAutomated Patient-Specific seizure Detection System with Self-parameters Adaptation.Control. Intell. Syst.4542017Journal Articlesclosedjournals/cis/AmmarTM1710.2316/JOURNAL.201.2017.4.201-2853https://doi.org/10.2316/Journal.201.2017.4.201-2853https://dblp.org/rec/journals/cis/AmmarTM17URL#2755802Binbin LuChris BrunsdonMartin CharltonPaul Harris 0002Geographically weighted regression with parameter-specific distance metrics.Int. J. Geogr. Inf. Sci.315982-9982017Journal Articlesclosedjournals/gis/LuBCH1710.1080/13658816.2016.1263731https://doi.org/10.1080/13658816.2016.1263731https://dblp.org/rec/journals/gis/LuBCH17URL#2775308Jeremy ShawDacian N. DaescuSensitivity of the model error parameter specification in weak-constraint four-dimensional variational data assimilation.J. Comput. Phys.343115-1292017Journal Articlesclosedjournals/jcphy/ShawD1710.1016/J.JCP.2017.04.050https://doi.org/10.1016/j.jcp.2017.04.050https://dblp.org/rec/journals/jcphy/ShawD17URL#2802040Fan Zhang 0009Jingjing KanikTommaso MansiIngmar VoigtPuneet SharmaRazvan Ioan IonasecLakshman SubrahmanyanBen A. LinLissa SugengDavid D. YuhDorin ComaniciuJames S. DuncanTowards patient-specific modeling of mitral valve repair: 3D transesophageal echocardiography-derived parameter estimation.Medical Image Anal.35599-6092017Journal Articlesclosedjournals/mia/ZhangKMVSISLSYC1710.1016/J.MEDIA.2016.09.006https://doi.org/10.1016/j.media.2016.09.006https://dblp.org/rec/journals/mia/ZhangKMVSISLSYC17URL#2817316Jinshui ZhangZhoumiqi YuanGuanyuan ShuaiYaozhong PanXiufang ZhuSupport Vector Data Description Model to Map Specific Land Cover with Optimal Parameters Determined from a Window-Based Validation Set.Sensors1759602017Journal Articlesopenjournals/sensors/ZhangYSPZ1710.3390/S17050960https://doi.org/10.3390/s17050960https://dblp.org/rec/journals/sensors/ZhangYSPZ17URL#2837077Chongchong ZhouBibo PengWei Li 0089Shiming ZhongJikun OuRunjing ChenXinglong ZhaoEstablishment of a Site-Specific Tropospheric Model Based on Ground Meteorological Parameters over the China Region.Sensors17817222017Journal Articlesopenjournals/sensors/ZhouPLZOCZ1710.3390/S17081722https://doi.org/10.3390/s17081722https://dblp.org/rec/journals/sensors/ZhouPLZOCZ17URL#2837163Antoine FalisseSam Van RossomIlse JonkersFriedl De GrooteEMG-Driven Optimal Estimation of Subject-SPECIFIC Hill Model Muscle-Tendon Parameters of the Knee Joint Actuators.IEEE Trans. Biomed. Eng.6492253-22622017Journal Articlesclosedjournals/tbe/FalisseRJG1710.1109/TBME.2016.2630009https://doi.org/10.1109/TBME.2016.2630009https://dblp.org/rec/journals/tbe/FalisseRJG17URL#2845681Matthew WittenOwen ClanceyResidual dose deviation differential histogram analysis using evolutionary-optimized transform parameters for dose distribution warping in patient-specific quality assurance in external beam radiation therapy.CEC1697-17032017Conference and Workshop Papersclosedconf/cec/WittenC1710.1109/CEC.2017.7969506https://doi.org/10.1109/CEC.2017.7969506https://dblp.org/rec/conf/cec/WittenC17URL#2890595Karli GilletteAnton J. PrasslJason D. BayerEdward J. VigmondAurel NeicGernot PlankPatient-specific Parameterization of Left-ventricular Model of Cardiac Electrophysiology using Electrocardiographic Recordings.CinC2017Conference and Workshop Papersopenconf/cinc/GillettePBVNP1710.22489/CINC.2017.229-112https://doi.org/10.22489/CinC.2017.229-112https://dblp.org/rec/conf/cinc/GillettePBVNP17URL#2893781Biyue LiuJie ZhengRichard G. BachDalin TangInfluences of Flow Parameters on Pressure Drop in a Patient Specific Right Coronary Artery with Two Stenoses.ICCSA56-702017Conference and Workshop Papersclosedconf/iccsa/LiuZBT1710.1007/978-3-319-62392-4_5https://doi.org/10.1007/978-3-319-62392-4_5https://dblp.org/rec/conf/iccsa/LiuZBT17URL#2938486Laurent BatailleFrancisco Cavas-MartínezDaniel G. Fernández-PachecoFrancisco J. F. CañavateJorge L. AlioKeratoconus Diagnosis by Patient-Specific 3D Modelling and Geometric Parameters Analysis.ICIC176-1872017Conference and Workshop Papersclosedconf/icic/BatailleCFCA1710.1007/978-3-319-63312-1_16https://doi.org/10.1007/978-3-319-63312-1_16https://dblp.org/rec/conf/icic/BatailleCFCA17URL#2943543Sebastian TemichDamian GrzechcaKrzysztof TokarzApplication of Fuzzy Set Expert System for Testing Selected Specification Parameters of Voltage-Controlled Oscillator.ICMMI330-3402017Conference and Workshop Papersclosedconf/icmmi/TemichGT1710.1007/978-3-319-67792-7_33https://doi.org/10.1007/978-3-319-67792-7_33https://dblp.org/rec/conf/icmmi/TemichGT17URL#2949412Jan TünnermannSteffen GrüneBärbel MertschingSelection and Execution of Simple Actions via Visual Attention and Direct Parameter Specification.ICVS404-4142017Conference and Workshop Papersclosedconf/icvs/TunnermannGM1710.1007/978-3-319-68345-4_36https://doi.org/10.1007/978-3-319-68345-4_36https://dblp.org/rec/conf/icvs/TunnermannGM17URL#2957609Shuang ZhuJinshui ZhangGuanyuan ShuaiZhoumiqi YuanSupport vector domain description model to map specific land cover with optimal parameters determined from window-based validation set.IGARSS4774-47772017Conference and Workshop Papersclosedconf/igarss/ZhuZSY1710.1109/IGARSS.2017.8128069https://doi.org/10.1109/IGARSS.2017.8128069https://dblp.org/rec/conf/igarss/ZhuZSY17URL#2963272Tianyao LiShigeru TsubotaKoji HironoGherkin Syntax Extension for Parameterization of Network Switch Configurations in Test Specification.ISSRE Workshops12-142017Conference and Workshop Papersclosedconf/issre/LiTH1710.1109/ISSREW.2017.30https://doi.org/10.1109/ISSREW.2017.30https://dblp.org/rec/conf/issre/LiTH17URL#2978770Michael KnauffShawn PlesnickJonathan BerardinoNathan SpiveyUsing two port network parameters for equipment specification to ensure stability and limit power ripple in DC power systems.MWSCAS1386-13892017Conference and Workshop Papersclosedconf/mwscas/KnauffPBS1710.1109/MWSCAS.2017.8053190https://doi.org/10.1109/MWSCAS.2017.8053190https://dblp.org/rec/conf/mwscas/KnauffPBS17URL#2994652Bernhard SteiertJens TimmerClemens KreutzL1 regularization facilitates detection of cell type-specific parameters in dynamical systems.Bioinform.3217718-7262016Journal Articlesclosedjournals/bioinformatics/SteiertTK1610.1093/BIOINFORMATICS/BTW461https://doi.org/10.1093/bioinformatics/btw461https://dblp.org/rec/journals/bioinformatics/SteiertTK16URL#3087933Brian QuinnZak DauerNeeta Pandit-TaskarHeiko SchöderLawrence T. DauerRadiation dosimetry of 18F-FDG PET/CT: incorporating exam-specific parameters in dose estimates.BMC Medical Imaging16412016Journal Articlesopenjournals/bmcmi/QuinnDPSD1610.1186/S12880-016-0143-Yhttps://doi.org/10.1186/s12880-016-0143-yhttps://dblp.org/rec/journals/bmcmi/QuinnDPSD16URL#3089056Duarte OomPedro C. SilvaIoannis BistinasJosé M. C. PereiraHighlighting Biome-Specific Sensitivity of Fire Size Distributions to Time-Gap Parameter Using a New Algorithm for Fire Event Individuation.Remote. Sens.886632016Journal Articlesopenjournals/remotesensing/OomSBP1610.3390/RS8080663https://doi.org/10.3390/rs8080663https://dblp.org/rec/journals/remotesensing/OomSBP16URL#3164729Hisao IshibuchiKen DoiYusuke NojimaCharacteristics of many-objective test problems and penalty parameter specification in MOEA/D.CEC1115-11222016Conference and Workshop Papersclosedconf/cec/IshibuchiDN1610.1109/CEC.2016.7743913https://doi.org/10.1109/CEC.2016.7743913https://dblp.org/rec/conf/cec/IshibuchiDN16URL#3218532K. S. ManjunathaS. ManjunathDevanur S. GuruWriter Specific Parameters for Online Signature Verification.FICTA407-4162016Conference and Workshop Papersclosedconf/ficta/ManjunathaMG1610.1007/978-981-10-3156-4_42https://doi.org/10.1007/978-981-10-3156-4_42https://dblp.org/rec/conf/ficta/ManjunathaMG16URL#3245889Jorge Plata-ChavesMohamad Hasan BahariMarc MoonenAlexander BertrandUnsupervised diffusion-based LMS for node-specific parameter estimation over wireless sensor networks.ICASSP4159-41632016Conference and Workshop Papersclosedconf/icassp/Plata-ChavesBMB1610.1109/ICASSP.2016.7472460https://doi.org/10.1109/ICASSP.2016.7472460https://dblp.org/rec/conf/icassp/Plata-ChavesBMB16URL#3261159Matthew JenningsLoredana G. MarcuEva BezakPET-Specific Parameters and Radiotracers in Theoretical Tumour Modelling.Comput. Math. Methods Medicine2015415923:1-415923:112015Journal Articlesopenjournals/cmmm/JenningsMB1510.1155/2015/415923https://doi.org/10.1155/2015/415923https://dblp.org/rec/journals/cmmm/JenningsMB15URL#3411454Doron DrusinskyEarly detection of evolving system failures and temporal conflicts using parameterized formal specifications and bounded constraint-solving.Innov. Syst. Softw. Eng.112143-1522015Journal Articlesclosedjournals/isse/Drusinsky1510.1007/S11334-015-0244-8https://doi.org/10.1007/s11334-015-0244-8https://dblp.org/rec/journals/isse/Drusinsky15URL#3444716Lucian Mihai ItuPuneet SharmaTiziano PasseriniAli KamenConstantin SuciuDorin ComaniciuA parameter estimation framework for patient-specific hemodynamic computations.J. Comput. Phys.281316-3332015Journal Articlesclosedjournals/jcphy/ItuSPKSC1510.1016/J.JCP.2014.10.034https://doi.org/10.1016/j.jcp.2014.10.034https://dblp.org/rec/journals/jcphy/ItuSPKSC15URL#3450003Lei Zhou 0003Yijun LiRocky ZhouYu Qiao 0001Jie Yang 0002Yonghui GaoOn feature-specific parameter learning in conditional random field-based approach for interactive object segmentation.J. Electronic Imaging2420230122015Journal Articlesclosedjournals/jei/ZhouLZ00G1510.1117/1.JEI.24.2.023012https://doi.org/10.1117/1.JEI.24.2.023012https://dblp.org/rec/journals/jei/ZhouLZ00G15URL#3451821Damiano RotondoFatiha NejjariVicenç PuigDesign of parameter-scheduled state-feedback controllers using shifting specifications.J. Frankl. Inst.352193-1162015Journal Articlesclosedjournals/jfi/RotondoNP1510.1016/J.JFRANKLIN.2014.10.015https://doi.org/10.1016/j.jfranklin.2014.10.015https://dblp.org/rec/journals/jfi/RotondoNP15URL#3452346Francisco Javier Mesas-CarrascosaJorge Torres-SánchezInmaculada Clavero RumbaoAlfonso García-FerrerJosé Manuel Peñá-BarragánIrene Borra-SerranoFrancisca López-GranadosAssessing Optimal Flight Parameters for Generating Accurate Multispectral Orthomosaicks by UAV to Support Site-Specific Crop Management.Remote. Sens.71012793-128142015Journal Articlesopenjournals/remotesensing/Mesas-Carrascosa1510.3390/RS71012793https://doi.org/10.3390/rs71012793https://dblp.org/rec/journals/remotesensing/Mesas-Carrascosa15URL#3475144Jorge Plata-ChavesNikola BogdanovicKostas BerberidisDistributed Diffusion-Based LMS for Node-Specific Adaptive Parameter Estimation.IEEE Trans. Signal Process.63133448-34602015Journal Articlesclosedjournals/tsp/Plata-ChavesBB1510.1109/TSP.2015.2423256https://doi.org/10.1109/TSP.2015.2423256https://dblp.org/rec/journals/tsp/Plata-ChavesBB15URL#3499463Jiajun DingXiongxiong HeBo JiangYiming Wu 0001Parameter Identification for Area-Specific Resistance of Direct Methanol Fuel Cell Using Cuckoo Search Algorithm.BIC-TA107-1122015Conference and Workshop Papersclosedconf/bic-ta/DingHJW1510.1007/978-3-662-49014-3_10https://doi.org/10.1007/978-3-662-49014-3_10https://dblp.org/rec/conf/bic-ta/DingHJW15URL#3519895Changqi ZhuDongsheng WuLanlan PingWenli LiangThe effects of head parameters on the specific absorption rate in the human head.BMEI423-4272015Conference and Workshop Papersclosedconf/bmei/ZhuWPL1510.1109/BMEI.2015.7401542https://doi.org/10.1109/BMEI.2015.7401542https://dblp.org/rec/conf/bmei/ZhuWPL15URL#3522126Thao Dang 0001Tommaso DreossiCarla PiazzaParameter Synthesis Through Temporal Logic Specifications.FM213-2302015Conference and Workshop Papersclosedconf/fm/DangDP1510.1007/978-3-319-19249-9_14https://doi.org/10.1007/978-3-319-19249-9_14https://dblp.org/rec/conf/fm/DangDP15URL#3555821Jorge Plata-ChavesMohamad Hasan BahariMarc MoonenAlexander BertrandUnsupervised diffusion-based LMS for node-specific parameter estimation over wireless sensor networks.CoRRabs/1510.009842015Informal and Other Publicationsopenjournals/corr/Plata-ChavesBMB15http://arxiv.org/abs/1510.00984https://dblp.org/rec/journals/corr/Plata-ChavesBMB15URL#3683374Rita de Kassia de Almeida GarciaPrediction of crystallization parameters of fat blends for specific use by artificial neural network.2014Books and Thesesclosedphd/ndltd/Garcia14ahttp://repositorio.unicamp.br/jspui/handle/REPOSIP/256081https://dblp.org/rec/phd/ndltd/Garcia14aURL#3696542Byoung-Keon ParkJi-Hoon BaeBon-Yeol KooJay J. KimFunction-based morphing methodology for parameterizing patient-specific models of human proximal femurs.Comput. Aided Des.5131-382014Journal Articlesclosedjournals/cad/ParkBKK1410.1016/J.CAD.2014.02.003https://doi.org/10.1016/j.cad.2014.02.003https://dblp.org/rec/journals/cad/ParkBKK14URL#3707828Umberto EspositoMichele GiuglianoEleni VasilakiAdaptation of short-term plasticity parameters via error-driven learning may explain the correlation between activity-dependent synaptic properties, connectivity motifs and target specificity.Frontiers Comput. Neurosci.81752014Journal Articlesopenjournals/ficn/EspositoGV1510.3389/FNCOM.2014.00175https://doi.org/10.3389/fncom.2014.00175https://dblp.org/rec/journals/ficn/EspositoGV15URL#3726196Muhammad Faiz MismanMohd Saberi MohamadSafaai DerisSiti Zaiton Mohd HashimA group-specific tuning parameter for hybrid of SVM and SCAD in identification of informative genes and pathways.Int. J. Data Min. Bioinform.102146-1612014Journal Articlesclosedjournals/ijdmb/MismanMDH1410.1504/IJDMB.2014.064013https://doi.org/10.1504/IJDMB.2014.064013https://dblp.org/rec/journals/ijdmb/MismanMDH14URL#3736043Xiuchun XiaoJian-Huang LaiChang-Dong WangParameter estimation of the exponentially damped sinusoids signal using a specific neural network.Neurocomputing143331-3382014Journal Articlesclosedjournals/ijon/XiaoLW1410.1016/J.NEUCOM.2014.05.059https://doi.org/10.1016/j.neucom.2014.05.059https://dblp.org/rec/journals/ijon/XiaoLW14URL#3740556Ionut TutuParameterisation for abstract structured specifications.Theor. Comput. Sci.517102-1422014Journal Articlesopenjournals/tcs/Tutu1410.1016/J.TCS.2013.11.008https://doi.org/10.1016/j.tcs.2013.11.008https://dblp.org/rec/journals/tcs/Tutu14URL#3789823Nikola BogdanovicJorge Plata-ChavesKostas BerberidisDistributed Incremental-Based LMS for Node-Specific Adaptive Parameter Estimation.IEEE Trans. Signal Process.62205382-53972014Journal Articlesclosedjournals/tsp/BogdanovicPB1410.1109/TSP.2014.2350965https://doi.org/10.1109/TSP.2014.2350965https://dblp.org/rec/journals/tsp/BogdanovicPB14URL#3798895Divjyot SethiMuralidhar TalupurSharad MalikUsing Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom.ATVA330-3472014Conference and Workshop Papersclosedconf/atva/SethiTM1410.1007/978-3-319-11936-6_24https://doi.org/10.1007/978-3-319-11936-6_24https://dblp.org/rec/conf/atva/SethiTM14URL#3816276Sean ClarksonJon WheatBen W. HellerSimon ChoppinAssessing the Suitability of the Microsoft Kinect for Calculating Person Specific Body Segment Parameters.ECCV Workshops372-3852014Conference and Workshop Papersopenconf/eccv/ClarksonWHC1410.1007/978-3-319-16178-5_26https://doi.org/10.1007/978-3-319-16178-5_26https://dblp.org/rec/conf/eccv/ClarksonWHC14URL#3841590Nikola BogdanovicJorge Plata-ChavesKostas BerberidisDistributed diffusion-based LMS for node-specific parameter estimation over adaptive networks.ICASSP7223-72272014Conference and Workshop Papersclosedconf/icassp/BogdanovicPB1410.1109/ICASSP.2014.6855002https://doi.org/10.1109/ICASSP.2014.6855002https://dblp.org/rec/conf/icassp/BogdanovicPB14URL#3868124Faraz Hussain 0001Arvind RamanathanLaura L. PullumSumit Kumar Jha 0001EpiSpec: A formal specification language for parameterized agent-based models against epidemiological ground truth.ICCABS1-62014Conference and Workshop Papersclosedconf/iccabs/HussainRPJ1410.1109/ICCABS.2014.6863924https://doi.org/10.1109/ICCABS.2014.6863924https://dblp.org/rec/conf/iccabs/HussainRPJ14URL#3871417Sjur GjeraldJohan HakeSimone PezzutoJoakim SundnesSamuel T. WallPatient-Specific Parameter Estimation for a Transversely Isotropic Active Strain Model of Left Ventricular Mechanics.STACOM93-1042014Conference and Workshop Papersclosedconf/miccai/GjeraldHPSW1410.1007/978-3-319-14678-2_10https://doi.org/10.1007/978-3-319-14678-2_10https://dblp.org/rec/conf/miccai/GjeraldHPSW14URL#3916883Rocchina GuariniFederica SegaliniGiovanni MastronardiClaudia NotarnicolaFrancesco VuoloLuigi DiniCOSMO-SkyMed potentiality to identify crop-specific behavior and monitor phenological parameters.SAR92430P2014Conference and Workshop Papersclosedconf/sar/GuariniSMNVD1410.1117/12.2067287https://doi.org/10.1117/12.2067287https://dblp.org/rec/conf/sar/GuariniSMNVD14URL#3933842Nikola BogdanovicJorge Plata-ChavesKostas BerberidisDistributed Diffusion-based LMS for Node-Specific Parameter Estimation over Adaptive Networks.CoRRabs/1407.00152014Informal and Other Publicationsopenjournals/corr/BogdanovicPB14http://arxiv.org/abs/1407.0015https://dblp.org/rec/journals/corr/BogdanovicPB14URL#3968361Jorge Plata-ChavesNikola BogdanovicKostas BerberidisDistributed Diffusion-Based LMS for Node-Specific Adaptive Parameter Estimation.CoRRabs/1408.33542014Informal and Other Publicationsopenjournals/corr/Plata-ChavesBB14http://arxiv.org/abs/1408.3354https://dblp.org/rec/journals/corr/Plata-ChavesBB14URL#3977685Divjyot SethiMuralidhar TalupurSharad MalikUsing Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom.CoRRabs/1407.74682014Informal and Other Publicationsopenjournals/corr/SethiTM14http://arxiv.org/abs/1407.7468https://dblp.org/rec/journals/corr/SethiTM14URL#3979003Heinz KoepplMarc HafnerJames LuMapping behavioral specifications to model parameters in synthetic biology.BMC Bioinform.14S-10S92013Journal Articlesopenjournals/bmcbi/KoepplHL1310.1186/1471-2105-14-S10-S9https://doi.org/10.1186/1471-2105-14-S10-S9https://dblp.org/rec/journals/bmcbi/KoepplHL13URL#3998250José Cé JúniorAchilles Colombo PrudêncioRoberto WillrichMadalena Pereira da SilvaA semantic approach for QoS specification of communication services using QoE parameters.J. Braz. Comput. Soc.193207-2212013Journal Articlesopenjournals/jbcs/JuniorPWS1310.1007/S13173-012-0094-2https://doi.org/10.1007/s13173-012-0094-2https://dblp.org/rec/journals/jbcs/JuniorPWS13URL#4039349Mahmoud IsmailWolfgang A. WallMichael W. GeeAdjoint-based inverse analysis of windkessel parameters for patient-specific vascular models.J. Comput. Phys.244113-1302013Journal Articlesclosedjournals/jcphy/IsmailWG1310.1016/J.JCP.2012.10.028https://doi.org/10.1016/j.jcp.2012.10.028https://dblp.org/rec/journals/jcphy/IsmailWG13URL#4042246Anastasia LykouIoannis NtzoufrasOn Bayesian lasso variable selection and the specification of the shrinkage parameter.Stat. Comput.233361-3902013Journal Articlesclosedjournals/sac/LykouN1310.1007/S11222-012-9316-Xhttps://doi.org/10.1007/s11222-012-9316-xhttps://dblp.org/rec/journals/sac/LykouN13URL#4065979Orna GrumbergOrna KupfermanSarai SheinvaldAn Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications.ATVA397-4112013Conference and Workshop Papersclosedconf/atva/GrumbergKS1310.1007/978-3-319-02444-8_28https://doi.org/10.1007/978-3-319-02444-8_28https://dblp.org/rec/conf/atva/GrumbergKS13URL#4104201Alma AdemovicMustafa MusicImpact of local meteorological parameters on wind characteristics in specific recording conditions - High altitude wind speed in transient climate zones.EUROCON1094-11012013Conference and Workshop Papersclosedconf/eurocon/AdemovicM1310.1109/EUROCON.2013.6625117https://doi.org/10.1109/EUROCON.2013.6625117https://dblp.org/rec/conf/eurocon/AdemovicM13URL#4136334Jorge Plata-ChavesNikola BogdanovicKostas BerberidisDistributed incremental-based rls for node-specific parameter estimation over adaptive networks.EUSIPCO1-52013Conference and Workshop Papersclosedconf/eusipco/Plata-ChavesBB13https://ieeexplore.ieee.org/document/6811778/https://dblp.org/rec/conf/eusipco/Plata-ChavesBB13URL#4137599Nikola BogdanovicJorge Plata-ChavesKostas BerberidisDistributed incremental-based LMS for node-specific parameter estimation over adaptive networks.ICASSP5425-54292013Conference and Workshop Papersclosedconf/icassp/BogdanovicPB1310.1109/ICASSP.2013.6638700https://doi.org/10.1109/ICASSP.2013.6638700https://dblp.org/rec/conf/icassp/BogdanovicPB13URL#4154584Ken'ichi MorookaShuji SonokiRyo KurazumeTsutomu HasegawaA Method for Estimating Patient Specific Parameters for Simulation of Tissue Deformation by Finite Element Analysis.IWINAC113-1202013Conference and Workshop Papersclosedconf/iwinac/MorookaSKH1310.1007/978-3-642-38637-4_12https://doi.org/10.1007/978-3-642-38637-4_12https://dblp.org/rec/conf/iwinac/MorookaSKH13URL#4196840Myungeun LeeJong Hyo KimMoon Ho ParkYe-Hoon KimYeong Kyeong SeongJunghoe KimBaek Hwan ChoSinsang YuKyoung-Gu WooTumor Subtype-Specific Parameter Optimization in a Hybrid Active Surface Model for Hepatic Tumor Segmentation of 3D Liver Ultrasonograms.Abdominal Imaging251-2582013Conference and Workshop Papersclosedconf/miccai/LeeKPKSKCYW1310.1007/978-3-642-41083-3_28https://doi.org/10.1007/978-3-642-41083-3_28https://dblp.org/rec/conf/miccai/LeeKPKSKCYW13URL#4202472Sanjay PantBenoit FabrègesJean-Frédéric GerbeauIrene E. Vignon-ClementelA Multiscale Filtering-Based Parameter Estimation Method for Patient-Specific Coarctation Simulations in Rest and Exercise.STACOM102-1092013Conference and Workshop Papersclosedconf/miccai/PantFGV1310.1007/978-3-642-54268-8_12https://doi.org/10.1007/978-3-642-54268-8_12https://dblp.org/rec/conf/miccai/PantFGV13URL#4202563Muhammad Faiz MismanWeng Howe ChanMohd Saberi MohamadSafaai DerisA Hybrid of SVM and SCAD with Group-Specific Tuning Parameters in Identification of Informative Genes and Biological Pathways.PAKDD Workshops258-2692013Conference and Workshop Papersclosedconf/pakdd/MismanCMD1310.1007/978-3-642-40319-4_23https://doi.org/10.1007/978-3-642-40319-4_23https://dblp.org/rec/conf/pakdd/MismanCMD13URL#4212476Jennifer SchöfflerAnne KramerNorbert KastnerParameterized Generation of Process Variants and Project-Specific Operating Procedures from Business Process Models.SPICE261-2662013Conference and Workshop Papersclosedconf/spice/SchofflerKK1310.1007/978-3-642-38833-0_27https://doi.org/10.1007/978-3-642-38833-0_27https://dblp.org/rec/conf/spice/SchofflerKK13URL#4229342Adnan I. Elberjaoui YakzanRoger J. GreenEvor L. HinesApplication-Specific Genetic Algorithm Targeting the Complexity of Parameter Selection in LOS Outdoors Optical Wireless Channel.UKSim167-1712013Conference and Workshop Papersclosedconf/uksim/YakzanGH1310.1109/UKSIM.2013.30https://doi.org/10.1109/UKSim.2013.30https://dblp.org/rec/conf/uksim/YakzanGH13URL#4233595M. Michael GromihaK. HariniR. SowdhaminiKazuhiko FukuiRelationship between amino acid properties and functional parameters in olfactory receptors and discrimination of mutants with enhanced specificity.BMC Bioinform.13S-7S12012Journal Articlesopenjournals/bmcbi/GromihaHSF1210.1186/1471-2105-13-S7-S1https://doi.org/10.1186/1471-2105-13-S7-S1https://dblp.org/rec/journals/bmcbi/GromihaHSF12URL#4279083J. Martin van ZylRobert SchallParameter Estimation Through Weighted Least-Squares Rank Regression with Specific Reference to the Weibull and Gumbel Distributions.Commun. Stat. Simul. Comput.4191654-16662012Journal Articlesclosedjournals/cssc/ZylS1210.1080/03610918.2011.611315https://doi.org/10.1080/03610918.2011.611315https://dblp.org/rec/journals/cssc/ZylS12URL#4289218Jana RiesPatrick BeullensDavid SaltInstance-specific multi-objective parameter tuning based on fuzzy logic.Eur. J. Oper. Res.2182305-3152012Journal Articlesclosedjournals/eor/RiesBS1210.1016/J.EJOR.2011.10.024https://doi.org/10.1016/j.ejor.2011.10.024https://dblp.org/rec/journals/eor/RiesBS12URL#4294599Alessio FarcomeniQuantile regression for longitudinal data based on latent Markov subject-specific parameters.Stat. Comput.221141-1522012Journal Articlesclosedjournals/sac/Farcomeni1210.1007/S11222-010-9213-0https://doi.org/10.1007/s11222-010-9213-0https://dblp.org/rec/journals/sac/Farcomeni12URL#4343450Ondrej StrakaJindrich DuníkMiroslav SimandlScaling parameter in unscented transform: Analysis and specification.ACC5550-55552012Conference and Workshop Papersclosedconf/amcc/StrakaDS1210.1109/ACC.2012.6315031https://doi.org/10.1109/ACC.2012.6315031https://dblp.org/rec/conf/amcc/StrakaDS12URL#4373611Orna GrumbergOrna KupfermanSarai SheinvaldModel Checking Systems and Specifications with Parameterized Atomic Propositions.ATVA122-1362012Conference and Workshop Papersclosedconf/atva/GrumbergKS1210.1007/978-3-642-33386-6_11https://doi.org/10.1007/978-3-642-33386-6_11https://dblp.org/rec/conf/atva/GrumbergKS12URL#4378532Matthew WittenOwen ClanceyAn evolutionary algorithm for optimization of affine transformation parameters for dose matrix warping in patient-specific quality assurance of radiotherapy dose distributions.IEEE Congress on Evolutionary Computation1-42012Conference and Workshop Papersclosedconf/cec/WittenC1210.1109/CEC.2012.6256139https://doi.org/10.1109/CEC.2012.6256139https://dblp.org/rec/conf/cec/WittenC12URL#4387057Zhanghui KuangDirk SchniedersHao Zhou 0010Kwan-Yee Kenneth WongYizhou YuBo PengLearning image-specific parameters for interactive segmentation.CVPR590-5972012Conference and Workshop Papersclosedconf/cvpr/KuangSZWYP1210.1109/CVPR.2012.6247725https://doi.org/10.1109/CVPR.2012.6247725https://dblp.org/rec/conf/cvpr/KuangSZWYP12URL#4397235Muhammad Faiz MismanMohd Saberi MohamadSafaai DerisRaja Nurul Mardhiah Raja MohamadSiti Zaiton Mohd HashimSigeru Omatu 0001A Hybrid of SVM and SCAD with Group-Specific Tuning Parameter for Pathway-Based Microarray Analysis.DCAI387-3942012Conference and Workshop Papersclosedconf/dcai/MismanMDMHO1210.1007/978-3-642-28765-7_46https://doi.org/10.1007/978-3-642-28765-7_46https://dblp.org/rec/conf/dcai/MismanMDMHO12URL#4399015James H. HillUsing Parameterized Attributes to Improve Testing Capabilities with Domain-Specific Modeling Languages.ECBS43-512012Conference and Workshop Papersclosedconf/ecbs/Hill1210.1109/ECBS.2012.47https://doi.org/10.1109/ECBS.2012.47https://dblp.org/rec/conf/ecbs/Hill12URL#4401736Faraz Hussain 0001Raj Gautam DuttaSumit Kumar Jha 0001Christopher James LangmeadSusmit JhaParameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing.ICCABS1-62012Conference and Workshop Papersclosedconf/iccabs/HussainDJLJ1210.1109/ICCABS.2012.6182640https://doi.org/10.1109/ICCABS.2012.6182640https://dblp.org/rec/conf/iccabs/HussainDJLJ12URL#4425731Juergen EndresThomas RedelMarkus KowarschikJana HutterJoachim HorneggerArnd DoerflerVirtual angiography using CFD simulations based on patient-specific parameter optimization.ISBI1200-12032012Conference and Workshop Papersclosedconf/isbi/EndresRKHHD1210.1109/ISBI.2012.6235776https://doi.org/10.1109/ISBI.2012.6235776https://dblp.org/rec/conf/isbi/EndresRKHHD12URL#4454360Ahmad Awada 0002Bernhard WegmannIngo VieringAnja Klein 0002Cell-pair specific optimization of the inter-RAT handover parameters in SON.PIMRC1168-11732012Conference and Workshop Papersclosedconf/pimrc/0002WV01210.1109/PIMRC.2012.6362522https://doi.org/10.1109/PIMRC.2012.6362522https://dblp.org/rec/conf/pimrc/0002WV012URL#4480373Kyungmin SuKay A. RobbinsSubject specific parameter selection for the EEG classifier using common spatial patterns.RACS68-692012Conference and Workshop Papersclosedconf/racs/SuR1210.1145/2401603.2401617https://doi.org/10.1145/2401603.2401617https://dblp.org/rec/conf/racs/SuR12URL#4482506Ioan HiticasDaniel MarinLiviu MihonEmanuel ResigaDanila IorgaParameters control of a spark ignition engine through programmable ECU for specific regimes.SACI399-4042012Conference and Workshop Papersclosedconf/saci/HiticasMMRI1210.1109/SACI.2012.6250037https://doi.org/10.1109/SACI.2012.6250037https://dblp.org/rec/conf/saci/HiticasMMRI12URL#4485655Ad FeeldersLinda C. van der GaagLearning Bayesian Network Parameters with Prior Knowledge about Context-Specific Qualitative InfluencesCoRRabs/1207.13872012Informal and Other Publicationsopenjournals/corr/abs-1207-1387http://arxiv.org/abs/1207.1387https://dblp.org/rec/journals/corr/abs-1207-1387URL#4521787Bogdan DraganskiJohn AshburnerChloe HuttonFerath KherifRichard S. FrackowiakGunther HelmsNikolaus WeiskopfRegional specificity of MRI contrast parameter changes in normal ageing revealed by voxel-based quantification (VBQ).NeuroImage5541423-14342011Journal Articlesopenjournals/neuroimage/DraganskiAHKFHW1110.1016/J.NEUROIMAGE.2011.01.052https://doi.org/10.1016/j.neuroimage.2011.01.052https://dblp.org/rec/journals/neuroimage/DraganskiAHKFHW11URL#4596522Eckart UhlmannBernd DuchsteinAustenitic stainless steel for separating safeguards: development of an FEA-model for the simulation of impact tests in reference to material specific parameters.Prod. Eng.53307-3132011Journal Articlesclosedjournals/peng/UhlmannD1110.1007/S11740-011-0307-0https://doi.org/10.1007/s11740-011-0307-0https://dblp.org/rec/journals/peng/UhlmannD11URL#4599164Galen BrambleyNeale Leslie FultonSpecific Length Trajectories Optimised for Maximum Acceleration using Conic Parameterised Clothoids.IEEE Trans. Aerosp. Electron. Syst.4742627-26362011Journal Articlesclosedjournals/taes/BrambleyF1110.1109/TAES.2011.6034655https://doi.org/10.1109/TAES.2011.6034655https://dblp.org/rec/journals/taes/BrambleyF11URL#4608863Aurélien RizkGrégory BattFrançois FagesSylvain SolimanContinuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures.Theor. Comput. Sci.412262827-28392011Journal Articlesopenjournals/tcs/RizkBFS1110.1016/J.TCS.2010.05.008https://doi.org/10.1016/j.tcs.2010.05.008https://dblp.org/rec/journals/tcs/RizkBFS11URL#4612343Bart A. De VriesAndries J. ScholtenP. F. E. RommersM. StoutjesdijkDirk B. M. KlaassenWafer-specific centering of compact transistor model parameters for advanced technologies and models.CICC1-42011Conference and Workshop Papersclosedconf/cicc/VriesSRSK1110.1109/CICC.2011.6055344https://doi.org/10.1109/CICC.2011.6055344https://dblp.org/rec/conf/cicc/VriesSRSK11URL#4644521Josef HalámekPavel JurákVlastimil VondraIvo ViscorMartin PlachyPavel LeinveberExcitation specificity of repolarization parameters.EMBC961-9642011Conference and Workshop Papersclosedconf/embc/HalamekJVVPL1110.1109/IEMBS.2011.6090217https://doi.org/10.1109/IEMBS.2011.6090217https://dblp.org/rec/conf/embc/HalamekJVVPL11URL#4659882Sehun KookAritra BanerjeeAbhijit ChatterjeeSignature Testing and Diagnosis of High Precision S? ADC Dynamic Specifications Using Model Parameter Estimation.ETS33-382011Conference and Workshop Papersclosedconf/ets/KookBC1110.1109/ETS.2011.53https://doi.org/10.1109/ETS.2011.53https://dblp.org/rec/conf/ets/KookBC11URL#4664422Jiahe XiPablo LamataWenzhe ShiSteven A. NiedererSander LandDaniel RueckertSimon G. DuckettAnoop ShettyC. Aldo RinaldiReza RazaviNic SmithAn Automatic Data Assimilation Framework for Patient-Specific Myocardial Mechanical Parameter Estimation.FIMH392-4002011Conference and Workshop Papersclosedconf/fimh/XiLSNLRDSRRS1110.1007/978-3-642-21028-0_50https://doi.org/10.1007/978-3-642-21028-0_50https://dblp.org/rec/conf/fimh/XiLSNLRDSRRS11URL#4668672Alban GaignardJohan MontagnatBacem WaliBernard GibaudCharacterizing Semantic Service Parameters with Role Concepts to Infer Domain-specific Knowledge at Runtime.KEOD59-702011Conference and Workshop Papersunavailableconf/ic3k/GaignardMWG11https://dblp.org/rec/conf/ic3k/GaignardMWG11URL#4679467Trieu Phat LuuHup Boon LimKay Hiang HoonXingda QuK. H. LowSubject-specific gait parameters prediction for robotic gait rehabilitation via generalized regression neural network.ROBIO914-9192011Conference and Workshop Papersclosedconf/robio/LuuLHQL1110.1109/ROBIO.2011.6181404https://doi.org/10.1109/ROBIO.2011.6181404https://dblp.org/rec/conf/robio/LuuLHQL11URL#4738638Vijay S. KumarTahsin M. KurçVarun RatnakarJihie KimGaurang MehtaKaran VahiYoon-Ju Lee NelsonP. SadayappanEwa DeelmanYolanda GilMary W. HallJoel H. SaltzParameterized specification, configuration and execution of data-intensive scientific workflows.Clust. Comput.133315-3332010Journal Articlesclosedjournals/cluster/KumarKRKMVNSDGa1010.1007/S10586-010-0133-8https://doi.org/10.1007/s10586-010-0133-8https://dblp.org/rec/journals/cluster/KumarKRKMVNSDGa10URL#4796928Jörg Ackermann 0002Klaus TurowskiDomain Level Specification of Parameterisable Business Components.Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model.5238-562010Journal Articlesopenjournals/emisaij/AckermannT1010.18417/EMISA.5.2.3https://doi.org/10.18417/emisa.5.2.3https://dblp.org/rec/journals/emisaij/AckermannT10URL#4805954Kelvin K. LeungMatthew J. ClarksonJonathan W. BartlettShona CleggClifford R. Jack Jr.Michael W. WeinerNick C. FoxSébastien OurselinRobust atrophy rate measurement in Alzheimer's disease using multi-site serial MRI: Tissue-specific intensity normalization and parameter selection.NeuroImage502516-5232010Journal Articlesclosedjournals/neuroimage/LeungCBCJWFO1010.1016/J.NEUROIMAGE.2009.12.059https://doi.org/10.1016/j.neuroimage.2009.12.059https://dblp.org/rec/journals/neuroimage/LeungCBCJWFO10URL#4843977Matthias BruggerFerdinand KemethLocating rate adaptation by evaluating movement specific parameters.AHS127-1332010Conference and Workshop Papersclosedconf/ahs/BruggerK1010.1109/AHS.2010.5546271https://doi.org/10.1109/AHS.2010.5546271https://dblp.org/rec/conf/ahs/BruggerK10URL#4873200Lynn T.-N. WangNuo XuSeng Oon TohAndrew R. NeureutherTsu-Jae King LiuBorivoje NikolicParameter-specific ring oscillator for process monitoring at the 45 nm node.CICC1-42010Conference and Workshop Papersclosedconf/cicc/WangXTNLN1010.1109/CICC.2010.5617624https://doi.org/10.1109/CICC.2010.5617624https://dblp.org/rec/conf/cicc/WangXTNLN10URL#4888301Anastasios KaragounisBasilis KotsosNikolaos AssimakisEyrikleia PetropoulouAthanasios PolyzosThe Impact of Process Faults on Specific Parameters of a 1.9GHz CMOS Mixer.ISVLSI405-4092010Conference and Workshop Papersclosedconf/isvlsi/KaragounisKAPP1010.1109/ISVLSI.2010.55https://doi.org/10.1109/ISVLSI.2010.55https://dblp.org/rec/conf/isvlsi/KaragounisKAPP10URL#4953083Lillian Y. ChangNancy S. PollardEstimating subject-specific parameters for modeling hand joints.SIGGRAPH Talks2010Conference and Workshop Papersclosedconf/siggraph/ChangP1010.1145/1837026.1837051https://doi.org/10.1145/1837026.1837051https://dblp.org/rec/conf/siggraph/ChangP10URL#4978564Hai WanXiaoyu SongMing Gu 0001Parameterized Specification and Verification of PLC Systems in Coq.TASE179-1822010Conference and Workshop Papersclosedconf/tase/WanSG1010.1109/TASE.2010.12https://doi.org/10.1109/TASE.2010.12https://dblp.org/rec/conf/tase/WanSG10URL#4984589Alireza Nasiri AvanakiIterative exact global histogram specification and SSIM gradient ascent: a proof of convergence, step size and parameter selectionCoRRabs/1002.33442010Informal and Other Publicationsopenjournals/corr/abs-1002-3344http://arxiv.org/abs/1002.3344https://dblp.org/rec/journals/corr/abs-1002-3344URL#5002238Nils ArrigoJarek W. TuszynskiDorothee EhrichTommy GerdesNadir AlvarezEvaluating the impact of scoring parameters on the structure of intra-specific genetic variation using RawGeno, an R package for automating AFLP scoring.BMC Bioinform.102009Journal Articlesopenjournals/bmcbi/ArrigoTEGA0910.1186/1471-2105-10-33https://doi.org/10.1186/1471-2105-10-33https://dblp.org/rec/journals/bmcbi/ArrigoTEGA09URL#5020995Junbai WangMorigenBayesPI - a new model to study protein-DNA interactions: a case study of condition-specific protein binding parameters for Yeast transcription factors.BMC Bioinform.103452009Journal Articlesopenjournals/bmcbi/WangM0910.1186/1471-2105-10-345https://doi.org/10.1186/1471-2105-10-345https://dblp.org/rec/journals/bmcbi/WangM09URL#5021617B. Yegnanarayana 0001R. Kumaraswamy 0001K. Sri Rama MurtyDetermining Mixing Parameters From Multispeaker Data Using Speech-Specific Information.IEEE Trans. Speech Audio Process.1761196-12072009Journal Articlesclosedjournals/taslp/YegnanarayanaSM0910.1109/TASL.2009.2016230https://doi.org/10.1109/TASL.2009.2016230https://dblp.org/rec/journals/taslp/YegnanarayanaSM09URL#5081185Lucas C. McNinchHashem AshrafiuonKenneth R. MuskeOptimal specification of sliding mode control parameters for unmanned surface vessel systems.ACC2350-23552009Conference and Workshop Papersclosedconf/amcc/McNinchAM0910.1109/ACC.2009.5160064https://doi.org/10.1109/ACC.2009.5160064https://dblp.org/rec/conf/amcc/McNinchAM09URL#5099593José Meseguer 0001Order-Sorted Parameterization and Induction.Semantics and Algebraic Specification43-802009Conference and Workshop Papersclosedconf/birthday/Meseguer0910.1007/978-3-642-04164-8_4https://doi.org/10.1007/978-3-642-04164-8_4https://dblp.org/rec/conf/birthday/Meseguer09URL#5105276Daigo MuramatsuTakashi Matsumoto 0001Online Signature Verification Algorithm with a User-Specific Global-Parameter Fusion Model.SMC486-4912009Conference and Workshop Papersclosedconf/smc/MuramatsuM0910.1109/ICSMC.2009.5346689https://doi.org/10.1109/ICSMC.2009.5346689https://dblp.org/rec/conf/smc/MuramatsuM09URL#5203190Heiko KoziolekFranz BroschParameter Dependencies for Component Reliability Specifications.FESCA@ETAPS23-382009Conference and Workshop Papersopenjournals/entcs/KoziolekB0910.1016/J.ENTCS.2009.09.026https://doi.org/10.1016/j.entcs.2009.09.026https://dblp.org/rec/journals/entcs/KoziolekB09URL#5214967Vasiliy SaikoSpecific Characteristics of Applying the Paired Comparison Method for Parameterization of Consumer WantsCoRRabs/0906.08512009Informal and Other Publicationsopenjournals/corr/abs-0906-0851http://arxiv.org/abs/0906.0851https://dblp.org/rec/journals/corr/abs-0906-0851URL#5229170Heiko KoziolekParameter dependencies for reusable performance specifications of software components.1-3182008Books and Thesesclosedphd/de/Koziolek2008http://docserver.bis.uni-oldenburg.de/publikationen/dissertation/2008/kozpar08/kozpar08.htmlhttps://dblp.org/rec/phd/de/Koziolek2008URL#5235041Yanyan ShengBayesian IRT models with general and specific traits: parameter estimation and model comparisons.1-872008Books and Thesesunavailablephd/us/Sheng2008https://d-nb.info/991217144https://dblp.org/rec/phd/us/Sheng2008URL#5237550Kriangsak SivasondhivatJun-ichi TakadaIchirou IdaYasuyuki OishiExperimental Analysis and Site-Specific Modeling of Channel Parameters at Mobile Station in an Urban Macrocellular Environment.IEICE Trans. Commun.91-B41132-11442008Journal Articlesclosedjournals/ieicet/SivasondhivatTIO0810.1093/IETCOM/E91-B.4.1132https://doi.org/10.1093/ietcom/e91-b.4.1132https://dblp.org/rec/journals/ieicet/SivasondhivatTIO08URL#5263056Zhaoqiang Ge 0001Guangtian ZhuDexing FengHopf bifurcation and chaos of financial system on condition of specific combination of parameters.J. Syst. Sci. Complex.212260-2662008Journal Articlesclosedjournals/jossac/GeZF0810.1007/S11424-008-9109-8https://doi.org/10.1007/s11424-008-9109-8https://dblp.org/rec/journals/jossac/GeZF08URL#5279893Junhai MaYaqiang CuiLixia LiuHopf bifurcation and chaos of financial system on condition of specific combination of parameters.J. Syst. Sci. Complex.212250-2592008Journal Articlesclosedjournals/jossac/MaCL0810.1007/S11424-008-9108-8https://doi.org/10.1007/s11424-008-9108-8https://dblp.org/rec/journals/jossac/MaCL08URL#5279909Anil K. GhoshKernel Discriminant Analysis Using Case-Specific Smoothing Parameters.IEEE Trans. Syst. Man Cybern. Part B3851413-14182008Journal Articlesclosedjournals/tsmc/Ghosh0810.1109/TSMCB.2008.925754https://doi.org/10.1109/TSMCB.2008.925754https://dblp.org/rec/journals/tsmc/Ghosh08URL#5305875Ankit Agrawal 0001Xiaoqiu Huang 0001Pairwise DNA Alignment with Sequence Specific Transition-Transversion Ratio Using Multiple Parameter Sets.ICIT89-932008Conference and Workshop Papersclosedconf/cit/AgrawalH0810.1109/ICIT.2008.62https://doi.org/10.1109/ICIT.2008.62https://dblp.org/rec/conf/cit/AgrawalH08URL#5329715Boyan YordanovCalin BeltaParameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications.HSCC542-5552008Conference and Workshop Papersclosedconf/hybrid/YordanovB0810.1007/978-3-540-78929-1_39https://doi.org/10.1007/978-3-540-78929-1_39https://dblp.org/rec/conf/hybrid/YordanovB08URL#5353335Andy J. WellingsM. S. KimProcessing group parameters in the real-time specification for Java.JTRES3-92008Conference and Workshop Papersclosedconf/jtres/WellingsK0810.1145/1434790.1434792https://doi.org/10.1145/1434790.1434792https://dblp.org/rec/conf/jtres/WellingsK08URL#5390687Jean-Bernard BluntzerSamuel GomesJean-Claude SagotFrom Functional Analysis to Specific Parameters: Description of Knowledge Based CAD Model.SITIS665-6712008Conference and Workshop Papersclosedconf/sitis/BluntzerGS0810.1109/SITIS.2008.41https://doi.org/10.1109/SITIS.2008.41https://dblp.org/rec/conf/sitis/BluntzerGS08URL#5412325Ismael TejeroÀngels González-LafontJosé M. LluchA PM3/d specific reaction parameterization for iron atom in the hydrogen abstraction catalyzed by soybean lipoxygenase-1.J. Comput. Chem.286997-10052007Journal Articlesclosedjournals/jcc/TejeroGL0710.1002/JCC.20609https://doi.org/10.1002/jcc.20609https://dblp.org/rec/journals/jcc/TejeroGL07URL#5476192Tamara Kinzer-UrsemJennifer J. LindermanBoth Ligand- and Cell-Specific Parameters Control Ligand Agonism in a Kinetic Model of G Protein-Coupled Receptor Signaling.PLoS Comput. Biol.312007Journal Articlesopenjournals/ploscb/Kinzer-UrsemL0710.1371/JOURNAL.PCBI.0030006https://doi.org/10.1371/journal.pcbi.0030006https://dblp.org/rec/journals/ploscb/Kinzer-UrsemL07URL#5490341Jeffrey A. ReinboltRaphael T. HaftkaTerese L. ChmielewskiBenjamin J. FreglyAre Patient-Specific Joint and Inertial Parameters Necessary for Accurate Inverse Dynamics Analyses of Gait?IEEE Trans. Biomed. Eng.545782-7932007Journal Articlesclosedjournals/tbe/ReinboltHCF0710.1109/TBME.2006.889187https://doi.org/10.1109/TBME.2006.889187https://dblp.org/rec/journals/tbe/ReinboltHCF07URL#5498144Sangjin HongJinseok LeeAkshay AthalyePetar M. DjuricWe-Duke ChoDesign Methodology for Domain Specific Parameterizable Particle Filter Realizations.IEEE Trans. Circuits Syst. I Regul. Pap.54-I91987-20002007Journal Articlesclosedjournals/tcas/HongLADC0710.1109/TCSI.2007.904690https://doi.org/10.1109/TCSI.2007.904690https://dblp.org/rec/journals/tcas/HongLADC07URL#5498746David B. CedrésEmilio HernándezParameter Sweeping Methodology for Integration in a Workflow Specification Framework.ICCSA360-3712007Conference and Workshop Papersclosedconf/iccsa/CedresH0710.1007/978-3-540-74472-6_29https://doi.org/10.1007/978-3-540-74472-6_29https://dblp.org/rec/conf/iccsa/CedresH07URL#5555778Jean-François CouchotFrédéric DadeauGuiding the Correction of Parameterized Specifications.IFM176-1942007Conference and Workshop Papersclosedconf/ifm/CouchotD0710.1007/978-3-540-73210-5_10https://doi.org/10.1007/978-3-540-73210-5_10https://dblp.org/rec/conf/ifm/CouchotD07URL#5569145Johannes FaberSwen JacobsViorica Sofronie-StokkermansVerifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters.IFM233-2522007Conference and Workshop Papersclosedconf/ifm/FaberJS0710.1007/978-3-540-73210-5_13https://doi.org/10.1007/978-3-540-73210-5_13https://dblp.org/rec/conf/ifm/FaberJS07URL#5569148Christopher E. HannJ. Geoffrey ChaseGeoffrey M. ShawIntegral-based identification of patient specific parameters for a minimal cardiac model.Comput. Methods Programs Biomed.812181-1922006Journal Articlesclosedjournals/cmpb/HannCS0610.1016/J.CMPB.2005.11.004https://doi.org/10.1016/j.cmpb.2005.11.004https://dblp.org/rec/journals/cmpb/HannCS06URL#5640226Jenny WirandiAlexander LauberWlodek KuleszaProblem of applying modern uncertainty concepts to the measurement of instrument-specific parameters.IEEE Trans. Instrum. Meas.553700-7052006Journal Articlesclosedjournals/tim/WirandiLK0610.1109/TIM.2006.873797https://doi.org/10.1109/TIM.2006.873797https://dblp.org/rec/journals/tim/WirandiLK06URL#5686639Susan LyseckyFrank VahidAutomated Application-Specific Tuning of Parameterized Sensor-Based Embedded System Building Blocks.UbiComp507-5242006Conference and Workshop Papersclosedconf/huc/LyseckyV06a10.1007/11853565_30https://doi.org/10.1007/11853565_30https://dblp.org/rec/conf/huc/LyseckyV06aURL#5732108David SheldonRakesh Kumar 0002Roman L. LyseckyFrank VahidDean M. TullsenApplication-specific customization of parameterized FPGA soft-core processors.ICCAD261-2682006Conference and Workshop Papersclosedconf/iccad/SheldonKLVT0610.1145/1233501.1233553https://doi.org/10.1145/1233501.1233553https://dblp.org/rec/conf/iccad/SheldonKLVT06URL#5738330Sylvain HocquetJean-Yves RamelHubert CardotEstimation of User Specific Parameters in One-class Problems.ICPR449-4522006Conference and Workshop Papersclosedconf/icpr/HocquetRC0610.1109/ICPR.2006.506https://doi.org/10.1109/ICPR.2006.506https://dblp.org/rec/conf/icpr/HocquetRC06URL#5747139Sylvain HocquetJean-Yves RamelHubert CardotUser Specific Parameters in One-class Problems: the Case of Keystroke Dynamics.PRIS127-1352006Conference and Workshop Papersunavailableconf/pris/HocquetRC06https://dblp.org/rec/conf/pris/HocquetRC06URL#5778799Heiko KoziolekJens HappeSteffen Becker 0001Parameter Dependent Performance Specifications of Software Components.QoSA163-1792006Conference and Workshop Papersclosedconf/qosa/KoziolekHB0610.1007/11921998_15https://doi.org/10.1007/11921998_15https://dblp.org/rec/conf/qosa/KoziolekHB06URL#5779500Kenneth B. KentRyan B. ProudfootYong ZhaoParameter-Specific FPGA Implementation of Edit-Distance Calculation.IEEE International Workshop on Rapid System Prototyping209-2152006Conference and Workshop Papersclosedconf/rsp/KentPZ0610.1109/RSP.2006.26https://doi.org/10.1109/RSP.2006.26https://dblp.org/rec/conf/rsp/KentPZ06URL#5780691Jörg Ackermann 0002Klaus TurowskiOn the Specification of Parameterizable Business Components.TEAA25-392006Conference and Workshop Papersclosedconf/teaa/AckermannT0610.1007/978-3-540-75912-6_3https://doi.org/10.1007/978-3-540-75912-6_3https://dblp.org/rec/conf/teaa/AckermannT06URL#5789912Christa M. ChewarUser-Centered Critical Parameters for Design Specification, Evaluation, and Reuse: Modeling Goals and Effects of Notification Systems.2005Books and Thesesclosedphd/basesearch/Chewar05https://hdl.handle.net/10919/28325https://dblp.org/rec/phd/basesearch/Chewar05URL#5804651Radu ProdanThomas FahringerZEN: a directive based experiment specification language for performance and parameter studies of parallel scientific applications.Int. J. High Perform. Comput. Netw.32/3103-1212005Journal Articlesclosedjournals/ijhpcn/ProdanF0510.1504/IJHPCN.2005.008031https://doi.org/10.1504/IJHPCN.2005.008031https://dblp.org/rec/journals/ijhpcn/ProdanF05URL#5828575Iris AntesChristian MerkwirthThomas LengauerPOEM: Parameter Optimization Using Ensemble Methods: Application to Target Specific Scoring Functions.J. Chem. Inf. Model.4551291-13022005Journal Articlesclosedjournals/jcisd/AntesML0510.1021/CI050036Ghttps://doi.org/10.1021/ci050036ghttps://dblp.org/rec/journals/jcisd/AntesML05URL#5834689Sandrine DuflosValérie GayBrigitte KervellaEric HorlaitIntegration of Security Parameters in the Service Level Specification to Improve QoS Management of Secure Distributed Multimedia Services.AINA145-1482005Conference and Workshop Papersclosedconf/aina/DuflosGKH0510.1109/AINA.2005.222https://doi.org/10.1109/AINA.2005.222https://dblp.org/rec/conf/aina/DuflosGKH05URL#5865780Kenneth B. KentZhao YongJacqueline E. RiceTroy RondaInstance-Specific Versus Parameter-Specific Circuit Generation.ERSA243-2462005Conference and Workshop Papersunavailableconf/ersa/KentYRR05https://dblp.org/rec/conf/ersa/KentYRR05URL#5888801Prassanna SithambaramAlberto MaciiEnrico MaciiExploring the impact of architectural parameters on energy efficiency of application-specific block-enabled SRAMs.ACM Great Lakes Symposium on VLSI377-3802005Conference and Workshop Papersclosedconf/glvlsi/SithambaramMM0510.1145/1057661.1057751https://doi.org/10.1145/1057661.1057751https://dblp.org/rec/conf/glvlsi/SithambaramMM05URL#5895624Toshiyuki ImamuraKen NaonoAutomatic Tuning Technique Exploring Within the Hardware-Specific Constrained Parameters.LSSC413-4212005Conference and Workshop Papersclosedconf/lssc/ImamuraN0510.1007/11666806_47https://doi.org/10.1007/11666806_47https://dblp.org/rec/conf/lssc/ImamuraN05URL#5930157Eugene GoldbergEquivalence Checking of Circuits with Parameterized Specifications.SAT107-1212005Conference and Workshop Papersclosedconf/sat/Goldberg0510.1007/11499107_8https://doi.org/10.1007/11499107_8https://dblp.org/rec/conf/sat/Goldberg05URL#5941389A. J. FeeldersLinda C. van der GaagLearning Bayesian Network Parameters with Prior Knowledge about Context-Specific Qualitative Influences.UAI193-2002005Conference and Workshop Papersunavailableconf/uai/FeeldersG05https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=1236&proceeding_id=21https://dblp.org/rec/conf/uai/FeeldersG05URL#5948406Isabelle AttaliTomás BarrosEric MadelaineParameterized Specification and Verification of the Chilean Electronic Invoices System.SCCC14-252004Conference and Workshop Papersclosedconf/sccc/AttaliBM0410.1109/QEST.2004.16https://doi.org/10.1109/QEST.2004.16https://dblp.org/rec/conf/sccc/AttaliBM04URL#6082723Berahne ZewdieC. Robert CarlsonEssential Parameters for Component Specification.Software Engineering Research and Practice753-7592004Conference and Workshop Papersunavailableconf/serp/ZewdieC04https://dblp.org/rec/conf/serp/ZewdieC04URL#6083665Cassie WilsonMaurice R. YeadonMark A. KingDetermining Subject-Specific Parameter Values Using an Angle-Driven Simulation Model.Int. J. Comput. Sci. Sport212003Journal Articlesunavailablejournals/ijcssport/WilsonYK03https://dblp.org/rec/journals/ijcssport/WilsonYK03URL#6116391Giancarlo GinamiDanilo CanaliDavide FattoriGiuliana GirardiPetronilla ScintuLaura TarchiniDomenica TricaricoSurvey on flash technology with specific attention to the critical process parameters related to manufacturing.Proc. IEEE914503-5222003Journal Articlesclosedjournals/pieee/GinamiCFGSTT0310.1109/JPROC.2003.811703https://doi.org/10.1109/JPROC.2003.811703https://dblp.org/rec/journals/pieee/GinamiCFGSTT03URL#6131382Bodo KraftManfred NaglParameterized Specification of Conceptual Design Tools in Civil Engineering.AGTIVE90-1052003Conference and Workshop Papersclosedconf/agtive/KraftN0310.1007/978-3-540-25959-6_7https://doi.org/10.1007/978-3-540-25959-6_7https://dblp.org/rec/conf/agtive/KraftN03URL#6145645Chia-Chu ChiangTowards Software Reuse Using Parameterized Formal Specifications.IRI519-5262003Conference and Workshop Papersclosedconf/iri/Chiang0310.1109/IRI.2003.1251460https://doi.org/10.1109/IRI.2003.1251460https://dblp.org/rec/conf/iri/Chiang03URL#6186019Alan Burns 0001Andy J. WellingsProcessing Group Parameters in the Real-Time Specification for Java.OTM Workshops360-3702003Conference and Workshop Papersclosedconf/otm/BurnsW0310.1007/978-3-540-39962-9_44https://doi.org/10.1007/978-3-540-39962-9_44https://dblp.org/rec/conf/otm/BurnsW03URL#6197086Yunheung PaekMinwook AhnSoonho LeeCase Studies on Automatic Extraction of Target-Specific Architectural Parameters in Complex Code Generation.SCOPES151-1662003Conference and Workshop Papersclosedconf/scopes/PaekAL0310.1007/978-3-540-39920-9_11https://doi.org/10.1007/978-3-540-39920-9_11https://dblp.org/rec/conf/scopes/PaekAL03URL#6201969Nicolas FerréXavier AssfeldJean-Louis RivailSpecific force field parameters determination for the hybrid ab initio QM/MM LSCF method.J. Comput. Chem.236610-6242002Journal Articlesclosedjournals/jcc/FerreAR0210.1002/JCC.10058https://doi.org/10.1002/jcc.10058https://dblp.org/rec/journals/jcc/FerreAR02URL#6235043Viktor S. LapinskiiMargarida F. JacomeGustavo de VecianaApplication-specific clustered VLIW datapaths: early exploration on a parameterized design space.IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.218889-9032002Journal Articlesclosedjournals/tcad/LapinskiiJV0210.1109/TCAD.2002.800451https://doi.org/10.1109/TCAD.2002.800451https://dblp.org/rec/journals/tcad/LapinskiiJV02URL#6249078Michael MuhlerMapping MIMO control system specifications into parameter space.CDC4527-45322002Conference and Workshop Papersclosedconf/cdc/Muhler0210.1109/CDC.2002.1185087https://doi.org/10.1109/CDC.2002.1185087https://dblp.org/rec/conf/cdc/Muhler02URL#6261655Drago ZagarFormal specification of QoS parameters by hierarchical tree structure.ICECS1075-10782002Conference and Workshop Papersclosedconf/icecsys/Zagar0210.1109/ICECS.2002.1046437https://doi.org/10.1109/ICECS.2002.1046437https://dblp.org/rec/conf/icecsys/Zagar02URL#6280214Anil K. Jain 0001Arun Abraham RossLearning user-specific parameters in a multibiometric system.ICIP57-602002Conference and Workshop Papersclosedconf/icip/JainR0210.1109/ICIP.2002.1037958https://doi.org/10.1109/ICIP.2002.1037958https://dblp.org/rec/conf/icip/JainR02URL#6280887Shou-Kang WeiFay HuangReinhard KletteSpecification of Image Acquisition Parameters for Stereo Panoramas.ICPR603-6062002Conference and Workshop Papersclosedconf/icpr/WeiHK0210.1109/ICPR.2002.1048011https://doi.org/10.1109/ICPR.2002.1048011https://dblp.org/rec/conf/icpr/WeiHK02URL#6283543Yngve LamoMichal WalickiComposition and refinement of specifications and parameterised data types.Refine199-2162002Conference and Workshop Papersopenjournals/entcs/LamoW0210.1016/S1571-0661(05)80493-1https://doi.org/10.1016/S1571-0661(05)80493-1https://dblp.org/rec/journals/entcs/LamoW02URL#6309831Eva MillánJ. M. AgostaJosé-Luis Pérez-de-la-CruzBayesian student modeling and the problem of parameter specification.Br. J. Educ. Technol.322171-1812001Journal Articlesclosedjournals/bjet/MillanAP0110.1111/1467-8535.00188https://doi.org/10.1111/1467-8535.00188https://dblp.org/rec/journals/bjet/MillanAP01URL#6317519Aaron F. BobickAmos Y. JohnsonGait Recognition Using Static, Activity-Specific Parameters.CVPR423-4302001Conference and Workshop Papersclosedconf/cvpr/BobickJ0110.1109/CVPR.2001.990506https://doi.org/10.1109/CVPR.2001.990506https://dblp.org/rec/conf/cvpr/BobickJ01URL#6358397Francesco CocimanoAlfio LombardoGiovanni SchembraA Markov Model for the Design of Feedback Techniques to Match Traffic Specification Parameters in MPEG Video Sources.QoS-IP157-1722001Conference and Workshop Papersclosedconf/qosip/CocimanoLS0110.1007/3-540-44554-4_11https://doi.org/10.1007/3-540-44554-4_11https://dblp.org/rec/conf/qosip/CocimanoLS01URL#6388168Maurice YarrowKaren M. McCannRupak BiswasRob F. Van der WijngaartAn Advanced User Interface Approach for Complex Parameter Study Process Specification on the Information Power Grid.GRID146-1572000Conference and Workshop Papersclosedconf/grid/YarrowMBW0010.1007/3-540-44444-0_14https://doi.org/10.1007/3-540-44444-0_14https://dblp.org/rec/conf/grid/YarrowMBW00URL#6450626Chi-Hyon OhEriko IkedaKatsuhiro HondaHidetomo IchihashiParameter Specification for Fuzzy Clustering by Q-Learning.IJCNN9-122000Conference and Workshop Papersclosedconf/ijcnn/OhIHI0010.1109/IJCNN.2000.860733https://doi.org/10.1109/IJCNN.2000.860733https://dblp.org/rec/conf/ijcnn/OhIHI00URL#6459511Theodosis DimitrakosParameterising (Algebraic) Specifications on Diagrams.ASE221-2241998Conference and Workshop Papersclosedconf/kbse/Dimitrakos9810.1109/ASE.1998.732654https://doi.org/10.1109/ASE.1998.732654https://dblp.org/rec/conf/kbse/Dimitrakos98URL#6603187Yellamraju V. SrinivasRefinement of parameterized algebraic specifications.Algorithmic Languages and Calculi164-1861997Conference and Workshop Papersunavailableconf/alc/Srinivas97https://dblp.org/rec/conf/alc/Srinivas97URL#6644363L. J. StegglesParameterised Higher-Order Algebraic Specifications.ALP/HOA76-981997Conference and Workshop Papersclosedconf/alp/Steggles9710.1007/BFB0027004https://doi.org/10.1007/BFb0027004https://dblp.org/rec/conf/alp/Steggles97URL#6644384Tereza G. KirnerAlan M. DavisRequirements specification of real-time systems: temporal parameters and timing-constraints.Inf. Softw. Technol.3812735-7411996Journal Articlesclosedjournals/infsof/KirnerD9610.1016/0950-5849(96)01104-4https://doi.org/10.1016/0950-5849(96)01104-4https://dblp.org/rec/journals/infsof/KirnerD96URL#6684304Adel BouhoulaUsing Induction and Rewriting to Verify and Complete Parameterized Specifications.Theor. Comput. Sci.1701-2245-2761996Journal Articlesopenjournals/tcs/Bouhoula9610.1016/S0304-3975(96)80708-0https://doi.org/10.1016/S0304-3975(96)80708-0https://dblp.org/rec/journals/tcs/Bouhoula96URL#6695707Martin GogollaParameterizing Object Specifications.DISCO126-1371996Conference and Workshop Papersclosedconf/disco/Gogolla9610.1007/3-540-61697-7_12https://doi.org/10.1007/3-540-61697-7_12https://dblp.org/rec/conf/disco/Gogolla96URL#6704328David Lee 0001K. K. RamakrishnanW. Melody MohA. Udaya ShankarProtocol Specification Using Parameterized Communicating Extended Finite Stte Machines - A Case Study of The ATM ABR Rate Control Scheme.ICNP208-2171996Conference and Workshop Papersclosedconf/icnp/LeeRMS9610.1109/ICNP.1996.564943https://doi.org/10.1109/ICNP.1996.564943https://dblp.org/rec/conf/icnp/LeeRMS96URL#6712550María Victoria CengarleFormal specifications with higher-order parameterization.Berichte aus der InformatikI-X, 1-234Shaker1995Books and Thesesunavailablebooks/daglib/0081628https://d-nb.info/945176082https://dblp.org/rec/books/daglib/0081628URL#6726679Bart Jacobs 0001Parameters and Parametrization in Specification, Using Distributive Categories.Fundam. Informaticae243209-2501995Journal Articlesclosedjournals/fuin/Jacobs9510.3233/FI-1995-2431https://doi.org/10.3233/FI-1995-2431https://dblp.org/rec/journals/fuin/Jacobs95URL#6733920María Victoria CengarleMartin WirsingA Calculus of Higher-Order Parameterization for Algebraic Specifications.Log. J. IGPL34615-6411995Journal Articlesclosedjournals/igpl/CengarleW9510.1093/JIGPAL/3.4.615https://doi.org/10.1093/jigpal/3.4.615https://dblp.org/rec/journals/igpl/CengarleW95URL#6734938Ingo ClaßenMartin Große-RhodeUwe WolterCategorical Concepts for Parameterized Partial Specifications.Math. Struct. Comput. Sci.52153-1881995Journal Articlesclosedjournals/mscs/ClassenGW9510.1017/S0960129500000700https://doi.org/10.1017/S0960129500000700https://dblp.org/rec/journals/mscs/ClassenGW95URL#6740957Rosa M. JiménezFernando OrejasHartmut EhrigCompositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages.Math. Struct. Comput. Sci.52283-3141995Journal Articlesclosedjournals/mscs/JimenezOE9510.1017/S0960129500000748https://doi.org/10.1017/S0960129500000748https://dblp.org/rec/journals/mscs/JimenezOE95URL#6740965Axel GlaeserModular neural networks with task-specific input parameters for speakerindependent speech recognition.EUROSPEECH1655-16581995Conference and Workshop Papersopenconf/interspeech/Glaeser9510.21437/EUROSPEECH.1995-400https://doi.org/10.21437/Eurospeech.1995-400https://dblp.org/rec/conf/interspeech/Glaeser95URL#6763217Klaus KopeczWolfram ErlhagenGregor SchönerDynamic Representations Provide the Gradual Specification of Movement Parameters.SNN Symposium on Neural Networks29-321995Conference and Workshop Papersclosedconf/snn/KopeczES9510.1007/978-1-4471-3087-1_4https://doi.org/10.1007/978-1-4471-3087-1_4https://dblp.org/rec/conf/snn/KopeczES95URL#6770406Zhenyu QianAnother Look at Parameterization for Order-Sorted Algebraic Specifications.J. Comput. Syst. Sci.493620-6661994Journal Articlesopenjournals/jcss/Qian9410.1016/S0022-0000(05)80074-1https://doi.org/10.1016/S0022-0000(05)80074-1https://dblp.org/rec/journals/jcss/Qian94URL#6784271Donald FiresmithUsing Parameterized Classes to Achieve Reusability while Maintaining the Coupling of Application-Specific Objects.J. Object Oriented Program.7341-441994Journal Articlesunavailablejournals/joop/Firesmith94ahttps://dblp.org/rec/journals/joop/Firesmith94aURL#6785257Hartmut EhrigMartin Große-RhodeFunctorial Theory of Parameterized Specifications in a General Specification Framework.Theor. Comput. Sci.1352221-2661994Journal Articlesopenjournals/tcs/EhrigG9410.1016/0304-3975(94)90110-4https://doi.org/10.1016/0304-3975(94)90110-4https://dblp.org/rec/journals/tcs/EhrigG94URL#6792895Yukihide TakayamaQPC_2: A Constructive Calculus with Parameterized Specifications.J. Symb. Comput.155/6641-6721993Journal Articlesopenjournals/jsc/Takayama9310.1016/S0747-7171(06)80008-8https://doi.org/10.1016/S0747-7171(06)80008-8https://dblp.org/rec/journals/jsc/Takayama93URL#6830595Till MossakowskiParameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods.AMAST137-1441993Conference and Workshop Papersunavailableconf/amast/Mossakowski93https://dblp.org/rec/conf/amast/Mossakowski93URL#6839526Wolfgang ReifAn Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing.Formal Methods in Programming and Their Applications67-801993Conference and Workshop Papersclosedconf/ershov/Reif9310.1007/BFB0039701https://doi.org/10.1007/BFb0039701https://dblp.org/rec/conf/ershov/Reif93URL#6843068Daniel V. OppenheimTim AndersonRoss KirkPerceptual Parameters-Their Specification, Scoring and Control within Two Software Composition Systems.ICMC1993Conference and Workshop Papersopenconf/icmc/OppenheimAK93https://hdl.handle.net/2027/spo.bbp2372.1993.102https://dblp.org/rec/conf/icmc/OppenheimAK93URL#6847108Hartmut EhrigRosa M. JiménezFernando OrejasCompositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages.TAPSOFT31-451993Conference and Workshop Papersclosedconf/tapsoft/EhrigJO9310.1007/3-540-56610-4_54https://doi.org/10.1007/3-540-56610-4_54https://dblp.org/rec/conf/tapsoft/EhrigJO93URL#6857122Zohar MannaAmir PnueliVerification of parameterized programs.Specification and validation methods167-2301993Parts in Books or Collectionsunavailableconf/asm/MannaP93https://dblp.org/rec/conf/asm/MannaP93URL#6859467Donald SannellaStefan SokolowskiAndrzej TarleckiToward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited.Acta Informatica298689-7361992Journal Articlesclosedjournals/acta/SannellaST9210.1007/BF01191893https://doi.org/10.1007/BF01191893https://dblp.org/rec/journals/acta/SannellaST92URL#6862004Jingwen ChengParameterized specifications for software reuse.ACM SIGSOFT Softw. Eng. Notes17453-591992Journal Articlesclosedjournals/sigsoft/Cheng9210.1145/141874.141886https://doi.org/10.1145/141874.141886https://dblp.org/rec/journals/sigsoft/Cheng92URL#6874567Zhenyu QianExtensions of order-sorted algebraic specifications: parameterization, higher-order functions and polymorphism.1-1551991Books and Thesesunavailablephd/dnb/Qian91ahttps://d-nb.info/911231242https://dblp.org/rec/phd/dnb/Qian91aURL#6896112Monika Kapus-KolarDeriving protocol specifications from service specifications including parameters.Microprocessing and Microprogramming321-5731-7381991Journal Articlesclosedjournals/jsa/Kapus-Kolar9110.1016/0165-6074(91)90429-Whttps://doi.org/10.1016/0165-6074(91)90429-Whttps://dblp.org/rec/journals/jsa/Kapus-Kolar91URL#6904045Fumiako SatoHirosato TsujiKotaro KatsuyamaTadanori MizunoParameter Specification Language and Test Data Generation Tools for Communication Software Testing.Protocol Test Systems207-2181991Conference and Workshop Papersunavailableconf/pts/SatoTKM91https://dblp.org/rec/conf/pts/SatoTKM91URL#6922805Hélène KirchnerProofs in Parameterized Specification.RTA174-1871991Conference and Workshop Papersclosedconf/rta/Kirchner9110.1007/3-540-53904-2_95https://doi.org/10.1007/3-540-53904-2_95https://dblp.org/rec/conf/rta/Kirchner91URL#6922984Jacek LeszczylowskiMartin WirsingPolymorphism, Parameterization and Typing: An Algebraic Specification Perspective.STACS1-151991Conference and Workshop Papersclosedconf/stacs/LeszczylowskiW9110.1007/BFB0020783https://doi.org/10.1007/BFb0020783https://dblp.org/rec/conf/stacs/LeszczylowskiW91URL#6924397Hubert BaumeisterUnifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution.TAPSOFT, Vol.1103-1201991Conference and Workshop Papersclosedconf/tapsoft/Baumeister9110.1007/3-540-53982-4_7https://doi.org/10.1007/3-540-53982-4_7https://dblp.org/rec/conf/tapsoft/Baumeister91URL#6924539Reinhard GotzheinGregor von BochmannDeriving Protocol Specifications from Service Specifications Including Parameters.ACM Trans. Comput. Syst.84255-2831990Journal Articlesclosedjournals/tocs/GotzheinB9010.1145/128733.128734https://doi.org/10.1145/128733.128734https://dblp.org/rec/journals/tocs/GotzheinB90URL#6939334Donald SannellaAndrzej TarleckiA Kernel Specification Formalism with Higher-Order Parameterization.ADT274-2961990Conference and Workshop Papersclosedconf/adt/SannellaT9010.1007/3-540-54496-8_15https://doi.org/10.1007/3-540-54496-8_15https://dblp.org/rec/conf/adt/SannellaT90URL#6940802Martin WirsingAlgebraic Specification: Semantics, Parameterization and Refinement.Formal Description of Programming Concepts259-3181989Conference and Workshop Papersunavailableconf/ifip2/Wirsing89https://dblp.org/rec/conf/ifip2/Wirsing89URL#6973272Rolf HennickerImplementation of Parameterized Observational Specifications.TAPSOFT, Vol.1290-3051989Conference and Workshop Papersclosedconf/tapsoft/Hennicker8910.1007/3-540-50939-9_139https://doi.org/10.1007/3-540-50939-9_139https://dblp.org/rec/conf/tapsoft/Hennicker89URL#6977810Peter PadawitzThe Equational Theory of Parameterized SpecificationsInf. Comput.762/3121-1371988Journal Articlesopenjournals/iandc/Padawitz8810.1016/0890-5401(88)90006-5https://doi.org/10.1016/0890-5401(88)90006-5https://dblp.org/rec/journals/iandc/Padawitz88URL#6982823Zhenyu QianParameterization of Order-Sorted Algebraic Specifications with Built-In Coercers.ADT1988Conference and Workshop Papersunavailableconf/adt/Qian88https://dblp.org/rec/conf/adt/Qian88URL#6990568Martin Große-RhodeParameterized Data Type and Process Specifications Using Projection Algebras.Categorial Methods in Computer Science185-1971988Conference and Workshop Papersclosedconf/category/Grosse-Rhode8810.1007/3-540-51722-7_11https://doi.org/10.1007/3-540-51722-7_11https://dblp.org/rec/conf/category/Grosse-Rhode88URL#6991346Zhenyu QianRelation-Sorted Algebraic Specifications with Built-in Coercers: Parameterization and Parameter Passing.Categorial Methods in Computer Science244-2601988Conference and Workshop Papersclosedconf/category/Qian8810.1007/3-540-51722-7_14https://doi.org/10.1007/3-540-51722-7_14https://dblp.org/rec/conf/category/Qian88URL#6991358Juan QuemadaSantiago PavónAngel FernándezTransforming LOTOS Specifications with LOLA - The Parameterised Expansion.FORTE45-541988Conference and Workshop Papersunavailableconf/forte/QuemadaPF88https://dblp.org/rec/conf/forte/QuemadaPF88URL#6993452Peter PadawitzParameter-Preserving Data Type Specifications.J. Comput. Syst. Sci.342/3179-2091987Journal Articlesopenjournals/jcss/Padawitz8710.1016/0022-0000(87)90024-9https://doi.org/10.1016/0022-0000(87)90024-9https://dblp.org/rec/journals/jcss/Padawitz87URL#7005627Fernando OrejasA Characterization of Passing Compatibility for Parameterized Specifications.Theor. Comput. Sci.51205-2141987Journal Articlesopenjournals/tcs/Orejas8710.1016/0304-3975(87)90054-5https://doi.org/10.1016/0304-3975(87)90054-5https://dblp.org/rec/journals/tcs/Orejas87URL#7009480Piotr DembinskiStanislaw BudkowskiSimulating Estelle Specifications with Time Parameters.PSTV265-2791987Conference and Workshop Papersunavailableconf/pstv/DembinskiB87https://dblp.org/rec/conf/pstv/DembinskiB87URL#7016486Marisa NavarroFernando OrejasParameterized Horn Clause Specifications: Proof Theory and Correctness.TAPSOFT, Vol.1202-2161987Conference and Workshop Papersclosedconf/tapsoft/NavarroO8710.1007/3-540-17660-8_56https://doi.org/10.1007/3-540-17660-8_56https://dblp.org/rec/conf/tapsoft/NavarroO87URL#7017372Fernando OrejasA Proof-Theoretic Characterization of Persistency for Parameterized Specifications with Boolean Constraints.ADT1986Conference and Workshop Papersunavailableconf/adt/Orejas86https://dblp.org/rec/conf/adt/Orejas86URL#7027668Egidio AstesianoGianfranco MascariGianna ReggioMartin WirsingOn the Parameterized Algebraic Specification of Concurrent Systems.TAPSOFT, Vol.1342-3581985Conference and Workshop Papersclosedconf/tapsoft/AstesianoMRW8510.1007/3-540-15198-2_22https://doi.org/10.1007/3-540-15198-2_22https://dblp.org/rec/conf/tapsoft/AstesianoMRW85URL#7047962Peter PadawitzParameter Preserving Data Type Specifications.TAPSOFT, Vol.1323-3411985Conference and Workshop Papersclosedconf/tapsoft/Padawitz8510.1007/3-540-15198-2_21https://doi.org/10.1007/3-540-15198-2_21https://dblp.org/rec/conf/tapsoft/Padawitz85URL#7048003Hartmut EhrigHans-Jörg KreowskiJames W. ThatcherEric G. WagnerJesse B. WrightParameter Passing in Algebraic Specification Languages.Theor. Comput. Sci.2845-811984Journal Articlesopenjournals/tcs/EhrigKTWW8410.1016/0304-3975(83)90065-8https://doi.org/10.1016/0304-3975(83)90065-8https://dblp.org/rec/journals/tcs/EhrigKTWW84URL#7055153Peter PadawitzTowards a Proof Theory of Parameterized Specifications.Semantics of Data Types375-3911984Conference and Workshop Papersclosedconf/sdt/Padawitz8410.1007/3-540-13346-1_19https://doi.org/10.1007/3-540-13346-1_19https://dblp.org/rec/conf/sdt/Padawitz84URL#7059850Harald GanzingerParameterized Specifications: Parameter Passing and Implementation with Respect to Observability.ACM Trans. Program. Lang. Syst.53318-3541983Journal Articlesclosedjournals/toplas/Ganzinger8310.1145/2166.357212https://doi.org/10.1145/2166.357212https://dblp.org/rec/journals/toplas/Ganzinger83URL#7067225Christoph BeierleAngi VoßA Parameterization Concept for Hierarchies of Specifications.ADT1983Conference and Workshop Papersunavailableconf/adt/BeierleV83https://dblp.org/rec/conf/adt/BeierleV83URL#7067792James W. ThatcherEric G. WagnerJesse B. WrightData Type Specification: Parameterization and the Power of Specification Techniques.ACM Trans. Program. Lang. Syst.44711-7321982Journal Articlesclosedjournals/toplas/ThatcherWW8210.1145/69622.357192https://doi.org/10.1145/69622.357192https://dblp.org/rec/journals/toplas/ThatcherWW82URL#7077517Christoph BeierleAngi VoßHierarchical Specification of Parameterized Abstract Data Types by Means of Canonical Term Algebras.ADT1982Conference and Workshop Papersunavailableconf/adt/BeierleV82https://dblp.org/rec/conf/adt/BeierleV82URL#7078049Jan A. BergstraSpecification of Parameterized Data Types.ADT1982Conference and Workshop Papersunavailableconf/adt/Bergstra82https://dblp.org/rec/conf/adt/Bergstra82URL#7078050Harald GanzingerParameterized Specifications - Parameterized Passing and Implementation with Respect to Observability.ADT1982Conference and Workshop Papersunavailableconf/adt/Ganzinger82https://dblp.org/rec/conf/adt/Ganzinger82URL#7078057Herbert KlaerenParameterized Software Specifications with Inductively Defined Operations.ADT1982Conference and Workshop Papersunavailableconf/adt/Klaeren82https://dblp.org/rec/conf/adt/Klaeren82URL#7078059Martin WirsingImplementation of Parameterized Hierarchical Specifications.ADT1982Conference and Workshop Papersunavailableconf/adt/Wirsing82https://dblp.org/rec/conf/adt/Wirsing82URL#7078067Jan A. BergstraJan Willem KlopAlgebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras.ICALP23-341982Conference and Workshop Papersclosedconf/icalp/BergstraK8210.1007/BFB0012754https://doi.org/10.1007/BFb0012754https://dblp.org/rec/conf/icalp/BergstraK82URL#7079291Donald SannellaMartin WirsingImplementation of Parameterised Specifications (Extended Abstract).ICALP473-4881982Conference and Workshop Papersclosedconf/icalp/SannellaW8210.1007/BFB0012793https://doi.org/10.1007/BFb0012793https://dblp.org/rec/conf/icalp/SannellaW82URL#7079329Harald OftedalImprecision of specification of information systems parameters: A study of decision point probabilities.Inf. Syst.62101-1091981Journal Articlesclosedjournals/is/Oftedal8110.1016/0306-4379(81)90031-4https://doi.org/10.1016/0306-4379(81)90031-4https://dblp.org/rec/journals/is/Oftedal81URL#7084088Hartmut EhrigAlgebraic Theory of Parameterized Specifications with Requirements.CAAP1-241981Conference and Workshop Papersclosedconf/caap/Ehrig8110.1007/3-540-10828-9_51https://doi.org/10.1007/3-540-10828-9_51https://dblp.org/rec/conf/caap/Ehrig81URL#7087499Günter HornungPeter RaulefsInitial and Terminal Algebra Semantics of Parameterized Abstract Data Type Specifications With Inequalities.CAAP224-2371981Conference and Workshop Papersclosedconf/caap/HornungR8110.1007/3-540-10828-9_65https://doi.org/10.1007/3-540-10828-9_65https://dblp.org/rec/conf/caap/HornungR81URL#7087502Hartmut EhrigHans-Jörg KreowskiJames W. ThatcherEric G. WagnerJesse B. WrightParameter Passing in Algebraic Specification Languages.Program Specification322-3691981Conference and Workshop Papersclosedconf/fm/EhrigKTWW8110.1007/3-540-11490-4_21https://doi.org/10.1007/3-540-11490-4_21https://dblp.org/rec/conf/fm/EhrigKTWW81URL#7088061Hartmut EhrigHans-Jörg KreowskiJames W. ThatcherEric G. WagnerJesse B. WrightParameterized Data Types in Algebraic Specification Languages (Short Version).ICALP157-1681980Conference and Workshop Papersclosedconf/icalp/EhrigKTWW8010.1007/3-540-10003-2_68https://doi.org/10.1007/3-540-10003-2_68https://dblp.org/rec/conf/icalp/EhrigKTWW80URL#7096455Frank G. PaganSemantic Specification Using Two-Level Grammars: Blocks, Procedures and Parameters.Comput. Lang.43-4171-1851979Journal Articlesclosedjournals/cl/Pagan7910.1016/0096-0551(79)90018-3https://doi.org/10.1016/0096-0551(79)90018-3https://dblp.org/rec/journals/cl/Pagan79URL#7098811James W. ThatcherEric G. WagnerJesse B. WrightData Type Specification: Parameterization and the Power of Specification TechniquesSTOC119-1321978Conference and Workshop Papersclosedconf/stoc/ThatcherWW7810.1145/800133.804340https://doi.org/10.1145/800133.804340https://dblp.org/rec/conf/stoc/ThatcherWW78URL#7111529K. L. SuryanarayananA. C. SoudackAnalog Computer Automatic Parameter Optimization of Nonlinear Control Systems with Specific Inputs.IEEE Trans. Computers178782-7881968Journal Articlesclosedjournals/tc/SuryanarayananS6810.1109/TC.1968.229161https://doi.org/10.1109/TC.1968.229161https://dblp.org/rec/journals/tc/SuryanarayananS68URL#7150644James J. PeterkaA Method for Obtaining Specific Values of Compiling-Parameter Functions.J. ACM93379-3861962Journal Articlesclosedjournals/jacm/Peterka6210.1145/321127.321135https://doi.org/10.1145/321127.321135https://dblp.org/rec/journals/jacm/Peterka62URL#7158829