Measuring meaningful information in images: algorithmic specified complexity by Winston Ewert, William A. Dembski, Robert J. Marks II

Subjects: Get full text

Introduction to complexity and complex systems / by 423248 Northrop, Robert B.

Regular decision processes by Brafman, RI, De Giacomo, G

“…In factored RDPs, transition and reward functions are specified using formulas in linear temporal logics over finite traces, or using regular expressions. This allows specifying complex dependence on the past using intuitive and compact formulas, and building models of partially observable domains without specifying an underlying state space.…”

On Coordinating Collaborative Objects by Abdessamad Imine

“…In this paper, we propose a formal compositional method for specifying complex collaborative objects. The most important feature of our method is that designing an OT algorithm for the composed collaborative object can be done by reusing the OT algorithms of component collaborative objects. …”
Get full text

A GENERALIZED KERR-ROBINSON THEOREM by Hughston, L, Mason, L

“…In the case of Euclidean reality conditions, the generalised Kerr theorem determines all complex structures compatible with the flat metric in terms of freely specified complex analytic varieties in twistor space. …”

Challenges and opportunities for Bayesian statistics in proteomics by Crook, OM, Chung, C-w, Deane, CM

“…Bayesian statistics also offers a modular framework for data analysis by making dependencies between data and parameters explicit. Hence, specifying complex hierarchies of parameter dependencies is straightforward in the Bayesian framework. …”

Bambi: A Simple Interface for Fitting Bayesian Linear Models in Python by Tomás Capretto, Camen Piho, Ravin Kumar, Jacob Westfall, Tal Yarkoni, Osvaldo A Martin

“…Bambi makes it easy to specify complex generalized linear hierarchical models using a formula notation similar to those found in R. …”
Get full text

Logic + probabilistic programming + causal laws by Vaishak Belle

“…Probabilistic programming has rapidly emerged as a key paradigm to integrate probabilistic concepts with programming languages, which allows one to specify complex probabilistic models using programming primitives like recursion and loops. …”
Get full text

NRN-EZ: an application to streamline biophysical modeling of synaptic integration using NEURON by Evan A. W. Cobb, Maurice A. Petroccione, Annalisa Scimemi

“…Here we describe NRN-EZ, an interactive application that allows users to specify complex patterns of synaptic input activity that can be integrated as part of NEURON simulations. …”
Get full text

Client-side optimizations for mobile publish subscribe systems by Toy, Kimberly L

Get full text

Specification and verification of sequential machines in rule-based hardware languages by Bourgeat, Thomas

“…For this, we address three challenges: (1) We build an expressive framework in which we can express both synthesizable designs and abstract specifications, and we connect and navigate between them in the proof assistant. (2) We enforce several strict language restrictions, allowing us to side-step previous difficulties in specifications and proofs. (3) After acknowledging that we need a modular methodology to keep the verification effort under control, we showcase previously ignored difficulties in specifying complex sequential machines modularly. We introduce generalized specifications and develop various proof techniques to prove that concrete designs are instances of their modular specifications. …”
Get full text

Operational management of the bus fleet maintenance and repair system by E. V. Feklin

“…The positive effect of centralization of management of the specified complexes of tasks for maintenance and repair of rolling stock is substantiated.Results. …”
Get full text

The owner's role in inter-firm collaboration for innovation development and implementation in building construction by Cate, William L. (William Lawrence), 1973-

Get full text