Results 81 to 90 of about 1,406,501 (313)
, 2011 We compile 23 Gamma-ray Bursts (GRBs) and 21 blazars with estimated Doppler factors, and the Doppler factors of GRBs are estimated from their Lorentz factors by assuming their jet viewing angles \theta->0 degree.
Abdo +21 more
core +1 more source
Deliverable D-PhD02-3.1: Results of in silico analysis of transferability [PDF]
, 2021 Timmermans Michaël, Boland Cécile
openalex +1 more source
Security Policies as Membranes in Systems for Global Computing [PDF]
Logical Methods in Computer Science, 2005 We propose a simple global computing framework, whose main concern is code migration. Systems are structured in sites, and each site is divided into two parts: a computing body, and a membrane, which regulates the interactions between the computing body ...
Daniele Gorla +2 more
doaj +1 more source
FEBS Open Bio, EarlyView.The C. elegans tetraspanin‐7 (tsp‐7) is a homologue of human CD63, which is a negative regulator of autophagy. The C. elegans strain, tm5761, has a dysfunctional (knockout) tsp‐7 gene. When compared to the wild‐type strain, the tm5761 strain shows increased: life‐ and health‐span; thermotolerance, and stress‐induced locomotion.
Brogan Jones +2 more
wiley +1 more source
Semantics and Algorithms for Parametric Monitoring [PDF]
Logical Methods in Computer Science, 2012 Analysis of execution traces plays a fundamental role in many program analysis approaches, such as runtime verification, testing, monitoring, and specification mining.
Grigore Rosu, Feng Chen
doaj +1 more source
A Variational Beam Model for Failure of Cellular and Truss‐Based Architected Materials
Advanced Engineering Materials, EarlyView., 2023 Herein, a versatile and efficient beam modeling framework is developed to predict the nonlinear response and failure of cellular, truss‐based, and woven architected materials. It enables the exploration of their design space and the optimization of their mechanical behavior in the nonlinear regime. A variational formulation of a beam model is presented
Konstantinos Karapiperis +3 more
wiley +1 more source
A Chandra Observation of the Nearby Lenticular Galaxy NGC 5102: Where are the X-ray Binaries?
, 2005 We present results from a 34 ks Chandra/ACIS-S observation of the nearby (d=3.1 Mpc) lenticular galaxy NGC 5102, previously shown to have an unusually low X-ray luminosity.
Bica E. +15 more
core +2 more sources
Does antimatter emit a new light ? [PDF]
, 1996 We identify a number of problematic aspects of current classical and quantum theories of antimatter; we introduce a new mathematical formalism which is an antiautomorphic image of that of matter equivalent to charge conjugation at the operator level, but
Santilli, R. M.
core +2 more sources
Refining Inductive Types [PDF]
Logical Methods in Computer Science, 2012 Dependently typed programming languages allow sophisticated properties of data to be expressed within the type system. Of particular use in dependently typed programming are indexed types that refine data by computationally useful information.
Robert Atkey +2 more
doaj +1 more source
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets [PDF]
Logical Methods in Computer Science, 2008 We propose a framework for the specification of behaviour-preserving reconfigurations of systems modelled as Petri nets. The framework is based on open nets, a mild generalisation of ordinary Place/Transition nets suited to model open systems which might
Paolo Baldan +4 more
doaj +1 more source