Filters








25,895 Hits in 6.1 sec

Probability Scale of Vessel Risks on a Shipping Company

Shahro Muttaqin, Christiono Utomo
2020 IPTEK Journal of Proceedings Series  
Hence, this report concludes that this examination of risk probability of ship events to a ship company shows types of risk that have the highest probability in order to be mitigated so that the loss will  ...  It is identified that the highest probability of risk is caused by the lack of experiences from the crews, work accidents on the boat, high fuel cost and others.  ...  The aim of this method is to assess a risk whether it is safe and is accepted or not.  ... 
doi:10.12962/j23546026.y2020i1.7991 fatcat:jfnahfngajaohngu4folvjs22u

Probability type inference for flexible approximate programming

Brett Boston, Adrian Sampson, Dan Grossman, Luis Ceze
2015 SIGPLAN notices  
The core type system captures the probability that each operation exhibits an error and bounds the probability that each expression deviates from its correct value.  ...  Solver-aided type inference lets the programmer specify the correctness probability on only some variables-program outputs, for example-and automatically fills in other types to meet these specifications  ...  When static reasoning is insufficient, how can a program safely opt into to dynamic tracking?  ... 
doi:10.1145/2858965.2814301 fatcat:rbotzddksjazljfz7jj6reikfu

Probability type inference for flexible approximate programming

Brett Boston, Adrian Sampson, Dan Grossman, Luis Ceze
2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015  
The core type system captures the probability that each operation exhibits an error and bounds the probability that each expression deviates from its correct value.  ...  Solver-aided type inference lets the programmer specify the correctness probability on only some variables-program outputs, for example-and automatically fills in other types to meet these specifications  ...  When static reasoning is insufficient, how can a program safely opt into to dynamic tracking?  ... 
doi:10.1145/2814270.2814301 dblp:conf/oopsla/BostonSGC15 fatcat:qmugfpw4b5dw3pe7dvhn6naj7a

Learning Tuple Probabilities [article]

Maximilian Dylla, Martin Theobald
2016 arXiv   pre-print
the marginal probabilities of the query answers again yield in the assigned probability labels.  ...  Relational Learning (SRL), but---so far---this is still an under-investigated topic in the context of Probabilistic Databases (PDBs).  ...  T (φ) is calculated as 1 |L| (φ i ,l i )∈L |T (φi)|. Setup. Our engine is implemented in Java.  ... 
arXiv:1609.05103v2 fatcat:jrmnipuknfdjrb5dzgqs746cgq

On the Probable Region of Man's Evolution

W. S. Duncan
1883 The Journal of the Anthropological Institute of Great Britain and Ireland  
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive.  ...  But while it may safely be supposed that the lowest members of the Primates took origin in what is now the frigid zone, it cannot be deemed at all likely that the higher types of monkeys, much less the  ...  as the Akka dwarfs in Africa, and the Aetas in Java-the former being characterised by prognathism most pronounced, and the latter by the most generally ape-like type of head and face-suggests derivation  ... 
doi:10.2307/2841690 fatcat:yfejdnygzjdmtffxybyarledhy

Probability study of airplane crash on Kartini Reactor site area

Zulfikar Erlan Bhagaskara, N N Aufanni
2020 Jurnal Forum Nuklir  
This value is still under the provisions in BAPETEN Regulation No. 4 of 2018 i.e. maximum 10-7 events/year. So it can be concluded that Kartini Reactor is safe from the possibility of airplane crash.  ...  After screening using SDV value, that is known only Adi Sutjipto Airport which is inside SDV radius of Kartini Reactor, so that probability of airplane crash from Adi Sutjipto Airport is calculated, i.e  ...  So that Adi Sumarmo Airport which located in Boyolali Regency, Central Java, is categorized as a large airport.  ... 
doi:10.17146/jfn.2020.14.1.5810 fatcat:nxqmbgojcnc7nchc2bt2avcxpa

The debtor-attributes information and the probability of performing loans in the microfinance sector

Bayu Sindhu Raharja
2021 Jurnal Manajemen dan Pemasaran Jasa  
Using unique data from microfinance in Central Java, it employs logistic regression analysis to prove that debtors' age and type of collateral significantly affect loan performance.  ...  <p>Based on the recent evidence of the high rate of non-performing loans in Indonesia's microfinance sector, there is a need to formulate a mechanism that could control such credit risk.  ...  Lower interest rates indicated that lenders felt safe extending more credit after receiving a secure type of collateral.  ... 
doi:10.25105/jmpj.v14i1.7857 fatcat:vcxoiwl6tbckhnflzsyxaezrkm

On the Flora of the Philippine Islands, and its probable Derivation

R. A. Rolfe
1884 Journal of the Linnean Society of London Botany  
One only is recorded from Celebes ; but thiJ island is little known, and more will probably be found.  ...  Wallace points out that 31 of the Philippine birds occur in the Papuau subregion, 47 in Celebes, 69 in India, and 75 in Java, while one species is confined to the Philippines and Java.  ...  I suspect t h a t the I ernaeular nilnip Bansibanai is applied to more $halJ Olie hljcXiC.d.  ... 
doi:10.1111/j.1095-8339.1884.tb00547.x fatcat:52w4tbsc4na5dopvemaz5aragq

Predicting the probability of Mount Merapi eruption using Bayesian Event Tree_Eruption Forecasting

Dyah Ika Rinawati, Diana Puspita Sari, Naniek Utami Handayani, Bramasta Raga Siwi, S. Ma'mun, H. Tamura, M.R.A. Purnomo
2018 MATEC Web of Conferences  
In disaster mitigation phase, prediction of the Merapi unrest probability is needed.  ...  The result showed that the probability of Merapi unrest is 0,822. In the next eruption, it has predicted that the volcanic explosivity index (VEI) 2 was biggest chance with the probability of 0,549.  ...  The PDF of the probability of a k type eruption occur in the time interval (t0, t0+τ] at the jth vent location, i.e., Φ1, is [Φ1] = [θ1] [θ2] [θ3] [θ4 (j) ] [θ5 (k) ] (1) The probability of having eruption  ... 
doi:10.1051/matecconf/201815401050 fatcat:w2uxkbmbmbdgbnajlzzaul3dvm

Probability Based Evaluation of Vehicular Bridge Load using Weigh-in-Motion Data
English

Widi Nugraha, Indra Djati Sidi
2016 Journal of Engineering and Technological Sciences  
The maximum bending moment due to the nominal vehicular load from RSNI T-02-2005 is 842.45 kN-m and has a probability of exceedance of 5x10 -5 .  ...  Statistical data from weigh-in-motion (WIM) vehicular load measurements that were taken on North Java Highway Cikampek-Pamanukan, West Java (2011) , were used in this study as statistical load variables  ...  For the first iteration, the failure point value is assumed as the average value of L and R. From Table 9 , the reliability index is 4.68 with corresponding probability of failure is 1.42 x 10 -6 .  ... 
doi:10.5614/j.eng.technol.sci.2016.48.1.6 fatcat:mhvotybm4neo5pktolmheelg5q

Modeling Uncertain Context Information via Event Probabilities

Arthur H. van Bunningen, Ling Feng, Peter M. G. Apers
2006 Twente Data Management Workshop  
We show that parsing SPOQL queries is a more involving task than parsing SQL queries. We also present an eager evaluation algorithm for SPOQL queries.  ...  Implementation SPDBMS is implemented on top of an RDBMS in Java. Figure 3 depicts the overall architecture of the system [20] .  ...  known that the type is Frigate.  ... 
dblp:conf/tdm/BunningenFA06 fatcat:sh3sgpik5bgqdieiy3aezlxgfy

Estimating Rear-End Accident Probabilities with Different Driving Tendencies at Signalized Intersections in China

Weijie Wang, Yingshuai Li, Jian Lu, Yaping Li, Qian Wan
2019 Journal of Advanced Transportation  
This study's primary objective is to explore how the driving tendency impacts the DZ distribution and the probability of rear-end accidents.  ...  The aggressive type has the highest risk probability followed by conservative and then the normal types. The quantitative results of the study can provide the basis for rear-end accident assessments.  ...  If h>0, it is safe; otherwise, a rear-end accident occurs.  ... 
doi:10.1155/2019/4836908 fatcat:j6dva75ngvfyzj3nxwfrkus7zq

Computing the Probabilities of Operations in Vector Models for Uncertain Spatial Data

Erlend Tøssebro, Mads Nygård
2008 2008 IEEE International Conference on Signal Image Technology and Internet Based Systems  
The paper also contains an algorithm that uses this Delaunay triangulation to compute the probability that two uncertain regions intersect.  ...  Many papers on modeling uncertain or fuzzy spatial data are based on probability functions or fuzzy set functions. However, few of them specify how to actually compute these in a real system.  ...  For uncertain lines a central line of maximum probability is defined. The uncertain types from [15] are shown in Figure 1 .  ... 
doi:10.1109/sitis.2008.23 dblp:conf/sitis/TossebroN08 fatcat:jkrtwtjqnrb33p2srkhffekcx4

Exploitation of GPUs for the Parallelisation of Probably Parallel Legacy Code [chapter]

Zheng Wang, Daniel Powell, Björn Franke, Michael O'Boyle
2014 Lecture Notes in Computer Science  
On average, this is 1.42 times faster than state-of-the-art speculation schemes and corresponds to 99% of the performance level of a manual Gpu implementation developed by independent expert programmers  ...  For the efficient Gpu parallelisation of those probably parallel loop candidates, we propose a novel software speculation scheme, which ensures correctness for the unlikely, yet possible case of dynamically  ...  We continue the discussion of our violation detection mechanism for all possible types of runtime dependence violations.  ... 
doi:10.1007/978-3-642-54807-9_9 fatcat:my64ovqnlffarp6daegkjnslsy

Probability of Ship on Collision Courses Based on the New PAW Using MMG Model and AIS Data

I Putu Sindhu Asmara, Eiichi Kobayashi, Nobukazu Wakabayashi, Ketut Buda Artana
2015 TransNav: International Journal on Marine Navigation and Safety of Sea Transportation  
A new PAW for crash astern maneuvers is thus introduced. The PAW is developed based on a probability density function of the initial yaw rate.  ...  A crash astern maneuver is an emergency option a ship can take when exposed to the risk of a collision with other ships that have lost control.  ...  The research is supported by the Overseas Doctoral Scholarship of the Indonesian Ministry of Education No. 373/E/T/2011.  ... 
doi:10.12716/1001.09.01.05 fatcat:fodwkcxr4rasxg6b4vpdxp352m
« Previous Showing results 1 — 15 out of 25,895 results