Results 51 to 60 of about 1,240,536 (266)
Raman‐based label‐free microscopic analysis of the pancreas in living zebrafish larvae
FEBS Open Bio, EarlyView.Forward stimulated Raman scattering (F‐SRS) and epi coherent anti‐Stokes Raman scattering (E‐CARS) allow label‐free discrimination of distinct subcellular structures in the pancreas of living zebrafish larvae. Given the straightforward applicability, we anticipate broad implementation of Raman microscopy in other organs and across various biomedical ...
Noura Faraj +3 more
wiley +1 more source
Coalition-proof supply function equilibria in oligopoly [PDF]
, 2004 In an industry where firms compete via supply functions, the set of equilibrium outcomes is large. If decreasing supply functions are ruled out, this set is reduced significantly, but remains large.
Delgado, Juan, Moreno, Diego
core +1 more source
On Extending Bounded Proofs to Inductive Proofs [PDF]
, 2009 We propose a method for extending a bounded resolution proof to an unbounded inductive proof. More specifically, given a resolution proof that a state machine beginning at an initial state satisfies some property at cycle k , we show that the existence of a Δ -invariant cut implies that the property holds for cycles k + Δ , k + 2Δ , etc.
Oded Fuhrmann, Shlomo Hoory
openaire +1 more source
Systemic dysregulation of apolipoproteins in amyotrophic lateral sclerosis serum
FEBS Open Bio, EarlyView.Amyotrophic lateral sclerosis (ALS) is a fatal disease that damages motor neurons. This study found that people with ALS show significant changes in blood fats and the proteins that carry them. Several apolipoproteins were higher, lipid balances were altered, and normal protein–lipid relationships were disrupted.
Finula I. Isik +6 more
wiley +1 more source
Bribe-proof Rules in the Division Problem [PDF]
The division problem consists of allocating an amount of a perfectly divisible good among a group of n agents with single-peaked preferences. A rule maps preference profiles into n shares of the amount to be allocated.
Jordi MassóAuthor-Email: jordi.masso@uab.es +1 more
core
The structure of logical consequence : proof-theoretic conceptions [PDF]
, 2010 The model-theoretic analysis of the concept of logical consequence has come under heavy criticism in the last couple of decades. The present work looks at an alternative approach to logical consequence where the notion of inference takes center stage ...
Hjortland, Ole T.
core
Lifting in Proof Complexity [PDF]
, 2020 A growing number of results in proof complexity rely on so-called "lifting" techniques (also called hardness escalation"), which are inspired from communication complexity.
Vinyals, Marc
core
Why human connection is the true metric of research success
FEBS Open Bio, EarlyView.Human‐centred mentorship can be shaped by mentor attributes, actions, intrinsic drive and career ambition. Drawing on reflections across Singapore and France, as well as workshop insights from FEBS‐IUBMB ENABLE 2024, this article shows that human‐centred mentorship creates the conditions for sustainable growth, well‐being and retention in research ...
Timothy Lin Yun Tan +3 more
wiley +1 more source
Foundational Proof Certificates [PDF]
, 2015 International audienceConsider a world where exporting proof evidence into a well defined,universal, and permanent format is taken as "feature zero" forcomputational logic systems.
Dale Miller, Miller, Dale
core
FEBS Open Bio, EarlyView.UiO‐66(Zr) metal–organic frameworks are chemically stable, biocompatible, and highly tunable nanomaterials. Their modular structure enables controlled drug delivery, multimodal bioimaging, and light‐activated photodynamic therapy, supporting integrated diagnostic and therapeutic (theranostic) applications in cancer and biomedical research.
Veronika Huntošová +2 more
wiley +1 more source