搜索结果: 1-15 共查到“Reasoning”相关记录119条 . 查询时间(0.109 秒)
Evaluating the Effectiveness of a Focused Debate on the Development of Ethical Reasoning Skills in Pharmacy Technician Students
Evaluating Effectiveness Focused
2018/11/22
Objective. To evaluate the effectiveness of debating an ethical dilemma on the development of ethical reasoning skills in pharmacy technician students.
Methods. A mixture of qualitative and quantitat...
Ledger Design Language: Towards Formal Reasoning and Implementation for Public Ledgers
public ledgers formal verification proverif
2018/5/11
Cryptocurrencies have popularized public ledgers, known colloquially as "blockchains". While the Bitcoin blockchain is relatively simple to reason about as, effectively, a hash chain, more complex pub...
2017年智能家居论证国际研讨会（The International Workshop on Reasoning in Smart-Homes ）(RIS-2017)
2017年 智能家居论证国际 研讨会
2017/3/28
In the past years, many interesting applications for Smarthome technology have been discovered. These range von home automation, over supervision and security up to interesting topics on the horizon l...
Algorithmic Mechanism Construction bridging Secure Multiparty Computation and Intelligent Reasoning
Algorithmic mechanism Intelligent reasoning Threat analytics
2016/12/10
This work presents the construction of intelligent algorithmic mechanism based on multidimensional view of intelligent reasoning, threat analytics, cryptographic solutions and secure multiparty comput...
LANDSLIDES EXTRACTION FROM DIVERSE REMOTE SENSING DATA SOURCES USING SEMANTIC REASONING SCHEME
Landslides Extraction Semantic Reasoning High Resolution Imagery First Order Logic Disaster Management Prover9
2016/11/30
Using high resolution satellite imagery to detect, analyse and extract landslides automatically is an increasing strong support for rapid response after disaster. This requires the formulation of proc...
ROAD NETWORK EXTRACTION FROM DSM BY MATHEMATICAL MORPHOLOGY AND REASONING
Road extraction Digital Surface Model Morphology
2016/7/8
The objective of this research is the automatic extraction of the road network in a scene of the urban area from a high resolution digital surface model (DSM). Automatic road extraction and modeling f...
INTERSECTION DETECTION BASED ON QUALITATIVE SPATIAL REASONING ON STOPPING POINT CLUSTERS
clustering spatial reasoning relational reasoning
2016/7/8
The purpose of this research is to propose and test a method for detecting intersections by analysing collectively acquired trajectories of moving vehicles. Instead of solely relying on the geometric ...
Varieties of Noise:Analogical Reasoning in Synthetic Biology
Synthetic biology interdisciplinarity analogical reasoning engineering sciences complex systems noise
2016/6/14
The picture of synthetic biology as a kind of engineering science has largely created the public understanding of this novel field, covering both its promises and risks. In this paper, we will argue t...
At the border of medical reasoning-aetiological and ontological challenges of medically unexplained symptoms
medically unexplained symptoms causation epistemology phenomenology ontology philosophy dispositions
2016/6/13
Medically unexplained symptoms (MUS) remain recalcitrant to the medical profession, proving less suitable for homogenic treatment with respect to their aetiology, taxonomy and diagnosis. While the maj...
Diagrams as Vehicles for Scientific Reasoning
Diagrams visual reasoning mechanistic explanation phenomena explanatory relations circadian rhythms
2016/6/12
We argue that diagrams are not just a communicative tool but play important roles in the reasoning of biologists: in characterizing the phenomenon to be explained, identifying explanatory relations, a...
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern programming languages...
A lock placement describes, for each heap location, which lock guards the location, and under what circumstances. We formalize methods for reasoning about lock placements, making precise the interacti...
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...
Static program analysis techniques cannot know certain values,such as the value of user input or network state, at analysis time. While such unknown values need to be treated as non-deterministic choi...
Logical Reasoning to Detect Weaknesses About SHA-1 and MD4/5
Logical cryptanalysis MD5 SHA-1 Satisfiability
2016/1/23
In recent years, studies about the SATisfiability Problem (short for SAT) were more and more numerous because of its conceptual simplicity and ability to express a large set of various problems. Wit...