Results 21 to 30 of about 2,824 (120)
Advanced Intelligent Systems, EarlyView.Variational Autoencoder+Deep Deterministic Policy Gradient addresses low‐light failures of infrared depth sensing for indoor robot navigation. Stage 1 pretrains an attention‐enhanced Variational Autoencoder (Convolutional Block Attention Module+Feature Pyramid Network) to map dark depth frames to a well‐lit reconstruction, yielding a 128‐D latent code ...
Uiseok Lee +7 more
wiley +1 more source
An introduction to univalent foundations for mathematicians
, 2018 We offer an introduction for mathematicians to the univalent foundations of Vladimir Voevodsky, aiming to explain how he chose to encode mathematics in type theory and how the encoding reveals a potentially viable foundation for all of modern mathematics
Grayson, Daniel R.
core +1 more source
Advanced Intelligent Systems, EarlyView.An instance‐level, model‐agnostic explanation of class differentiation is introduced through SHAP‐LCD, linking probability shifts to feature‐wise Shapley contributions. The method operates on tabular and image data and is released in a fully reproducible implementation, offering a transparent way to examine, at each instance, why predictive models ...
Roxana M. Romero Luna +2 more
wiley +1 more source
Advanced Intelligent Systems, EarlyView.HTFC gets 3D refractive index tomograms of flowing cells. Label‐free monocytes are engineered to express patterns of cytoplasmic vacuoles. From the tomogram, an efficient dimensionality reduction is operated. Interpretable features are extracted to classify the expression severity of phenotypes coexisting in each cell, visually represented by a seven ...
Marika Valentino +9 more
wiley +1 more source
, 2017 I present a reconstruction of the logical system of the Tractatus, which differs from classical logic in two ways. It includes an account of Wittgenstein’s “form-series” device, which suffices to express some effectively generated countably infinite ...
Weiss, Max
core +2 more sources
Recursive Definitions of Monadic Functions
, 2010 Using standard domain-theoretic fixed-points, we present an approach for defining recursive functions that are formulated in monadic style. The method works both in the simple option monad and the state-exception monad of Isabelle/HOL's imperative ...
Adam Megacz +26 more
core +3 more sources
British Educational Research Journal, EarlyView.Abstract Cooperative learning is a widely adopted teaching method to improve academic achievement. This review synthesises existing research on the use of cooperative learning within a school setting for pupils aged 11–16 years. Such a review has not been undertaken to date and will present an evidence base for educators considering implementation ...
Patricia Hampson +2 more
wiley +1 more source
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
, 2010 The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure and hence conclude the decidability of the safety problem.
E. W. Dijkstra +9 more
core +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT Circular economy (CE) is increasingly adopted by the manufacturing industry to decouple economic growth from environmental impacts by optimizing resource use and minimizing waste generation. Nevertheless, circular manufacturing often triggers systemic responses that diminish or offset their potential environmental gains, resulting in the so ...
Mariantonietta Ferrante +2 more
wiley +1 more source
, 2019 A framework and methodology---termed LogiKEy---for the design and engineering of ethical reasoners, normative theories and deontic logics is presented.
Benzmüller, Christoph +2 more
core +1 more source