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.
2015
2015
Certifications of programs with computational effects. (Certification de programmes avec des effets calculatoires)
In this thesis, we aim to formalize the effects of a computation. Indeed, most used programming languages involve different sorts… 
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… 
2011
2011
Financial Research in the European Region: A Long-Term Assessment (1990-2008)
We provide a long-term comprehensive assessment of financial research in the European region. As with earlier findings in Chan et… 
2011
2011
A cross-layer approach in enabling multimedia transmission over cognitive UWB network
The demand of quality of service (QoS) for multimedia transmission over wireless network raises huge challenges such as time… 
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… 
2009
2009
Sensing period considerations in fading environment for multimedia delivery in cognitive Ultra Wideband system
Spectrum scarcity and the inefficiency in its usage have necessitates the use of Cognitive Radio (CR) technology to exploit the… 
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… 
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)