cite journal last Bennett first Charles H. coauthors year 1982 title The thermodynamics of computation ... computation is somewhat simpler than reversible computing in that reverse computation is only required ... as reverse computation in software application areas such as database design, ref cite journal ... Institute National de Recherche en Informatique et en Automatique INRIA accessdate ref Reverse Computation ... computable and their costs. Based on the successful application of Reverse Computation ... 1999 title Efficient optimistic parallel simulations using reverse computation url http www.cs.uga.edu ... for Computing Machinery accessdate 2009 04 06 ref suggest the application of reverse computation ... amount of computation per event . The key property that reverse computation exploits is that a majority ... makes this operation reversible. History of Reverse Computation as applied to Parallel Discrete ... Computation has only been applied in software for optimistically synchronized, parallel discrete ... doctoral thesis focused on reverse computation at the hardware level, but included descriptions of both ... on reverse computation. ref cite journal last Vieri first C. coauthors Ammer, M.J. Frank, M. Norman ... reverse computation to 2004 and http www.eng.fsu.edu mpf pubs.htm later . ref In 1998 Carothers ..., introducing technique of Reverse Computation as an alternative rollback mechanism in optimistically ... System ROSS , which supported only reverse computation as the rollback mechanism. Carothers ... reverse computation. From 1998 to 2005 Bauer performed graduate work at RPI under Carothers, focusing solely on reverse computation. He developed the first PDES system solely based on reverse computation ... discrete event simulations of physical systems using reverse computation url http www.cs.mcgill.ca ... more details
Multiple issues notable June 2011 refimprove June 2011 italictitle Decimal Computation is a textbook by Hermann Schmid. First published in 1974 by John Wiley & Sons ISBN 047176180X and reprinted in 1983 by Robert E. Krieger Publishing Company ISBN 0898743184 , the book comprises twelve chapters providing detailed description of decimal calculations, including explanation of binary coded decimal s and algorithm s. ref cite journal title Electronic Design url http books.google.com books?id 90EAQAAIAAJ year 1974 publisher Hayden Pub. Co. volume 22 issue 19 22 oclc 1567748 page 161 ref References Reflist Category 1974 books compu book stub ... more details
in at most s text steps. 0 & text otherwise end cases math Now suppose that the computation math ... then the computation math phi X t z math converges in at most math s t math steps to math phi X z ... Theory of computation ... more details
Unreferenced stub auto yes date December 2009 CRC Oil Storage Depot is one of five oil terminals in Hong Kong and owned by China Resources Petroleum Company Limited or CRC . Citation needed date July 2007 Coord missing Hong Kong DEFAULTSORT Crc Oil Storage Depot Category Tsing Yi Category Oil terminals Category Energy in Hong Kong HongKong struct stub petroleum stub ... more details
The concept of CRC based framing was developed by StrataCom , Inc. in order to improve the efficiency .... An advanced version of CRC based framing was used in the ITU T SG15 G.7041 Generic Framing Procedure GFP , which itself is used in several packet link protocols. Overview of CRC based framing The method of CRC Based framing re uses the header cyclic redundancy check CRC , which is present ..., this field is known as the Header Error Control Check HEC field. The header CRC HEC is needed for another ... CRC HEC field for the second purpose of link framing provided a significant improvement in link efficiency ... purpose. A receiver utilizing CRC based framing bit shifts along the received bit stream until it finds a bit position where the header CRC is correct for a number of times. The receiver then declares ... An advanced, variable frame size version of CRC Based framing is used in ITU T SG15 G.7041 Generic Framing ... header is present in a fixed position relative to the CRC HEC. The receiver looks for a position in the receive data stream following the rules that the header CRC HEC is correct and the byte offset correctly points to the next valid header CRC HEC. Invention of CRC based framing The story behind the invention of CRC based framing is as follows StrataCom produced the first pre standard ATM commercial .... StrataCom s first product had T1 1.544 Mbit s based links which included a 5 bit header CRC, similar to ATM s 8 bit header CRC. T carrier T1 is a time division multiplexing TDM protocol with 24 byte ... on the CRC? . Everyone in the room went Oh as the lightbulb flashed on. Participating in this design ... and the consequent development of CRC based framing. The project team went on to base the framing of the E1 project on the CRC ref http www.google.com patents?id A9YkAAAAEBAJ&dq 5072449 Original Stratacom CRC based framing patent ref . A circuit was designed which examined the incoming byte stream emerging from the E1 framer device and found a byte position for which the header CRC value was consistently ... more details
Notability org date August 2011 Infobox Christian denomination name CRC Churches International image imagewidth caption main classification Protestant orientation Pentecostal , Evangelicalism Evangelical polity Presbyterian polity Presbyterian founder Leo Cecil Harris founded date 1945 founded place Adelaide, South Australia separated from parent merger separations associations area congregations members 200,000 footnotes homepage http www.crcchurches.org CRC Churches International is a Pentecostal Protestant Christian denomination based in Australia . ref Cite book last1 Tom first1 Emma. title Bali paradise lost year 2006 publisher Pluto Press Australia location North Melbourne isbn 1 86403 353 3 pages 80 81 ref References Reflist External links http www.crcchurches.org CRC Churches International DEFAULTSORT Crc Churches International Category International bodies of Protestant denominations Category Pentecostal denominations Category Christianity in Australia Category Religious organizations established in 1945 Category Christian denominations, unions, and movements established in the 20th century Category Finished Work Pentecostals ... more details
File Crc logo.jpg thumb right The CRC Energy Efficiency Scheme the CRC , formerly the Carbon Reduction Commitment ref cite web title CRC Energy Efficiency Scheme url http www.decc.gov.uk en content cms what we do lc uk crc crc.aspx work DECC accessdate 4 June 2010 ref is a mandatory Emissions trading ... carbon emissions by 1.2 million tonnes of carbon per year by 2020. ref name DEFRA CRC http www.defra.gov.uk environment climatechange uk business crc index.htm Action in the UK Carbon Reduction ... goods and services particularly amongst British SMEs ref http www.endsreport.com 31865 crc boosts the green economy ref . The CRC was announced in the Energy policy of the United Kingdom 2007 Energy ... CRC The Scheme is being introduced under the CRC Energy Efficiency Scheme Order 2010. ref Statutory ... league table ref ref http www.eweekeurope.co.uk comment the crc not yet a premier league 45214 ref Coverage The CRC scheme will apply to organisations that have a half hourly metered electricity consumption greater than 6,000 MWh per year. Organisations qualifying for CRC would have all their energy ... Energy Trading Scheme and by a Climate Change Agreement would be exempt from the CRC, as would ... , Environment Agency. Retrieved 2010 08 18. ref Operating mechanisms Although mandatory, the CRC ... crc index.htm implementation proposals for the Carbon Reduction Commitment , DEFRA , published ... year of the scheme. Participants in the CRC Energy Efficiency Scheme will also be able to purchase but not sell ... ETS price or the minimum CRC floor price. Simplification On the 30th of June 2011 the Government ... for formal public consultation which will amend the existing CRC scheme. Among these proposals will be, continuing ... of the CRC is limited by its overlap with the EU ETS. ref cite news last Kahya first Damian url http ... under the CRC. ref cite web url http www.carbonretirement.com content maximising efficiency crc title Carbon Retirement report Maximising the efficiency of the CRC date 2011 03 03 accessdate 2011 05 ... more details
Infobox rugby union season name 2010 CRC Season image imagesize caption countries flagicon Canada rugby union Canada champions The Rock rugby team The Atlantic Rock runnersup Prairie Wolf Pack matches 7 attendance tries 37 top point scorer Dean Blanks 32 top try scorer Geoff Warden 3 website prevseason 2009 CRC season 2009 nextseason 2011 CRC season 2011 The 2010 CRC Season was the second season of the Canadian Rugby Championship. This was the first year when instead of the CRC Champion advancing to the Americas Rugby Championship ARC , a Canada Selects team was chosen from players participating in the tournament to go on and represent Canada at the international tournament. This was also the first season that included a post season to decide the winner of the MacTier Cup . The 2010 CRC Champions were The Rock rugby team the Atlantic Rock , who defeated the Prairie Wolf Pack 19 8, in the nationally televised final. Pre season There was no formal pre season that the league put in place, so several teams played exhibition games against touring sides in order to prepare themselves for the season. Scores class wikitable Date Home Score Away May 15, 2010 Ontario Blues 36 24 UK Police June 4, 2010 The Rock rugby team The Rock 6 20 England Counties June 8, 2010 Ontario Blues 26 32 England Counties July 10, 2010 Ontario Blues 69 11 Midwest USA Regular Season Structure The round robin structure with four teams participating in a round robin format, each team playing against each other team once stayed the same from the previous season, again with no divisions or conferences. There were six games in total. Standings class wikitable width 100 rowspan 2 width 5 Place rowspan 2 width 15 Team colspan 4 width 32 Games colspan 3 width 18 Points colspan 2 width 16 Bonus br points rowspan 2 width 10 Table br points width 8 Played width 8 Won width 8 Lost width 8 Drawn width 8 For width ... ever MacTier Cup. The game was broadcast live on CBC Television CBC , the first CRC game to ever ... more details
The CRC for Spatial Information CRCSI is a research organisation funded by Australia s Cooperative Research Centre Program CRC ref name crc http www.crc.gov.au CRC website ref and by participant contributions. CRCSI was founded in 2003 and, with the successful rebid announced in August 2009, ref http www.geoconnexion.com geo news article 180 million dedicated to the Australian CRCSI 2 6312 180 million dedicated to the Australian CRCSI 2 , http www.geoconnexion.com index.php GeoConnexion . 7 August 2009. accessed 28 May 2010 . ref will continue to 2018. ref name rebid http www.anzlic.org.au read 2472256131.html ANZLIC News , The CRC for Spatial Information wins rebid . 10 August 2009. ref It conducts research and development projects that involve collaboration between government, corporate and academic resources. The purpose of CRCSI is to create new wealth for its participants and the nation through innovative research, application and commercialisation of spatial information technologies through education and through building collaborative partnerships. ref name crcsi http www.crcsi.com.au CRCSI website ref The CRCSI aims to develop technologies to provide tools for commercial exploitation by Australian industry Smith 2008 . ref Paul Smith. Spatial devices boost economic growth . The Australian Financial Review . 17 Mar 2008 ref A study commissioned by the CRCSI and ANZLIC in 2008 found that the spatial information industry contributed from 6.4 and 12.6 billion to Australia s GDP in 2006 07. ref Sandra Rossi http www.computerworld.com.au article 208938 landmark study qualifies ... application of emerging technology and the development of new technologies. ref CRC Starts Work ... Histories Winning Ways Information and Communication Technology . 2004 2005 CRC Publication. Australian ... including ref http www.crcsi.com.au uploads 4d55ed90 c022 4f25 8b31 527033707429 docs crc achievements ... http www.indji.net Indji Watch http www.scanalyse.com.au millmapper.html Millmapper DEFAULTSORT Crc ... more details
Infobox rugby union season name 2009 Canadian Rugby Championship image imagesize caption countries Canada champions BC Bears runnersup Ontario Blues matches 6 attendance tries 33 top point scorer Nathan Hirayama BC Bears 36 top try scorer Sean Duke BC Bears 3 website prevseason nextseason 2010 CRC season 2010 The 2009 CRC Season was the inaugural season of the Canadian Rugby Championship CRC , Canada s highest level of domestic rugby competition. The BC Bears won the MacTier Cup going undefeated, while the Ontario Blues finished as runners up, allowing them both to advance to the 2009 Americas Rugby Championship season Americas Rugby Championship . Nathan Hirayama s 36 points scored in the regular season is an all time record for the league, during the 6 game format. The format was later changed to 10 games in the regular season, where in 2011 CRC season 2011 Dean Blanks scored 55 points, holding the current league record for points scored, albeit having played three more games. The Season Structure The 2009 CRC season included four Canadian senior representative teams the BC Bears , the Prairie Wolf Pack , the Ontario Blues , and the The Rock rugby team Atlantic Rock , playing against each other in a round robin format, similar to that of The Rugby Championship , with the team that has collected the most points during the season being named champions. There were no divisions or conferences. Six games were played, each team playing every other team once. In lieu of a post season, the champion and runner up both continued on to participate in the ARC. Standings class wikitable width 100 rowspan 2 width 5 Place rowspan 2 width 15 Team colspan 4 width 32 Games colspan 3 width 18 Points colspan 2 width 16 Bonus br points rowspan 2 width 10 Table br points width 8 Played width 8 Won width 8 Lost width 8 Drawn width 8 For width 8 Against width 8 Difference width 8 4 Tries width 8 7 Point Loss align center 1 align left BC Bears 3 3 0 0 89 45 44 2 0 14 align center 2 align ... more details
Harry Gant ref cite web url http everythingstockcar.com 1794r 1980 crc chemicals 500 nascar race.html title 1980 CRC Chemicals 500 racing information second reference publisher Everything Stock Car ... race.php?raceid 10164 title 1980 CRC Chemicals 500 racing information third reference publisher ...?year 1980&race 25&series id 2 title People entering exiting NSACAR after the 1980 CRC Chemicals 500 ... title NASCAR Winston Cup Series Season years 1980 end box Category 1980 in NASCAR CRC Chemicals 500 ... more details
italic title File CRC Handbook of Chemistry and Physics 90th Edition.png thumb Title page of the 90th Edition The CRC Handbook of Chemistry and Physics is in its 92nd edition published June 15, 2011 by CRC Press . ref http www.crcpress.com product isbn 9781439855119 CRC Press Online CRC Handbook of Chemistry and Physics, 92st Edition ref It is sometimes nicknamed the Rubber Bible or the Rubber Book , as CRC originally stood for Chemical Rubber Company . As late as the 1962 1963 edition 3,604 pages the Handbook contained myriad information for every branch of science and engineering. Sections in this edition includes Mathematics, Properties and Physical Constraints, Chemical Tables, Properties of Matter, Heat, Hygrometric and Barometric Tables, Sound, Quantities and Units, and Miscellaneous. There are such prosaic subjects as Antidotes of Poisons , Rules for Naming Organic Compounds , Surface Tension of Fused Salts , Percent Composition of Anti Freeze Solutions , Spark gap Voltages , Greek Alphabet , Musical Scales , Pigments and Dyes , Comparison of Tons and Pounds , Twist Drill and Steel Wire Gauges and Properties of the Earth s Atmosphere at Elevations up to 160 Kilometers . Later editions focus almost exclusively on Chemistry and Physics topics and eliminated much of the more common information. 22nd Edition 44th Edition Section A Mathematical Tables Section B Properties and Physical Constants Section C General Chemical Tables Specific Gravity and Properties of Matter Section ... across virtually all scientific disciplines, CRC is today also known as a leading publisher ... cheminfo CRC Tables relocated or removed 2007.htm Tables Relocated or Removed from CRC Handbook of Chemistry and Physics, 71st through 87th Editions DEFAULTSORT Crc Handbook Of Chemistry And Physics ... on science and mathematics da Gummibibelen de CRC Handbook of Chemistry and Physics fa nl CRC Handbook of Chemistry and Physics pl CRC Handbook of Chemistry and Physics ... more details
Infobox Company company name Sustainable Tourism Cooperative Research Centre company logo Image STCRC.jpg 100px Centre company type Not for profit Not For Profit Cooperative Research Centre support An Australian Government Initiative foundation location Gold Coast, Queensland , Australia key people industry Sustainable tourism br Ecotourism num employees products http www.ec3global.com products programs decipher Default.aspx Decipher , Earthcheck , http www.ec3global.com products programs ipat Default.aspx IPAT and Green Globe revenue net income homepage http www.crctourism.com.au Sustainable Tourism CRC Sustainable Tourism Cooperative Research Centre STCRC , headquartered in Gold Coast, Queensland , was an Australian Cooperative Research Centre established by the Australian Government s Cooperative Research Centres Program to establish a competitive and dynamic sustainable tourism industry in Australia. It ceased to operate on 30 June 2010 ref http www.crctourism.com.au permanently archived at http www.webcitation.org 5sjXNipDH ref . STCRC is a not for profit company owned by its industry, government and university partners. STCRC stands as the world s largest travel and tourism research centre. History STCRC was established under the Australian Government s Cooperative Research Centre s Program to underpin the development of a dynamic, internationally competitive, and sustainable tourism industry. Since its inception the STCRC has supported over 170 PhD scholars through a suite of scholarships and the provision of a Career Development Program. STCRC currently supports over 90 postgraduate students. All are of exceptional academic standard. Most hold a first class honours degree and many have also received university awards for excellence. All supplementary scholarship holders also hold an APA or university equivalent scholarship. Organisational aims STCRC s aims are the development and management of intellectual property IP to deliver innovation to business, commu ... more details
notability date September 2011 primary sources date September 2011 Introduction to the Theory of Computation ISBN 0 534 95097 3 is a standard textbook in theoretical computer science , written by Michael Sipser . See also Introduction to Automata Theory, Languages, and Computation by John Hopcroft and Jeffrey Ullman , another standard textbook in the field External links http www math.mit.edu sipser book.html Information on Introduction to the Theory of Computation by Michael Sipser Category Computer science books Category Computational complexity theory Category Theory of computation compu book stub ... more details
italictitle Infobox Journal title Evolutionary Computation cover Image evolutionarycomputationlowres.jpg editor Hans Georg Beyer discipline Evolutionary Computation language English abbreviation Evol. Comput. publisher MIT Press country United States frequency Quarterly history 1993 present openaccess impact 3.103 impact year 2009 website http www.mitpressjournals.org loi evco link1 http www.mitpressjournals.org toc evco current link1 name Online access link2 link2 name RSS atom JSTOR OCLC 44169764 LCCN CODEN ISSN 1063 6560 eISSN 1530 9304 Evolutionary Computation is a peer reviewed academic journal published four times a year by the MIT Press . The journal serves as an international forum for researchers exchanging information in the field which deals with computational systems drawing their inspiration from nature. External links http www.mitpressjournals.org loi evco Official website journal stub Category English language journals Category Publications established in 1993 Category Evolutionary computation Category Quarterly journals Category Computer science journals Category MIT Press academic journals ... more details
The Research Institute for Symbolic Computation RISC Linz is a leading research institute in the area of symbolic computation , including automated theorem proving and computer algebra . It is located in Schlo Hagenberg in Hagenberg near Linz in Austria . RISC was founded in 1987 under Bruno Buchberger and moved to Hagenberg in 1989. Present chairman of RISC is Peter Paule. External links http www.risc.uni linz.ac.at RISC Linz http www.softwarepark hagenberg.com Softwarepark Hagenberg Category Computer science organizations compsci stub de Research Institute for Symbolic Computation ru ... more details
Infobox journal cover editor discipline peer reviewed language former names abbreviation publisher Institute of Electrical and Electronics Engineers country United States frequency Bimonthly history 1997 openaccess license impact impact year website http ieee cis.org pubs tec link1 http ieeexplore.ieee.org servlet opac?punumber 4235 link1 name OPAC link link2 link2 name JSTOR OCLC LCCN 97648327 CODEN ITEVF5 ISSN 1089 778X eISSN 1941 0026 boxwidth The IEEE Transactions on Evolutionary Computation TEC is a bimonthly scientific journal journal published by the Computational Intelligence Society of the Institute of Electrical and Electronics Engineers IEEE Computer Society . It contains peer review ed articles and other contributions in the area of evolutionary computation and natural computation . It is intended for researchers, developers, educators and technical managers in the computer field. The magazine ranked among the most cited journals 2 in Computer Science, Theory & Methods and 3 in Artificial Intelligence , according to the http www.ieee.org web publications journmag journalcitations.html 2007 annual Journal Citation Report , published by the Thomson Institute for Scientific Information. External links Category IEEE publications Transactions on Evolutionary Computation Category Computer science journals engineering journal stub comp sci stub pt IEEE Transactions on Evolutionary Computation ... more details
Secure two party computation 2PC is sub problem of secure multi party computation MPC that has received special attention by researchers because of its close relation to many cryptographic tasks. It is concerned with the question Can two party computation be achieved more efficiently and under weaker security assumptions than general MPC? Andrew Yao Yao s protocol for two party computation ref cite doi 10.1109 SFCS.1982.38 ref only provided security against passive adversaries. 2PC protocols that are secure against active adversaries were proposed by Lindell and Pinkas ref cite doi 10.1007 978 3 540 72540 4 4 ref , Ishai, Prabhakaran and Sahai ref cite doi 10.1007 978 3 540 85174 5 32 ref and Nielsen and Orlandi ref cite doi 10.1007 978 3 642 00457 5 22 ref . Another solution for this problem, that explicitly works with committed input was proposed by Jarecki and Shmatikov ref cite doi 10.1007 978 3 540 72540 4 6 ref . Security The security of a two party computation protocol is usually defined through a comparison with an idealised scenario that is secure by definition. The idealised scenario involves a Trusted third party trusted party that collects the input of the two parties over secure channel s and returns the result if none of the parties chooses to abort. The cryptographic two party computation protocol is secure, if it behaves no worse than this ideal protocol, but without the additional trust social sciences trust assumption s Disambiguation needed date June 2011 . This is usually modeled using a simulator. The task of the simulator is to act as a wrapper around the idealised protocol to make it appear like the cryptographic protocol. The simulation succeeds with respect to an Information theory information theoretic , respectively computationally bounded adversary if the output of the simulator is statistically close to, respectively computationally indistinguishable from the output of the cryptographic protocol. A two party computation protocol is secure ... more details
Italic title Infobox journal title Network Computation In Neural Systems cover Image net front cover.jpg thumbnail center discipline Computational neuroscience abbreviation Network publisher Informa country impact 0.957 impact year 2010 website http www.informahealthcare.com net ISSN 0954 898X eISSN 1361 6536 CODEN NEWKEB OCLC 21370403 LCCN 92641787 Network Computation In Neural Systems is a scientific journal that aims to provide a forum for integrating theoretical and experimental findings in computational neuroscience across relevant interdisciplinary boundaries. ref Cite web url http informahealthcare.com page Description?journalCode net title Network Computation In Neural Systems Aims and Scope accessdate 14 June 2010 format work ref The journal is published by Informa and edited by G. J. Goodhill University of Queensland , Australia . ref Cite web url http informahealthcare.com page EditorialAdvisoryBoard?journalCode net title Network Computation In Neural Systems Editorial Board accessdate 14 June 2010 format work ref Network Computation In Neural Systems was established in 1990 and has an impact factor of 0.957. ref Thomson Reuters Journal Citation Reports 2010 ref It is published 4 times a year. ref Cite web url http informahealthcare.com net title Network Computation In Neural Systems Online Publications accessdate 14 June 2010 format work ref References Reflist Use dmy dates date September 2010 Category Neuroscience journals Category Informa academic journals Category Quarterly journals Category Publications established in 1990 Category English language journals ... more details
Infobox Journal cover discipline Statistics language English website http www.tandf.co.uk journals titles 00949655.asp publisher Taylor & Francis country United States USA abbreviation JSCS history 1972 to present frequency 12 issues per year openaccess No ISSN 0094 9655 eISSN 1563 5163 LCCN OCLC 1793216 JSTOR impact 0.517 impact year 2009 link1 link1 name Journal of Statistical Computation and Simulation is a peer review ed scientific journal that publishes papers related to computational statistics . It is published by Taylor & Francis in English language English . The journal started publishing in 1972. It publishes 12 issues each year. Abstracting and indexing Journal of Statistical Computation and Simulation is indexed in the following services Current Index to Statistics Science Citation Index Expanded Zentralblatt MATH External links http www.tandf.co.uk journals titles 00949655.asp Journal of Statistical Computation and Simulation Statistics journals Category Computational statistics journals Category Statistics journals Category Publications established in 1972 ... more details
Orphan date February 2009 Interval valued computation is a special kind of theoretical models for computation. It is capable of working on interval valued bytes special subsets of the unit interval . If such computers were realized, their computation power would be much greater than that of functioning, implementable computers. As such, there are no architectures for their physical implementations. Only special subsets of the unit interval are considered the restrictions are of finite nature, so that the computation power of this paradigm fits into the framework of Church Turing thesis ref NaVa07 Nagy & V lyi 2007 14 ref unlike real computation , interval valued computation is not capable of hypercomputation . Such a model of computation is capable of solving NP complete problems like tripartite matching . ref TaNa08 Tajti & Nagy 2008 ref The Boolean satisfiability problem Extensions of SAT validity problem of quantified propositional formulae is decidable by a linear interval valued computation. As a consequence, all PSPACE polynomial space problem s are decidable by a polynomial interval valued computation. Furthermore, it is proven that PSPACE coincides with the class of languages which are decidable by a restricted polynomial interval valued computation links added . ref NaVa08 Nagy & V lyi 2008 ref Notes references References cite id NaVa07 cite conference last Nagy first Benedek coauthors V lyi, S ndor title Visual reasoning by generalized interval values and interval temporal logic pages 13 26 booktitle VLL conference Proceedings of the VLL 2007 workshop on Visual Languages and Logic editor Philip T. Cox & Andrew Fish & John Howse publisher CEUR Workshop Proceedings location Coeur d Al ne, Idaho, USA date 23 September 2007 format PDF url http ftp.informatik.rwth aachen.de Publications CEUR WS Vol 274 paper2.pdf cite cite id NaVa08 cite journal last Nagy first Benedek ... Tripartite Matching by Interval valued Computation in Polynomial Time conference Computability in Europe ... more details
Biomedical Computation Review BCR is a quarterly, open access magazine funded by the National Institutes of Health and published by National Centers for Biomedical Computing Simbios , one of the National Centers for Biomedical Computing located at Stanford University . First published in 2005, BCR covers such topics as molecular dynamics , genomics , proteomics , physics based simulation , systems biology , and other research involving computational biology . BCR s articles are targeted to those with a general science or biology background, in order to build a community among biomedical computational researchers who come from a variety of disciplines. External links http biomedicalcomputationreview.org Biomedical Computation Review http simbios.stanford.edu Simbios sci mag stub Category Stanford University Category American magazines Category Quarterly magazines Category National Institutes of Health Category Publications established in 2005 ... more details
The IEEE Congress on Evolutionary Computation CEC is one of the largest and most important conferences within Evolutionary computation EC , the other conferences of similar importance being Genetic and Evolutionary Computation Conference GECCO and Parallel Problem Solving from Nature PPSN . CEC, which is organized by the IEEE Computational Intelligence Society in cooperation with the Evolutionary Programming Society , covers most subtopics of EC, such as Evolutionary robotics , Multiobjective optimization , Evolvable hardware , Theory of evolutionary computation , Evolutionary design etc. Papers can also be found that deal with topics which are related to rather than part of EC, such Ant colony optimization , Swarm intelligence and Quantum computing . The conference usually attracts several hundreds of attendees, as well as hundreds of papers. External links http ieee wcci2012.org CEC 2012, Brisbane, Australia part of WCCI 2012 http cec2011.org CEC 2011, New Orleans, USA http www.wcci2010.org CEC 2010, Barcelona, Spain part of WCCI 2010 http www.cec 2009.org CEC 2009, Trondheim, Norway http www2.mae.cuhk.edu.hk wcci2008 CEC 2008, Hong Kong part of WCCI 2008 http cec2007.nus.edu.sg CEC 2007, Singapore http www.compsys.ia.ac.cn wcci2006 CEC 2006, Vancouver, Canada part of WCCI 2006 http www.dcs.ex.ac.uk dwcorne cec2005 CEC 2005, Edinburgh, UK http www.cec2004.org CEC 2004, Portland, OR, US http www.cs.adfa.edu.au cec 2003 CEC 2003, Canberra, Australia http www.wcci2002.org CEC 2002, Hawaii, US part of WCCI 2002 http cec2001.kaist.ac.kr CEC 2001, Korea CEC 2000, San Diego, CA, US http garage.cps.msu.edu cec99 CEC 1999, Washington DC, US Category Evolutionary computation ... more details
Infobox Journal cover File Journalcover Jsc.gif File Journalcover Jsc.gif editor Hoon Hong discipline Computer science publisher Academic Press country frequency Monthly history 1985 present impact 0.853 impact year 2009 website http www.elsevier.com locate jsc ISSN 0747 7171 link1 http www.sciencedirect.com science journal 07477171 link1 name Online access OCLC 10791050 LCCN 85644369 CODEN ISSN 0747 7171 eISSN The Journal of Symbolic Computation is a Peer review peer reviewed monthly scientific journal covering all aspects of symbolic computation published by Academic Press . It is targeted to both mathematician s and computer scientist s. It was established in 1985 by Bruno Buchberger , who served as its Editor in chief editor until 1994. The journal covers a wide variety of topics, including Computer algebra system Computer algebra , for which it is considered the top journal ref cite book title Computer Algebra and Symbolic Computation Mathematical Methods last Cohen first Joel S. authorlink coauthors year 2003 publisher AK Peters, Ltd. location isbn 978 1568811598 page 14 pages 472 url accessdate 30 December 2009 ref Computational geometry Automated theorem proving Applications of symbolic computation in education, science, and industry According to the Journal Citation Reports , its 2009 impact factor is 0.853. ref name WoS cite web url http isiwebofknowledge.com title Web of Science year 2011 accessdate 2011 05 26 ref The journal is abstracted and indexed by Scopus and the Science Citation Index . See also Higher Order and Symbolic Computation References reflist External links Official http www.elsevier.com locate jsc Category Mathematics journals Category Computer science journals Category Publications established in 1985 Category Elsevier academic journals Category Monthly journals Category English language journals ... more details
Encyclopedia
top
