简介：ThispaperproposesanapproachtosynthesizefunctionalprogramsofBackus'FPsystem^[1,2]frominput/outputinstances.Basedonatheoryoforthogonalexpansionofprograms^3[,4],thetaskofprogramsynthesisisexpressedinprogramequations,andfulfilledbysolvingthemaccordingtotheknowledgeabouttheequivalencebetweenprograms.Somegeneralknowledgeofsolvingprogramequationswithanumberofexamplesaregiveninthepaper.

简介：Duetothecapabilityofreflectingsocialperceptiononsemanticofresources,folksonomyhasbeenproposedtoimprovethesociallearningforeducationandscholarresearching.However,itsactualimpactissignificantlyinfluencedbythesemanticambiguityproblemoftags.So,inthispaper,weproposedanovelwayofdetectinghomonyms,oneofthemainsourcesoftag’ssemanticambiguityproblem,innoisyfolksonomies.Thestudyisbasedontwohypotheses:1)Usershavingdifferentintereststendtohavedifferentunderstandingofthesametag.2)Usershavingsimilarinteresttendtohavecommonunderstandingofthesametag.Therefore,wefirstlydiscoverusercommunitiesaccordingtousers’interests.Then,tagcontextsarediscoveredinsubsetsoffolksonomyonthebasisofusercommunities.Theexperimentalresultsshowthatourmethodiseffectiveandoutperformthemethodfindingtagcontextsusingalltagsinfolksonomywithoverlappingclusteringalgorithmespeciallywhenvarioususershavingdifferentinterestsarecontainedbythefolksonomy.

简介：

简介：Ｆａｒａｄａｙ－ｃｕｐＣｏｎｔｒｏｌａｎｄＭｅａｓｕｒｅｍｅｎｔＰｒｏｇｒａｍＢａｓｅｄｏｎＭＳＷｉｎｄｏｗｓ￥ＺｈａｎｇＧｕｉｘｕａｎｄＬｕＸｕｅｑｉｕＡｎｅｗｆａｒａｄａｙ－ｃｕｐｃｏｎｔｒｏｌｐｒｏｇｒａｍｗｈｉｃｈｒｕｎｓｏｎＭＳＷｉｎｄｏｗ...

简介：Asdataminingmoreandmorepopularappliedincomputersystem,thequalityas-surancetestofitssoftwarewouldbegetmoreandmoreattention.However,becauseoftheex-istenceofthe'oracle'problem,thetraditionaltestmethodisnoteasefitfortheapplicationprograminthefieldofthedatamining.Inthispaper,basedonmetamorphictesting,asoftwaretestingmethodisproposedinthefieldofthedatamining,makesanassociationrulesalgorithmasthespecificcase,andconstructsthemetamorphicrelationonthealgorithm.Experiencesshowthatthemethodcanachievethetestingtargetandisfeasibletoapplytootherdomain.

简介：

简介：

简介：

简介：

简介：

简介：瞄准：比nonsteroidal评估风险因素其它反煽动性的药为在一张西洋化的人口的结肠的憩室的流血。方法：140个病人，在一个社区为征兆的憩室的疾病对待基于的医院，被包括。(21%)三十有憩室的流血的符号。colonoscopy的年龄，性，和结果被收集并且与有非为征兆的憩室形成放血的一组病人相比。记录为comorbidities被考察，例如肥胖，白酒消费，吸烟习惯和新陈代谢的疾病。特殊强调被放在动脉的高血压，心血管的事件，糖尿病mellitus，hyperuricemia和hypercholesterinemia上。结果：与非关于性比率(男性/女性的9/21对47/63)和憩室的本地化为征兆的憩室形成放血有憩室的出血和那些的病人之间没有差别。流血病人在尊重不同变老(73.4+/-9.9对67。8+/-13.0，P<0.013)。重要差别关于hyperuricemia的存在在两个组之间被发现并且类固醇和nonsteroidal使用反煽动性的药。有新陈代谢的疾病也是的三伴随物的病人作为在流血的风险识别了。向前逐步的逻辑回归分析表明类固醇，hyperuricemia和钙隧道的使用作为流血的独立风险因素堵住ers。结论：在nonsteroidal旁边反煽动性的类固醇药使用，反高血压的药和伴随物动脉硬化的疾病是为结肠的憩室的出血的风险因素。我们的结果作为流血的来源支持一个改变的动脉硬化的容器的假设。

简介：Inthispaper,weproposealocalfuzzymethodbasedontheideaof"p-strong"communitytodetectthedisjointandoverlappingcommunitiesinnetworks.Inthemethod,arefinedagglomerationruleisdesignedforagglomeratingnodesintolocalcommunities,andtheoverlappingnodesaredetectedbasedontheideaofmakingeachcommunitystrong.Weproposeacontributioncoefficientbvcitomeasurethecontributionofanoverlappingnodetoeachofitsbelongingcommunities,andthefuzzycoefficientsoftheoverlappingnodecanbeobtainedbynormalizingthebvcitoallitsbelongingcommunities.Therunningtimeofourmethodisanalyzedandvarieslinearlywithnetworksize.Weinvestigateourmethodonthecomputergeneratednetworksandrealnetworks.Thetestingresultsindicatethattheaccuracyofourmethodindetectingdisjointcommunitiesishigherthanthoseoftheexistinglocalmethodsandourmethodisefficientfordetectingtheoverlappingnodeswithfuzzycoefficients.Furthermore,thelocaloptimizingschemeusedinourmethodallowsustopartlysolvetheresolutionproblemoftheglobalmodularity.

简介：

简介：Foryearssufferingfromhypertension,Mrs.Zhang,nowinher60s,isafrequentvisitortoBeijingDewaiCommunityHospitalinherneighborhood.'Ifeeltoopainstakingtogotoa'bighos-pital,''shesays.'Busesarealwaysovercrowdedandslow,notsuitableforpeoplelikeme.Besides,community-basedmedicalinstitutionschargelessfortreatmentofthesamediseases.'InChina,a'bighospital'isamedicalinstitutionlargeinsizeandfullyequipped,inmanycasesstaffedbysomeofthemostreputedmedicalexpertslocallyornationwide.Meanwhile,community-basedhospitalsandclinicsareoftenreferredtoas'smallhospitals.'

简介：Olderadultfallsareasignificantpublichealthproblem,butonethatisamenabletopreventiveinterventions.1,2Despitetheprogressmadeinidentifyingriskfactors,developingefficacioushealth-relatedinterventions,andpromotingevidencebasedprogramsinthecommunity,muchworkremainsbeforethesestrategiesarebroadlyavailableandeffectivelyusedtoreducefall-relatedinjuries.3AsNewtonandScottFindlay4havepointedout,thetranslationofbasicscientificknowledgeintoclinicalstudies,andthetransformationofclinicalstudiesintoimprovementsinhealthservicesandpublichealthpractices,remainmajorobstaclestowidespreadadoption.

简介：

简介：

简介：

简介：

简介：AmongthecurrentreformmeasuresundertakeninChineseK-12education,toadoptNewCurriculaandtoimproveICTapplicationinteachingarebothdecisive,however,thelackofqualifiedtrainersishandicappingtheprofessionaldevelopmentofover10millionsin-serviceteachers.OneofeChina-UKprojectsincollaborationbetweenuniversitiesfrombothsidesisdesignedtodevelopvirtuallearningcommunity(VLC)amongin-serviceteachersandexplorefrompedagogicperspectivehowtoconductVLC.Inaccordancewithreflectivelearningandcollaborativelearning,threeonlinelearningmoduleshavebeenjointlycreatedbyChineseandUKeducationalspecialists,andoneunitfromeachmodulehasbeenpilotedbyagroupofseniorteachers.Throughanalyzingtheprocessesofcoursedesignandpilot,supportedbyquantitativeandqualitativeresearchintotheexperiencesofpilotparticipants,thepaperidentifiessomecorefactorsinfluencingthequalityofVLCandsuggeststhatmoreattentionshouldbegiventotheinteractivelearningprocesswithinVLCratherthantocreatewell-structuredlearningmaterialsbeforehand.IthasalsoanalyzedVLCasapromisingapproachtosupportprofessionaldevelopmentofin-serviceteachersfromtheperspectiveofcontinuousimprovementprocess.ThereismuchtoberesearchedintotheapproachofVLC.