105,212 Hits in 11.6 sec

Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal [article]

Jacques Carette and William M. Farmer and Michael Kohlhase and Florian Rabe
2019 arXiv   pre-print
We analyze the implications of this trend towards "big mathematics", its relation to human cognition, and how machine support for big math can be organized.  ...  The challenge for mathematical software systems is that these four aspects need to be integrated as well. We briefly survey the state of the art.  ...  Acknowledgments The authors gratefully acknowledge fruitful discussions with many of our colleagues in the mechanized mathematics community.  ... 
arXiv:1904.10405v2 fatcat:xo5v2h6xdbhuvm6d3xfhuwpt4q

A Web Designed for Helping Citizen to Make an Informed Decision of Energy Policy

Jeng-Chung Chen, Shin-Cheng Yeh, Han Chen
2018 International Journal of Information and Education Technology  
But using role-playing game to promote each other's communication on energy policy is in vain during these tests. A real talk would be more useful to vanish the gap than a visual role-playing game.  ...  As a result, knowledge map is useful to improve the realization of energy.  ...  The novel AR/VR maybe be promising to enhance the communication of energy policy among strangers in the future.  ... 
doi:10.18178/ijiet.2018.8.8.1099 fatcat:2oumdpewxzd55enfil4l5nyk4m

Encoding, Decoding And Ethnographic Twitches Among The Cross River Igbo: A Historicization

Regina Acholonu, Charles Okeke Okoko
2021 Zenodo  
been hidden under anecdotes, proverbs, the didactic and ironical, among others.  ...  Cross River Igbo communities.  ...  It is translated to mean: Take the small part and leave the bigger part. One is immediately puzzled at about what the small and big parts could mean.  ... 
doi:10.5281/zenodo.5139184 fatcat:zd5yngfyo5fd5odwe7n4g52hly

Advanced Bus Signaling Methods for DC MicroGrids [article]

Marko Angjelichinoski
2017 PhD series, Technical Faculty of IT and Design, ˜Aalborg=ålborgœ University  
The model has been widely used to represent houses and small communities such as buildings and small neighborhoods.  ...  Designing reliable power talk physical interfaces and protocols amid these challenges is the major focus of the first half of the papers included in Part II.  ... 
doi:10.5278/ fatcat:mu5vcdkgqvaanlh564khdq56p4

A life cycle model of major innovations in operations management

Attila Chikán, Linda G. Sprague
2019 International Journal of Quality Innovation  
It describes the process as having a life cycle pattern that starts with a big idea.  ...  A successful big idea goes through the phases of provenance, experimentation, penetration, consolidation, and absorption.  ...  Case, a relatively small tractor manufacturer, to introduce an MRP like system for the company.  ... 
doi:10.1186/s40887-019-0030-z fatcat:rrdicffx3vaxxabe7skboy2aci

Amateur Versus Professionals Politics, Citizenship and Science

Antonio Lafuente, Andoni Alonso
2010 International Journal of Technoethics  
The birth of that suspicion begins after World War II but has transformed in the past few decades. In this paper, the authors examine how that doubt has specific features in the present moment.  ...  First communities like Brain Talk generate a valuable knowledge able to be used. This is the creation of a gift economy against the present trend of privatization and patenting.  ...  Also to assure effectiveness, different hospitals take part in the trial and number of individuals accessing data tends to be small.  ... 
doi:10.4018/jte.2010040105 fatcat:mj2qquvr2fbixe3fl4r5yf72ba

D7.5 Dissemination, Standardisation and Adoption Roadmap

Marieke Willems, Andrea Schillaci, Diego Simoni, Silvana Muscella, Luis Tomas, Ana Bélen
2020 Zenodo  
data programmers and practitioners, research community, standardisation bodies, Ensure an effective communication strategy and plan has been put in place, Facilitate and increase the uptake of BigDataStack  ...  The main objectives of WP7 are to: Provide a practical business model to which the project's stakeholders may effectively use with a roll-out plan to different target entities such as decision makers, big  ...  sharing and foster the upstream uptake of Open Source technologies used in BigDataStack Avaloq Headquarters talk 2019 N/A N/A Talk Visibility among few but relevant stakeholders in in community  ... 
doi:10.5281/zenodo.4389794 fatcat:43m6x4kknffktkopnotlqhfbai

Student Research in RMU

Syed Arshad Sabir
2019 Journal of Rawalpindi Medical College  
Research produces knowledge and knowledge is power of development in every field. Our domain of work is medicine whose primary purpose is t improve health status of the people.  ...  It's because research credit enhances one's capacity for promotions, postgraduate admissions, getting jobs in addition to gaining praise among colleagues and fellows.  ...  of their formal syllabus of community medicine under modular system ( relevancy: community medicine )  Novel Research ideas may be recorded or registered in name of students groups who conceived them  ... 
doaj:193562abf3444d68a8f632aa3be20357 fatcat:rmlxb5ahqrc53lgih6hqilxzeu

JAICOB: A Data Science Chatbot

Daniel Carlander-Reuterfelt, Alvaro Carrera, Carlos A. Iglesias, Oscar Araque, Juan Fernando Sanchez Sanchez Rada, Sergio Munoz
2020 IEEE Access  
The rest had some basic knowledge in the field. C. EXPERIMENT DESIGN As explained in Section III-D, small talk is an essential part of the architecture of the chatbot.  ...  Among these intents are some of the provided with the default Small Talk module and some custom ones. The intents are defined to fit the purpose of this project.  ...  and federation) and semantic technologies (linked data, ontologies, and knowledge graphs).  ... 
doi:10.1109/access.2020.3024795 fatcat:wg2efyacbfhzzkc6zkgpvuld2m

Metadata Commons: Tools for Building Effective Food Knowledge Sharing Small Data Repositories

Kirsten Valentine Cadieux, Matt Gunther
2019 ICT for Sustainability  
II.  ...  Are we considering the contexts of the systems in question and their relationships across scale? Are we addressing conflicts among perspectives?  ... 
dblp:conf/ict4s/CadieuxG19 fatcat:tp3bau26cba6ba35ykqbqbk3vu

Computer science education as part of an undergraduate program in community information systems

Dalit Levy
2013 2013 IEEE Frontiers in Education Conference (FIE)  
Social information systems have recently emerged as an empowering force for communities, organizations, and businesses.  ...  information systems.  ...  of a picture, and drawing "the big picture" by combining picture parts [14] .  ... 
doi:10.1109/fie.2013.6684858 dblp:conf/fie/Levy13 fatcat:ujypihw5hbbivg63sdgsa4l4d4

Big Math and the One-Brain Barrier: The Tetrapod Model of Mathematical Knowledge

Jacques Carette, William M. Farmer, Michael Kohlhase, Florian Rabe
2020 The Mathematical intelligencer  
Knowledge and proofs are presented in documents like journal articles, preprints, monographs, and talks for human consumption.  ...  essential components of computer systems that can scale up to the Big Math level: efficient and expressive theorem proving systems and systems for organizing mathematical knowledge in a modular fashion  ... 
doi:10.1007/s00283-020-10006-0 fatcat:bxwdexjey5h5zo2nnfxpd7cmju

A Cognitive Assistant that Uses Small Talk in Tutoring Conversation

Luciano Frontino De Medeiros, Armando Kolbe Junior, Alvino Moser
2019 International Journal of Emerging Technologies in Learning (iJET)  
The small talk structures are placed within the tutoring conversation by an agent designed as a cognitive assistant, in order to make communication smoother and less formal, presenting a more "concerned  ...  Twelve small talk segments are suggested, included in conversation stages such as opening and closing the conversation, maintaining the rhythm and managing learning.  ...  Small talk could be an interesting communication strategy to make conversation with Q&A systems more realistic.  ... 
doi:10.3991/ijet.v14i11.10288 fatcat:i4akopu4urfwxcvw5s6cldzreu

Komunikatory w zdalnym kształceniu- wskazania dla praktyki edukacyjnej w sytuacji Koronawirusa COVID-19 – raport z badań pilotażowych

Dorota Anna Siemieniecka
2020 Edukacyjna Analiza Transakcyjna  
Communicators in e-learning… 199 Among the students, Messenger communicator is the most frequently used tool for educational purposes (49). All the students taking part in the research use it.  ...  Zooma limited talking time on the communicator but a good chat quality. Big Blue Buttonoccasional sound problems, but also a good chat quality.  ... 
doi:10.16926/eat.2020.09.12 doaj:4fd85515c40644e7965d39ba8245675f fatcat:xpch37egsbdbbkw5yk6ibqobzq

Strategic Human Resource Management: 37 Years in Academia, How Many in Practice? A Focus on Large Companies [chapter]

Alaine Garmendia, Unai Elorza, Urtzi Uribetxebarria
2021 Beyond Human Resources - Research Paths Towards a New Understanding of Workforce Management Within Organizations [Working Title]  
Based on this, the field of Strategic HRM has gained a special interest among researchers and practitioners since it employs a strategic approach to the role of employees within the organisations.  ...  In the third section a special focus on big companies is done due to their importance when legitimizing managerial trends. The chapter finishes with some conclusions and thoughts for future managers.  ...  Managers may say that these systems are not valid for their workforce, that these ways of managing people and organizing work are useful for start-ups or small companies but not for big corporations.  ... 
doi:10.5772/intechopen.96677 fatcat:fgya6kxx45e4hg2lvsb64dc3wa
« Previous Showing results 1 — 15 out of 105,212 results