Flatten and conquer: a framework for efficient analysis of string constraints
- 中央研究院期刊論文目錄 @ 學術及儀器事務處

titleFlatten and conquer: a framework for efficient analysis of string constraints的creator是Parosh Aziz Abdulla;Mohamed Faouzi Atig;Yu-Fang Chen;Bui Phi Diep;Lukás Holík;Ahmed Rezine;Philipp Rümmer, date是2017-06, contributor是資訊科學研究所, language是en, description.note是已出版;有審查制度;具代表性, relation是Programming Language Design and Implementation (PLDI 2017) (Barcelona, Spain), type是conference.

contributor	資訊科學研究所
creator	Parosh Aziz Abdulla \| Mohamed Faouzi Atig \| Yu-Fang Chen \| Bui Phi Diep \| Lukás Holík \| Ahmed Rezine \| Philipp Rümmer
date	2017-06
description.sponsorship	資訊科學研究所
description.note	已出版;有審查制度;具代表性
language	en
publisher	(空)
relation	Programming Language Design and Implementation (PLDI 2017) (Barcelona, Spain)
title	Flatten and conquer: a framework for efficient analysis of string constraints
type	conference

contributor

資訊科學研究所

creator

date

2017-06

description.sponsorship

資訊科學研究所

description.note

已出版;有審查制度;具代表性

language

publisher

(空)

relation

Programming Language Design and Implementation (PLDI 2017) (Barcelona, Spain)

title

Flatten and conquer: a framework for efficient analysis of string constraints

type

conference

根據名稱資訊科學研究所找到的相關資料

(以下顯示 8 筆) (或要:直接搜尋所有 資訊科學研究所 ...)

OpenISDM (開放式災害管理資訊系統)	計畫主持人(中): 何建明、李德財、蕭景燈、張韻詩 \| 計畫編號: AS-101-TP2-A01 \| 計畫主持人所屬單位(中): 中研院資訊科學研究所、中研院資訊科學研究所、中研院資訊科技創新研究中心、中研院資訊科學研究所 \| 參與研究人員所屬單位(中): 中研院資訊科學研究所、中研院資訊科技創新研究中心、國立成功大學規劃與設計學院、國立台灣師範大學地理學系、國立成功大學都市計劃學系、中研院環境變遷研究中心、中央氣象局氣象科技研究中心、中研院地球科學研究... \| 西元年: 2011 \| 執行期間(起): 2012-01-01 \| 執行期間(迄): 2012-12-31 \| 備註: NULL @ 中央研究院主題研究計畫核定通過名單
智慧型手機應用育成平台：開發平台、社群資料探勘、及感測技術	計畫主持人(中): 林一平、易志偉、曾煜棋、彭文志、陳伶志、梁家銘 \| 計畫編號: AS-102-TP-A06 \| 計畫主持人所屬單位(中): 中研院資訊科學研究所、國立交通大學資訊工程學系、中研院資訊科技創新研究中心、國立交通大學資訊工程學系、中研院資訊科學研究所 \| 參與研究人員所屬單位(中): 中研院資訊科學研究所、國立交通大學資訊工程學系、中研院資訊科技創新研究中心 \| 西元年: 2012 \| 執行期間(起): 2013-01-01 \| 執行期間(迄): 2015-12-31 \| 備註: NULL @ 中央研究院主題研究計畫核定通過名單
國民身分識別、戶籍管理與身分證的晶片數位化	creator: 邱文聰 \| date: 2020-07-29 \| contributor: 法律學研究所 \| language: zh \| description.note: 已出版;沒有審查制度 \| relation: 數位世代下的國民身分證與身分識別研討會 (台北：中央研究院 : 中央研究院法律學研究所資訊法中心、中央研究院資訊科學研究所、中央研究院社會學研究所、中央研究院資訊科技創新研究中心、台灣人權促進會、開放... \| type: conference @ 中央研究院研討會論文目錄
OpenISDM開放式災害管理資訊系統	計畫主持人(中): 何建明、蕭景燈、張韻詩 \| 計畫編號: AS-102-SS-A04 \| 參與研究人員所屬單位(中): 中研院資訊科學研究所、中研院資訊科技創新研究中心、國立成功大學都市計畫學系、國立臺灣師範大學地理學系、中研院環境變遷研究中心、交通部中央氣象局氣象科技研究中心、中研院地球科學研究所、交通部中央氣象局地... \| 西元年: 2013 \| 執行期間(起): 2012-01-01 \| 執行期間(迄): 2014-12-31 @ 中央研究院永續科學研究計畫核定通過名單
善用巨量開放資料與互聯網於強化災防應對與社區復原能力	計畫主持人(中): 何建明、張韻詩、李德財、施吉昇 \| 計畫編號: AS-105-SS-A03 \| 參與研究人員所屬單位(中): 中研院資訊科學研究所、國立臺灣大學資訊工程學系、亞洲大學、國立成功大學都市計劃學系、國立台灣師範大學地理系、中研院地球科學研究所、中央氣象局地震測報中心地震監測課、中研院歷史語言研究所、國家災害防救研... \| 西元年: 2016 \| 執行期間(起): 2016-01-01 \| 執行期間(迄): 2018-12-31 @ 中央研究院永續科學研究計畫核定通過名單
果蠅大腦嗅覺運算	計畫主持人(中): 黃文良、簡正鼎 \| 計畫編號: AS-102-TP-B09 \| 計畫主持人所屬單位(中): 中研院資訊科學研究所、中研院分子生物研究所 \| 參與研究人員所屬單位(中): 中研院資訊科學研究所、中研院分子生物研究所、國立清華大學生物科技研究所、東海大學物理系、中研院細胞與個體生物學研究所、國立陽明大學神經科學研究所、國立清華大學電機工程系、國立交通大學理學院、國立交通大... \| 西元年: 2012 \| 執行期間(起): 2013-01-01 \| 執行期間(迄): 2015-12-31 \| 備註: NULL @ 中央研究院主題研究計畫核定通過名單
TP2-A01-6 開放式即時資訊訂閱通訊閘道	計畫主持人(中): 施吉昇、陳伶志、林靖茹、鍾偉和、林桂傑、林風 \| 計畫編號: AS-101-TP2-A01 \| 計畫主持人所屬單位(中): 國立台灣大學網路與多媒體研究所、中研院資訊科學研究所、中研院資訊科技創新研究中心、中研院資訊科技創新研究中心、美國加州大學IRVINE分校電機電腦資訊系、國立臺灣大學資訊工程系 \| 參與研究人員所屬單位(中): NULL \| 西元年: 2011 \| 執行期間(起): 2012-01-01 \| 執行期間(迄): 2012-12-31 \| 備註: NULL @ 中央研究院主題研究計畫核定通過名單
跨領域都會PM2.5暴險研究及健康導向之預防策略	計畫主持人(中): 龍世俊、陳伶志、黃景祥 \| 計畫編號: AS-SS-110-02 \| 參與研究人員所屬單位(中): 中研院環境變遷研究中心、中研院資訊科學研究所、中研院統計科學研究所、國立成功大學測量及空間資訊學系、中國醫藥大學附設醫院兒童神經科、中研院生物醫學科學研究所、國家衛生研究院國家環境醫學研究所、中原大學... \| 西元年: 2021 \| 執行期間(起): 2021/01/01 \| 執行期間(迄): 2023/12/31 @ 中央研究院永續科學研究計畫核定通過名單

[ 搜尋所有 資訊科學研究所 ... ]

根據姓名 Parosh Aziz Abdulla Mohamed Faouzi Atig Yu-Fang Chen Bui Phi Diep Lukás Holík Ahmed Rezine Philipp Rümmer 找到的相關資料

無其他 Parosh Aziz Abdulla Mohamed Faouzi Atig Yu-Fang Chen Bui Phi Diep Lukás Holík Ahmed Rezine Philipp Rümmer 資料。

[ 搜尋所有 Parosh Aziz Abdulla Mohamed Faouzi Atig Yu-Fang Chen Bui Phi Diep Lukás Holík Ahmed Rezine Philipp Rümmer ... ]

在『中央研究院期刊論文目錄』資料集內搜尋:

與Flatten and conquer: a framework for efficient analysis of string constraints同分類的中央研究院期刊論文目錄

Determinants for Achieving the LDL-C Target of Lipid Control for Secondary Prevention of Cardiovascu...	creator: Ho, LT;Yin, WH;Chuang, SY;Tseng, WK;Wu, YW;Hsieh, IC;Lin, TH;Li, YH;Huang, LC;Wang, KY;Ueng, KC;Fang... \| date: 2015 \| publisher: \| contributor: 生物醫學科學研究所 \| language: en \| description.note: 已出版;[SCI];有審查制度;具代表性 \| relation: PloS one 10(3), e0116513 \| type: article
The time window for therapy with peptide nanofibers combined with autologous bone marrow cells in pi...	creator: Chang, MY;Chang, CH;Chen, CH;Cheng, B;Lin, YD;Luo, CY;Wu, HL;Yang, YJ;Chen, JH;Hsieh, PC \| date: 2015 \| publisher: \| contributor: 生物醫學科學研究所 \| language: en \| description.note: 已出版;[SCI];有審查制度 \| relation: PloS one 10(3), e0115430 \| type: article
Human placenta-derived adherent cells improve cardiac performance in mice with chronic heart failure...	creator: Chen, HJ;Chen, CH;Chang, MY;Tsai, DC;Baum, EZ;Hariri, R;Herzberg, U;Hsieh, PC \| date: 2015 \| publisher: \| contributor: 生物醫學科學研究所 \| language: en \| description.note: 已出版;[SCI];有審查制度 \| relation: Stem cells translational medicine 4(3), 269-275 \| type: article
Circulating cells contribute to cardiomyocyte regeneration after injury.	creator: Wu, JM;Hsueh, YC;Ch’ang, HJ;Luo, CY;Wu, LW;Nakauchi, H;Hsieh, PC \| date: 2015 \| publisher: \| contributor: 生物醫學科學研究所 \| language: en \| description.note: 已出版;[SCI];有審查制度;具代表性 \| relation: Circulation research 116(4), 633-641 \| type: article
Injection of Peptide nanogels preserves postinfarct diastolic function and prolongs efficacy of cell...	creator: Lin, YD;Chang, MY;Cheng, B;Liu, YW;Lin, LC;Chen, JH;Hsieh, PC \| date: 2015 \| publisher: \| contributor: 生物醫學科學研究所 \| language: en \| description.note: 已出版;有審查制度;具代表性 \| relation: Tissue engineering. Part A 21(9-10), 1662-71 \| type: article
Mesenchymal Stem Cells Ameliorate Atherosclerotic Lesions via Restoring Endothelial Function.	creator: Lin, YL;Yet, SF;Hsu, YT;Wang, GJ;Hung, SC \| date: 2015 \| publisher: \| contributor: 生物醫學科學研究所 \| language: en \| description.note: 已出版;[SCI];有審查制度;具代表性 \| relation: Stem Cells Translational Medicine 4(1), 44-55 \| type: article
Evaluation of biodegradable elastic scaffolds made of anionic polyurethane for cartilage tissue engi...	creator: Tsai, MC;Hung, KC;Hung, SC;Hsu, SH \| date: 2015 \| publisher: \| contributor: 生物醫學科學研究所 \| language: en \| description.note: 已出版;[SCI];有審查制度;具代表性 \| relation: COLLOIDS AND SURFACES B-BIOINTERFACES 125, 34-44 \| type: article
IL-6 enriched lung cancer stem-like cell population by inhibition of cell cycle regulators via DNMT1...	creator: Liu, CC;Lin, JH;Hsu, TW;Su, K;Li, AF;Hsu, HS;Hung, SC \| date: 2015 \| publisher: \| contributor: 生物醫學科學研究所 \| language: en \| description.note: 已出版;[SCI];有審查制度;具代表性 \| relation: INTERNATIONAL JOURNAL OF CANCER 136(3), 547-59 \| type: article
Use of gum arabic to improve the fabrication of chitosan-gelatin-based nanofibers for tissue enginee...	creator: RY Tsai;TY Kuo;SC Hung;CM Lin;TY Hsien;DM Wang;HJ Hsieh \| date: 2015 \| publisher: \| contributor: 生物醫學科學研究所 \| language: en \| description.note: 已出版;[SCI];有審查制度;具代表性 \| relation: CARBOHYDRATE POLYMERS 115: 525-532 \| type: article
Zebrafish fed on recombinant Artemia expressing epinecidin-1 exhibit increased survival and altered ...	creator: Jheng, YH;Lee, LH;Ting, CH;Pan, CY;Hui, CF;Chen, JY \| date: 2015 \| publisher: \| contributor: 細胞與個體生物學研究所 \| language: en \| description.note: 已出版;[SCI];有審查制度;具代表性 \| relation: Fish & shellfish immunology 42(1), 1-15 \| type: article
Stanniocalcin-1 controls ion regulation functions of ion-transporting epithelium other than calcium ...	creator: Chou, M. Y.;P. L. Chao;J. C. Hung;S. A. Cruz;P. P. Hwang \| date: 2015 \| publisher: \| contributor: 細胞與個體生物學研究所 \| language: en \| description.note: 已出版;[SCI];有審查制度;具代表性 \| relation: International Journal of Biological Sciences 11(2), 122-132 \| type: article
White Spot Syndrome Virus Protein Kinase 1 (PK1) Defeats the Host Cell's Iron Withholding Defense Me...	creator: Lin, S. J.;D. Y. Lee;H. C. Wang;S. T. Kang;P. P. Hwang;G. H. Kou;M. F. Huang;G. D. Chang;C. F. Lo \| date: 2015 \| publisher: \| contributor: 細胞與個體生物學研究所 \| language: en \| description.note: 已出版;[SCI];有審查制度;具代表性 \| relation: Journal of Virology 89(2), 1083-1093 \| type: article
Induction of phosphoenolpyruvate carboxykinase (PEPCK) during acute acidosis and its role in acid se...	creator: Furukawa, F.;Y. C. Tseng;S. T. Liu;Y. L. Chou;C. C. Lin;P. H. Sung;K. Uchida;L. Y. Lin;P. P. Hwang \| date: 2015 \| publisher: \| contributor: 細胞與個體生物學研究所 \| language: en \| description.note: 已出版;[SCI];有審查制度;具代表性 \| relation: Int. J. Biol. Sci. 11: 712-725. \| type: article
Evolution of extreme stomach pH in bilateria inferred from gastric alkalization mechanisms in basal ...	creator: Stumpp, M;Hu, MY;Tseng, YC;Guh, YJ;Chen, YC;Yu, JK;Su, YH;Hwang, PP \| date: 2015 \| publisher: \| contributor: 細胞與個體生物學研究所 \| language: en \| description.note: 已出版;[SCI];有審查制度 \| relation: Scientific Reports \| type: article
Production and characterization of a monoclonal antibody against a late gene encoded by grouper irid...	creator: Z-Y Chen;P P Chiou;C-J Liou;Y-S Lai \| date: 2015 \| publisher: \| contributor: 細胞與個體生物學研究所 \| language: en \| description.note: 已出版;[SCI];有審查制度;具代表性 \| relation: Journal of Fish Diseases Epub ahead of print \| type: article