Formal Analysis
Explore this paper's citation graph
Summary
The argument here is that it can be much more fruitfully framed in the latter than the former, in which formal analysis is substantially the same thing as imposing the conceptual framework of the analyst.
- Published
- 2021-01-01
- Cited by
- 4,677
- References
- 0
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:43771232
References
No references recorded for this paper.
Cited by
- Dolphin blubber/axial muscle shear: implications for rigid transdermal intramuscular tracking tag trauma in whales
- Heart rate variability based machine learning models for risk prediction of suspected sepsis patients in the emergency department
- COVID-19 and the eye: Systemic and laboratory risk factors for retinopathy and detection of tear film SARS-CoV-2 RNA with a triplex RT-PCR assay
- Implicit Mental Models in Teaching Cases: An Empirical Study of Popular MBA Cases in the United States and China
- Considering Time in Formal Analysis of Security Protocols Using Colored Petri Nets
- On a Han-era Postface (Xu 序) to the Documents
- The lexical categorization model: A computational model of left ventral occipito-temporal cortex activation in visual word recognition
- Development of organic fertilizers from food market waste and urban gardening by composting in Ecuador
- Exopolysaccharide production in Caulobacter crescentus: A resource allocation trade-off between protection and proliferation
- Single-port surgery (SPS) strategy for small bowel obstruction (SBO) caused by postoperative internal hernia
- A lectin of a non-invasive apple snail as an egg defense against predation alters the rat gut morphophysiology
- Azithromycin therapy reduces cardiac inflammation and mitigates adverse cardiac remodeling after myocardial infarction: Potential therapeutic targets in ischemic heart disease
- Left mid-ventral temporal cortex interacts with early visual cortex and the anterior temporal lobe to support word individuation
- Pharmacokinetics of intramuscular alfaxalone and its echocardiographic, cardiopulmonary and sedative effects in healthy dogs
- Electrophilic fatty acids impair RAD51 function and potentiate the effects of DNA-damaging agents on growth of triple-negative breast cells
- Characterization of grapevine leafroll-associated virus 3 genetic variants and application towards RT-qPCR assay design
- Fragmentation Through Polymerization (FTP): A new method to fragment DNA for next-generation sequencing
- Longitudinal stability in cigarette smokers of urinary biomarkers of exposure to the toxicants acrylonitrile and acrolein
- Accurate, fast, data efficient and interpretable glaucoma diagnosis with automated spatial analysis of the whole cup to disc profile
- Sugar and iron: Toward understanding the antibacterial effect of ciclopirox in Escherichia coli
Related papers
No related papers recorded.