diff --git a/CORE-To-Excel/CORE-Data/100-example-AI-papers.csv b/CORE-To-Excel/CORE-Data/example-100-AI-papers.csv.csv similarity index 100% rename from CORE-To-Excel/CORE-Data/100-example-AI-papers.csv rename to CORE-To-Excel/CORE-Data/example-100-AI-papers.csv.csv diff --git a/CORE-To-Excel/CORE-Data/100-example-programming-papers.csv b/CORE-To-Excel/CORE-Data/example-100-programming-papers.csv similarity index 100% rename from CORE-To-Excel/CORE-Data/100-example-programming-papers.csv rename to CORE-To-Excel/CORE-Data/example-100-programming-papers.csv diff --git a/CORE-To-Excel/CoreToExcelAggregator.jar b/CORE-To-Excel/CoreToExcelAggregator.jar index 11db132..c2a7be6 100644 Binary files a/CORE-To-Excel/CoreToExcelAggregator.jar and b/CORE-To-Excel/CoreToExcelAggregator.jar differ diff --git a/CORE-To-Excel/Excel-Output/output.txt b/CORE-To-Excel/Excel-Output/output.txt index 2638666..957e77c 100644 --- a/CORE-To-Excel/Excel-Output/output.txt +++ b/CORE-To-Excel/Excel-Output/output.txt @@ -1,201 +1,201 @@ -Link||workID||oaiID||Title||Authors||Publication -https://core.ac.uk/works/24750988/||"oai:arxiv.org:1601.00529","oai:spiral.imperial.ac.uk:10044\/1\/30991","oai:citeseerx.psu:10.1.1.717.7330"||10.1017/s1471068416000041||Programming in logic without logic programming||Kowalski Robert, Sadri Fariba||2016-08-03T02:38:19 -https://core.ac.uk/works/50234761/||"oai:open.bu.edu:2144\/1875","oai:persee:article\/inrp_0000-0000_1997_ant_16_1_5153"||||Extending snBench to Support a Graphical Programming Interface for a Sensor Network Tasking Language (STEP)||Chang Ching, Sweha Raymond, Papapetrou Panagiotis||2017-12-19T14:44:04 -https://core.ac.uk/works/942597/||"oai:dare.uva.nl:publications\/d08f761d-768e-4db9-81b4-a9eff6ad6d7a","oai:citeseerx.psu:10.1.1.342.3782","oai:arxiv.org:cs\/0003076","oai:citeseerx.psu:10.1.1.341.9546","oai:citeseerx.psu:10.1.1.42.8164","oai:dare.uva.nl:openaire_cris_publications\/d08f761d-768e-4db9-81b4-a9eff6ad6d7a"||10.1017/s1471068401000072||Constraint Programming viewed as Rule-based Programming||Apt Krzysztof R., Monfroy Eric||2012-04-13T14:21:47 -https://core.ac.uk/works/947797/||"oai:arxiv.org:cs\/9301109"||||Logic Programming, Functional Programming, and Inductive Definitions||Paulson Lawrence C., Smith Andrew W.||2012-04-13T14:21:52 -https://core.ac.uk/works/68240765/||"oai:repository.uchastings.edu:hastings_comm_ent_law_journal-1321"||||Against Software Patents: The League for Programming Freedom||The League for Programming Freedom||2019-10-17T21:17:15 -https://core.ac.uk/works/17224205/||"oai:arxiv.org:1409.3531"||10.1214/13-sts452||Object-Oriented Programming, Functional Programming and R||Chambers John M.||2014-10-24T19:29:23 -https://core.ac.uk/works/41261567/||"oai:ir.nmu.org.ua:123456789\/148998"||10.1177/0884533613490741||Computer Programming||Kasianenko Vladislava, Korotenko L.M., Syanova O.V., Taranenko Lilya||2017-12-03T01:44:38 -https://core.ac.uk/works/41261519/||"oai:ir.nmu.org.ua:123456789\/149030"||||Programming Languages||Isakova M.L., Ogeenko P.Y., Sidorina Vadim||2017-12-03T01:44:38 -https://core.ac.uk/works/17201167/||"oai:doaj.org\/article:eebc7cfa14e14a01b2db85f3914ea1e8","oai:arxiv.org:1406.2060"||10.4204/eptcs.153.7||Polymonadic Programming||Bierman Gavin, Guts Nataliya, Hicks Michael, Leijen Daan, Swamy Nikhil||2014-10-24T19:27:00 -https://core.ac.uk/works/945060/||"oai:citeseerx.psu:10.1.1.341.5038","oai:citeseerx.psu:10.1.1.97.9321","oai:arxiv.org:cs\/0412046","oai:citeseerx.psu:10.1.1.14.8282"||||Quasiconvex Programming||Eppstein David||2012-04-13T14:21:50 -https://core.ac.uk/works/710042/||"oai:arxiv.org:1007.3023"||||Purely Functional Structured Programming||Obua Steven||2012-04-13T14:18:06 -https://core.ac.uk/works/17028227/||"oai:citeseerx.psu:10.1.1.750.4957","oai:arxiv.org:1212.1269"||10.23919/ecc.2013.6669374||Approximate Dynamic Programming via Sum of Squares Programming||Kamgarpour Maryam, Kariotoglou Nikolaos, Kunz Konstantin, Lygeros John, Summers Sean, Summers Tyler H.||2014-10-23T17:20:53 -https://core.ac.uk/works/58978815/||"oai:arxiv.org:1905.07212"||||Implementing a Library for Probabilistic Programming using Non-strict Non-determinism||Christiansen Jan, Dylus Sandra, Teegen Finn||2019-06-02T02:03:52 -https://core.ac.uk/works/45153128/||"oai:acikerisim.isikun.edu.tr:11729\/1407","oai:arxiv.org:1710.11559"||10.1109/te.2017.2789183||Implicit Theories and Self-efficacy in an Introductory Programming Course||Benli Kristin S., Deveci Ezgi, Tek F. Boray||2017-11-21T00:02:31 -https://core.ac.uk/works/54153302/||"oai:arxiv.org:1809.08304"||||onlineSPARC: a Programming Environment for Answer Set Programming||Marcopoulos Elias, Zhang Yuanlin||2019-02-06T06:42:50 -https://core.ac.uk/works/42869231/||"oai:arxiv.org:1705.09413"||10.1145/3015455||Learnable Programming: Blocks and Beyond||Bau David, Gray Jeff, Kelleher Caitlin, Sheldon Josh, Turbak Franklyn||2017-06-19T02:44:28 -https://core.ac.uk/works/4645463/||"oai:citeseerx.psu:10.1.1.89.1534","oai:eprints.usq.edu.au:224"||10.1007/11499053_10||A framework for understanding the factors influencing pair programming success||C. Poole, E. Yourdon, F.P. Brooks, G. Rowe, J. Grenning, K. Beck, K.M. Lui, L. Day, L. Williams, L. Williams, R.L. Glass, R.W. Napier||2013-07-08T13:21:37 -https://core.ac.uk/works/40140131/||"oai:docs.rwu.edu:seccm_fp-1006"||||Does choice of programming language affect student understanding of programming concepts in a first year engineering course?||Gratiano Stephanie M., McPheron Benjamin D., Palm William J.||2017-11-20T21:28:32 -https://core.ac.uk/works/18057275/||"oai:arxiv.org:1504.00977"||10.1007/978-3-319-19686-2_4||Declaratively solving Google Code Jam problems with Picat||Dymchenko Sergii, Mykhailova Mariia||2015-09-24T00:09:31 -https://core.ac.uk/works/8220952/||"oai:research-information.bris.ac.uk:openaire_cris_publications\/bd78f622-707d-4df9-a840-83aa3ef1f195","oai:publications.lib.chalmers.se:224566","oai:research-information.bris.ac.uk:publications\/bd78f622-707d-4df9-a840-83aa3ef1f195","oai:research.chalmers.se:224566","oai:kar.kent.ac.uk:50323"||10.1093/nsr/nwv042||How functional programming mattered||Abelson, Armstrong, Armstrong, Arts, Arts, Axelsson, Baars, Backus, Bahr, Barthe, Bertot, Bird, Bird, Bird, Bird, Bird RS Moor, Blelloch, Blelloch, Bringert, Carette, Chakravarty, Chakravarty MMT Leshchinskiy, Chetali, Chin, Claessen, Claessen, Cole, Cole, de Moor, Dean, Devriese, Dijkstra, Dybvig, Elliott, Elliott, Epstein, Farmer, Fegaras, Felleisen, Ford, Gibbons, Gibbons, Gill, Halloway, Hammond, Hansen MR Rischel, Harris, Hinze, Hinze, Hu, Hu, Hu, Hu, Hu, Hudak, Hudak, Hudak, Hudak, Hudak, Hudak, Hughes, Hughes, Hughes, Hughes JM Bolinder, Hutton, Hutton, Jones, Katayama, Katayama, Kiselyov, Launchbury, Launchbury, Leijen, Leroy, Liang, Lindley, Loidl HW Rubio, Matsuzaki, Mcbride, Meijer, Meijer, Milner, Minsky, Minsky, Moggi, Moggi, Morita, Mu, Naiman, Norell, Odersky, Oliveira BCS Moors, Paterson, Paulson, Persson, Peyton Jones, Peyton Jones, Peyton Jones SL Wadler, Reynolds, Sagonas, Schrijvers, Sculthorpe, Seibel, Sheard, Skillicorn, Smith, Snyder, Steele, Steele, Svenningsson, Svenningsson, Swierstra, Swierstra SD Duponcheel, Takano, Takano, Tesson, Wadler, Wadler, Wadler, Wadler, Wampler, Yang||2016-04-05T13:05:01 -https://core.ac.uk/works/578025/||"oai:arxiv.org:0712.3079","oai:cwi.nl:11816","oai:tilburguniversity.edu:publications\/32708817-eaaf-4337-9962-b8833ef1929b","oai:cwi.nl:13249","oai:citeseerx.psu:10.1.1.248.8898","oai:wo.uvt.nl:3736473","oai:citeseerx.psu:10.1.1.156.9619","oai:tilburguniversity.edu:openaire_cris_publications\/32708817-eaaf-4337-9962-b8833ef1929b"||10.1016/j.orl.2008.10.003||Block-diagonal semidefinite programming hierarchies for 0/1 programming||Balas, Bollob\u00e1s, Borchers, De Klerk, Frank Vallentin, Gvozdenovi\u0107, Gvozdenovi\u0107, Lasserre, Laurent, Laurent, Laurent, Lov\u00e1sz, Lov\u00e1sz, Monique Laurent, Neboj\u0161a Gvozdenovi\u0107, Nemhauser, Schrijver, Sherali, Wolsey||2012-04-13T14:16:10 -https://core.ac.uk/works/17180339/||"oai:arxiv.org:1402.3690"||||(Co)recursion in Logic Programming: Lazy vs Eager||Heras J\u00f3nathan, Komendantskaya Ekaterina, Schmidt Martin||2014-10-24T19:24:25 -https://core.ac.uk/works/800830/||"oai:arxiv.org:1112.6075"||||A semidefinite programming approach for solving Multiobjective Linear Programming||Ben-Ali Safae El-Haj, Blanco V\u00edctor, Puerto Justo||2012-04-13T14:19:33 -https://core.ac.uk/works/734578/||"oai:arxiv.org:1012.4240"||||ECLiPSe - from LP to CLP||Schimpf Joachim, Shen Kish||2012-04-13T14:18:31 -https://core.ac.uk/works/735081/||"oai:arxiv.org:1012.5130","oai:citeseerx.psu:10.1.1.758.3133"||||A Relation between the Protocol Partition Number and the Quasi-Additive Bound||Kamiyama Naoyuki||2012-04-13T14:18:32 -https://core.ac.uk/works/942535/||"oai:citeseerx.psu:10.1.1.341.6008","oai:citeseerx.psu:10.1.1.21.6922","oai:lirias2repo.kuleuven.be:123456789\/131533","oai:arxiv.org:cs\/0003025"||||Logic Programming for Describing and Solving Planning Problems||Bruynooghe Maurice||2012-04-13T14:21:47 -https://core.ac.uk/works/774511/||"oai:arxiv.org:1108.4547"||||Language Support for Declarative Future Commitments||Harrison William||2012-04-13T14:19:08 -https://core.ac.uk/works/24730819/||"oai:arxiv.org:1509.06394"||||Semidefinite programming relaxations for linear semi-infinite polynomial programming||Guo Feng, Sun Xiaoxia||2016-08-03T02:21:09 -https://core.ac.uk/works/602532/||"oai:arxiv.org:0806.4746"||||Concept-Oriented Programming||Savinov Alexandr||2012-04-13T14:16:28 -https://core.ac.uk/works/54164251/||"oai:arxiv.org:1810.09616"||10.4204/eptcs.282.4||Programming Without Refining||Benabdelali Marwa, Ghardallou Wided, Jilani Lamia Labed, Mili Ali||2019-02-06T06:45:29 -https://core.ac.uk/works/18085993/||"oai:arxiv.org:1508.04805"||10.1007/s10957-014-0633-4||Robust fractional programming||Gorissen Bram L.||2015-09-24T01:38:46 -https://core.ac.uk/works/58974245/||"oai:arxiv.org:1905.00562"||||Disciplined Quasiconvex Programming||Agrawal Akshay, Boyd Stephen||2019-06-02T02:02:45 -https://core.ac.uk/works/37646997/||"oai:arxiv.org:1611.04766","oai:zenodo.org:175443"||10.5281/zenodo.175443||Differentiable Genetic Programming||Biscani Francesco, Izzo Dario, Mereta Alessio||2016-12-01T20:59:25 -https://core.ac.uk/works/42871393/||"oai:arxiv.org:1706.00834"||||Online Dynamic Programming||Rahmanian Holakou, Warmuth Manfred K.||2017-06-19T02:46:22 -https://core.ac.uk/works/942834/||"oai:scholarbank.nus.edu.sg:10635\/39301","oai:citeseerx.psu:10.1.1.4.7626","oai:arxiv.org:cs\/0208029","oai:dial.uclouvain.be:boreal:61384"||10.1017/s1471068403001741||Logic programming in the context of multiparadigm programming: the Oz experience||Brand P, Duchier D, Haridi S., Henz M, International Conference on Logic Programming, Schulte C, Van Roy Peter||2012-04-13T14:21:48 -https://core.ac.uk/works/695264/||"oai:arxiv.org:1004.2027"||||Dynamic Policy Programming||Azar Mohammad Gheshlaghi, Gomez Vicenc, Kappen Hilbert J.||2012-04-13T14:17:54 -https://core.ac.uk/works/635652/||"oai:citeseerx.psu:10.1.1.64.7717","oai:arxiv.org:0903.1152"||||Stochastic Constraint Programming||Walsh Toby||2012-04-13T14:17:01 -https://core.ac.uk/works/258295/||"oai:cogprints.org:1670"||||Bayesian robot Programming||Bessiere Pierre, Diard Julien, Lebeltel Olivier, Mazer Emmanuel||2012-07-01T04:54:06 -https://core.ac.uk/works/947170/||"oai:pure.atira.dk:publications\/717ba0e0-b3fd-4f71-acaa-cd76278da3f7","oai:arxiv.org:cs\/0609062","oai:citeseerx.psu:10.1.1.342.6780","oai:www.era.lib.ed.ac.uk:1842\/4608","oai:era.ed.ac.uk:1842\/4608","oai:kclpure.kcl.ac.uk:publications\/717ba0e0-b3fd-4f71-acaa-cd76278da3f7"||10.1145/1387673.1387675||Nominal Logic Programming||Cervesato I., Cheney J., Cheney J., Cheney J., Cheng A. S. K., Christian Urban, Darlington J., Fiore M. P., Hamana M., Hannan J., James Cheney, Miller D., Miller D., Miller D., Nadathur G., Nadathur G., Pfenning F., Pfenning F., Pitts A. M., Pottier F., Staples J., Watkins K.||2012-02-15T10:18:53 -https://core.ac.uk/works/945615/||"oai:arxiv.org:cs\/0602027"||||Explaining Constraint Programming||Apt Krzysztof R.||2012-04-13T14:21:50 -https://core.ac.uk/works/945232/||"oai:arxiv.org:cs\/0601035"||||Deductive Object Programming||Colonna Francois||2012-04-13T14:21:50 -https://core.ac.uk/works/652380/||"oai:citeseerx.psu:10.1.1.249.2644","oai:arxiv.org:0906.5171","oai:escholarship.org:ark:\/13030\/qt4224z4ps","oai:escholarship.org\/ark:\/13030\/qt4224z4ps"||10.1007/978-3-540-68279-0_15||Nonlinear Integer Programming||A. Ben-Tal, A. Frangioni, A. Frangioni, A.I. Barvinok, A.I. Barvinok, A.M. Geoffrion, B. Bank, C. Buchheim, C.A. Meyer, C.H. Papadimitriou, D. Goldfarb, D. Vandenbussche, D. Vandenbussche, E. Balas, E. Balas, E. Balas, E. Boros, E.M.B. Smith, F. Santos, F.A. Al-Khayyal, G.P. McCormick, H.W. Lenstra, I. Quesada, J. Lee, J. Lee, J. Linderoth, J. Renegar, J. Renegar, J.A. Loera De, J.A. Loera De, J.A. Loera De, J.A. Loera De, J.A. Loera De, J.A. Loera De, J.B. Lasserre, J.E. Graver, J.E. Kelley Jr, J.P. Jones, K. Mulmuley, L. Liberti, L. Lov\u00e1sz, L.G. Khachiyan, M. Brion, M. Brion, M. Jach, M. K\u00f6ppe, M. K\u00f6ppe, M. Laurent, M. Putinar, M. Tawarmalani, M. Tawarmalani, M. Tawarmalani, M.A. Duran, M.D. Choi, M.E. Hartmann, M.R. Garey, M.T. \u00c7ezik, M.X. Goemans, N.V. Sahinidis, N.Z. Shor, O.K. Gupta, P. Bonami, P. Bonami, P. Bonami, P. Bonami, P.A. Parrilo, R. Hemmecke, R. P\u00f6rn, R.A. Stubbs, R.E. Gomory, R.G. Jeroslow, R.K. Ahuja, R.R. Thomas, S. Akt\u00fcrk, S. Burer, S. Ceria, S. Heinz, S. Ho\u015ften, S. Onn, S.P. Tarasov, T. Jacobi, T. Westerlund, T. Westerlund, W.J. Cook, Y. Berstein, Y. Berstein, Y.V. Matiyasevich||2012-04-13T14:17:16 -https://core.ac.uk/works/4468486/||"oai:casi.ntrs.nasa.gov:19690000593"||||COGENT programming manual||Reynolds J. C.||2013-05-31T10:43:36 -https://core.ac.uk/works/17168356/||"oai:arxiv.org:1312.4328","oai:citeseerx.psu:10.1.1.749.3225"||||Probabilistic Programming Concepts||De Raedt Luc, Kimmig Angelika||2014-10-24T19:23:07 -https://core.ac.uk/works/8220842/||"oai:kar.kent.ac.uk:50406"||10.1145/2818314.2818331||Frame-Based Editing: Easing the Transition from Blocks to Text-Based Programming||Altadmri Amjad, Brown Neil C.C., K\u00f6lling Michael||2016-04-05T13:05:02 -https://core.ac.uk/works/1151314/||"oai:cds.cern.ch:336180","oai:arxiv.org:quant-ph\/9710035"||||Programming Complex Systems||Maymin Philip||2012-04-13T14:24:59 -https://core.ac.uk/works/4850578/||"oai:doc.utwente.nl:18376","oai:ris.utwente.nl:publications\/692730d6-e211-4cab-802b-8cbb34b82371","oai:citeseerx.psu:10.1.1.1033.5025","oai:ris.utwente.nl:openaire_cris_publications\/692730d6-e211-4cab-802b-8cbb34b82371"||10.1007/3-540-46589-8_17||Aspect-Oriented Programming||Bergmans Lodewijk, Videira Lopes Cristina||2013-07-10T17:27:39 -https://core.ac.uk/works/17226389/||"oai:arxiv.org:1409.5832"||||Efficient First-Order Methods for Linear Programming and Semidefinite Programming||Renegar James||2014-10-24T19:29:34 -https://core.ac.uk/works/8657790/||"oai:arxiv.org:1312.4454","oai:discovery.dundee.ac.uk:openaire_cris_publications\/78655a5c-1628-4012-b257-ac45494a68cc","oai:portal.dialnet.es:doc\/5bbc687bb750603269e809b1","oai:pure.atira.dk:openaire_cris_publications\/0e860f84-e6dc-4f1c-8e1d-400d97768153","oai:pure.atira.dk:publications\/0e860f84-e6dc-4f1c-8e1d-400d97768153","oai:discovery.dundee.ac.uk:publications\/78655a5c-1628-4012-b257-ac45494a68cc"||10.1016/j.entcs.2014.02.007||Exploiting parallelism in coalgebraic logic programming||Amato, Ancona, Bonchi, Bonchi, Bruni, Comini, Dwork, Ekaterina Komendantskaya, Gabrielli, Gupta, Gupta, Hoare, J\u00f3nathan Heras, Kanellakis, Kinoshita, Komendantskaya, Komendantskaya, Komendantskaya, Komendantskaya, Komendantskaya, Lloyd, Martin Schmidt, Pontelli, Summerfield, Ullman||2014-10-24T19:23:07 -https://core.ac.uk/works/18087926/||"oai:hal:hal-01416379v1","oai:arxiv.org:1508.04936"||||Translation into any natural language of the error messages generated by any computer program||Roehner Bertrand||2015-09-24T01:39:11 -https://core.ac.uk/works/50749100/||"oai:arxiv.org:1803.10201"||10.22152/programming-journal.org/2018/2/14||Fast, Flexible, Polyglot Instrumentation Support for Debuggers and other Tools||Haupt Michael, Humer Christian, Seaton Chris, Van De Vanter Michael, W\u00fcrthinger Thomas||2018-04-18T20:34:23 -https://core.ac.uk/works/700790/||"oai:arxiv.org:1005.4379","oai:citeseerx.psu:10.1.1.406.3028"||||A Meta-Programming Approach to Realizing Dependently Typed Logic Programming||Baelde David, Nadathur Gopalan, Snow Zachary||2012-04-13T14:17:59 -https://core.ac.uk/works/54170941/||"oai:arxiv.org:1811.06150"||||Effect Handling for Composable Program Transformations in Edward2||Gorinova Maria I., Moore Dave||2019-02-06T06:47:43 -https://core.ac.uk/works/17212716/||"oai:arxiv.org:1407.4798","oai:citeseerx.psu:10.1.1.710.2338"||||Mixed-integer Quadratic Programming is in NP||Del Pia Alberto, Dey Santanu S., Molinaro Marco||2014-10-24T19:28:01 -https://core.ac.uk/works/18074767/||"oai:arxiv.org:1507.00723"||10.1007/978-3-319-28406-4_6||Theory of Programs||Meyer Bertrand||2015-09-24T00:55:10 -https://core.ac.uk/works/17160556/||"oai:arxiv.org:1311.5918"||||Empirical Dynamic Programming||Haskell William B., Jain Rahul, Kalathil Dileep||2014-10-24T19:22:36 -https://core.ac.uk/works/18044383/||"oai:arxiv.org:1502.02519","oai:pure.atira.dk:publications\/140e762d-7e3f-4574-ace5-09801a50decb"||10.1007/978-3-319-33612-1_1||Kickstarting Choreographic Programming||Montesi Fabrizio||2015-09-24T00:04:09 -https://core.ac.uk/works/41261412/||"oai:ir.nmu.org.ua:123456789\/148987"||||C Programming Language||Chernenko Alexei, Isakova M.L., Korotenko L.M.||2017-12-03T01:44:37 -https://core.ac.uk/works/23019602/||"oai:espace.cdu.edu.au:cdu:53440"||||HIT365 - C Programming||||2020-05-26T22:24:28 -https://core.ac.uk/works/48124138/||"oai:mro.massey.ac.nz:10179\/11700"||||Applications of mathematical programming on four New Zealand horticultural holdings : a thesis presented in partial fulfilment of the requirements for the degree of Master of Horticultural Science in Massey University||Rae Allan N||2018-02-10T21:34:10 -https://core.ac.uk/works/78116183/||"oai:escholarship.org\/ark:\/13030\/qt51z7b3wm","oai:escholarship.org:ark:\/13030\/qt51z7b3wm"||||Team-oriented process programming||Taylor Richard N., Young Patrick S.||2020-03-11T19:27:48 -https://core.ac.uk/works/18029564/||"oai:arxiv.org:1412.0981"||10.18287/1613-0073-2016-1638-460-468||Templet: a Markup Language for Concurrent Programming||Vostokin Sergey||2015-09-23T23:57:18 -https://core.ac.uk/works/54154327/||"oai:arxiv.org:1809.07945"||||SCC: Automatic Classification of Code Snippets||Alreshedy Kamel, Dharmaretnam Dhanush, German Daniel M., Gulliver T. Aaron, Srinivasan Venkatesh||2019-02-06T06:42:45 -https://core.ac.uk/works/50749124/||"oai:arxiv.org:1803.10199"||10.22152/programming-journal.org/2018/2/5||Harmonizing Signals and Events with a Lightweight Extension to Java||Aotani Tomoyuki, Kamina Tetsuo||2018-04-18T20:34:23 -https://core.ac.uk/works/42861883/||"oai:arxiv.org:1705.00556"||||Mapping Objects to Persistent Predicates||Llanes Jos\u00e9 E. Zalacain||2017-06-19T02:37:56 -https://core.ac.uk/works/17229105/||"oai:arxiv.org:1410.0373","oai:researchportal.port.ac.uk:publications\/10953c57-beed-4dae-8a08-3c830b786b4d"||10.1109/eduhpc.2014.7||Teaching Parallel Programming Using Java||Akhtar Aleem, Carpenter Bryan, Javed Ansar, Shafi Aamir||2014-10-24T19:29:53 -https://core.ac.uk/works/15105649/||"oai:researchcommons.waikato.ac.nz:10289\/2013"||||A semantics and implementation of a causal logic programming language||Clayton Roger, Cleary John G., Utting Mark||2015-06-05T10:24:36 -https://core.ac.uk/works/24818784/||"oai:arxiv.org:1607.05173"||10.1109/access.2017.2701339||An empirical study on the impact of IDE tool support in pair and solo programming||G\u00f3mez Omar S.||2016-08-03T03:13:25 -https://core.ac.uk/works/1151625/||"oai:arxiv.org:quant-ph\/9802070","oai:cds.cern.ch:347424","oai:authors.library.caltech.edu:81842","oai:citeseerx.psu:10.1.1.251.4293"||10.1109/18.796387||Monotonicity of the quantum linear programming bound||Rains Eric M.||2012-04-13T14:24:59 -https://core.ac.uk/works/78115648/||"oai:escholarship.org:ark:\/13030\/qt9bq9j74t","oai:escholarship.org\/ark:\/13030\/qt9bq9j74t"||||Arcturus user's guide||Snider Craig, Willson Stephen Hunter||2020-03-11T19:27:51 -https://core.ac.uk/works/4086019/||"oai:arxiv.org:1207.3472"||||Optimal Selection of Assets Investing Composition Plan based on Grey Multi Objective Programming method||Kim Gol, Yun Ri Suk||2012-07-19T14:00:47 -https://core.ac.uk/works/18083470/||"info:doi\/10.1016%2fj.jlamp.2015.07.006","oai:www.research.unipd.it:11577\/3187077","oai:arxiv.org:1507.07719"||10.1016/j.jlamp.2015.07.006||The role of concurrency in an evolutionary view of programming abstractions||Crafa Silvia||2015-09-24T01:18:50 -https://core.ac.uk/works/346014/||"oai:bura.brunel.ac.uk:2438\/2075"||||Reformulations of mathematical programming problems as linear complementarity problems||Judice JJ, Mitra G||2012-02-23T17:16:56 -https://core.ac.uk/works/17183570/||"oai:citeseerx.psu:10.1.1.1056.5348","oai:citeseerx.psu:10.1.1.757.3757","oai:arxiv.org:1403.0504"||||A Compilation Target for Probabilistic Programming Languages||Paige Brooks, Wood Frank||2014-10-24T19:24:48 -https://core.ac.uk/works/17179175/||"oai:arxiv.org:1402.2852"||10.1016/j.orl.2014.10.002||Robust Integer Programming||Onn Shmuel||2014-10-24T19:24:20 -https://core.ac.uk/works/24810880/||"oai:arxiv.org:1606.04216"||||Spreadsheet Probabilistic Programming||Perov Yura, Wood Frank, Wu Mike, Yang Hongseok||2016-08-03T03:07:09 -https://core.ac.uk/works/54165072/||"oai:arxiv.org:1810.11673"||||Beyond Structured Programming||van Emden M. H.||2019-02-06T06:45:59 -https://core.ac.uk/works/18093779/||"oai:arxiv.org:1509.04315"||||Implementing a teleo-reactive programming system||Webb Robert||2015-09-24T02:00:24 -https://core.ac.uk/works/945495/||"oai:citeseerx.psu:10.1.1.341.6657","oai:arxiv.org:cs\/0603016"||||Object-Oriented Modeling of Programming Paradigms||Somosan S. C., van Emden M. H.||2012-04-13T14:21:51 -https://core.ac.uk/works/18036539/||"oai:arxiv.org:1501.00669"||||Asynchronous Programming in a Prioritized Form||El-Zawawy Mohamed A.||2015-09-24T00:00:40 -https://core.ac.uk/works/43118981/||"oai:arxiv.org:1707.00812"||||Inexact cuts for Deterministic and Stochastic Dual Dynamic Programming applied to convex nonlinear optimization problems||Guigues Vincent||2017-07-23T18:36:30 -https://core.ac.uk/works/44151629/||"oai:scholarworks.iupui.edu:1805\/20547","oai:scholarworks.indianapolis.iu.edu:1805\/20547"||10.1080/0735648x.2018.1554844||Leveraging Wireless Broadband to Improve Police Land Mobile Radio Programming: Estimating the Resource Impact||Carter Jeremy G., Grommon Eric, Piza Eric L.||2019-09-05T02:37:00 -https://core.ac.uk/works/944432/||"oai:arxiv.org:cs\/0403033"||||Integrating design synthesis and assembly of structured objects in a visual design language||Banyasad Omid, Cox Philip T.||2012-04-13T14:21:49 -https://core.ac.uk/works/43886854/||"oai:arxiv.org:1708.02710"||10.1016/j.entcs.2018.03.013||From Reversible Programs to Univalent Universes and Back||Carette Jacques, Chen Chao-Hong, Choudhury Vikraman, Sabry Amr||2017-09-08T05:02:37 -https://core.ac.uk/works/17198993/||"oai:arxiv.org:1405.3792"||10.1017/s1471068414000313||Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation||Charalambidis Angelos, Rondogiannis Panos, \u00c9sik Zolt\u00e1n||2014-10-24T19:26:30 -https://core.ac.uk/works/17151774/||"oai:arxiv.org:1310.0395"||||Protein Threading Based on Nonlinear Integer Programming||Bakri Marwah Mohammed, Gharibi Wajeb||2014-10-24T19:21:23 -https://core.ac.uk/works/947255/||"oai:citeseerx.psu:10.1.1.341.7206","oai:cwi.nl:1234","oai:arxiv.org:cs\/9811017","oai:citeseerx.psu:10.1.1.25.423","oai:cwi.nl:4626"||10.1007/978-3-642-60085-2_4||Formulas as Programs||Apt Krzysztof R., Bezem Marc||2012-04-13T14:21:52 -https://core.ac.uk/works/51394220/||"oai:arxiv.org:1804.06458"||||Deep Probabilistic Programming Languages: A Qualitative Study||Baudart Guillaume, Hirzel Martin, Mandel Louis||2018-05-15T08:42:41 -https://core.ac.uk/works/778999/||"oai:sfera.unife.it:11392\/1436919","info:doi\/10.1017%2fs1471068411000275","oai:arxiv.org:1109.1248","oai:iris.unife.it:11392\/1436919"||10.1017/s1471068411000275||Optimal Placement of Valves in a Water Distribution Network with CLP(FD)||Alvisi Stefano, Cattafi Massimiliano, Franchini Marco, Gavanelli Marco, Nonato Maddalena||2012-04-13T14:19:10 -https://core.ac.uk/works/24739604/||"oai:arxiv.org:1511.00924"||||Bound Your Models! How to Make OWL an ASP Modeling Language||Gaggl Sarah Alice, Rudolph Sebastian, Schweizer Lukas||2016-08-03T02:27:56 -https://core.ac.uk/works/8063004/||"oai:discovery.dundee.ac.uk:publications\/ff68b52e-bef4-4db4-9a67-d63fe1e31074","oai:discovery.dundee.ac.uk:openaire_cris_publications\/ff68b52e-bef4-4db4-9a67-d63fe1e31074","oai:oro.open.ac.uk:50303"||10.1145/3059009.3059046||Learning Dimensions: Lessons from Field Studies||Hughes Janet, Martin Christopher, Richards John||2017-08-01T11:00:12 -https://core.ac.uk/works/18032579/||"oai:arxiv.org:1412.4629"||||Towards Live Programming in ROS with PhaROS and LRP||Bouraqad Noury, Campusano Miguel, Estef\u00f3 Pablo, Fabresse Luc, Fabry Johan, Laval Jannik||2015-09-23T23:58:52 -https://core.ac.uk/works/17014953/||"oai:arxiv.org:1210.3039","oai:citeseerx.psu:10.1.1.648.9689"||||Sequential Convex Programming Methods for A Class of Structured Nonlinear Programming||Lu Zhaosong||2014-10-23T17:19:43 -https://core.ac.uk/works/45959058/||"oai:arxiv.org:1712.03112"||10.1109/tpds.2018.2872064||Effective Extensible Programming: Unleashing Julia on GPUs||Besard Tim, De Sutter Bjorn, Foket Christophe||2017-12-15T09:10:30 -https://core.ac.uk/works/48123472/||"oai:mro.massey.ac.nz:10179\/11862"||||The cognitive construction of programs by novice programmers : a thesis presented in partial fulfilment of the requirements for the degree of Master of Science in Computer Science at Massey University||Rose Zo\u00eb Joanne||2018-02-10T21:34:32 -https://core.ac.uk/works/8221627/||"oai:ora.ox.ac.uk:uuid:da1a453e-1b3e-466a-b0c4-60983c0c8949","oai:publications.lib.chalmers.se:143544","oai:hub.hku.hk:10722\/188485","oai:research.chalmers.se:143544","oai:research-information.bris.ac.uk:publications\/fc0a5bda-e13b-4bfd-906d-b1588bbb67e7","oai:kar.kent.ac.uk:47471","oai:research-information.bris.ac.uk:openaire_cris_publications\/fc0a5bda-e13b-4bfd-906d-b1588bbb67e7"||10.1145/1596614.1596621||What Does Aspect-Oriented Programming Mean for Functional Programmers?||Oliveira Bruno, Wang Meng||2015-09-30T16:56:02 -https://core.ac.uk/works/15109318/||"oai:research.usc.edu.au:usc:13425","oai:research.usc.edu.au:usc:13356","oai:researchcommons.waikato.ac.nz:10289\/7501","info:doi\/10.1016%2fj.parco.2013.11.004","oai:researchcommons.waikato.ac.nz:10289\/8164"||10.1145/2442992.2442996||The JStar language philosophy||Cleary John G., Utting Mark, Weng Min-Hsien||2015-06-05T10:42:38 -https://core.ac.uk/works/24753010/||"oai:arxiv.org:1512.06796"||||Semi-infinite programming using high-degree polynomial interpolants and semidefinite programming||Papp D\u00e1vid||2016-08-03T02:36:33 -https://core.ac.uk/works/2262937/||"oai:authors.library.caltech.edu:26776"||||A Multimedia Interactive Environment Using Program Archetypes: Divide-and-Conquer||Ainsworth Paul, Kryukova Svetlana||2012-06-22T18:20:25 -https://core.ac.uk/works/24813611/||"oai:arxiv.org:1606.05940","oai:doaj.org\/article:f6f9c25109a8491b889bce5786d81b3f"||10.4204/eptcs.211.5||From Events to Reactions: A Progress Report||Garnock-Jones Tony||2016-08-03T03:08:08 -https://core.ac.uk/works/38716585/||"oai:dspace.vsb.cz:10084\/108895"||||Methods of Artificial Intelligence for the Game StarCraft||Hajn\u00fd Ji\u0159\u00ed||2017-10-17T22:01:46 -https://core.ac.uk/works/39019149/||"oai:dspace.vsb.cz:10084\/116158"||||Methods of Artificial Intelligence for the Game StarCraft||Jaro\u0148 Vladim\u00edr||2017-08-03T05:03:06 -https://core.ac.uk/works/149403522/||"oai:dspace.vutbr.cz:11012\/211631"||||Education of artificial intelligence in extracurricular education||Szymeczek Martin||2023-08-05T21:48:19 -https://core.ac.uk/works/16118437/||"oai:invenio.nusl.cz:596337","oai:invenio.nusl.cz:238130","oai:dspace.vutbr.cz:11012\/55180"||||Logical Network Games for Android||Kub\u00edk Michal||2016-08-09T15:06:59 -https://core.ac.uk/works/109850186/||"oai:https:\/\/dspace.cuni.cz:20.500.11956\/117650"||||Legal Aspect of Artificial Intelligence||Dang Milan||2021-04-17T06:10:01 -https://core.ac.uk/works/16119577/||"oai:dspace.vutbr.cz:11012\/55328","oai:invenio.nusl.cz:238278","oai:invenio.nusl.cz:582306"||||Scriptable Fight System for Turn-Based Computer Game||Kanich Ond\u0159ej||2016-08-09T15:07:04 -https://core.ac.uk/works/40036836/||"oai:dspace.cvut.cz:10467\/86165"||||Implementation of 2D turn-based strategy game with AI||Ivan \u0160t\u011bp\u00e1nek||2020-03-18T04:49:06 -https://core.ac.uk/works/38815227/||"oai:dspace.vsb.cz:10084\/119037"||||Artificial Intelligence in Computer Games||Wlosok Jan||2017-10-17T22:09:58 -https://core.ac.uk/works/16113256/||"oai:invenio.nusl.cz:235575","oai:invenio.nusl.cz:593381","oai:dspace.vutbr.cz:11012\/52817"||||Computer Game in 2D for Linux||\u0160ev\u010d\u00edk Jaroslav||2016-08-09T15:06:14 -https://core.ac.uk/works/149673285/||"oai:apcz.umk.pl:article\/45179"||||Future of cardiovascular diagnosis with the support of artificial intelligence||Grabowska Ewa, Kami\u0144ska Izabela, Kap\u0142on Kamil, Kojder Dominika, Mo\u017cd\u017cy\u0144ska Agnieszka, Musia\u0142 Lena, Rymarz Ania, Sierpie\u0144 Ma\u0142gorzata, Wojtala Laura||2023-09-30T07:31:25 -https://core.ac.uk/works/84130807/||"oai:generic.eprints.org:9256\/core10784","oai:utpedia.utp.edu.my:9256"||||LOAD FORECASTING USING ARTIFICIAL INTELIGENCE TECHNIQUE||ABDULLAH MUHAMMAD FITRI||2020-04-17T10:29:09 -https://core.ac.uk/works/16139444/||"oai:dspace.vutbr.cz:11012\/68052"||||Artificial Intelligence||Ragas Lud\u011bk||2017-06-18T11:24:48 -https://core.ac.uk/works/16118724/||"oai:dspace.vutbr.cz:11012\/55916","oai:invenio.nusl.cz:238966","oai:invenio.nusl.cz:578791"||||Computer Game Based on Artificial Inteligence||Ser\u00e9di Silvester||2016-08-09T15:07:15 -https://core.ac.uk/works/16117843/||"oai:dspace.vutbr.cz:11012\/55109","oai:invenio.nusl.cz:238059"||||The Hnefatafl Board Game Artificial Intelligence||Stratilov\u00e1 Lenka||2016-08-09T15:06:58 -https://core.ac.uk/works/32974748/||"oai:dspace.vsb.cz:10084\/128518"||||Interactive Robotic System with Artificial Inteligence Implementation||Petr\u00e1\u0161 Radek||2019-01-03T09:06:53 -https://core.ac.uk/works/158128205/||"oai:ojs2.ejournal.ipdn.ac.id:article\/4202"||10.33701/jmb.v6i1.4202||Tren Penelitian Artificial Inteligence pada Pelayanan Publik||Idza Allisa Akhidatul||2024-10-01T20:02:23 -https://core.ac.uk/works/109849474/||"oai:https:\/\/dspace.cuni.cz:20.500.11956\/117666"||||Selected legal aspects of Artificial Intelligence||Zachov\u00e1 Magdalena||2021-04-17T06:10:01 -https://core.ac.uk/works/150853254/||"oai:https:\/\/dspace.cuni.cz:20.500.11956\/184561"||||The use of artificial intelligence in civil procedure||Hart Vojt\u011bch Lev||2023-10-26T14:29:06 -https://core.ac.uk/works/16119798/||"oai:dspace.vutbr.cz:11012\/55238","oai:invenio.nusl.cz:238188"||||Evaluation of Trust or Reputation Based on Social Network Analysis||\u0160vec Tom\u00e1\u0161||2016-08-09T15:07:03 -https://core.ac.uk/works/52608087/||"oai:repository.unpas.ac.id:39384"||||ANALISIS MODEL KECERDASAN NON PLAYER CHARACTER SEBAGAI PEMBENTUKAN CHALLANGE PADA DOTA 2||Muhamad Roni 12.304.0265||2018-11-05T20:11:57 -https://core.ac.uk/works/17140059/||"oai:arxiv.org:1308.0356"||||Design and Development of an Expert System to Help Head of University Departments||Fekri-Ershad Shervan, Jafari Shahram, Tajalizadeh Hadi||2014-10-24T19:20:13 -https://core.ac.uk/works/136514316/||"oai:https:\/\/dspace.cuni.cz:20.500.11956\/126517"||||Artificial intelligence and copyright law||Czichon Radek||2021-08-22T13:56:30 -https://core.ac.uk/works/40028164/||"oai:dspace.cvut.cz:10467\/77487"||||Opponent Modelling Library for StarCraft AI||Bohuslav Tom\u00e1\u0161||2018-07-09T20:22:14 -https://core.ac.uk/works/147642015/||"oai:dspace.vutbr.cz:11012\/210131"||||Using artificial intelligence for energy management in smart buildings||Mich\u00e1lek Ji\u0159\u00ed||2023-08-05T21:48:01 -https://core.ac.uk/works/70951359/||"oai:ojs.umcsd.home.net.pl:article\/2961"||10.17951/ai.2004.2.1.71-80||Mind and information processing: some considerations||Mycka Jerzy||2019-10-30T07:21:52 -https://core.ac.uk/works/16114369/||"oai:dspace.vutbr.cz:11012\/52538","oai:https:\/\/dspace.vut.cz:11012\/52538","oai:invenio.nusl.cz:235314"||||Board Game Focused on Educational Support for Gaming Algorithms||\u010c\u00e1slava Martin||2016-08-09T15:06:12 -https://core.ac.uk/works/109855240/||"oai:https:\/\/dspace.cuni.cz:20.500.11956\/122371"||||Law and Artificial Intelligence||N\u011bmec Daniel||2021-04-17T06:13:04 -https://core.ac.uk/works/16116546/||"oai:invenio.nusl.cz:238293","oai:invenio.nusl.cz:612548","oai:dspace.vutbr.cz:11012\/55343"||||Modular tool for creating games with artificial intelligence||Klika Jan||2016-08-09T15:07:04 -https://core.ac.uk/works/127846464/||"oai:dspace.vsb.cz:10084\/147323"||||Reinforcement Learning and its Application in Games||Hlavsa Milan||2022-10-05T05:26:00 -https://core.ac.uk/works/11644950/||"oai:riunet.upv.es:10251\/48298"||||Scares for sale: diseño y desarrollo de un videojuego en Unity 3D. Inteligencia artificial y animación||Fern\u00e1ndez Molina David||2019-12-25T14:06:31 -https://core.ac.uk/works/9948501/||"oai:ojs.journals.muni.cz:article\/9067","oai:is.muni.cz:1422578"||10.5817/rpt2018-1-2||Akceptace právní osobnosti v případě umělé inteligence||Zibner Jan||2019-04-30T07:50:51 -https://core.ac.uk/works/89006389/||"oai:repozitorij.uni-lj.si:izpisgradiva.php?id=119449"||||Freedom of the individual in the age of artificial intelligence||Kvrgi\u0107 Maja||2020-09-16T01:33:33 -https://core.ac.uk/works/150853652/||"oai:https:\/\/dspace.cuni.cz:20.500.11956\/184009"||||The limits of humanity. Robots are getting dangerously close to humans, while you tend not to consider various groups of people as (fully) human.||Slav\u00edk Vratislav||2023-10-26T14:30:49 -https://core.ac.uk/works/109833528/||"oai:dspace.cuni.cz:20.500.11956\/53613","oai:https:\/\/dspace.cuni.cz:20.500.11956\/53613"||||Risk||\u0160tola Miroslav||2018-01-02T08:47:18 -https://core.ac.uk/works/16155339/||"oai:dspace.vutbr.cz:11012\/191606","oai:invenio.nusl.cz:575521","oai:invenio.nusl.cz:416398"||||Artificial Intelligence and Industry 4.0||Hirsch Radim||2020-09-02T21:41:25 -https://core.ac.uk/works/16104623/||"oai:dspace.vutbr.cz:11012\/24710","oai:dspace.vutbr.cz:11012\/32980","oai:https:\/\/dspace.vut.cz:11012\/32980","oai:invenio.nusl.cz:556504","oai:invenio.nusl.cz:224445","oai:invenio.nusl.cz:223950"||||Artificial Intelligence Use on Stock Market||Skoumal Karel||2016-01-06T16:13:17 -https://core.ac.uk/works/140469022/||"oai:https:\/\/dspace.cuni.cz:20.500.11956\/81224","oai:dspace.cuni.cz:20.500.11956\/81224"||||Umělá inteligence pro hru Quoridor||Brenner Maty\u00e1\u0161||2018-01-02T08:53:14 -https://core.ac.uk/works/944354/||"oai:citeseerx.psu:10.1.1.3.6579","oai:arxiv.org:cs\/0312060"||||Part-of-Speech Tagging with Minimal Lexicalization||Peshkin Leonid, Savova Virginia||2012-04-13T14:21:49 -https://core.ac.uk/works/140191824/||"oai:ojs2.ejournal-iakn-manado.ac.id:article\/1078"||||Artificial Intelligence dan Implikasinya Terhadap Tujuan Pembelajaran Pendidikan Agama Kristen||Horasman Perdemunta Munthe, Sidabutar Hasudungan||2023-01-12T14:32:28 -https://core.ac.uk/works/70064079/||"oai:ojs.revistas.udesc.br:article\/11795"||10.5965/2316796307132018041||USABILITY STUDY ON THE INTERFACE OF AN ARTIFICIAL INTELIGENCE SYSTEM FOR CREATIVITY SUPPORT||Botega Luiz Fernando de Carvalho, da Silva Jonny Carlos, Murphy Gisele Raulik||2019-10-30T00:43:04 -https://core.ac.uk/works/147640167/||"oai:e-archivo.uc3m.es:10016\/37558"||10.1145/3322640.3326701||AI as a legal person||Darling K., Graver D., Hallevy G., Millar J., Pagallo U.||2021-08-10T17:55:13 -https://core.ac.uk/works/44618574/||"oai:arxiv.org:1710.03774"||10.1145/3137574.3137579||AI Buzzwords Explained: Multi-Agent Path Finding (MAPF)||Koenig Sven, Ma Hang||2017-10-17T02:53:27 -https://core.ac.uk/works/16116634/||"oai:invenio.nusl.cz:238219","oai:dspace.vutbr.cz:11012\/55269","oai:https:\/\/dspace.vut.cz:11012\/55269"||||Artificial Intelligence for Game Playing||Ne\u0159\u00e1d V\u00e1clav||2016-08-09T15:07:03 -https://core.ac.uk/works/159066495/||"oai:https:\/\/dspace.cuni.cz:20.500.11956\/191208"||||Perception of Generative Artificial Intelligence in selected Newsrooms of Domestic News Media with a Focus on Changes in Journalistic Ethics||Van\u011b\u010dek Luk\u00e1\u0161||2024-10-10T19:30:37 -https://core.ac.uk/works/23068780/||"oai:dspace.vsb.cz:10084\/104227"||||Artificial Intelligence for Self-driving Car||Sl\u00edva Radek||2017-10-17T21:57:31 -https://core.ac.uk/works/4762266/||"oai:doras.dcu.ie:396"||10.1145/973264.973287||Efficient contour-based shape representation and matching||Adamek Tomasz||2013-07-10T11:53:31 -https://core.ac.uk/works/16116986/||"oai:dspace.vutbr.cz:11012\/52953","oai:invenio.nusl.cz:593802","oai:invenio.nusl.cz:235711"||||Carcassonne Board Game Artificial Intelligence||\u010cernohub Jan||2016-08-09T15:06:15 -https://core.ac.uk/works/129485789/||"oai:doaj.org\/article:d126fafd930341d7bcc66ada24a519cb","oai:trepo.tuni.fi:10024\/137179"||10.1109/ojsp.2021.3105305||Applied Artificial Intelligence and Machine Learning for Video Coding and Streaming : Editorial||Chen Ying, Gabbouj Moncef, Hashemi Mahmoud R., Mrak Marta, Shirmohammadi Shervin||2022-02-08T00:09:08 -https://core.ac.uk/works/38723342/||"oai:dspace.vsb.cz:10084\/108692"||||Game World Simulation over Internet||Mich\u00e1lek Jan||2017-10-17T22:01:33 -https://core.ac.uk/works/148720939/||"oai:surface.syr.edu:eli_arch-1013"||||Surviving in the AI World as an Architect||Jo Victor Beomseung||2023-08-29T10:15:30 -https://core.ac.uk/works/16118882/||"oai:invenio.nusl.cz:607925","oai:dspace.vutbr.cz:11012\/55601","oai:invenio.nusl.cz:238651"||||Five in a Row||Vrt\u00edlek Michal||2016-08-09T15:07:10 -https://core.ac.uk/works/16117679/||"oai:dspace.vutbr.cz:11012\/53982"||||AI Algorithms||Petr\u017eelka Jan||2016-08-09T15:06:35 -https://core.ac.uk/works/6174325/||"oai:dk.upce.cz:10195\/32245"||||Využití imunitních systémů v datové analýze||Kop\u00e1\u010dek Lud\u011bk||2013-08-29T12:34:39 -https://core.ac.uk/works/23070033/||"oai:dspace.vsb.cz:10084\/104091"||||Chessboard Game||Langer Pavel||2017-10-17T21:57:24 -https://core.ac.uk/works/34208853/||"oai:dspace.vsb.cz:10084\/143714"||||Implementation of autonomous security systems at Václav Havel International Airport in Prague||P\u0159\u00edhoda Dominik||2021-10-28T17:09:36 -https://core.ac.uk/works/16114829/||"oai:invenio.nusl.cz:558756","oai:invenio.nusl.cz:234173","oai:https:\/\/dspace.vut.cz:11012\/27915","oai:dspace.vutbr.cz:11012\/27915"||||Artificial Intelligence in Power Oil Transformers Diagnostics||Janda Ond\u0159ej||2016-01-06T16:14:00 -https://core.ac.uk/works/109841250/||"oai:https:\/\/dspace.cuni.cz:20.500.11956\/102757"||||Artificial intelligence and liability for its actions||Urban Martin||2021-04-17T06:06:48 -https://core.ac.uk/works/16119454/||"oai:dspace.vutbr.cz:11012\/56310","oai:invenio.nusl.cz:239360","oai:https:\/\/dspace.vut.cz:11012\/56310"||||Reversi||Labaj Tom\u00e1\u0161||2016-08-09T15:07:24 -https://core.ac.uk/works/132525889/||"oai:utpedia.utp.edu.my:9256"||||LOAD FORECASTING USING ARTIFICIAL INTELIGENCE TECHNIQUE||ABDULLAH MUHAMMAD FITRI||2022-11-28T03:28:49 -https://core.ac.uk/works/159762822/||"oai:dspace.vsb.cz:10084\/152809"||||Využití generativní umělé inteligence v marketingu||Duba\u010d Tom\u00e1\u0161||2024-07-09T08:28:42 -https://core.ac.uk/works/160811851/||"oai:ojs.jurnal.unitri.ac.id:article\/5798"||10.33366/ilg.v6i2.5798||ARTIFICIAL INTELLIGENCE DAN PENDIDIKAN ERA SOCIETY 5.0||Aldya Riantina Fitra, Arifendi Rio Febrianto, Oktavian Riskey||2024-09-16T13:57:56 -https://core.ac.uk/works/84104224/||"oai:sedici.unlp.edu.ar:10915\/52016"||||Knowledge Representation of Intelligent Public Services through a Semantic Model||Aldana Montes Jos\u00e9 F., Brys Carlos R.||2020-04-17T10:13:33 -https://core.ac.uk/works/82300931/||"oai:sedici.unlp.edu.ar:10915\/52016"||||Knowledge Representation of Intelligent Public Services through a Semantic Model||Aldana Montes Jos\u00e9 F., Brys Carlos R.||2020-04-10T15:35:46 -https://core.ac.uk/works/16106321/||"oai:invenio.nusl.cz:570567","oai:invenio.nusl.cz:222448","oai:dspace.vutbr.cz:11012\/15088"||||The Use of Artificial Intelligence for the Decision Making in the Firm||Coufal Petr||2016-01-06T16:13:10 -https://core.ac.uk/works/159763242/||"oai:dspace.vsb.cz:10084\/152850"||||Analysis of the Use of Artificial Intelligence in Digital Marketing||S\u00fdkorov\u00e1 Natalie||2024-07-09T08:28:43 -https://core.ac.uk/works/109849303/||"oai:https:\/\/dspace.cuni.cz:20.500.11956\/117257"||||Criminal liability of artificial intelligence||Racek Libor||2021-04-17T06:09:59 -https://core.ac.uk/works/109845098/||"oai:https:\/\/dspace.cuni.cz:20.500.11956\/109069"||||Artificial Intelligence for the Dominion Game||Babu\u0161\u00edk Jan||2021-04-17T06:08:34 -https://core.ac.uk/works/108113787/||"oai:hrcak.srce.hr:250131"||10.47960/2637-2495.2020.28.52||ARTIFICIAL INTELIGENCE AND (TECHNOLOGICAL DIGITAL) ARBITRATION||Mati\u0107 Stjepan, Mati\u0107 Tin||2021-03-04T02:31:08 -https://core.ac.uk/works/150432964/||"oai:ojs.pkp.sfu.ca:article\/3427"||||STRATEGI PEMANFAATAN ARTIFICIAL INTELLIGENCE DALAM PENYEBARAN INFORMASI||Nugraha Agung, Nurasyfa Eva Siti, Nurhadi Zikri Fachrul, Septiani Amelia Zahwa||2023-11-23T16:34:22 -https://core.ac.uk/works/16120876/||"oai:dspace.vutbr.cz:11012\/62217","oai:invenio.nusl.cz:568326","oai:https:\/\/dspace.vut.cz:11012\/62217","oai:invenio.nusl.cz:255724"||||Automation of "Hearthstone" Game||Zeln\u00ed\u010dek Filip||2016-08-09T15:08:56 -https://core.ac.uk/works/16114581/||"oai:invenio.nusl.cz:233585","oai:dspace.vutbr.cz:11012\/24951","oai:https:\/\/dspace.vut.cz:11012\/24951"||||Optimization of the permanent magnet machine based on the artificial inteligence||Kurf\u0171rst Ji\u0159\u00ed||2016-01-06T16:13:56 -https://core.ac.uk/works/159763023/||"oai:dspace.vsb.cz:10084\/153752"||||AI in Web Environment||Jaro\u0161 Pavel||2024-07-09T08:28:51 -https://core.ac.uk/works/23070056/||"oai:dspace.vsb.cz:10084\/103967"||||Artificial Inteligence for a RPG Game||B\u00edl\u00fd Robert||2017-10-17T21:57:10 -https://core.ac.uk/works/16116989/||"oai:dspace.vutbr.cz:11012\/52572","oai:invenio.nusl.cz:235348","oai:https:\/\/dspace.vut.cz:11012\/52572","oai:invenio.nusl.cz:548927"||||Intelligent System for the SSCAI Tournament||Hor\u00e1zn\u00fd V\u00e1clav||2016-08-09T15:06:12 -https://core.ac.uk/works/16114238/||"oai:https:\/\/dspace.vut.cz:11012\/4371","oai:dspace.vutbr.cz:11012\/4371","oai:invenio.nusl.cz:233879","oai:invenio.nusl.cz:591073"||||Metrics and Criteria for Socio-Technical System Diagnostic||Raudensk\u00e1 Lenka||2016-01-06T16:13:59 -https://core.ac.uk/works/16108917/||"oai:dspace.vutbr.cz:11012\/40659","oai:invenio.nusl.cz:225285"||||The Use of Artificial Intelligence on Financial Markets||Hortai Franti\u0161ek||2016-01-06T16:13:22 -https://core.ac.uk/works/17050830/||"oai:arxiv.org:1304.2365"||||Probabilistic and Non-Monotonic Inference||Kyburg Jr Henry E.||2014-10-23T17:23:41 -https://core.ac.uk/works/149975797/||"oai:ojs2.journal.widyatama.ac.id:article\/1442"||10.33197/visualideas.vol3.iss2.2023.1442||Implementasi Artificial Intelligence Dalam Iklan Politik Menuju Masyarakat Indonesia 5.0||Mirza Isroni Muhammad Miraj||2023-10-14T13:26:15 -https://core.ac.uk/works/4960266/||"oai:generic.eprints.org:217\/core382"||||Face recognition in different subspaces - A comparative study||Batagelj Borut, Solina Franc||2013-07-12T12:09:17 -https://core.ac.uk/works/52955311/||"oai:www.repository.cam.ac.uk:1810\/278276"||10.17863/cam.25624||The Opportunities and Risks of Artificial Intelligence in Medicine and Healthcare||Hamid Sobia||2019-01-12T13:23:45 -https://core.ac.uk/works/610614/||"oai:pure.atira.dk:publications\/a4a923b5-1f8d-4fdd-9062-25c7af3d026a","oai:arxiv.org:0809.0383"||||Statistical Global Modeling of Beta-Decay Halflives Systematics Using Multilayer Feedforward Neural Networks and Support Vector Machines||Clark J. W., Costiris N. J., Gernoth K. A., Li H., Mavrommatis E.||2012-04-13T14:16:36 -https://core.ac.uk/works/38721118/||"oai:dspace.vsb.cz:10084\/108946"||||Intelligent Bot for the Game StarCraft: Brood War||Sikora Lubom\u00edr||2017-10-17T22:01:48 -https://core.ac.uk/works/16116813/||"oai:invenio.nusl.cz:235793","oai:dspace.vutbr.cz:11012\/53035","oai:invenio.nusl.cz:567350"||||Artificial Life Simulator||Popek Milo\u0161||2016-08-09T15:06:16 -https://core.ac.uk/works/16116997/||"oai:invenio.nusl.cz:235264","oai:dspace.vutbr.cz:11012\/52488"||||Strategy for Game Systems||\u0160vestka Marek||2016-08-09T15:06:11 -https://core.ac.uk/works/148539759/||"oai:ojs3.stmikbumigora.ac.id:article\/2966"||10.30812/sasak.v5i1.2966||Analisis Pemanfaatan Artificial Intelligence (AI) sebagai Referensi dalam Desain Komunikasi Visual||Muhaemin Muhammad||2023-06-28T07:37:35 -https://core.ac.uk/works/16114562/||"oai:dspace.vutbr.cz:11012\/54969","oai:https:\/\/dspace.vut.cz:11012\/54969","oai:invenio.nusl.cz:237919"||||Chess Program for Various Chess Variations||Jadrn\u00ed\u010dek Zbyn\u011bk||2016-08-09T15:06:55 -https://core.ac.uk/works/153870372/||"oai:jonedu.org:article\/4855"||10.31004/joe.v6i1.4855||Pengaruh Teknologi Artificial Intelligence (AI) terhadap Perkembangan Pendidikan Hukum di Indonesia||Zulfikar Pandri||2024-01-06T18:00:59 -https://core.ac.uk/works/7759810/||"oai:dnet:earchivo____::221949883493f351d4d528bb373e769a","oai:roderic.uv.es:10550\/68735","oai:zenodo.org:2547873","oai:e-archivo.uc3m.es:10016\/22871"||10.5281/zenodo.2547873||Modelling Complex Dynamics and Distributed Generation of Knowledge with Bacterial-Based Algorithms||Gonz\u00e1lez Rodr\u00edguez Diego, Hern\u00e1ndez Carri\u00f3n Jos\u00e9 Rodolfo||2016-08-09T14:48:34 -https://core.ac.uk/works/148414433/||"oai:unimuda.e-journal.id:article\/4226"||10.36232/jurnalpetisi.v4i2.4226||Tantangan dan Peluang Penggunaan Aplikasi Chat GPT Dalam Pelaksanaan Pembelajaran Sejarah Berbasis Dimensi 5.0||Akbar Farhan, Fauzan Muhammad Shafwan, ilham Sahrul Rohman, Wibowo Tubagus Umar Syarif Hadi||2023-08-18T18:15:21 -https://core.ac.uk/works/16123550/||"oai:dspace.vutbr.cz:11012\/62040","oai:invenio.nusl.cz:255547"||||Identifying Term Similarity in Information Technology Domain||Smutka Miloslav||2016-08-09T15:08:55 -https://core.ac.uk/works/16107031/||"oai:https:\/\/dspace.vut.cz:11012\/21145","oai:dspace.vutbr.cz:11012\/21145","oai:invenio.nusl.cz:224186","oai:invenio.nusl.cz:586839"||||The Use of Artificial Intelligence on Finacial Market||Haso\u0148 Michal||2016-01-06T16:13:18 -https://core.ac.uk/works/16109377/||"oai:invenio.nusl.cz:231155","oai:dspace.vutbr.cz:11012\/33781","oai:invenio.nusl.cz:596228"||||Ant Colony Optimization Algorithms for Shortest Path Problems - Java implementation||Dost\u00e1l Marek||2016-01-06T16:13:47 -https://core.ac.uk/works/17046779/||"oai:arxiv.org:1303.3827"||||Towards a serious games evacuation simulator||Almeida Jo\u00e3o Em\u00edlio, Coelho Ant\u00f3nio, Coelho Ant\u00f3nio Le\u00e7a, Ribeiro Jo\u00e3o, Rossetti Rosaldo J. F.||2014-10-23T17:23:07 -https://core.ac.uk/works/141754333/||"oai:ojs.envigogika.cuni.cz:article\/595"||10.14712/18023061.595||Validation of a diagnostic tool for identification of preschoolers and primary pupils with science talent||Jan\u010da\u0159\u00edkov\u00e1 Kate\u0159ina||2019-12-19T10:01:01 -https://core.ac.uk/works/159763537/||"oai:dspace.vsb.cz:10084\/153950"||||Possibilities of Using Artificial Intelligence Tools in Human Resource Management in a Selected Company||Wawroszov\u00e1 Linda||2024-07-09T08:28:54 -https://core.ac.uk/works/16113397/||"oai:dspace.vutbr.cz:11012\/53179","oai:invenio.nusl.cz:235936","oai:invenio.nusl.cz:578358"||||Experiments with the Swarm Intelligence||Hula Tom\u00e1\u0161||2016-08-09T15:06:18 -https://core.ac.uk/works/127627463/||"oai:upcommons.upc.edu:2117\/97489"||||Creating agent platforms to host agent-mediated services that share resources||M\u00e9rida-Campos C, Pujol J M, V\u00e1zquez Salceda Javier||2017-05-01T02:07:56 -https://core.ac.uk/works/149876518/||"oai:dspace5.zcu.cz:11025\/52902"||||Disk||Parmov\u00e1 Kamila||2023-08-13T10:17:39 -https://core.ac.uk/works/16115735/||"oai:dspace.vutbr.cz:11012\/52396","oai:invenio.nusl.cz:235072","oai:https:\/\/dspace.vut.cz:11012\/52396"||||Machine Learning for Formal Language Model Inference||Bardonek Petr||2016-08-09T15:06:09 -https://core.ac.uk/works/6174382/||"oai:dk.upce.cz:10195\/32251"||||Prediction model for financing of basic transport services||Barton\u00ed\u010dkov\u00e1 Miloslava||2013-08-29T12:34:39 +Link|workID|oaiID|Title|Authors|Publication +https://core.ac.uk/works/38716585/|"oai:dspace.vsb.cz:10084\/108895"||Methods of Artificial Intelligence for the Game StarCraft|Hajný Jiří|2017-10-17T22:01:46 +https://core.ac.uk/works/39019149/|"oai:dspace.vsb.cz:10084\/116158"||Methods of Artificial Intelligence for the Game StarCraft|Jaroň Vladimír|2017-08-03T05:03:06 +https://core.ac.uk/works/149403522/|"oai:dspace.vutbr.cz:11012\/211631"||Education of artificial intelligence in extracurricular education|Szymeczek Martin|2023-08-05T21:48:19 +https://core.ac.uk/works/16118437/|"oai:invenio.nusl.cz:596337","oai:invenio.nusl.cz:238130","oai:dspace.vutbr.cz:11012\/55180"||Logical Network Games for Android|Kubík Michal|2016-08-09T15:06:59 +https://core.ac.uk/works/109850186/|"oai:https:\/\/dspace.cuni.cz:20.500.11956\/117650"||Legal Aspect of Artificial Intelligence|Dang Milan|2021-04-17T06:10:01 +https://core.ac.uk/works/16119577/|"oai:dspace.vutbr.cz:11012\/55328","oai:invenio.nusl.cz:238278","oai:invenio.nusl.cz:582306"||Scriptable Fight System for Turn-Based Computer Game|Kanich Ondřej|2016-08-09T15:07:04 +https://core.ac.uk/works/40036836/|"oai:dspace.cvut.cz:10467\/86165"||Implementation of 2D turn-based strategy game with AI|Ivan Štěpánek|2020-03-18T04:49:06 +https://core.ac.uk/works/38815227/|"oai:dspace.vsb.cz:10084\/119037"||Artificial Intelligence in Computer Games|Wlosok Jan|2017-10-17T22:09:58 +https://core.ac.uk/works/16113256/|"oai:invenio.nusl.cz:235575","oai:invenio.nusl.cz:593381","oai:dspace.vutbr.cz:11012\/52817"||Computer Game in 2D for Linux|Ševčík Jaroslav|2016-08-09T15:06:14 +https://core.ac.uk/works/149673285/|"oai:apcz.umk.pl:article\/45179"||Future of cardiovascular diagnosis with the support of artificial intelligence|Grabowska Ewa, Kamińska Izabela, Kapłon Kamil, Kojder Dominika, Możdżyńska Agnieszka, Musiał Lena, Rymarz Ania, Sierpień Małgorzata, Wojtala Laura|2023-09-30T07:31:25 +https://core.ac.uk/works/84130807/|"oai:generic.eprints.org:9256\/core10784","oai:utpedia.utp.edu.my:9256"||LOAD FORECASTING USING ARTIFICIAL INTELIGENCE TECHNIQUE|ABDULLAH MUHAMMAD FITRI|2020-04-17T10:29:09 +https://core.ac.uk/works/16139444/|"oai:dspace.vutbr.cz:11012\/68052"||Artificial Intelligence|Ragas Luděk|2017-06-18T11:24:48 +https://core.ac.uk/works/16118724/|"oai:dspace.vutbr.cz:11012\/55916","oai:invenio.nusl.cz:238966","oai:invenio.nusl.cz:578791"||Computer Game Based on Artificial Inteligence|Serédi Silvester|2016-08-09T15:07:15 +https://core.ac.uk/works/16117843/|"oai:dspace.vutbr.cz:11012\/55109","oai:invenio.nusl.cz:238059"||The Hnefatafl Board Game Artificial Intelligence|Stratilová Lenka|2016-08-09T15:06:58 +https://core.ac.uk/works/32974748/|"oai:dspace.vsb.cz:10084\/128518"||Interactive Robotic System with Artificial Inteligence Implementation|Petráš Radek|2019-01-03T09:06:53 +https://core.ac.uk/works/158128205/|"oai:ojs2.ejournal.ipdn.ac.id:article\/4202"|10.33701/jmb.v6i1.4202|Tren Penelitian Artificial Inteligence pada Pelayanan Publik|Idza Allisa Akhidatul|2024-10-01T20:02:23 +https://core.ac.uk/works/109849474/|"oai:https:\/\/dspace.cuni.cz:20.500.11956\/117666"||Selected legal aspects of Artificial Intelligence|Zachová Magdalena|2021-04-17T06:10:01 +https://core.ac.uk/works/150853254/|"oai:https:\/\/dspace.cuni.cz:20.500.11956\/184561"||The use of artificial intelligence in civil procedure|Hart Vojtěch Lev|2023-10-26T14:29:06 +https://core.ac.uk/works/16119798/|"oai:dspace.vutbr.cz:11012\/55238","oai:invenio.nusl.cz:238188"||Evaluation of Trust or Reputation Based on Social Network Analysis|Švec Tomáš|2016-08-09T15:07:03 +https://core.ac.uk/works/52608087/|"oai:repository.unpas.ac.id:39384"||ANALISIS MODEL KECERDASAN NON PLAYER CHARACTER SEBAGAI PEMBENTUKAN CHALLANGE PADA DOTA 2|Muhamad Roni 12.304.0265|2018-11-05T20:11:57 +https://core.ac.uk/works/17140059/|"oai:arxiv.org:1308.0356"||Design and Development of an Expert System to Help Head of University Departments|Fekri-Ershad Shervan, Jafari Shahram, Tajalizadeh Hadi|2014-10-24T19:20:13 +https://core.ac.uk/works/136514316/|"oai:https:\/\/dspace.cuni.cz:20.500.11956\/126517"||Artificial intelligence and copyright law|Czichon Radek|2021-08-22T13:56:30 +https://core.ac.uk/works/40028164/|"oai:dspace.cvut.cz:10467\/77487"||Opponent Modelling Library for StarCraft AI|Bohuslav Tomáš|2018-07-09T20:22:14 +https://core.ac.uk/works/147642015/|"oai:dspace.vutbr.cz:11012\/210131"||Using artificial intelligence for energy management in smart buildings|Michálek Jiří|2023-08-05T21:48:01 +https://core.ac.uk/works/70951359/|"oai:ojs.umcsd.home.net.pl:article\/2961"|10.17951/ai.2004.2.1.71-80|Mind and information processing: some considerations|Mycka Jerzy|2019-10-30T07:21:52 +https://core.ac.uk/works/16114369/|"oai:dspace.vutbr.cz:11012\/52538","oai:https:\/\/dspace.vut.cz:11012\/52538","oai:invenio.nusl.cz:235314"||Board Game Focused on Educational Support for Gaming Algorithms|Čáslava Martin|2016-08-09T15:06:12 +https://core.ac.uk/works/109855240/|"oai:https:\/\/dspace.cuni.cz:20.500.11956\/122371"||Law and Artificial Intelligence|Němec Daniel|2021-04-17T06:13:04 +https://core.ac.uk/works/16116546/|"oai:invenio.nusl.cz:238293","oai:invenio.nusl.cz:612548","oai:dspace.vutbr.cz:11012\/55343"||Modular tool for creating games with artificial intelligence|Klika Jan|2016-08-09T15:07:04 +https://core.ac.uk/works/127846464/|"oai:dspace.vsb.cz:10084\/147323"||Reinforcement Learning and its Application in Games|Hlavsa Milan|2022-10-05T05:26:00 +https://core.ac.uk/works/11644950/|"oai:riunet.upv.es:10251\/48298"||Scares for sale: diseño y desarrollo de un videojuego en Unity 3D. Inteligencia artificial y animación|Fernández Molina David|2019-12-25T14:06:31 +https://core.ac.uk/works/9948501/|"oai:ojs.journals.muni.cz:article\/9067","oai:is.muni.cz:1422578"|10.5817/rpt2018-1-2|Akceptace právní osobnosti v případě umělé inteligence|Zibner Jan|2019-04-30T07:50:51 +https://core.ac.uk/works/89006389/|"oai:repozitorij.uni-lj.si:izpisgradiva.php?id=119449"||Freedom of the individual in the age of artificial intelligence|Kvrgić Maja|2020-09-16T01:33:33 +https://core.ac.uk/works/150853652/|"oai:https:\/\/dspace.cuni.cz:20.500.11956\/184009"||The limits of humanity. Robots are getting dangerously close to humans, while you tend not to consider various groups of people as (fully) human.|Slavík Vratislav|2023-10-26T14:30:49 +https://core.ac.uk/works/109833528/|"oai:dspace.cuni.cz:20.500.11956\/53613","oai:https:\/\/dspace.cuni.cz:20.500.11956\/53613"||Risk|Štola Miroslav|2018-01-02T08:47:18 +https://core.ac.uk/works/16155339/|"oai:dspace.vutbr.cz:11012\/191606","oai:invenio.nusl.cz:575521","oai:invenio.nusl.cz:416398"||Artificial Intelligence and Industry 4.0|Hirsch Radim|2020-09-02T21:41:25 +https://core.ac.uk/works/16104623/|"oai:dspace.vutbr.cz:11012\/24710","oai:dspace.vutbr.cz:11012\/32980","oai:https:\/\/dspace.vut.cz:11012\/32980","oai:invenio.nusl.cz:556504","oai:invenio.nusl.cz:224445","oai:invenio.nusl.cz:223950"||Artificial Intelligence Use on Stock Market|Skoumal Karel|2016-01-06T16:13:17 +https://core.ac.uk/works/140469022/|"oai:https:\/\/dspace.cuni.cz:20.500.11956\/81224","oai:dspace.cuni.cz:20.500.11956\/81224"||Umělá inteligence pro hru Quoridor|Brenner Matyáš|2018-01-02T08:53:14 +https://core.ac.uk/works/944354/|"oai:citeseerx.psu:10.1.1.3.6579","oai:arxiv.org:cs\/0312060"||Part-of-Speech Tagging with Minimal Lexicalization|Peshkin Leonid, Savova Virginia|2012-04-13T14:21:49 +https://core.ac.uk/works/140191824/|"oai:ojs2.ejournal-iakn-manado.ac.id:article\/1078"||Artificial Intelligence dan Implikasinya Terhadap Tujuan Pembelajaran Pendidikan Agama Kristen|Horasman Perdemunta Munthe, Sidabutar Hasudungan|2023-01-12T14:32:28 +https://core.ac.uk/works/70064079/|"oai:ojs.revistas.udesc.br:article\/11795"|10.5965/2316796307132018041|USABILITY STUDY ON THE INTERFACE OF AN ARTIFICIAL INTELIGENCE SYSTEM FOR CREATIVITY SUPPORT|Botega Luiz Fernando de Carvalho, da Silva Jonny Carlos, Murphy Gisele Raulik|2019-10-30T00:43:04 +https://core.ac.uk/works/147640167/|"oai:e-archivo.uc3m.es:10016\/37558"|10.1145/3322640.3326701|AI as a legal person|Darling K., Graver D., Hallevy G., Millar J., Pagallo U.|2021-08-10T17:55:13 +https://core.ac.uk/works/44618574/|"oai:arxiv.org:1710.03774"|10.1145/3137574.3137579|AI Buzzwords Explained: Multi-Agent Path Finding (MAPF)|Koenig Sven, Ma Hang|2017-10-17T02:53:27 +https://core.ac.uk/works/16116634/|"oai:invenio.nusl.cz:238219","oai:dspace.vutbr.cz:11012\/55269","oai:https:\/\/dspace.vut.cz:11012\/55269"||Artificial Intelligence for Game Playing|Neřád Václav|2016-08-09T15:07:03 +https://core.ac.uk/works/159066495/|"oai:https:\/\/dspace.cuni.cz:20.500.11956\/191208"||Perception of Generative Artificial Intelligence in selected Newsrooms of Domestic News Media with a Focus on Changes in Journalistic Ethics|Vaněček Lukáš|2024-10-10T19:30:37 +https://core.ac.uk/works/23068780/|"oai:dspace.vsb.cz:10084\/104227"||Artificial Intelligence for Self-driving Car|Slíva Radek|2017-10-17T21:57:31 +https://core.ac.uk/works/4762266/|"oai:doras.dcu.ie:396"|10.1145/973264.973287|Efficient contour-based shape representation and matching|Adamek Tomasz|2013-07-10T11:53:31 +https://core.ac.uk/works/16116986/|"oai:dspace.vutbr.cz:11012\/52953","oai:invenio.nusl.cz:593802","oai:invenio.nusl.cz:235711"||Carcassonne Board Game Artificial Intelligence|Černohub Jan|2016-08-09T15:06:15 +https://core.ac.uk/works/129485789/|"oai:doaj.org\/article:d126fafd930341d7bcc66ada24a519cb","oai:trepo.tuni.fi:10024\/137179"|10.1109/ojsp.2021.3105305|Applied Artificial Intelligence and Machine Learning for Video Coding and Streaming : Editorial|Chen Ying, Gabbouj Moncef, Hashemi Mahmoud R., Mrak Marta, Shirmohammadi Shervin|2022-02-08T00:09:08 +https://core.ac.uk/works/38723342/|"oai:dspace.vsb.cz:10084\/108692"||Game World Simulation over Internet|Michálek Jan|2017-10-17T22:01:33 +https://core.ac.uk/works/148720939/|"oai:surface.syr.edu:eli_arch-1013"||Surviving in the AI World as an Architect|Jo Victor Beomseung|2023-08-29T10:15:30 +https://core.ac.uk/works/16118882/|"oai:invenio.nusl.cz:607925","oai:dspace.vutbr.cz:11012\/55601","oai:invenio.nusl.cz:238651"||Five in a Row|Vrtílek Michal|2016-08-09T15:07:10 +https://core.ac.uk/works/16117679/|"oai:dspace.vutbr.cz:11012\/53982"||AI Algorithms|Petrželka Jan|2016-08-09T15:06:35 +https://core.ac.uk/works/6174325/|"oai:dk.upce.cz:10195\/32245"||Využití imunitních systémů v datové analýze|Kopáček Luděk|2013-08-29T12:34:39 +https://core.ac.uk/works/23070033/|"oai:dspace.vsb.cz:10084\/104091"||Chessboard Game|Langer Pavel|2017-10-17T21:57:24 +https://core.ac.uk/works/34208853/|"oai:dspace.vsb.cz:10084\/143714"||Implementation of autonomous security systems at Václav Havel International Airport in Prague|Příhoda Dominik|2021-10-28T17:09:36 +https://core.ac.uk/works/16114829/|"oai:invenio.nusl.cz:558756","oai:invenio.nusl.cz:234173","oai:https:\/\/dspace.vut.cz:11012\/27915","oai:dspace.vutbr.cz:11012\/27915"||Artificial Intelligence in Power Oil Transformers Diagnostics|Janda Ondřej|2016-01-06T16:14:00 +https://core.ac.uk/works/109841250/|"oai:https:\/\/dspace.cuni.cz:20.500.11956\/102757"||Artificial intelligence and liability for its actions|Urban Martin|2021-04-17T06:06:48 +https://core.ac.uk/works/16119454/|"oai:dspace.vutbr.cz:11012\/56310","oai:invenio.nusl.cz:239360","oai:https:\/\/dspace.vut.cz:11012\/56310"||Reversi|Labaj Tomáš|2016-08-09T15:07:24 +https://core.ac.uk/works/132525889/|"oai:utpedia.utp.edu.my:9256"||LOAD FORECASTING USING ARTIFICIAL INTELIGENCE TECHNIQUE|ABDULLAH MUHAMMAD FITRI|2022-11-28T03:28:49 +https://core.ac.uk/works/159762822/|"oai:dspace.vsb.cz:10084\/152809"||Využití generativní umělé inteligence v marketingu|Dubač Tomáš|2024-07-09T08:28:42 +https://core.ac.uk/works/160811851/|"oai:ojs.jurnal.unitri.ac.id:article\/5798"|10.33366/ilg.v6i2.5798|ARTIFICIAL INTELLIGENCE DAN PENDIDIKAN ERA SOCIETY 5.0|Aldya Riantina Fitra, Arifendi Rio Febrianto, Oktavian Riskey|2024-09-16T13:57:56 +https://core.ac.uk/works/84104224/|"oai:sedici.unlp.edu.ar:10915\/52016"||Knowledge Representation of Intelligent Public Services through a Semantic Model|Aldana Montes José F., Brys Carlos R.|2020-04-17T10:13:33 +https://core.ac.uk/works/82300931/|"oai:sedici.unlp.edu.ar:10915\/52016"||Knowledge Representation of Intelligent Public Services through a Semantic Model|Aldana Montes José F., Brys Carlos R.|2020-04-10T15:35:46 +https://core.ac.uk/works/16106321/|"oai:invenio.nusl.cz:570567","oai:invenio.nusl.cz:222448","oai:dspace.vutbr.cz:11012\/15088"||The Use of Artificial Intelligence for the Decision Making in the Firm|Coufal Petr|2016-01-06T16:13:10 +https://core.ac.uk/works/159763242/|"oai:dspace.vsb.cz:10084\/152850"||Analysis of the Use of Artificial Intelligence in Digital Marketing|Sýkorová Natalie|2024-07-09T08:28:43 +https://core.ac.uk/works/109849303/|"oai:https:\/\/dspace.cuni.cz:20.500.11956\/117257"||Criminal liability of artificial intelligence|Racek Libor|2021-04-17T06:09:59 +https://core.ac.uk/works/109845098/|"oai:https:\/\/dspace.cuni.cz:20.500.11956\/109069"||Artificial Intelligence for the Dominion Game|Babušík Jan|2021-04-17T06:08:34 +https://core.ac.uk/works/108113787/|"oai:hrcak.srce.hr:250131"|10.47960/2637-2495.2020.28.52|ARTIFICIAL INTELIGENCE AND (TECHNOLOGICAL DIGITAL) ARBITRATION|Matić Stjepan, Matić Tin|2021-03-04T02:31:08 +https://core.ac.uk/works/150432964/|"oai:ojs.pkp.sfu.ca:article\/3427"||STRATEGI PEMANFAATAN ARTIFICIAL INTELLIGENCE DALAM PENYEBARAN INFORMASI|Nugraha Agung, Nurasyfa Eva Siti, Nurhadi Zikri Fachrul, Septiani Amelia Zahwa|2023-11-23T16:34:22 +https://core.ac.uk/works/16120876/|"oai:dspace.vutbr.cz:11012\/62217","oai:invenio.nusl.cz:568326","oai:https:\/\/dspace.vut.cz:11012\/62217","oai:invenio.nusl.cz:255724"||Automation of "Hearthstone" Game|Zelníček Filip|2016-08-09T15:08:56 +https://core.ac.uk/works/16114581/|"oai:invenio.nusl.cz:233585","oai:dspace.vutbr.cz:11012\/24951","oai:https:\/\/dspace.vut.cz:11012\/24951"||Optimization of the permanent magnet machine based on the artificial inteligence|Kurfűrst Jiří|2016-01-06T16:13:56 +https://core.ac.uk/works/159763023/|"oai:dspace.vsb.cz:10084\/153752"||AI in Web Environment|Jaroš Pavel|2024-07-09T08:28:51 +https://core.ac.uk/works/23070056/|"oai:dspace.vsb.cz:10084\/103967"||Artificial Inteligence for a RPG Game|Bílý Robert|2017-10-17T21:57:10 +https://core.ac.uk/works/16116989/|"oai:dspace.vutbr.cz:11012\/52572","oai:invenio.nusl.cz:235348","oai:https:\/\/dspace.vut.cz:11012\/52572","oai:invenio.nusl.cz:548927"||Intelligent System for the SSCAI Tournament|Horázný Václav|2016-08-09T15:06:12 +https://core.ac.uk/works/16114238/|"oai:https:\/\/dspace.vut.cz:11012\/4371","oai:dspace.vutbr.cz:11012\/4371","oai:invenio.nusl.cz:233879","oai:invenio.nusl.cz:591073"||Metrics and Criteria for Socio-Technical System Diagnostic|Raudenská Lenka|2016-01-06T16:13:59 +https://core.ac.uk/works/16108917/|"oai:dspace.vutbr.cz:11012\/40659","oai:invenio.nusl.cz:225285"||The Use of Artificial Intelligence on Financial Markets|Hortai František|2016-01-06T16:13:22 +https://core.ac.uk/works/17050830/|"oai:arxiv.org:1304.2365"||Probabilistic and Non-Monotonic Inference|Kyburg Jr Henry E.|2014-10-23T17:23:41 +https://core.ac.uk/works/149975797/|"oai:ojs2.journal.widyatama.ac.id:article\/1442"|10.33197/visualideas.vol3.iss2.2023.1442|Implementasi Artificial Intelligence Dalam Iklan Politik Menuju Masyarakat Indonesia 5.0|Mirza Isroni Muhammad Miraj|2023-10-14T13:26:15 +https://core.ac.uk/works/4960266/|"oai:generic.eprints.org:217\/core382"||Face recognition in different subspaces - A comparative study|Batagelj Borut, Solina Franc|2013-07-12T12:09:17 +https://core.ac.uk/works/52955311/|"oai:www.repository.cam.ac.uk:1810\/278276"|10.17863/cam.25624|The Opportunities and Risks of Artificial Intelligence in Medicine and Healthcare|Hamid Sobia|2019-01-12T13:23:45 +https://core.ac.uk/works/610614/|"oai:pure.atira.dk:publications\/a4a923b5-1f8d-4fdd-9062-25c7af3d026a","oai:arxiv.org:0809.0383"||Statistical Global Modeling of Beta-Decay Halflives Systematics Using Multilayer Feedforward Neural Networks and Support Vector Machines|Clark J. W., Costiris N. J., Gernoth K. A., Li H., Mavrommatis E.|2012-04-13T14:16:36 +https://core.ac.uk/works/38721118/|"oai:dspace.vsb.cz:10084\/108946"||Intelligent Bot for the Game StarCraft: Brood War|Sikora Lubomír|2017-10-17T22:01:48 +https://core.ac.uk/works/16116813/|"oai:invenio.nusl.cz:235793","oai:dspace.vutbr.cz:11012\/53035","oai:invenio.nusl.cz:567350"||Artificial Life Simulator|Popek Miloš|2016-08-09T15:06:16 +https://core.ac.uk/works/16116997/|"oai:invenio.nusl.cz:235264","oai:dspace.vutbr.cz:11012\/52488"||Strategy for Game Systems|Švestka Marek|2016-08-09T15:06:11 +https://core.ac.uk/works/148539759/|"oai:ojs3.stmikbumigora.ac.id:article\/2966"|10.30812/sasak.v5i1.2966|Analisis Pemanfaatan Artificial Intelligence (AI) sebagai Referensi dalam Desain Komunikasi Visual|Muhaemin Muhammad|2023-06-28T07:37:35 +https://core.ac.uk/works/16114562/|"oai:dspace.vutbr.cz:11012\/54969","oai:https:\/\/dspace.vut.cz:11012\/54969","oai:invenio.nusl.cz:237919"||Chess Program for Various Chess Variations|Jadrníček Zbyněk|2016-08-09T15:06:55 +https://core.ac.uk/works/153870372/|"oai:jonedu.org:article\/4855"|10.31004/joe.v6i1.4855|Pengaruh Teknologi Artificial Intelligence (AI) terhadap Perkembangan Pendidikan Hukum di Indonesia|Zulfikar Pandri|2024-01-06T18:00:59 +https://core.ac.uk/works/7759810/|"oai:dnet:earchivo____::221949883493f351d4d528bb373e769a","oai:roderic.uv.es:10550\/68735","oai:zenodo.org:2547873","oai:e-archivo.uc3m.es:10016\/22871"|10.5281/zenodo.2547873|Modelling Complex Dynamics and Distributed Generation of Knowledge with Bacterial-Based Algorithms|González Rodríguez Diego, Hernández Carrión José Rodolfo|2016-08-09T14:48:34 +https://core.ac.uk/works/148414433/|"oai:unimuda.e-journal.id:article\/4226"|10.36232/jurnalpetisi.v4i2.4226|Tantangan dan Peluang Penggunaan Aplikasi Chat GPT Dalam Pelaksanaan Pembelajaran Sejarah Berbasis Dimensi 5.0|Akbar Farhan, Fauzan Muhammad Shafwan, ilham Sahrul Rohman, Wibowo Tubagus Umar Syarif Hadi|2023-08-18T18:15:21 +https://core.ac.uk/works/16123550/|"oai:dspace.vutbr.cz:11012\/62040","oai:invenio.nusl.cz:255547"||Identifying Term Similarity in Information Technology Domain|Smutka Miloslav|2016-08-09T15:08:55 +https://core.ac.uk/works/16107031/|"oai:https:\/\/dspace.vut.cz:11012\/21145","oai:dspace.vutbr.cz:11012\/21145","oai:invenio.nusl.cz:224186","oai:invenio.nusl.cz:586839"||The Use of Artificial Intelligence on Finacial Market|Hasoň Michal|2016-01-06T16:13:18 +https://core.ac.uk/works/16109377/|"oai:invenio.nusl.cz:231155","oai:dspace.vutbr.cz:11012\/33781","oai:invenio.nusl.cz:596228"||Ant Colony Optimization Algorithms for Shortest Path Problems - Java implementation|Dostál Marek|2016-01-06T16:13:47 +https://core.ac.uk/works/17046779/|"oai:arxiv.org:1303.3827"||Towards a serious games evacuation simulator|Almeida João Emílio, Coelho António, Coelho António Leça, Ribeiro João, Rossetti Rosaldo J. F.|2014-10-23T17:23:07 +https://core.ac.uk/works/141754333/|"oai:ojs.envigogika.cuni.cz:article\/595"|10.14712/18023061.595|Validation of a diagnostic tool for identification of preschoolers and primary pupils with science talent|Jančaříková Kateřina|2019-12-19T10:01:01 +https://core.ac.uk/works/159763537/|"oai:dspace.vsb.cz:10084\/153950"||Possibilities of Using Artificial Intelligence Tools in Human Resource Management in a Selected Company|Wawroszová Linda|2024-07-09T08:28:54 +https://core.ac.uk/works/16113397/|"oai:dspace.vutbr.cz:11012\/53179","oai:invenio.nusl.cz:235936","oai:invenio.nusl.cz:578358"||Experiments with the Swarm Intelligence|Hula Tomáš|2016-08-09T15:06:18 +https://core.ac.uk/works/127627463/|"oai:upcommons.upc.edu:2117\/97489"||Creating agent platforms to host agent-mediated services that share resources|Mérida-Campos C, Pujol J M, Vázquez Salceda Javier|2017-05-01T02:07:56 +https://core.ac.uk/works/149876518/|"oai:dspace5.zcu.cz:11025\/52902"||Disk|Parmová Kamila|2023-08-13T10:17:39 +https://core.ac.uk/works/16115735/|"oai:dspace.vutbr.cz:11012\/52396","oai:invenio.nusl.cz:235072","oai:https:\/\/dspace.vut.cz:11012\/52396"||Machine Learning for Formal Language Model Inference|Bardonek Petr|2016-08-09T15:06:09 +https://core.ac.uk/works/6174382/|"oai:dk.upce.cz:10195\/32251"||Prediction model for financing of basic transport services|Bartoníčková Miloslava|2013-08-29T12:34:39 +https://core.ac.uk/works/24750988/|"oai:arxiv.org:1601.00529","oai:spiral.imperial.ac.uk:10044\/1\/30991","oai:citeseerx.psu:10.1.1.717.7330"|10.1017/s1471068416000041|Programming in logic without logic programming|Kowalski Robert, Sadri Fariba|2016-08-03T02:38:19 +https://core.ac.uk/works/50234761/|"oai:open.bu.edu:2144\/1875","oai:persee:article\/inrp_0000-0000_1997_ant_16_1_5153"||Extending snBench to Support a Graphical Programming Interface for a Sensor Network Tasking Language (STEP)|Chang Ching, Sweha Raymond, Papapetrou Panagiotis|2017-12-19T14:44:04 +https://core.ac.uk/works/942597/|"oai:dare.uva.nl:publications\/d08f761d-768e-4db9-81b4-a9eff6ad6d7a","oai:citeseerx.psu:10.1.1.342.3782","oai:arxiv.org:cs\/0003076","oai:citeseerx.psu:10.1.1.341.9546","oai:citeseerx.psu:10.1.1.42.8164","oai:dare.uva.nl:openaire_cris_publications\/d08f761d-768e-4db9-81b4-a9eff6ad6d7a"|10.1017/s1471068401000072|Constraint Programming viewed as Rule-based Programming|Apt Krzysztof R., Monfroy Eric|2012-04-13T14:21:47 +https://core.ac.uk/works/947797/|"oai:arxiv.org:cs\/9301109"||Logic Programming, Functional Programming, and Inductive Definitions|Paulson Lawrence C., Smith Andrew W.|2012-04-13T14:21:52 +https://core.ac.uk/works/68240765/|"oai:repository.uchastings.edu:hastings_comm_ent_law_journal-1321"||Against Software Patents: The League for Programming Freedom|The League for Programming Freedom|2019-10-17T21:17:15 +https://core.ac.uk/works/17224205/|"oai:arxiv.org:1409.3531"|10.1214/13-sts452|Object-Oriented Programming, Functional Programming and R|Chambers John M.|2014-10-24T19:29:23 +https://core.ac.uk/works/41261567/|"oai:ir.nmu.org.ua:123456789\/148998"|10.1177/0884533613490741|Computer Programming|Kasianenko Vladislava, Korotenko L.M., Syanova O.V., Taranenko Lilya|2017-12-03T01:44:38 +https://core.ac.uk/works/41261519/|"oai:ir.nmu.org.ua:123456789\/149030"||Programming Languages|Isakova M.L., Ogeenko P.Y., Sidorina Vadim|2017-12-03T01:44:38 +https://core.ac.uk/works/17201167/|"oai:doaj.org\/article:eebc7cfa14e14a01b2db85f3914ea1e8","oai:arxiv.org:1406.2060"|10.4204/eptcs.153.7|Polymonadic Programming|Bierman Gavin, Guts Nataliya, Hicks Michael, Leijen Daan, Swamy Nikhil|2014-10-24T19:27:00 +https://core.ac.uk/works/945060/|"oai:citeseerx.psu:10.1.1.341.5038","oai:citeseerx.psu:10.1.1.97.9321","oai:arxiv.org:cs\/0412046","oai:citeseerx.psu:10.1.1.14.8282"||Quasiconvex Programming|Eppstein David|2012-04-13T14:21:50 +https://core.ac.uk/works/710042/|"oai:arxiv.org:1007.3023"||Purely Functional Structured Programming|Obua Steven|2012-04-13T14:18:06 +https://core.ac.uk/works/17028227/|"oai:citeseerx.psu:10.1.1.750.4957","oai:arxiv.org:1212.1269"|10.23919/ecc.2013.6669374|Approximate Dynamic Programming via Sum of Squares Programming|Kamgarpour Maryam, Kariotoglou Nikolaos, Kunz Konstantin, Lygeros John, Summers Sean, Summers Tyler H.|2014-10-23T17:20:53 +https://core.ac.uk/works/58978815/|"oai:arxiv.org:1905.07212"||Implementing a Library for Probabilistic Programming using Non-strict Non-determinism|Christiansen Jan, Dylus Sandra, Teegen Finn|2019-06-02T02:03:52 +https://core.ac.uk/works/45153128/|"oai:acikerisim.isikun.edu.tr:11729\/1407","oai:arxiv.org:1710.11559"|10.1109/te.2017.2789183|Implicit Theories and Self-efficacy in an Introductory Programming Course|Benli Kristin S., Deveci Ezgi, Tek F. Boray|2017-11-21T00:02:31 +https://core.ac.uk/works/54153302/|"oai:arxiv.org:1809.08304"||onlineSPARC: a Programming Environment for Answer Set Programming|Marcopoulos Elias, Zhang Yuanlin|2019-02-06T06:42:50 +https://core.ac.uk/works/42869231/|"oai:arxiv.org:1705.09413"|10.1145/3015455|Learnable Programming: Blocks and Beyond|Bau David, Gray Jeff, Kelleher Caitlin, Sheldon Josh, Turbak Franklyn|2017-06-19T02:44:28 +https://core.ac.uk/works/4645463/|"oai:citeseerx.psu:10.1.1.89.1534","oai:eprints.usq.edu.au:224"|10.1007/11499053_10|A framework for understanding the factors influencing pair programming success|C. Poole, E. Yourdon, F.P. Brooks, G. Rowe, J. Grenning, K. Beck, K.M. Lui, L. Day, L. Williams, L. Williams, R.L. Glass, R.W. Napier|2013-07-08T13:21:37 +https://core.ac.uk/works/40140131/|"oai:docs.rwu.edu:seccm_fp-1006"||Does choice of programming language affect student understanding of programming concepts in a first year engineering course?|Gratiano Stephanie M., McPheron Benjamin D., Palm William J.|2017-11-20T21:28:32 +https://core.ac.uk/works/18057275/|"oai:arxiv.org:1504.00977"|10.1007/978-3-319-19686-2_4|Declaratively solving Google Code Jam problems with Picat|Dymchenko Sergii, Mykhailova Mariia|2015-09-24T00:09:31 +https://core.ac.uk/works/8220952/|"oai:research-information.bris.ac.uk:openaire_cris_publications\/bd78f622-707d-4df9-a840-83aa3ef1f195","oai:publications.lib.chalmers.se:224566","oai:research-information.bris.ac.uk:publications\/bd78f622-707d-4df9-a840-83aa3ef1f195","oai:research.chalmers.se:224566","oai:kar.kent.ac.uk:50323"|10.1093/nsr/nwv042|How functional programming mattered|Abelson, Armstrong, Armstrong, Arts, Arts, Axelsson, Baars, Backus, Bahr, Barthe, Bertot, Bird, Bird, Bird, Bird, Bird RS Moor, Blelloch, Blelloch, Bringert, Carette, Chakravarty, Chakravarty MMT Leshchinskiy, Chetali, Chin, Claessen, Claessen, Cole, Cole, de Moor, Dean, Devriese, Dijkstra, Dybvig, Elliott, Elliott, Epstein, Farmer, Fegaras, Felleisen, Ford, Gibbons, Gibbons, Gill, Halloway, Hammond, Hansen MR Rischel, Harris, Hinze, Hinze, Hu, Hu, Hu, Hu, Hu, Hudak, Hudak, Hudak, Hudak, Hudak, Hudak, Hughes, Hughes, Hughes, Hughes JM Bolinder, Hutton, Hutton, Jones, Katayama, Katayama, Kiselyov, Launchbury, Launchbury, Leijen, Leroy, Liang, Lindley, Loidl HW Rubio, Matsuzaki, Mcbride, Meijer, Meijer, Milner, Minsky, Minsky, Moggi, Moggi, Morita, Mu, Naiman, Norell, Odersky, Oliveira BCS Moors, Paterson, Paulson, Persson, Peyton Jones, Peyton Jones, Peyton Jones SL Wadler, Reynolds, Sagonas, Schrijvers, Sculthorpe, Seibel, Sheard, Skillicorn, Smith, Snyder, Steele, Steele, Svenningsson, Svenningsson, Swierstra, Swierstra SD Duponcheel, Takano, Takano, Tesson, Wadler, Wadler, Wadler, Wadler, Wampler, Yang|2016-04-05T13:05:01 +https://core.ac.uk/works/578025/|"oai:arxiv.org:0712.3079","oai:cwi.nl:11816","oai:tilburguniversity.edu:publications\/32708817-eaaf-4337-9962-b8833ef1929b","oai:cwi.nl:13249","oai:citeseerx.psu:10.1.1.248.8898","oai:wo.uvt.nl:3736473","oai:citeseerx.psu:10.1.1.156.9619","oai:tilburguniversity.edu:openaire_cris_publications\/32708817-eaaf-4337-9962-b8833ef1929b"|10.1016/j.orl.2008.10.003|Block-diagonal semidefinite programming hierarchies for 0/1 programming|Balas, Bollobás, Borchers, De Klerk, Frank Vallentin, Gvozdenović, Gvozdenović, Lasserre, Laurent, Laurent, Laurent, Lovász, Lovász, Monique Laurent, Nebojša Gvozdenović, Nemhauser, Schrijver, Sherali, Wolsey|2012-04-13T14:16:10 +https://core.ac.uk/works/17180339/|"oai:arxiv.org:1402.3690"||(Co)recursion in Logic Programming: Lazy vs Eager|Heras Jónathan, Komendantskaya Ekaterina, Schmidt Martin|2014-10-24T19:24:25 +https://core.ac.uk/works/800830/|"oai:arxiv.org:1112.6075"||A semidefinite programming approach for solving Multiobjective Linear Programming|Ben-Ali Safae El-Haj, Blanco Víctor, Puerto Justo|2012-04-13T14:19:33 +https://core.ac.uk/works/734578/|"oai:arxiv.org:1012.4240"||ECLiPSe - from LP to CLP|Schimpf Joachim, Shen Kish|2012-04-13T14:18:31 +https://core.ac.uk/works/735081/|"oai:arxiv.org:1012.5130","oai:citeseerx.psu:10.1.1.758.3133"||A Relation between the Protocol Partition Number and the Quasi-Additive Bound|Kamiyama Naoyuki|2012-04-13T14:18:32 +https://core.ac.uk/works/942535/|"oai:citeseerx.psu:10.1.1.341.6008","oai:citeseerx.psu:10.1.1.21.6922","oai:lirias2repo.kuleuven.be:123456789\/131533","oai:arxiv.org:cs\/0003025"||Logic Programming for Describing and Solving Planning Problems|Bruynooghe Maurice|2012-04-13T14:21:47 +https://core.ac.uk/works/774511/|"oai:arxiv.org:1108.4547"||Language Support for Declarative Future Commitments|Harrison William|2012-04-13T14:19:08 +https://core.ac.uk/works/24730819/|"oai:arxiv.org:1509.06394"||Semidefinite programming relaxations for linear semi-infinite polynomial programming|Guo Feng, Sun Xiaoxia|2016-08-03T02:21:09 +https://core.ac.uk/works/602532/|"oai:arxiv.org:0806.4746"||Concept-Oriented Programming|Savinov Alexandr|2012-04-13T14:16:28 +https://core.ac.uk/works/54164251/|"oai:arxiv.org:1810.09616"|10.4204/eptcs.282.4|Programming Without Refining|Benabdelali Marwa, Ghardallou Wided, Jilani Lamia Labed, Mili Ali|2019-02-06T06:45:29 +https://core.ac.uk/works/18085993/|"oai:arxiv.org:1508.04805"|10.1007/s10957-014-0633-4|Robust fractional programming|Gorissen Bram L.|2015-09-24T01:38:46 +https://core.ac.uk/works/58974245/|"oai:arxiv.org:1905.00562"||Disciplined Quasiconvex Programming|Agrawal Akshay, Boyd Stephen|2019-06-02T02:02:45 +https://core.ac.uk/works/37646997/|"oai:arxiv.org:1611.04766","oai:zenodo.org:175443"|10.5281/zenodo.175443|Differentiable Genetic Programming|Biscani Francesco, Izzo Dario, Mereta Alessio|2016-12-01T20:59:25 +https://core.ac.uk/works/42871393/|"oai:arxiv.org:1706.00834"||Online Dynamic Programming|Rahmanian Holakou, Warmuth Manfred K.|2017-06-19T02:46:22 +https://core.ac.uk/works/942834/|"oai:scholarbank.nus.edu.sg:10635\/39301","oai:citeseerx.psu:10.1.1.4.7626","oai:arxiv.org:cs\/0208029","oai:dial.uclouvain.be:boreal:61384"|10.1017/s1471068403001741|Logic programming in the context of multiparadigm programming: the Oz experience|Brand P, Duchier D, Haridi S., Henz M, International Conference on Logic Programming, Schulte C, Van Roy Peter|2012-04-13T14:21:48 +https://core.ac.uk/works/695264/|"oai:arxiv.org:1004.2027"||Dynamic Policy Programming|Azar Mohammad Gheshlaghi, Gomez Vicenc, Kappen Hilbert J.|2012-04-13T14:17:54 +https://core.ac.uk/works/635652/|"oai:citeseerx.psu:10.1.1.64.7717","oai:arxiv.org:0903.1152"||Stochastic Constraint Programming|Walsh Toby|2012-04-13T14:17:01 +https://core.ac.uk/works/258295/|"oai:cogprints.org:1670"||Bayesian robot Programming|Bessiere Pierre, Diard Julien, Lebeltel Olivier, Mazer Emmanuel|2012-07-01T04:54:06 +https://core.ac.uk/works/947170/|"oai:pure.atira.dk:publications\/717ba0e0-b3fd-4f71-acaa-cd76278da3f7","oai:arxiv.org:cs\/0609062","oai:citeseerx.psu:10.1.1.342.6780","oai:www.era.lib.ed.ac.uk:1842\/4608","oai:era.ed.ac.uk:1842\/4608","oai:kclpure.kcl.ac.uk:publications\/717ba0e0-b3fd-4f71-acaa-cd76278da3f7"|10.1145/1387673.1387675|Nominal Logic Programming|Cervesato I., Cheney J., Cheney J., Cheney J., Cheng A. S. K., Christian Urban, Darlington J., Fiore M. P., Hamana M., Hannan J., James Cheney, Miller D., Miller D., Miller D., Nadathur G., Nadathur G., Pfenning F., Pfenning F., Pitts A. M., Pottier F., Staples J., Watkins K.|2012-02-15T10:18:53 +https://core.ac.uk/works/945615/|"oai:arxiv.org:cs\/0602027"||Explaining Constraint Programming|Apt Krzysztof R.|2012-04-13T14:21:50 +https://core.ac.uk/works/945232/|"oai:arxiv.org:cs\/0601035"||Deductive Object Programming|Colonna Francois|2012-04-13T14:21:50 +https://core.ac.uk/works/652380/|"oai:citeseerx.psu:10.1.1.249.2644","oai:arxiv.org:0906.5171","oai:escholarship.org:ark:\/13030\/qt4224z4ps","oai:escholarship.org\/ark:\/13030\/qt4224z4ps"|10.1007/978-3-540-68279-0_15|Nonlinear Integer Programming|A. Ben-Tal, A. Frangioni, A. Frangioni, A.I. Barvinok, A.I. Barvinok, A.M. Geoffrion, B. Bank, C. Buchheim, C.A. Meyer, C.H. Papadimitriou, D. Goldfarb, D. Vandenbussche, D. Vandenbussche, E. Balas, E. Balas, E. Balas, E. Boros, E.M.B. Smith, F. Santos, F.A. Al-Khayyal, G.P. McCormick, H.W. Lenstra, I. Quesada, J. Lee, J. Lee, J. Linderoth, J. Renegar, J. Renegar, J.A. Loera De, J.A. Loera De, J.A. Loera De, J.A. Loera De, J.A. Loera De, J.A. Loera De, J.B. Lasserre, J.E. Graver, J.E. Kelley Jr, J.P. Jones, K. Mulmuley, L. Liberti, L. Lovász, L.G. Khachiyan, M. Brion, M. Brion, M. Jach, M. Köppe, M. Köppe, M. Laurent, M. Putinar, M. Tawarmalani, M. Tawarmalani, M. Tawarmalani, M.A. Duran, M.D. Choi, M.E. Hartmann, M.R. Garey, M.T. Çezik, M.X. Goemans, N.V. Sahinidis, N.Z. Shor, O.K. Gupta, P. Bonami, P. Bonami, P. Bonami, P. Bonami, P.A. Parrilo, R. Hemmecke, R. Pörn, R.A. Stubbs, R.E. Gomory, R.G. Jeroslow, R.K. Ahuja, R.R. Thomas, S. Aktürk, S. Burer, S. Ceria, S. Heinz, S. Hoşten, S. Onn, S.P. Tarasov, T. Jacobi, T. Westerlund, T. Westerlund, W.J. Cook, Y. Berstein, Y. Berstein, Y.V. Matiyasevich|2012-04-13T14:17:16 +https://core.ac.uk/works/4468486/|"oai:casi.ntrs.nasa.gov:19690000593"||COGENT programming manual|Reynolds J. C.|2013-05-31T10:43:36 +https://core.ac.uk/works/17168356/|"oai:arxiv.org:1312.4328","oai:citeseerx.psu:10.1.1.749.3225"||Probabilistic Programming Concepts|De Raedt Luc, Kimmig Angelika|2014-10-24T19:23:07 +https://core.ac.uk/works/8220842/|"oai:kar.kent.ac.uk:50406"|10.1145/2818314.2818331|Frame-Based Editing: Easing the Transition from Blocks to Text-Based Programming|Altadmri Amjad, Brown Neil C.C., Kölling Michael|2016-04-05T13:05:02 +https://core.ac.uk/works/1151314/|"oai:cds.cern.ch:336180","oai:arxiv.org:quant-ph\/9710035"||Programming Complex Systems|Maymin Philip|2012-04-13T14:24:59 +https://core.ac.uk/works/4850578/|"oai:doc.utwente.nl:18376","oai:ris.utwente.nl:publications\/692730d6-e211-4cab-802b-8cbb34b82371","oai:citeseerx.psu:10.1.1.1033.5025","oai:ris.utwente.nl:openaire_cris_publications\/692730d6-e211-4cab-802b-8cbb34b82371"|10.1007/3-540-46589-8_17|Aspect-Oriented Programming|Bergmans Lodewijk, Videira Lopes Cristina|2013-07-10T17:27:39 +https://core.ac.uk/works/17226389/|"oai:arxiv.org:1409.5832"||Efficient First-Order Methods for Linear Programming and Semidefinite Programming|Renegar James|2014-10-24T19:29:34 +https://core.ac.uk/works/8657790/|"oai:arxiv.org:1312.4454","oai:discovery.dundee.ac.uk:openaire_cris_publications\/78655a5c-1628-4012-b257-ac45494a68cc","oai:portal.dialnet.es:doc\/5bbc687bb750603269e809b1","oai:pure.atira.dk:openaire_cris_publications\/0e860f84-e6dc-4f1c-8e1d-400d97768153","oai:pure.atira.dk:publications\/0e860f84-e6dc-4f1c-8e1d-400d97768153","oai:discovery.dundee.ac.uk:publications\/78655a5c-1628-4012-b257-ac45494a68cc"|10.1016/j.entcs.2014.02.007|Exploiting parallelism in coalgebraic logic programming|Amato, Ancona, Bonchi, Bonchi, Bruni, Comini, Dwork, Ekaterina Komendantskaya, Gabrielli, Gupta, Gupta, Hoare, Jónathan Heras, Kanellakis, Kinoshita, Komendantskaya, Komendantskaya, Komendantskaya, Komendantskaya, Komendantskaya, Lloyd, Martin Schmidt, Pontelli, Summerfield, Ullman|2014-10-24T19:23:07 +https://core.ac.uk/works/18087926/|"oai:hal:hal-01416379v1","oai:arxiv.org:1508.04936"||Translation into any natural language of the error messages generated by any computer program|Roehner Bertrand|2015-09-24T01:39:11 +https://core.ac.uk/works/50749100/|"oai:arxiv.org:1803.10201"|10.22152/programming-journal.org/2018/2/14|Fast, Flexible, Polyglot Instrumentation Support for Debuggers and other Tools|Haupt Michael, Humer Christian, Seaton Chris, Van De Vanter Michael, Würthinger Thomas|2018-04-18T20:34:23 +https://core.ac.uk/works/700790/|"oai:arxiv.org:1005.4379","oai:citeseerx.psu:10.1.1.406.3028"||A Meta-Programming Approach to Realizing Dependently Typed Logic Programming|Baelde David, Nadathur Gopalan, Snow Zachary|2012-04-13T14:17:59 +https://core.ac.uk/works/54170941/|"oai:arxiv.org:1811.06150"||Effect Handling for Composable Program Transformations in Edward2|Gorinova Maria I., Moore Dave|2019-02-06T06:47:43 +https://core.ac.uk/works/17212716/|"oai:arxiv.org:1407.4798","oai:citeseerx.psu:10.1.1.710.2338"||Mixed-integer Quadratic Programming is in NP|Del Pia Alberto, Dey Santanu S., Molinaro Marco|2014-10-24T19:28:01 +https://core.ac.uk/works/18074767/|"oai:arxiv.org:1507.00723"|10.1007/978-3-319-28406-4_6|Theory of Programs|Meyer Bertrand|2015-09-24T00:55:10 +https://core.ac.uk/works/17160556/|"oai:arxiv.org:1311.5918"||Empirical Dynamic Programming|Haskell William B., Jain Rahul, Kalathil Dileep|2014-10-24T19:22:36 +https://core.ac.uk/works/18044383/|"oai:arxiv.org:1502.02519","oai:pure.atira.dk:publications\/140e762d-7e3f-4574-ace5-09801a50decb"|10.1007/978-3-319-33612-1_1|Kickstarting Choreographic Programming|Montesi Fabrizio|2015-09-24T00:04:09 +https://core.ac.uk/works/41261412/|"oai:ir.nmu.org.ua:123456789\/148987"||C Programming Language|Chernenko Alexei, Isakova M.L., Korotenko L.M.|2017-12-03T01:44:37 +https://core.ac.uk/works/23019602/|"oai:espace.cdu.edu.au:cdu:53440"||HIT365 - C Programming||2020-05-26T22:24:28 +https://core.ac.uk/works/48124138/|"oai:mro.massey.ac.nz:10179\/11700"||Applications of mathematical programming on four New Zealand horticultural holdings : a thesis presented in partial fulfilment of the requirements for the degree of Master of Horticultural Science in Massey University|Rae Allan N|2018-02-10T21:34:10 +https://core.ac.uk/works/78116183/|"oai:escholarship.org\/ark:\/13030\/qt51z7b3wm","oai:escholarship.org:ark:\/13030\/qt51z7b3wm"||Team-oriented process programming|Taylor Richard N., Young Patrick S.|2020-03-11T19:27:48 +https://core.ac.uk/works/18029564/|"oai:arxiv.org:1412.0981"|10.18287/1613-0073-2016-1638-460-468|Templet: a Markup Language for Concurrent Programming|Vostokin Sergey|2015-09-23T23:57:18 +https://core.ac.uk/works/54154327/|"oai:arxiv.org:1809.07945"||SCC: Automatic Classification of Code Snippets|Alreshedy Kamel, Dharmaretnam Dhanush, German Daniel M., Gulliver T. Aaron, Srinivasan Venkatesh|2019-02-06T06:42:45 +https://core.ac.uk/works/50749124/|"oai:arxiv.org:1803.10199"|10.22152/programming-journal.org/2018/2/5|Harmonizing Signals and Events with a Lightweight Extension to Java|Aotani Tomoyuki, Kamina Tetsuo|2018-04-18T20:34:23 +https://core.ac.uk/works/42861883/|"oai:arxiv.org:1705.00556"||Mapping Objects to Persistent Predicates|Llanes José E. Zalacain|2017-06-19T02:37:56 +https://core.ac.uk/works/17229105/|"oai:arxiv.org:1410.0373","oai:researchportal.port.ac.uk:publications\/10953c57-beed-4dae-8a08-3c830b786b4d"|10.1109/eduhpc.2014.7|Teaching Parallel Programming Using Java|Akhtar Aleem, Carpenter Bryan, Javed Ansar, Shafi Aamir|2014-10-24T19:29:53 +https://core.ac.uk/works/15105649/|"oai:researchcommons.waikato.ac.nz:10289\/2013"||A semantics and implementation of a causal logic programming language|Clayton Roger, Cleary John G., Utting Mark|2015-06-05T10:24:36 +https://core.ac.uk/works/24818784/|"oai:arxiv.org:1607.05173"|10.1109/access.2017.2701339|An empirical study on the impact of IDE tool support in pair and solo programming|Gómez Omar S.|2016-08-03T03:13:25 +https://core.ac.uk/works/1151625/|"oai:arxiv.org:quant-ph\/9802070","oai:cds.cern.ch:347424","oai:authors.library.caltech.edu:81842","oai:citeseerx.psu:10.1.1.251.4293"|10.1109/18.796387|Monotonicity of the quantum linear programming bound|Rains Eric M.|2012-04-13T14:24:59 +https://core.ac.uk/works/78115648/|"oai:escholarship.org:ark:\/13030\/qt9bq9j74t","oai:escholarship.org\/ark:\/13030\/qt9bq9j74t"||Arcturus user's guide|Snider Craig, Willson Stephen Hunter|2020-03-11T19:27:51 +https://core.ac.uk/works/4086019/|"oai:arxiv.org:1207.3472"||Optimal Selection of Assets Investing Composition Plan based on Grey Multi Objective Programming method|Kim Gol, Yun Ri Suk|2012-07-19T14:00:47 +https://core.ac.uk/works/18083470/|"info:doi\/10.1016%2fj.jlamp.2015.07.006","oai:www.research.unipd.it:11577\/3187077","oai:arxiv.org:1507.07719"|10.1016/j.jlamp.2015.07.006|The role of concurrency in an evolutionary view of programming abstractions|Crafa Silvia|2015-09-24T01:18:50 +https://core.ac.uk/works/346014/|"oai:bura.brunel.ac.uk:2438\/2075"||Reformulations of mathematical programming problems as linear complementarity problems|Judice JJ, Mitra G|2012-02-23T17:16:56 +https://core.ac.uk/works/17183570/|"oai:citeseerx.psu:10.1.1.1056.5348","oai:citeseerx.psu:10.1.1.757.3757","oai:arxiv.org:1403.0504"||A Compilation Target for Probabilistic Programming Languages|Paige Brooks, Wood Frank|2014-10-24T19:24:48 +https://core.ac.uk/works/17179175/|"oai:arxiv.org:1402.2852"|10.1016/j.orl.2014.10.002|Robust Integer Programming|Onn Shmuel|2014-10-24T19:24:20 +https://core.ac.uk/works/24810880/|"oai:arxiv.org:1606.04216"||Spreadsheet Probabilistic Programming|Perov Yura, Wood Frank, Wu Mike, Yang Hongseok|2016-08-03T03:07:09 +https://core.ac.uk/works/54165072/|"oai:arxiv.org:1810.11673"||Beyond Structured Programming|van Emden M. H.|2019-02-06T06:45:59 +https://core.ac.uk/works/18093779/|"oai:arxiv.org:1509.04315"||Implementing a teleo-reactive programming system|Webb Robert|2015-09-24T02:00:24 +https://core.ac.uk/works/945495/|"oai:citeseerx.psu:10.1.1.341.6657","oai:arxiv.org:cs\/0603016"||Object-Oriented Modeling of Programming Paradigms|Somosan S. C., van Emden M. H.|2012-04-13T14:21:51 +https://core.ac.uk/works/18036539/|"oai:arxiv.org:1501.00669"||Asynchronous Programming in a Prioritized Form|El-Zawawy Mohamed A.|2015-09-24T00:00:40 +https://core.ac.uk/works/43118981/|"oai:arxiv.org:1707.00812"||Inexact cuts for Deterministic and Stochastic Dual Dynamic Programming applied to convex nonlinear optimization problems|Guigues Vincent|2017-07-23T18:36:30 +https://core.ac.uk/works/44151629/|"oai:scholarworks.iupui.edu:1805\/20547","oai:scholarworks.indianapolis.iu.edu:1805\/20547"|10.1080/0735648x.2018.1554844|Leveraging Wireless Broadband to Improve Police Land Mobile Radio Programming: Estimating the Resource Impact|Carter Jeremy G., Grommon Eric, Piza Eric L.|2019-09-05T02:37:00 +https://core.ac.uk/works/944432/|"oai:arxiv.org:cs\/0403033"||Integrating design synthesis and assembly of structured objects in a visual design language|Banyasad Omid, Cox Philip T.|2012-04-13T14:21:49 +https://core.ac.uk/works/43886854/|"oai:arxiv.org:1708.02710"|10.1016/j.entcs.2018.03.013|From Reversible Programs to Univalent Universes and Back|Carette Jacques, Chen Chao-Hong, Choudhury Vikraman, Sabry Amr|2017-09-08T05:02:37 +https://core.ac.uk/works/17198993/|"oai:arxiv.org:1405.3792"|10.1017/s1471068414000313|Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation|Charalambidis Angelos, Rondogiannis Panos, Ésik Zoltán|2014-10-24T19:26:30 +https://core.ac.uk/works/17151774/|"oai:arxiv.org:1310.0395"||Protein Threading Based on Nonlinear Integer Programming|Bakri Marwah Mohammed, Gharibi Wajeb|2014-10-24T19:21:23 +https://core.ac.uk/works/947255/|"oai:citeseerx.psu:10.1.1.341.7206","oai:cwi.nl:1234","oai:arxiv.org:cs\/9811017","oai:citeseerx.psu:10.1.1.25.423","oai:cwi.nl:4626"|10.1007/978-3-642-60085-2_4|Formulas as Programs|Apt Krzysztof R., Bezem Marc|2012-04-13T14:21:52 +https://core.ac.uk/works/51394220/|"oai:arxiv.org:1804.06458"||Deep Probabilistic Programming Languages: A Qualitative Study|Baudart Guillaume, Hirzel Martin, Mandel Louis|2018-05-15T08:42:41 +https://core.ac.uk/works/778999/|"oai:sfera.unife.it:11392\/1436919","info:doi\/10.1017%2fs1471068411000275","oai:arxiv.org:1109.1248","oai:iris.unife.it:11392\/1436919"|10.1017/s1471068411000275|Optimal Placement of Valves in a Water Distribution Network with CLP(FD)|Alvisi Stefano, Cattafi Massimiliano, Franchini Marco, Gavanelli Marco, Nonato Maddalena|2012-04-13T14:19:10 +https://core.ac.uk/works/24739604/|"oai:arxiv.org:1511.00924"||Bound Your Models! How to Make OWL an ASP Modeling Language|Gaggl Sarah Alice, Rudolph Sebastian, Schweizer Lukas|2016-08-03T02:27:56 +https://core.ac.uk/works/8063004/|"oai:discovery.dundee.ac.uk:publications\/ff68b52e-bef4-4db4-9a67-d63fe1e31074","oai:discovery.dundee.ac.uk:openaire_cris_publications\/ff68b52e-bef4-4db4-9a67-d63fe1e31074","oai:oro.open.ac.uk:50303"|10.1145/3059009.3059046|Learning Dimensions: Lessons from Field Studies|Hughes Janet, Martin Christopher, Richards John|2017-08-01T11:00:12 +https://core.ac.uk/works/18032579/|"oai:arxiv.org:1412.4629"||Towards Live Programming in ROS with PhaROS and LRP|Bouraqad Noury, Campusano Miguel, Estefó Pablo, Fabresse Luc, Fabry Johan, Laval Jannik|2015-09-23T23:58:52 +https://core.ac.uk/works/17014953/|"oai:arxiv.org:1210.3039","oai:citeseerx.psu:10.1.1.648.9689"||Sequential Convex Programming Methods for A Class of Structured Nonlinear Programming|Lu Zhaosong|2014-10-23T17:19:43 +https://core.ac.uk/works/45959058/|"oai:arxiv.org:1712.03112"|10.1109/tpds.2018.2872064|Effective Extensible Programming: Unleashing Julia on GPUs|Besard Tim, De Sutter Bjorn, Foket Christophe|2017-12-15T09:10:30 +https://core.ac.uk/works/48123472/|"oai:mro.massey.ac.nz:10179\/11862"||The cognitive construction of programs by novice programmers : a thesis presented in partial fulfilment of the requirements for the degree of Master of Science in Computer Science at Massey University|Rose Zoë Joanne|2018-02-10T21:34:32 +https://core.ac.uk/works/8221627/|"oai:ora.ox.ac.uk:uuid:da1a453e-1b3e-466a-b0c4-60983c0c8949","oai:publications.lib.chalmers.se:143544","oai:hub.hku.hk:10722\/188485","oai:research.chalmers.se:143544","oai:research-information.bris.ac.uk:publications\/fc0a5bda-e13b-4bfd-906d-b1588bbb67e7","oai:kar.kent.ac.uk:47471","oai:research-information.bris.ac.uk:openaire_cris_publications\/fc0a5bda-e13b-4bfd-906d-b1588bbb67e7"|10.1145/1596614.1596621|What Does Aspect-Oriented Programming Mean for Functional Programmers?|Oliveira Bruno, Wang Meng|2015-09-30T16:56:02 +https://core.ac.uk/works/15109318/|"oai:research.usc.edu.au:usc:13425","oai:research.usc.edu.au:usc:13356","oai:researchcommons.waikato.ac.nz:10289\/7501","info:doi\/10.1016%2fj.parco.2013.11.004","oai:researchcommons.waikato.ac.nz:10289\/8164"|10.1145/2442992.2442996|The JStar language philosophy|Cleary John G., Utting Mark, Weng Min-Hsien|2015-06-05T10:42:38 +https://core.ac.uk/works/24753010/|"oai:arxiv.org:1512.06796"||Semi-infinite programming using high-degree polynomial interpolants and semidefinite programming|Papp Dávid|2016-08-03T02:36:33 +https://core.ac.uk/works/2262937/|"oai:authors.library.caltech.edu:26776"||A Multimedia Interactive Environment Using Program Archetypes: Divide-and-Conquer|Ainsworth Paul, Kryukova Svetlana|2012-06-22T18:20:25 +https://core.ac.uk/works/24813611/|"oai:arxiv.org:1606.05940","oai:doaj.org\/article:f6f9c25109a8491b889bce5786d81b3f"|10.4204/eptcs.211.5|From Events to Reactions: A Progress Report|Garnock-Jones Tony|2016-08-03T03:08:08 diff --git a/CORE-To-Excel/example-Research-Papers-Library.xlsm b/CORE-To-Excel/example-Research-Papers-Library.xlsm index e0f9e29..d8347cf 100644 Binary files a/CORE-To-Excel/example-Research-Papers-Library.xlsm and b/CORE-To-Excel/example-Research-Papers-Library.xlsm differ diff --git a/README.md b/README.md index ed53046..3f1f8a7 100644 --- a/README.md +++ b/README.md @@ -2,20 +2,20 @@ Organize your research papers into a personal data hub! Easily combine complex CSV files sourced from https://core.ac.uk (the world’s largest collection of open-access research papers) into a single TXT file in an Excel-friendly format! ![ss1](/src/screenshots/ss1.png) - + ## How to Use: 1. [Download the contents of this folder](CORE-To-Excel). - * Note: You can rename the main folder and files as desired, but don't rename the "CORE-Data" and "Excel-Output" folders to enable automatic folder path insertion into the text fields on startup. * Note: Files will be processed alphabetically, so ensure the newest files are at the end to avoid incorrect checkbox assignments. Files will also be later automatically renamed in numerical order. 2. Place all TXT or CSV files downloaded from https://core.ac.uk into the "CORE-Data" folder. * Note: The first line of each file should follow this format: > "workID","oaiID","doi","title","authors","createdDate" -3. Launch the CoreToExcelAggregator.jar file. The default separator is "||", but changes are not recommended if you plan to proceed to the next step. If the file paths are correct, the play button will be enabled. Press it! +3. Launch the CoreToExcelAggregator.jar file. The default separator is "|", changes are not recommended if you plan to proceed to the next step. If the file paths are correct, the play button will be enabled. Press it! + * Note: Place this file in the same folder as the "CORE-Data" and "Excel-Output" folders, and do not rename them. This will allow the automatic path insertion into the text fields upon startup. * Note: You need to have Java installed. You can download it from https://www.oracle.com/java/technologies/downloads/. -4. Open example-Research-Papers-Library.xlsm, and go to: Data → Queries & Connections → double-left-click on "output" → expand APPLIED STEPS → click LMB on "Source" → in the equation bar near the top adjust the path (it should end with "Excel-Output\output.txt"). - * Note: If you later change location of output.txt you need to repeat this step. +4. Open example-Research-Papers-Library.xlsm, and go to: Data → Queries & Connections → double-left-click on "output" → under "APPLIED STEPS" click LMB on "Source" → in the equation bar near the top adjust the path (it should end with "Excel-Output\output.txt"). + * Note: If you later change location of output.txt or your main folder, you will need to repeat this step. The Excel workbook itself isn't location dependent. 5. Now save and reopen and you're done! The output.txt file should now load automatically upon opening the Excel workbook. - * Note: Checkboxes aren’t automatically populated, but you can easily drag the fill handle to extend them across rows. + * Note: Checkboxes aren’t automatically populated, but you can easily drag the fill handle to extend them down the first column. * Tip: If you've completed your library, you can disable the automatic loading of output.txt by navigating to: Data → Queries & Connections → right-click on "output" → Properties... → uncheck "Refresh data when opening the file". * Tip: For a cleaner view, consider hiding the second and third columns. @@ -26,7 +26,7 @@ Organize your research papers into a personal data hub! Easily combine complex C * Deleting redundant research papers from the list. * Packaging IDs into links for improved usability. * Dividing each row into 6 parts with 5 specified separators. -* Removing unnecessary symbols. +* Removing unnecessary symbols and Unicode decoding. * Excel stuff: checkboxes, conditional formatting, macros... ## Why: diff --git a/src/CoreToExcelAggregator.java b/src/CoreToExcelAggregator.java index f631258..643fda5 100644 --- a/src/CoreToExcelAggregator.java +++ b/src/CoreToExcelAggregator.java @@ -1,11 +1,15 @@ import java.io.*; import java.nio.file.*; import java.util.*; +import java.util.function.Function; +import java.util.regex.*; public class CoreToExcelAggregator { - static String separator = "||"; + static String separator = "|"; static final String HEADER = "\"workID\",\"oaiID\",\"doi\",\"title\",\"authors\",\"createdDate\""; - + public static int duplicateLineCount = 0; + public static int forceFixCount = 0; + public static int lineCount = 0; public static void process(String dataFolderPath, String outputFolderPath) throws IOException { File dataFolder = new File(dataFolderPath); File outputFolder = new File(outputFolderPath); @@ -49,6 +53,12 @@ public static void process(String dataFolderPath, String outputFolderPath) throw System.out.println("The folder is empty or an error occurred."); } + try (BufferedReader reader = new BufferedReader(new FileReader(outputFile))) { + while (reader.readLine() != null) { + lineCount++; + } + } + renameFilesAlphabetically(dataFolder); } private static void convertFilesToTxt(File dataFolder) { @@ -156,11 +166,15 @@ private static File removeDuplicateIDs(File fixedFile, File outputFolder) throws if (uniqueLines.stream().noneMatch(existingLine -> existingLine.startsWith(uniqueID + ","))) { uniqueLines.add(line); } - else System.out.println("Duplicates of ID:" + uniqueID + " removed"); + else { + System.out.println("Duplicates of ID:" + uniqueID + " removed"); + duplicateLineCount++; + } } try (BufferedWriter bw = new BufferedWriter(new FileWriter(outputFile))) { for (String uniqueLine : uniqueLines) { - bw.write(uniqueLine); + String modifiedLine = uniqueLine.replace(separator, "I"); + bw.write(modifiedLine); bw.newLine(); } } @@ -170,6 +184,7 @@ private static File removeDuplicateIDs(File fixedFile, File outputFolder) throws return outputFile; } + private static void mainTransformation(File inputFile, File outputFile) throws IOException { try (BufferedReader reader = new BufferedReader(new FileReader(inputFile)); @@ -180,15 +195,72 @@ private static void mainTransformation(File inputFile, File outputFile) throws I String line; while ((line = reader.readLine()) != null) { -// System.out.println("Original line: " + line); + String[] parts = splitOutsideQuotesAndBrackets(line); -// System.out.println("Parts after split: "); -// for (int i=0; i< parts.length; i++)System.out.println(parts[i]); -// System.out.println("parts.lenght=" + parts.length); - if (parts.length < 6) { - System.out.println("Invalid line format, skipping line: " + line + " | parts.lenght=" + parts.length); - continue; + if (parts.length != 6) { + System.out.println("-----------------------"); + System.out.println("Invalid line format: " + line + " | parts.length=" + parts.length); + System.out.println("Parts after split: "); + for (String part : parts) System.out.println(part); + + // FORCE FIX + Function forceFixLine = badLine -> { + String validTitlePattern = "(?<=,)(\"[^\"]*\")(?=,)"; + Pattern pattern = Pattern.compile(validTitlePattern); + Matcher matcher = pattern.matcher(badLine); + + String[] fixedParts = new String[6]; + Arrays.fill(fixedParts, ""); + fixedParts[3] = "No Title: This line contained unsafe characters for processing and was fixed by force!"; + StringBuilder concatenatedStrings = new StringBuilder(); + + while (matcher.find()) { + String part = matcher.group(1).replaceAll("^\"|\"$", "").replace("\\\"", "\""); + if (!concatenatedStrings.isEmpty()) { + concatenatedStrings.append(" "); + } + concatenatedStrings.append(part.replace(",", " ")); + } + + fixedParts[4] = !concatenatedStrings.isEmpty() ? concatenatedStrings.toString() : "Nobody"; + + Pattern numberPattern = Pattern.compile("^([^,]+)(?=,)"); + Matcher numberMatcher = numberPattern.matcher(badLine); + if (numberMatcher.find()) { + fixedParts[0] = numberMatcher.group(1); + } else { + fixedParts[0] = "0"; + } + Function isValidDateTime = dateTime -> dateTime.matches("\\d{4}-\\d{2}-\\d{2}T\\d{2}:\\d{2}:\\d{2}"); + Function extractDateTime = lineToSearch -> { + String dateTimePattern = "(\\d{4}-\\d{2}-\\d{2}T\\d{2}:\\d{2}:\\d{2})"; + Pattern datePattern = Pattern.compile(dateTimePattern); + Matcher dateMatcher = datePattern.matcher(lineToSearch); + if (dateMatcher.find()) { + return dateMatcher.group(1); + } + return null; + }; + if (fixedParts[5] != null && !isValidDateTime.apply(fixedParts[5])) { + String dateTime = extractDateTime.apply(badLine); + if (dateTime != null) { + fixedParts[5] = dateTime; + } else { + fixedParts[5] = "0000-00-00T00:00:00"; + } + } else if (fixedParts[5] == null) { + fixedParts[5] = "0000-00-00T00:00:00"; + } + + return fixedParts; + }; + + parts = forceFixLine.apply(line); + forceFixCount++; + + System.out.println("Parts after FORCE FIX:"); + for (String part : parts) System.out.println(part); } String idNumber = parts[0]; @@ -203,15 +275,19 @@ private static void mainTransformation(File inputFile, File outputFile) throws I // Concatenate parts transformedLine += separator + string0 + separator + string1 + separator + string2 + separator + formattedNames + separator + timestamp; - - writer.write(transformedLine); + String decodedLine = decodeUnicodeInString(transformedLine); + writer.write(decodedLine); writer.newLine(); } - } catch (IOException e) { e.printStackTrace(); } } + public static String decodeUnicodeInString(String input) { + return Pattern.compile("\\\\u([0-9a-fA-F]{4})") + .matcher(input) + .replaceAll(match -> String.valueOf((char) Integer.parseInt(match.group(1), 16))); + } private static String[] splitOutsideQuotesAndBrackets(String line) { String fixedLine = line.replace("\\\"", ""); @@ -232,7 +308,7 @@ private static String formatNamesList(String namesList) { } String formattedNames = String.join(" ", nameParts); - String trimmed = formattedNames.substring(2, formattedNames.length() - 2); + String trimmed = formattedNames.length() >=4 ? formattedNames.substring(2, formattedNames.length() - 2) : "Nobody"; formattedNames = trimmed.replaceAll("\"\"", ", "); return formattedNames; diff --git a/src/CoreToExcelAggregatorGUI.java b/src/CoreToExcelAggregatorGUI.java index 33ad81e..639231a 100644 --- a/src/CoreToExcelAggregatorGUI.java +++ b/src/CoreToExcelAggregatorGUI.java @@ -33,7 +33,7 @@ public static void main(String[] args) { JPanel separatorPanel = new JPanel(new FlowLayout(FlowLayout.CENTER)); separatorPanel.setBackground(new Color(0xb6ccc9)); JLabel separatorLabel = new JLabel("Excel Separator:"); - JTextField separatorTextField = new JTextField("||", 4); + JTextField separatorTextField = new JTextField(CoreToExcelAggregator.separator, 4); separatorPanel.add(separatorLabel); separatorPanel.add(separatorTextField); gbc.gridx = 0; @@ -116,8 +116,18 @@ public static void main(String[] args) { public void actionPerformed(ActionEvent e) { CoreToExcelAggregator.separator = separatorTextField.getText().trim(); try { + CoreToExcelAggregator.duplicateLineCount = 0; + CoreToExcelAggregator.forceFixCount = 0; + CoreToExcelAggregator.lineCount = 0; + CoreToExcelAggregator.process(dataFolderPath, outputFolderPath); - JOptionPane.showMessageDialog(frame, "Process completed."); + + String message = "" + + "Amount: " + (CoreToExcelAggregator.lineCount - 1) + " Papers!
" + + "Duplicate Papers Removed: " + CoreToExcelAggregator.duplicateLineCount + "
" + + "Line Fixes By Force: " + CoreToExcelAggregator.forceFixCount + ""; + JOptionPane.showMessageDialog(frame, message, "Process completed.", JOptionPane.INFORMATION_MESSAGE); + } catch (IOException ex) { JOptionPane.showMessageDialog(frame, "Error during transformation: " + ex.getMessage()); } @@ -128,9 +138,7 @@ public void actionPerformed(ActionEvent e) { buttonGbc.gridwidth = 2; buttonPanel.add(startProgramButton, buttonGbc); - gbc.gridx = 0; - gbc.gridy = 3; - gbc.gridwidth = 2; + gbc.gridy = 4; frame.add(buttonPanel, gbc); frame.setVisible(true); diff --git a/src/screenshots/ss1.png b/src/screenshots/ss1.png index ae890a6..f8b1c96 100644 Binary files a/src/screenshots/ss1.png and b/src/screenshots/ss1.png differ