Interface architecture design for minimum programming in human-robot collaboration

Συγγραφείς: Ji, Wei, Yuquan Wang, Hongyi Liu, Lihui Wang

Πηγή: Procedia CIRP

Θεματικοί όροι: 0209 industrial biotechnology, 0203 mechanical engineering, 02 engineering and technology, Human-robot collaboration, minimum programming, function block, API networks

Σύνδεσμος πρόσβασης: https://www.sciencedirect.com/science/article/pii/S2212827118301112
http://www.diva-portal.org/smash/record.jsf?pid=diva2:1262597

Open Closures: Disclosing lambda's inner monomaniac object!

Συγγραφείς: Monnier, Stefan

Θεματικοί όροι: Functional programming, Function objects, Translucent functions, Emacs Lisp

Using linear constraints for logic program termination analysis

Συγγραφείς: Calautti M, Greco S, Molinaro C, Trubitsyna I

Πηγή: Calautti, M, Greco, S, Molinaro, C & Trubitsyna, I 2016, ' Using linear constraints for logic program termination analysis ', Theory and Practice of Logic Programming, vol. 16, no. 3, pp. 353–377 . https://doi.org/10.1017/S1471068416000077

Θεματικοί όροι: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Answer set programming, function symbols, bottom-up evaluation, program evaluation termination, stable models, Computer Science - Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, Answer set programming, function symbols, bottom-up evaluation, program evaluation termination, stable models, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/pdf/1512.04097
http://arxiv.org/abs/1512.04097
https://arxiv.org/pdf/1512.04097v2
https://arxiv.org/abs/1512.04097
https://ui.adsabs.harvard.edu/abs/2015arXiv151204097C/abstract
https://dblp.uni-trier.de/db/journals/corr/corr1512.html#CalauttiGMT15
https://www.research.ed.ac.uk/portal/en/publications/using-linear-constraints-for-logic-program-termination-analysis(fd8a7722-e0c4-47ae-a0c3-6e733814f53a).html
http://www.research.ed.ac.uk/portal/files/28617695/J2.pdf
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/using-linear-constraints-for-logic-program-termination-analysis/7BCE150038EBE2AB845D3A0E905CB73B
https://arxiv.org/abs/1512.04097
https://hdl.handle.net/20.500.11820/fd8a7722-e0c4-47ae-a0c3-6e733814f53a
https://www.pure.ed.ac.uk/ws/files/28617695/J2.pdf

Междисциплинарный подход к анализу причин и механизмов возникновения синдрома дефицита внимания с гиперактивностью

Συγγραφείς: Chyurilo, N.

Θεματικοί όροι: этиология биологические факторы, etiology, социальные факторы, attention deficit hyperactivity disorder (ADHD) frontal lobe syndrome, мозговая дисфункция, power factor, neuropsychological approach, biological factors, синдром дефицита внимания и гиперактивности, лобный синдром, энергетический фактор, регуляции и контроля, in the development of the violation, нейропсихологический подход, the programming function, высшие психические функции, regulation and control, the higher mental functions, ADHD, нарушение в развитии, функции программирования, social factors, СДВГ, cerebral dysfunction

Σύνδεσμος πρόσβασης: http://esnuir.eenu.edu.ua/handle/123456789/11498

РОЗРОБКА МЕТОДИКИ ОЦіНКИ ЕФЕКТИВНОСТі ЗАКРіПЛЕННЯ АВТОМОБіЛіВ ЗА ПОСТіЙНИМИ ЗАМОВНИКАМИ

Συγγραφείς: Вдовиченко, В., Калініченко, О., Павленко, О.

Θεματικοί όροι: СПЕЦИАЛИЗИРОВАННЫЕ АВТОТРАНСПОРТНЫЕ ПРЕДПРИЯТИЯ,ДИСКРЕТНОЕ ДИНАМИЧЕСКОЕ ПРОГРАММИРОВАНИЕ,ФУНКЦИЯ БЕЛЛМАНА,SPECIALIZED MOTOR TRANSPORT ENTERPRISES,DISCRETE DYNAMIC PROGRAMMING,FUNCTION OF BELLMAN

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/rozrobka-metodiki-otsinki-efektivnosti-zakriplennya-avtomobiliv-za-postiynimi-zamovnikami
http://cyberleninka.ru/article_covers/15722349.png

Development of methodology for estimation of efficiency fixing cars for regular customers

Πηγή: Eastern-European Journal of Enterprise Technologies; Том 6, № 4(48) (2010): Mathematics and cybernetics-fundamental and applied aspects; 26-29
Восточно-Европейский журнал передовых технологий; Том 6, № 4(48) (2010): Математика и кибернетика-фундаментальные и прикладные аспекты; 26-29
Східно-Європейський журнал передових технологій; Том 6, № 4(48) (2010): Математика і кібернетика-фундаментальні та прикладні аспекти; 26-29

Θεματικοί όροι: специализированные автотранспортные предприятия, дискретное динамическое программирование, функция Беллмана, Математика, Кібернетика, УДК 656.078, спеціалізовані автотранспортні підприємства, дискретне динамічне програмування, функція Беллмана, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, specialized motor transport enterprises, discrete dynamic programming, function of Bellman

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://journals.uran.ua/eejet/article/view/3281

Conclusion

Συγγραφείς: Duckworth, W. E.^Aff4, Gear, A. E.^Aff5, Lockett, A. G.^Aff6

Συνεισφορές: Duckworth, W. E.^Aff1, Gear, A. E.^Aff2, Lockett, A. G.^Aff3

Πηγή: A Guide to Operational Research. :193-199

Structures of Archetypes of the Socion. Comments to the Article 'Logic and Sensorics as Productive-Revisory Dominants' by S.E.Kashnitskiy ; Структуры архетипа социона

Συγγραφείς: Букалов, А.В.

Πηγή: Socionics, mentology and personality psychology; No. 6 (1997); 60-61 ; Соционика, ментология и психология личности; № 6 (1997); 60-61 ; Соцiонiка, ментологiя та психологiя особистостi; № 6 (1997); 60-61 ; 1680-4538 ; 1680-4325

Θεματικοί όροι: programming function of the socion, realization function of the socion, contact function of the socion, place of minimal resistance within the socion, соционика, экстраверсия, интроверсия, модель информационного метаболизма, архетип социона, программная функция социона, реализационная функция социона, контактная функция социона, место наименьшего сопротивления социона

Περιγραφή αρχείου: application/pdf

Relation: https://publishing.socionic.info/index.php/socionics/article/view/1505/2092; https://publishing.socionic.info/index.php/socionics/article/view/1505

Διαθεσιμότητα: https://publishing.socionic.info/index.php/socionics/article/view/1505

Function variables for constraint programming.

Συγγραφείς: Hnich, Brahim

Θεματικοί όροι: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), Constraint satisfaction, abstraction, constraint programming, function variables, high-level modelling, reformulation

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://zbmath.org/2032420

Women's Center Newsletter Vol. 11, No. 2 October 15, 1974

Συγγραφείς: Women's Center

Συνεισφορές: Register, Cheri, Spiesman, Trynn, Estrada, Santiago, Brody, Stephanie, Clark, Debbie, Hager, Dee, Hinrichsen, Linda, Lenz, Barb, Martin, Stephanie, Miller, Isabel, O'Donnell, Mary, Payne, Karen, Rathbun, Cindy, Redmond, Helen, Ritchie, Kerry, Schoeffler, Celia, Trial, Margo, Williams, Joy, Wood, Jeanne, Kirkwood, Joanne

Πηγή: Keskinen, Kay

Θεματικοί όροι: newsletter, programming (function), conferences, meetings, women's studies

Θέμα γεωγραφικό: Administration Building, University of Idaho

Περιγραφή αρχείου: text document; application/pdf

Relation: http://digital.lib.uidaho.edu/cdm/ref/collection/womenscenter/id/583

Διαθεσιμότητα: http://digital.lib.uidaho.edu/cdm/ref/collection/womenscenter/id/583

Fault Diagnosis of Marine Wind Turbine Gearbox Based on New Technology of Compressed Sensing

Συγγραφείς: Xing, Tingting^1,2, Shen, Jiuli¹, Meng, Zong^1,1

Πηγή: Journal of Coastal Research 104(sp1):406-409. 2020

On the Termination of Logic Programs with Function Symbols

Συγγραφείς: Greco, Sergio, Spezzano, Francesca, Trubitsyna, Irina

Όροι ευρετηρίου: Logic Programming, Function Symbols, Bottom-up Execution, Program Termination, Stable Models, Data processing Computer science, InProceedings, publishedVersion