คำถามติดแท็ก research-practice

ฉันยังใหม่กับฟิลด์ CS และฉันสังเกตว่าในเอกสารที่ฉันอ่านจำนวนมากไม่มีผลลัพธ์เชิงประจักษ์ (ไม่มีรหัสเพียงบทแทรกและบทพิสูจน์) ทำไมถึงเป็นอย่างนั้น? เมื่อพิจารณาว่าวิทยาศาสตร์คอมพิวเตอร์เป็นวิทยาศาสตร์ไม่ควรทำตามวิธีการทางวิทยาศาสตร์ใช่หรือไม่

31 soft-question  research-practice  writing 

การเป็นวิศวกรซอฟต์แวร์เป็นส่วนใหญ่ในชีวิตของฉันฉันไม่รู้เลยว่าจะเริ่มต้นอย่างไรกับการตีพิมพ์บทความทางวิชาการ ในระหว่างการวิจัยล่าสุดของฉันฉันได้พบอัลกอริทึมที่น่าสนใจสำหรับงานที่ฉันกำลังแก้ไข (เกี่ยวข้องกับการคำนวณในตลาดการเงิน) มันไม่ใช่ผลลัพธ์ที่ยอดเยี่ยม แต่ฉันคิดว่ามันน่าสนใจสำหรับคนที่ทำงานที่คล้ายกันและฉันต้องการเผยแพร่มัน แน่นอนว่าฉันคุ้นเคยกับงานวิจัยในรูปแบบต่าง ๆ เนื่องจากฉันใช้มันอย่างกว้างขวางในงานของฉัน (ขอบคุณ Google Scholar และผู้คนที่ดีทุกคนที่นั่น) และฉันสามารถ google สำหรับคู่มือการเขียนเชิงวิชาการฟรีและวิธีการ ใช้ LaTeX และฉันมีนักคณิตศาสตร์เพื่อนมากมายที่จะตรวจสอบรายงานของฉันและช่วยทำให้มันดูโอเค แต่ฉันไม่รู้จะทำอย่างไรต่อไป! ฉันไม่ได้เป็นของสถาบันการศึกษาหรือหน่วยงานวิจัยที่เป็นที่รู้จักฉันทำงานใน บริษัท ท้องถิ่นเล็ก ๆ ซึ่งยินดีที่จะมีชื่อในเอกสารเผยแพร่ แต่ชื่อนี้จะไม่พูดอะไรกับใครเลย ฉันไม่รู้จักใครที่กำลังทำวิจัยในเรื่องนี้ฉันหมายความว่าฉันไม่เคยสื่อสารกับใครเลย ฉันจะหาสถานที่ที่เหมาะสมในการส่งกระดาษได้อย่างไร ฉันต้องการคำแนะนำหรือบทวิจารณ์บางประเภทและฉันจะลองรับได้อย่างไร ขั้นตอนของฉันคืออะไร .. ฉันรู้ว่าสิ่งเหล่านี้เป็นสิ่งที่ชัดเจนสำหรับคุณถ้าคุณเป็นนักพรตมืออาชีพ แต่ฉันไม่รู้ว่าจะเริ่มจากตรงไหน :)

28 soft-question  research-practice  paper-review 

นอกเหนือจาก ACM, IEEE computer Society, Google Scholar ซึ่งเป็นเว็บไซต์ที่ดีที่สุดในการรับรายการ bibtex สำหรับบทความที่เกี่ยวข้องกับวิทยาศาสตร์คอมพิวเตอร์?

28 soft-question  research-practice  paper-review  bibliography 

ฉันเพิ่งได้รับเอกสารของฉันถูกปฏิเสธจากวารสาร (เช่น TALG) บนพื้นฐานของการไม่ได้มีความแตกต่างอย่างมีนัยสำคัญระหว่างวารสารและการดำเนินการตามกฎหมาย (เช่น SODA) เหตุผลหลักที่ฉันจะส่งไปยังวารสารคือกระบวนการตรวจสอบอย่างละเอียด นอกจากนั้นขีด จำกัด หน้า 20 ของ SODA นั้นมากเกินพอสำหรับสิ่งที่ฉันต้องการจะพูด ในความเป็นจริง David Johnson ได้ขอให้ฝูงชน SODA ซ้ำ ๆ ไม่ "บันทึกเนื้อหาสำหรับบันทึกประจำวัน" คำแนะนำใด ๆ?

23 soft-question  research-practice  conferences  journals 

ฉันสงสัยว่าเครื่องมือใดที่ผู้คนในสาขานี้ (วิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี) ใช้เพื่อสร้างงานนำเสนอ เนื่องจากวิทยาการคอมพิวเตอร์จำนวนมากไม่ได้เป็นเพียงแค่การเขียนเอกสาร แต่ยังให้การนำเสนอด้วยฉันจึงคิดว่านี่จะเป็นคำถามที่สำคัญ นี้เป็นแรงบันดาลใจคำถามก่อนหน้านี้สิ่งที่เครื่องมือที่คุณจะใช้ในการเขียนเอกสาร สิ่งที่พบบ่อยที่สุดที่ฉันเคยเห็นมีดังต่อไปนี้ Beamer Microsoft PowerPoint น้ำยาง GraphViz ฉันสงสัยว่ามีกลอุบายอื่น ๆ ที่ฉันขาดหายไปหรือไม่?

23 soft-question  research-practice  writing 

เอกสารส่วนใหญ่ตอนนี้เขียนร่วมกันและผู้ทำงานร่วมกันมักจะอยู่ในที่ต่าง ฉันมักจะใช้ระบบควบคุมเวอร์ชันสำหรับเอกสารและรหัสของฉันและยังพบว่าการควบคุมเวอร์ชันมีความสำคัญสำหรับโครงการซอฟต์แวร์ที่ทำงานร่วมกัน แต่ดูเหมือนว่านักวิจัยหลายคนในทางทฤษฎีหลีกเลี่ยงการใช้งานสำหรับการเขียนเอกสารร่วมกัน เพื่อโน้มน้าวให้ผู้ร่วมงานของฉันเชื่อว่าการควบคุมเวอร์ชัน (การควบคุมการแก้ไข) เป็นความคิดที่ดีสำหรับการทำงานร่วมกันดูเหมือนจะมีข้อกำหนดเบื้องต้นบางประการ ไม่สามารถบังคับให้ทุกคนกังวลเกี่ยวกับชุดของการประชุมที่เฉพาะเจาะจงสำหรับการขึ้นบรรทัดใหม่และย่อหน้าหรือเพื่อหลีกเลี่ยงการแปลงแท็บ / ช่องว่าง มีใครเสนอโฮสติ้งฟรีของที่เก็บเอกสารขนาดเล็กที่ใช้ร่วมกันได้หรือไม่ด้วยการควบคุมเวอร์ชันของเอกสารที่เป็นมิตรกับข้อความที่สามารถจัดการกับความแตกต่างของระดับคำ ( ไม่ใช่แบบบรรทัด) ถ้าไม่เช่นนั้นฉันยินดีรับข้อเสนอแนะอื่น ๆ ที่อ้างอิงจากประสบการณ์ (ลองหลีกเลี่ยงการเก็งกำไรโปรด) ฉันกำลังคิดถึง Git, Subversion, Mercurial, darcs หรือ Bazaar ตั้งขึ้นเพื่อจัดการความแตกต่างระดับคำกับ wdiff พร้อมกับวิธีการตั้งค่าการเข้าถึงที่ปลอดภัยด้วยกุญแจสาธารณะ (เช่นผ่าน ssh) อย่างไรก็ตามไม่มีผู้ให้บริการควบคุมเวอร์ชันที่ฉันดูที่ดูเหมือนจะเสนออะไรเช่นนี้ สำหรับการทำงานร่วมกันทางวิทยาศาสตร์คุณสมบัติ "ระดับองค์กร" ที่เน้นโดยหลาย บริษัท เหล่านี้ไม่ได้สำคัญมาก (มีสาขาจำนวนมากการรวมเข้ากับ trac การตรวจสอบโดยบุคคลที่สามทีมงานโครงการลำดับชั้น) แต่ความแตกต่างระดับคำดูเหมือนสำคัญ แต่ยังไม่ได้รับการสนับสนุน จากประสบการณ์ของฉันด้วยระดับบรรทัดแตกต่างกันสำหรับไฟล์ข้อความทุกคนต้องหลีกเลี่ยงการจัดรูปแบบย่อหน้าและตัวแก้ไขที่เปลี่ยนแท็บเป็นช่องว่างหรือในทางกลับกันทำให้เกิดปัญหา ดูเหมือนว่าจะมีความขัดแย้งในการแก้ไขปลอม ๆ ดูคำถามที่เกี่ยวข้องที่ MO เกี่ยวกับเครื่องมือสำหรับการทำงานร่วมกันและคำถามที่เกี่ยวข้องมากกว่าที่ TeX.SE เกี่ยวกับการควบคุมเวอร์ชันสำหรับเอกสารน้ำยางและแพคเกจสำหรับการควบคุมน้ำยางรุ่น ดูตารางเปรียบเทียบการตรวจสอบ SVN Hostingสำหรับรายชื่อผู้ให้บริการโฮสติ้งจำนวนมากสำหรับระบบควบคุมเวอร์ชันหลักเพียงระบบเดียว …

20 soft-question  research-practice  software  writing 

ฉันกำลังแก้ไขปัญหาที่อ้างว่าเป็นปัญหากับที่อื่นพูดในกระดาษ [XYZ] NP-hardness ที่ระบุใน [XYZ] นั้นซับซ้อนและใช้เทคนิคขั้นสูง หลังจากการวิจัยและการทำงานบางอย่างฉันประสบความสำเร็จในการให้การพิสูจน์เรื่องความแข็งของ NP ที่ง่ายและชัดเจน ฉันสงสัยว่าสิ่งนี้ถือว่าเป็นผลงานหรือไม่? ฉันพยายามกระตุ้นงานของฉัน แต่ฉันไม่พบเส้นทางที่คล้ายกัน ฉันไม่รู้ว่านี่เป็นสถานที่ที่เหมาะสมในการถามหรือฉันควรไปเรียนที่สถาบันการศึกษาหรือไม่?

18 research-practice  writing 

ขออภัยถ้านี่เป็นคำถามที่กว้างเกินไปสำหรับฟอรัมนี้ แต่ฉันสนใจในกลวิธีและเคล็ดลับเฉพาะที่นักวิจัย (ใน TCS) ใช้เพื่อเขียนบทนำของรายงานการวิจัย

16 soft-question  advice-request  research-practice  writing 

นี่เป็นคำถามในจิตวิญญาณของคนนี้ที่ฉันตอบว่ามันเป็นสิ่งสำคัญที่จะติดตามสิ่งที่คุณทำบางสิ่งบางอย่างทำไมคุณทำมันและสิ่งที่ไม่ทำงาน โดยส่วนตัวฉันใช้โน้ตบุ๊กเพื่อจุดประสงค์นั้น แต่มันมีข้อเสียหลายประการ: อันดับแรกฉันต้องการพื้นที่เก็บข้อมูลจำนวนมากอันดับที่สองเมื่อฉันเดินทางฉันไม่สามารถเข้าถึงข้อมูลของฉันได้และท้ายที่สุดนี่ไม่ใช่การทำงานร่วมกัน มันมีข้อดีที่ดี: สมุดบันทึกสามารถใช้เป็นสมุดบันทึกของห้องปฏิบัติการเทียบเท่า (คุณเพียงแค่ต้องหาคนที่จะเซ็นชื่อในแต่ละหน้า ... ) ดังนั้นฉันสนใจที่จะรู้ว่านักวิจัยคนอื่น ๆ ดำเนินเรื่องนี้อย่างไร ตัวอย่างเช่นมีซอฟต์แวร์เฉพาะที่แก้ปัญหาทั้งหมดที่ฉันกล่าวถึงหรือไม่

16 soft-question  research-practice 

ปัญหาการบำรุงรักษาคำสั่งซื้อ (หรือ "การรักษาคำสั่งซื้อในรายการ") คือการสนับสนุนการดำเนินงาน: singleton: สร้างรายการที่มีหนึ่งรายการส่งคืนตัวชี้ไปยังรายการนั้น insertAfter: กำหนดตัวชี้ไปยังรายการแทรกรายการใหม่หลังจากส่งคืนตัวชี้ไปยังรายการใหม่ delete: กำหนดตัวชี้ไปยังรายการเอาออกจากรายการ minPointer: กำหนดสองพอยน์เตอร์ให้กับรายการในรายการเดียวกันส่งคืนค่าที่ใกล้กับด้านหน้าของรายการมากขึ้น ฉันทราบวิธีแก้ไขปัญหาสามข้อที่ดำเนินการทั้งหมดในเวลาตัดจำหน่าย พวกเขาทั้งหมดใช้การคูณO ( 1 )O(1)O(1) Athanasios K. Tsakalidis: การรักษาลำดับในรายการที่เชื่อมโยงทั่วไป Dietz, P. , D. Sleator, สองอัลกอริทึมสำหรับการรักษาความสงบเรียบร้อยในรายการ Michael A. Bender, Richard Cole, Erik D. Demaine, Martin Farach-Colton และ Jack Zito“ สองอัลกอริทึมแบบง่ายสำหรับการคงคำสั่งในรายการ” สามารถเก็บรักษาลำดับในรายการในเวลาตัดจำหน่ายโดยไม่ใช้การดำเนินการทางคณิตศาสตร์ใด ๆ ที่ไม่ได้อยู่ในหรือไม่?O ( 1 )O(1)O(1)C0Aค0AC^0

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

คำถามของฉันเป็นคำถามทั่วไป: ฉันจะเริ่มคิดในแง่ของการออกแบบอัลกอริทึมและความซับซ้อนได้อย่างไร ฉันจะเข้าเรียนหลักสูตรบัณฑิตศึกษาในการออกแบบอัลกอริทึม ฉันลงทะเบียนก่อนหน้านี้แล้ว แต่ทิ้งไว้ในภายหลังเพราะฉันทำไม่ทัน ฉันต้องเรียนหลักสูตรนี้ตามความต้องการ มีวิธีการคิดแบบนี้หรือไม่? ฉันรู้ว่าสิ่งนี้ทำให้มันค่อนข้างหยาบ แต่บางครั้งมุมมองที่สดใหม่ช่วยให้คิดถึงเรื่องที่แตกต่าง ปัญหาหลักที่ฉันมีกับหลักสูตรนี้ (และหลักสูตรเชิงทฤษฎีที่คล้ายกัน) คือ: ฉันจะรู้ได้อย่างไรว่าวิธีแก้ไขปัญหาที่ฉันคิดถูกต้อง ฉันพบว่าส่วนใดส่วนหนึ่งในเชิงทฤษฎีเป็นสิ่งที่ไม่มีกฎเกณฑ์โดยเฉพาะอย่างยิ่งเมื่อ 'พิสูจน์' อัลกอริทึมที่แน่นอนทำหน้าที่หรือพฤติกรรมในทางใดทางหนึ่ง? หลักสูตรของเราจะใช้ข้อความมาตรฐาน: บทนำสู่อัลกอริทึมโดย CLRS มีตำรา / ไซต์ / หนังสือ / อื่น ๆ หรือไม่ ที่อาจเสนอวิธีในการสร้างความมั่นใจในสาขานี้ ขอบคุณทุกคน, Jason Dane

15 cc.complexity-theory  ds.algorithms  soft-question  advice-request  research-practice 

ขณะนี้ฉันกำลังทำการวิจัยเกี่ยวกับภาษาทางการที่เกี่ยวข้องกับชั้นเรียนของภาษาด้านบนปกติ แต่ต่ำกว่าบริบทฟรี ฉันกำลังดูสิ่งต่าง ๆ เช่นเครื่อง Multicounter Reversal-Bounded, เครื่องนับกองซ้อน, CFL ที่กำหนดได้ ฯลฯ ฉันสงสัยว่าถ้าใครรู้หนังสือดี ๆ หรือกระดาษสำรวจซึ่งแสดงคุณสมบัติของภาษาเหล่านี้ สิ่งที่ฉันดูส่วนใหญ่คลุมเครือเกินไปหรือใหม่เกินไปที่จะอยู่ในหนังสือ Hopcroft-Ullman ของฉันแม้แต่ฉบับปี 1979 ส่วนใหญ่ฉันกำลังมองหาชั้นเรียนภาษาที่มีอยู่ในหนึ่งอื่นคุณสมบัติการปิดของภาษาเหล่านี้และการตัดสินใจของปัญหาพื้นฐาน (ปัญหา F) ในภาษาเหล่านี้ ตัวอย่างของสิ่งที่ฉันค้นหาในเอกสารอ้างอิงนี้: ทุกภาษาได้รับการยอมรับจากเครื่องหลายเคาน์เตอร์ที่มีจุดพลิกกลับที่ยอมรับเช่นกันโดยเครื่องเคาน์เตอร์เคาน์เตอร์เดียวที่ไม่กลับด้านหรือไม่? ภาษา MultiCounter ที่ จำกัด ขอบเขตการกลับรายการถูก จำกัด ภายใต้การต่อข้อมูลด้านซ้ายและขวาหรือไม่ เป็นสากลที่สามารถตัดสินใจได้สำหรับเครื่องจักรที่มีเคาน์เตอร์เดียว เหล่านี้เป็นเพียงคำถามตัวอย่างฉันมีคนอื่น ๆ อีกหลายคนที่เข้ามาทำงานประจำวันของฉัน ในฐานะที่เป็นจุดเริ่มต้นฉันได้ลองติดตามว่าเอกสารใดอ้างถึง "Reversal-Bounded Multicounter Machines และ Oscar Ibarra" ปัญหาการตัดสินใจของพวกเขา แต่ไม่พบมากนัก

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

ฉันพยายามเข้าใจสิ่งที่เกี่ยวข้องกับการวิจัยทางวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี นักวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีทำอะไร ฉันรู้ว่าใช้เวลาอย่างมีนัยสำคัญในการสอนดูแลนักศึกษาระดับบัณฑิตศึกษาการขอทุนและหน้าที่ของแผนก วางไว้ข้าง ๆ คุณจะใช้เวลาค้นคว้าอย่างไร กิจกรรมหลักที่คุณมักทำคืออะไร ฉันเดาว่าคุณอ่านเอกสารคิดว่ามีการประชุมและเขียนเอกสาร มีคนอื่นบ้างไหม?

11 soft-question  research-practice 

ในโครงการ Polymath กลุ่มใหญ่จะทำงานเป็นปัญหาเปิด ปัญหาแบบใดที่ดูเหมือนจะทำงานได้ดีที่สุดในกรอบนี้ มีผู้สมัครที่ดีสำหรับโครงการ polymath ในวิทยาการคอมพิวเตอร์เชิงทฤษฎีหรือไม่? มีอุปสรรคใดที่ทำให้โครงการ Polymath มีโอกาสน้อยที่จะประสบความสำเร็จในวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีเมื่อเทียบกับสาขาอื่น ๆ ของคณิตศาสตร์หรือไม่?

11 soft-question  open-problem  research-practice 

ไม่แน่ใจว่าถูกต้องหรือไม่ แต่ตรงนี้จะไป การเริ่มต้นปริญญาเอกด้านการจัดการความน่าเชื่อถือและชื่อเสียงในเครือข่ายการสื่อสาร (ทฤษฎีกราฟจำนวนมากการวิเคราะห์ความน่าจะเป็น ฯลฯ ) และมีการอ่านล่วงหน้ามากมาย ใครสามารถแนะนำวิธีที่ดีที่สุดในการจัดการการอ่านเชิงวิชาการและสิ่งที่ฉันควรจะสังเกตเห็นสำหรับการทบทวนวรรณกรรม / รายงานความคืบหน้า ฯลฯ ?

10 soft-question  advice-request  research-practice