搜索结果: 1-15 共查到“formal”相关记录35条 . 查询时间(0.09 秒)
Crowd-scale Interactive Formal Reasoning and Analytics
MOOC theorem prover formal logic online education
2016/5/24
Large online courses often assign problems that are gradable by simple checks such as multiple choice, but these checks are inappropriate for domains in which students may produce an infinity of corre...
Internal and External Determinants of Formal Plans in the Nonprofit Sector
Nonprofit Sector Internal and External
2015/10/14
The study of formal planning in nonprofits and the public sector is thriving, with management
gurus providing abundant advice on its value and proper execution. We address a related, but
broader i...
In Their Own Voices:First Nations Students Identify Some Cultural Mediators of Their Learning in the Formal School System
In Their Own Voices First Nations Students Cultural Mediators Formal School System
2015/9/21
Theories of cognition argue that children develop thinking, communication, learning, and motivational styles consistent with the culture into which they are socialized. Cultural socialization, therefo...
A formal approach of developmental robotics and psychology
cognitive system formalism developmental robotics dynamical systems joint attention
2015/7/31
A formal approach of developmental robotics and psychology.
Biologically inspired distributed machine cognition:a new formal approach to hyperparallel computation
bandpass cognition directed homotopy parallel computing rate distortion topology
2015/7/29
The irresistable march toward multiple-core chip technology presents currently intractable pdrogramming challenges. High level mental processes in many animals, and their analogs for social structures...
For manyyears, secondary school grades have been used as a basis to form expectations as to the performancesof students in colleges. Traditionally, this process has been conducted as a subjective and ...
Education as a correlate of life satisfaction among formal sector retirees in Lagos State, Nigeria
Retirement Quality of life Education
2015/7/24
The effect of education on life satisfaction among formal sector retirees in Lagos State was assessed to determine its impact on life adjustment in retirement. The study also examined the effects of e...
Graphics and Language as Complementary Formal Representations for Geospatial Descriptions
Abstraction Spatial Analysis Knowledge Representation
2015/7/6
In image understanding, the importance of language (e.g. the choice of class names in image analysis) has been widely
underestimated up to now. Within this paper, the close interaction between langua...
Evangelizing Eugenics: A Brief Historiography of Popular and Formal American Eugenics Education (1908-1948)
Eugenics Eugenics Education Civic-Biology
2015/7/6
This article examines the history of the American Eugenics movement’s penetration into the formal and popular educational milieu during the first half of the 20th Century, and includes a review of som...
A Formal Theory of Strategy
Strategy Framework Value
2015/4/27
What makes a decision strategic? When is strategy most important? This paper studies the structure and value of strategy (in its everyday sense), starting from a (functional) definition of strategy as...
Using Formal Methods to Verify Transactional Abstract Concurrency Control
Transactional Memory Formal Verification SAT
2014/12/18
Concurrent application design and implementation is more important than ever in today's multi-core processor world. Transactional Memory (TM) Concurrent application design and implementation is more i...
Do formal credit constraints affect the rural household consumption in China?
direct elicitation method rural credit switching regression model
2014/11/28
The article investigates the consequences of credit constraints on rural household consumption in China. Based on a unique rural finance and consumption survey, the authors first identify the credit c...
A Formal Mentorship Program for Faculty Development
mentorship mentor prote′ge′ pharmacy faculty
2018/7/5
Objective. To describe the development, implementation, and evaluation of a formal mentorship program at a college of pharmacy.
Methods. After extensive review of the mentorship literature within the...
Emergency Tasks Planning Based on Formal Modeling of Emergency Plan and HTN Planning System SHOP2
Emergency Plan Workflow Model HTN Planning System SHOP2 Emergency Task
2013/1/28
A theoretical approach of ordered emergency tasks generation is proposed for dealing with a specific emergency event rapidly, exactly and effectively. According to the general principles of an emergen...
Kolmogorov Complexity, Circuits, and the Strength of Formal Theories of Arithmetic
Complexity Circuits Strength of Formal Theories
2012/12/4
Can complexity classes be characterized in terms of efficient reducibility to the (undecidable) set of Kolmogorov-random strings? Although this might seem improbable, a series of papers has recently p...