Results 71 to 80 of about 1,174,960 (285)
Formal representation and proof for cooperative games [PDF]
, 2012 In this contribution we present some work we have been doing in representing and proving theorems from the area of economics, and mainly we present work we will do in a project in which we will apply mechanised theorem proving tools to a class of ...
Kerber, Manfred +2 more
core
Narrating Formal Proof (Work in Progress)
Electronic Notes in Theoretical Computer Science, 2012 AbstractBuilding on existing work in proxying interaction with proof assistants, we have previously developed a proof movie. We have now considered the problem of how to augment this movie data structure to support commentary on formal proof development. In this setting, we have studied extracting commentary from an online text by Pierce et al. [Pierce,
Tankink, C. +3 more
openaire +4 more sources
Advanced Functional Materials, EarlyView.This study introduces VIVID (Vesicle In Vivo Identification using DNA), a qPCR‐based platform that tracks PCR‐amplifiable DNA tags loaded in the EVs for accurate and quantifiable EV biodistribution in vivo. ABSTRACT Extracellular vesicles (EVs) represent promising carriers for nucleic acid therapeutics, offering advantages over synthetic nanoparticles ...
Oscar Boyadjian +5 more
wiley +1 more source
Formal Analysis of Language-Based Android Security Using Theorem Proving Approach
IEEE Access, 2019 Mobile devices are an indispensable part of modern-day lives to support portable computations and context-aware communication. Android applications within a mobile device share data to support application operations and better user experience, which also
Wilayat Khan +4 more
doaj +1 more source
PERSEPSI MAHASISWA DALAM MEMVALIDASI BUKTI MATEMATIS
Jurnal Magister Pendidikan Matematika, 2020 This study aims to describe the perceptions of prospective students in the first year in validating mathematical proof. This student's perception is discussed based on the answers given to the proof of a theorem.
Christi Matitaputty
doaj +1 more source
A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving [PDF]
Logical Methods in Computer Science, 2012 We propose a synthesis of the two proof styles of interactive theorem proving: the procedural style (where proofs are scripts of commands, like in Coq) and the declarative style (where proofs are texts in a controlled natural language, like in Isabelle ...
Freek Wiedijk
doaj +1 more source
On the coordinate (in)dependence of the formal path integral [PDF]
, 2010 When path integrals are discussed in quantum field theory, it is almost always assumed that the fields take values in a vector bundle. When the fields are instead valued in a possibly-curved fiber bundle, the independence of the formal path integral on ...
Johnson-Freyd, Theo
core
Communicating Formal Proofs: The Case of Flyspeck [PDF]
, 2013 We introduce a platform for presenting and cross-linking formal and informal proof developments together. The platform supports writing natural language ‘narratives’ that include islands of formal text. The formal text contains hyperlinks and gives on-demand state information at every proof step.
Tankink, C. +3 more
openaire +3 more sources
Advanced Functional Materials, EarlyView.Cephalopod‐inspired photonic microparticles with dynamic structural coloration are fabricated via confined self‐assembly of linear block copolymers into ellipsoids containing stacked lamellae. Embedded superparamagnetic nanoparticles enable rapid magnetic alignment, restoring vivid, angle‐dependent color.
Gianluca Mazzotta +8 more
wiley +1 more source
Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations
, 2013 We present a formal tool for verification of multivariate nonlinear inequalities. Our verification method is based on interval arithmetic with Taylor approximations.
A. Tarski +12 more
core +1 more source