Last 7 days
Bookmark and Share    
Full Text
Peer Reviewed
See detailFeatures and Classification Schemes for View-Invariant and Real-Time Human Action Recognition
Talha, Sid Ahmed Walid; Hammouche, Mounir; Ghorbel, Enjie UL et al

in IEEE Transactions on Cognitive and Developmental Systems (2018), 10(4), 894--902

Detailed reference viewed: 64 (3 UL)
Full Text
Peer Reviewed
See detailAn Automatic Proving Approach to Parameterized Verification
Li, Yongjian; Duan, Kaiqiang; Jansen, David et al

in ACM Transactions on Computational Logic (2018), 19(4), 1-27

Detailed reference viewed: 92 (1 UL)
Full Text
Peer Reviewed
See detailOn the Full Control of Boolean Networks
Paul, Soumya UL; Pang, Jun UL; Su, Cui

in Proceedings of the 16th International Conference on Computational Methods in Systems Biology (2018)

Detailed reference viewed: 70 (4 UL)
Full Text
Peer Reviewed
See detailFeature location benchmark for extractive software product line adoption research using realistic and synthetic Eclipse variants
Martinez, Jabier; Ziadi, Tewfik; Papadakis, Mike UL et al

in Information and Software Technology (2018)

Detailed reference viewed: 100 (4 UL)
Full Text
Peer Reviewed
See detailA Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument
Fuenmayor, David; Benzmüller, Christoph UL

in IfCoLog Journal of Logics and Their Applications (2018), 5(7), 1567-1603

Computers may help us to better understand (not just verify) arguments. In this article we defend this claim by showcasing the application of a new, computer-assisted interpretive method to an exemplary ... [more ▼]

Computers may help us to better understand (not just verify) arguments. In this article we defend this claim by showcasing the application of a new, computer-assisted interpretive method to an exemplary natural-language argument with strong ties to metaphysics and religion: E. J. Lowe’s modern variant of St. Anselm’s ontological argument for the existence of God. Our new method, which we call computational hermeneutics, has been particularly conceived for use in interactive-automated proof assistants. It aims at shedding light on the meanings of words and sentences by framing their inferential role in a given argument. By employing automated theorem reasoning technology within interactive proof assistants, we are able to drastically reduce (by several orders of magnitude) the time needed to test the logical validity of an argument’s formalization. As a result, a new approach to logical analysis, inspired by Donald Davidson’s account of radical interpretation, has been enabled. In computational hermeneutics, the utilization of automated reasoning tools effectively boosts our capacity to expose the assumptions we indirectly commit ourselves to every time we engage in rational argumentation and it fosters the explicitation and revision of our concepts and commitments. [less ▲]

Detailed reference viewed: 94 (0 UL)
Full Text
Peer Reviewed
See detailModel-based mutant equivalence detection using automata language equivalence and simulations
Devroey, Xavier; Perrouin, Gilles; Papadakis, Mike UL et al

in Journal of Systems and Software (2018)

Detailed reference viewed: 82 (2 UL)
Full Text
Peer Reviewed
See detailLearning probabilistic models for model checking: an evolutionary approach and an empirical study
Wang, Jingyi; Sun, Jun; Yuan, Qixia et al

in International Journal on Software Tools for Technology Transfer (2018), 20(6), 689-704

Detailed reference viewed: 84 (4 UL)
Full Text
Peer Reviewed
See detailL-CMP: an automatic learning-based parameterized verification tool
Cao, Jialun; Li, Yongjian; Pang, Jun UL

in Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering (2018)

Detailed reference viewed: 75 (1 UL)
Full Text
Peer Reviewed
See detailASSA-PBN 3.0: Analysing Context-Sensitive Probabilistic Boolean Networks
Mizera, Andrzej UL; Pang, Jun UL; Qu, Hongyang et al

in Proceedings of the 16th International Conference on Computational Methods in Systems Biology (2018)

Detailed reference viewed: 81 (3 UL)
Full Text
Peer Reviewed
See detailModelling of early-age complex crack propagation in cement-based materials using phase field method
Nguyen, Thanh Tung UL; Waldmann, Danièle UL

in 6th European Conference on Computational Mechanics (2018)

Detailed reference viewed: 34 (8 UL)
Full Text
Peer Reviewed
See detailPhase field simulation of early-age fracture in cement-based materials
Nguyen, Thanh Tung UL; Waldmann, Danièle UL; Bui, T. Q.

E-print/Working paper (2018)

Detailed reference viewed: 82 (14 UL)
Full Text
Peer Reviewed
See detailParticle scale modeling of heat transfer in granular flows in a double screw reactor
Qi, Fenglei UL; Wright, Mark

in Powder Technology (2018), 335

Heat transfer in granular flows plays an important role in particulate material processing such as food production, pharmaceuticals and biorenewable energy production. Better understanding of the ... [more ▼]

Heat transfer in granular flows plays an important role in particulate material processing such as food production, pharmaceuticals and biorenewable energy production. Better understanding of the thermodynamics in granular flows is essential for equipment design and product quality control. In this research, a particle-scale heat transfer model was developed within the frame of traditional Discrete Element Method (DEM), which considers both conductive heat transfer and radiative heat transfer among particles. A particle-wall heat transfer model was also proposed for resolving particle-wall conductive and radiative heat transfer. The developed thermal DEM model was validated by modeling heat transfer in packed beds and comparing simulation predictions with experimental measurements. The thermal DEM model was successfully applied to the simulation of heat transfer in binary component granular flows in a double screw reactor designed for biomass fast pyrolysis to gain better understanding of the heat transfer in the system. The existence of both spatial and temporal temperature oscillations is observed in the double screw reactor. The effects of the operating conditions on the average temperature profile, biomass particle temperature probability distribution, heat flux and heat transfer coefficient are analyzed. Results indicate that the particle-fluid-particle conductive heat transfer pathways are the dominant contributors to the total heat flux, which accounts for approximately 70%–80% in the total heat flux. Radiative heat transfer contributes 14%–26% to the total heat flux and the conductive heat transfer through contact surface takes only 1%–5% in the total heat flux. The total heat transfer coefficient in the double screw reactor is also reported, which varies from 70 to 110 W / (m 2 • K) depending on the operating conditions. [less ▲]

Detailed reference viewed: 47 (1 UL)
Full Text
Peer Reviewed
See detailSystem Demonstration: The Higher-Order Prover Leo-III
Steen, Alexander UL; Benzmüller, Christoph UL

in CEUR Workshop Proceedings (2018), 2095

Detailed reference viewed: 31 (15 UL)
See detailWalkability in Kraków part of the Health Equity Pilot Project
Korjonen, Maria Helena UL

Report (2018)

This pilot project provided support for knowledge sharing and policy development to reduce health inequalities in the EU, with a focus on the lifestyle determinants such as alcohol consumption, nutrition ... [more ▼]

This pilot project provided support for knowledge sharing and policy development to reduce health inequalities in the EU, with a focus on the lifestyle determinants such as alcohol consumption, nutrition and physical activity, particularly in Member States with the greatest needs. The three-year HEPP project started in January 2016 and will finish in December 2018. The project aimed to reach the above aims by: Updating scientific evidence and reviewing policies and actions Conducting case studies on policies and actions in different Member States Implementing workshops and expert exchange to break barriers to inter-sectoral action on health inequalities Ensuring synergies and support to the health determinants in related Joint Actions Facilitating information exchange and collaboration between groups of experts and stakeholders This case study relates to the sustainable transport policy of Krakow, Poland. [less ▲]

Detailed reference viewed: 39 (0 UL)
Full Text
Peer Reviewed
See detailFormalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL
Fuenmayor, David; Benzmüller, Christoph UL

in Archive of Formal Proofs (2018)

An ambitious ethical theory ---Alan Gewirth's "Principle of Generic Consistency"--- is encoded and analysed in Isabelle/HOL. Gewirth's theory has stirred much attention in philosophy and ethics and has ... [more ▼]

An ambitious ethical theory ---Alan Gewirth's "Principle of Generic Consistency"--- is encoded and analysed in Isabelle/HOL. Gewirth's theory has stirred much attention in philosophy and ethics and has been proposed as a potential means to bound the impact of artificial general intelligence. [less ▲]

Detailed reference viewed: 72 (0 UL)
See detailAmsterdam Healthy Weight Programme (AHWP) part of the Health Equity Pilot Project
Brookes, Chris; Korjonen, Maria Helena UL

Report (2018)

The Amsterdam Healthy Weight Programme was established in 2013 by the Amsterdam Municipality in order to give every child ‘a healthy childhood and future, regardless of their start in life'1 . The overall ... [more ▼]

The Amsterdam Healthy Weight Programme was established in 2013 by the Amsterdam Municipality in order to give every child ‘a healthy childhood and future, regardless of their start in life'1 . The overall objective is to achieve a healthy weight for all children in Amsterdam by 2033. The programme is a universal programme aiming to impact on children across Amsterdam by changing some of the environmental drivers of obesity, but targeted to those neighbourhoods with the highest proportion of overweight and obese children, and those schools with the highest proportion of overweight or obese pupils. The programme is also targeted at those children with the risk factor for obesity of lower income or education parents, and parents of non-Dutch origin. It has both preventative aspects as well as offering support and advice for those children and their parents/carers who are already overweight and obese. From the point of view of addressing health inequalities is interesting both because it has a particular focus on more [less ▲]

Detailed reference viewed: 73 (0 UL)
See detailFirst Experiments with a Flexible Infrastructure for Normative Reasoning
Benzmüller, Christoph UL; Parent, Xavier UL

E-print/Working paper (2018)

A flexible infrastructure for normative reasoning is outlined. A small-scale demonstrator version of the envisioned system has been implemented in the proof assistant Isabelle/HOL by utilising the first ... [more ▼]

A flexible infrastructure for normative reasoning is outlined. A small-scale demonstrator version of the envisioned system has been implemented in the proof assistant Isabelle/HOL by utilising the first authors universal logical reasoning approach based on shallow semantical embeddings in meta-logic HOL. The need for such a flexible reasoning infrastructure is motivated and illustrated with a contrary-to-duty example scenario selected from the General Data Protection Regulation. [less ▲]

Detailed reference viewed: 29 (1 UL)
See detailI/O Logic in HOL --- First Steps
Benzmüller, Christoph UL; Parent, Xavier UL

E-print/Working paper (2018)

A semantical embedding of input/output logic in classical higher-order logic is presented. This embedding enables the mechanisation and automation of reasoning tasks in input/output logic with off-the ... [more ▼]

A semantical embedding of input/output logic in classical higher-order logic is presented. This embedding enables the mechanisation and automation of reasoning tasks in input/output logic with off-the-shelf higher-order theorem provers and proof assistants. The key idea for the solution presented here results from the analysis of an inaccurate previous embedding attempt, which we will discuss as well. [less ▲]

Detailed reference viewed: 37 (0 UL)
Full Text
Peer Reviewed
See detailMechanizing Principia Logico-Metaphysica in Functional Type Theory (Extended Abstract)
Kirchner, Daniel; Benzmüller, Christoph UL; Zalta, Edward N.

in 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Book of Abstracts (2018)

Detailed reference viewed: 31 (0 UL)