Skip to search formSkip to main contentSkip to account menu

Journal of Formalized Reasoning

Known as: JFR, JOFR 
The Journal of Formalized Reasoning is a peer-reviewed open access academic journal established in 2009. It publishes formalization efforts in any… 
Wikipedia (opens in a new tab)

Related topics

Related topics

6 relations
AlgorithmAutomated proof checkingDigital libraryMizar

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Geographical isolation and genetic differentiation: the case of Orestias ascotanensis (Teleostei: Cyprinodontidae), an Andean killifish inhabiting a highland salt pan
Orestias ascotanensis is a killifish endemic to the Ascotan salt pan in the Chilean Altiplano, where it inhabits 12 springs with… 
Review
2014
Review
2014
Biostratigraphic evidence for dramatic Holocene uplift of Robinson Crusoe Island, Juan Fernández Ridge, SE Pacific Ocean
Abstract. Hotspot oceanic islands typically experience subsidence due to several processes related to migration of the oceanic… 
2013
2013
Minimal Intervention in Pediatric Dentistry
Dental caries is an infectious disease, identifying the risk factors and controlling them is important in preventing tooth… 
2010
2010
Use of serum autoantibodies to identify early-stage lung cancer.
7032 Background: EarlyCDT-Lung measures autoantibodies to a panel of six cancer-associated antigens (p53, NY-ESO1, CAGE, GBU4-5… 
2007
2007
Technique to Improve MPEG-4 Traffic Schedulers in IEEE 802.15.3 WPANs
Video traffic, especially MPEG-4 streams, is envisioned to be a dominant traffic type in the IEEE 802.15.3 high-rate wireless… 
2007
2007
FIKK VI SOM FORTJENT? : En gjennomgang av lover og forskrifter som regulerer adgangen til tvungen behandling av personer med spiseforstyrrelser Jfr ny § 4-4b i psykisk helsevernloven
Review
2006
Review
2006
The April 9, 2001 Juan Fernández Ridge (Mw 6.7) Tensional Outer-Rise Earthquake and its Aftershock Sequence
On April 9, 2001 a Mw 6.7 earthquake occurred offshore of the Chilean coast close to the intersection of the subducting Juan Fern… 
2004
2004
An application-aware MAC scheme for IEEE 802.15.3 high-rate WPAN
The emerging high-rate wireless personal area network (WPAN) technology, currently being developed by IEEE 801.15.3 task group… 
2004
2004
Scheduling algorithms analysis for MPEG-4 traffic in UWB
Ultra-wideband (UWB) has recently received considerable attention for its applicability to wireless personal communications. Most… 
2004
2004
Limagerie du tube digestif et du pritoine : grandeurs et servitudes
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)