A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Informed-Proteomics: open-source software package for top-down proteomics
2017
Nature Methods
Preserved Fulltext
The quality of top-down LC-MS/MS datasets is rapidly increasing due to advances in instrumentation and sample processing protocols. ...
In this study, we present a new open source software suite for top-down proteomics analysis consisting of an LC-MS feature finding algorithm, a database search algorithm, and an interactive results viewer ...
Label free quantification As a demonstration of a comparative top-down study, we applied our top-down proteomics workflow for label-free quantification of the human-in-mouse xenograft breast tumor samples ...
doi:10.1038/nmeth.4388
pmid:28783154
pmcid:PMC5578875
fatcat:t3r7pm2b3fhkxblnzsxuycluje
Differentiation and characterization of human iPSC-derived vascular endothelial cells under physiological shear stress
2021
STAR Protocols
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Here, we describe a 7-day protocol to differentiate up to 55 million vascular endothelial cells (viECs) from 3.5 million human iPSCs using small molecules to regulate specific transcription factors. ...
For complete details on the use and execution of this protocol, please refer to Atchison et al. (2020). ...
We have also uploaded the supplemental method videos and the SolidWorks part files to Mendeley Data (https://doi.org/10.17632/mbhbh572kw.1). ...
doi:10.1016/j.xpro.2021.100394
pmid:33796871
pmcid:PMC7995664
fatcat:ozxij657qrcxhkd5ljfsoe32qm
Functional Characterization of Human Stem Cell-Derived Cardiomyocytes
2000
Current Protocols in Pharmacology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
As a result, SC-hCM electrophysiology has become a valuable tool to assess cardiac risk associated with drugs. ...
But human stem cell-derived cardiomyocytes (SC-hCM) are readily available from commercial sources and are increasingly used in academic research, drug discovery and safety pharmacology. ...
BASIC PROTOCOL 1 MEASUREMENT OF ACTION POTENTIALS INSTEM CELL-DERIVED HUMAN CARDIOMYOCYTES Action potential recordings can be made from single stem cell-derived cardiac cells (Peng et al, 2010; Ma et ...
doi:10.1002/0471141755.ph1112s64
pmid:25152802
pmcid:PMC4138727
fatcat:v5b5brtiunacxoiapehwt7ud6e
A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocols
1992
Journal of the ACM
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
A high-level, knowledge-based approach for deriving a family of protocols for the sequence transmission problem is presented. ...
The protocols of Aho et al. [2, 3] , the Alternating Bit protocol [5], and Stenning's protocol [44] are all instances of one knowledge-based protocol that is derived. ...
We would particularly like to thank Brent Hailpern, who started us thinking about the AUY protocols. We also thank Ron Fagin ...
doi:10.1145/146637.146638
fatcat:vhqwfxhmbjgrbfbnt3eegw5ske
Specification Enforcing Refinement for Convertibility Verification
2009
2009 Ninth International Conference on Application of Concurrency to System Design
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A formal solution, called convertibility verification, has been recently proposed, which produces such a glue logic, termed as a converter, so that the parallel composition of the protocols and the converter ...
This paper formulates a generalization of this convertibility verification problem, by using a new refinement called specification enforcing refinement (SER) between a protocol composition and a desired ...
Fig. 2 depicts the LTS of the handshake protocol to the left and that of the serial protocol at the top. The handshake protocol awaits for event b in state s 0 and outputs event a in state s 1 . ...
doi:10.1109/acsd.2009.25
dblp:conf/acsd/RoopGSG09
fatcat:22xxts7gxjen7inyttavhwlwh4
Synthesis of communications protocol converters using the timed Petri net model
1999
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
The paper also highlights the dynamicity of the derived converter. We illustrate the converter design method using an example showing the dynamicity and timeliness features of the converter. ...
Moreover, a reliable converter must perform its conversion functions in a timely manner satisfying the timing constraints of both protocol architectures. ...
The greatest common service de®nition (gcsd) is the basis of most top-down converter synthesis methods. ...
doi:10.1016/s0164-1212(99)00024-2
fatcat:3a4szigqtzgkljyq5ywbxt7wru
Spectral correlation control in down-converted photon pairs
2016
Physical Review A
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2015 pre-print arXiv:1509.01262v1 fatcat:i2g56olcerfobm7d6rsz3lrvzi
Sources of photon pairs based on the spontaneous parametric down conversion process are commonly used for long distance quantum communication. ...
Our analysis shows a way for full control of spectral correlation within a fiber-coupled photon pair simultaneously with optimal brightness. ...
This, seemingly, energy conservation relation breaking, is a result of a pump pulse spectral width and characteristics of down conversion process. ...
doi:10.1103/physreva.94.013838
fatcat:7rc3npcxdfcvtdjzqtkjy7swr4
Automated Synthesis of Protocol Converters with BALM-II
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The largest solution of the defined language equations includes all protocol converters that solve the problem; this is a strong advantage over computational techniques that deliver only one or a few solutions ...
For illustration we show examples of setting up and solving language equations for classical protocol mismatch problems, aiming at the design of protocol converters to interface an alternating-bit (AB) ...
The ability to derive all protocol converters that solve the problem is an advantage over computational techniques that deliver only one or a few solutions (which might yield inferior implementations, ...
doi:10.1007/978-3-662-49224-6_23
fatcat:tyl54ylkzvbi7kp2clpifrboh4
Performance Evaluation of Wave Energy Converters
[chapter]
2013
Performance Evaluation of Wave Energy Converters
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Guidelines for the development of wave energy converters recommend the use of different prototypes, having different sizes, which have to perform tank tests or sea trials. ...
However, each concept is expected to require a thorough development process, involving different phases and prototypes. ...
The paper is an elaboration of the EquiMar D4.2 protocol on Data Analysis & Presentation of Marine Energy Converters based on Sea trials [28] . ...
doi:10.13052/rp-9788792982278
fatcat:ymiotqzc5bg3vhqape7ppxdkqi
Verifying the Function and Localization of Genetically Encoded Ca2+Sensors and Converting FRET Ratios to Ca2+Concentrations
2015
Cold Spring Harbor Protocols
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This protocol describes how to perform a calibration of a Ca 2+ sensor expressed in cultured mammalian cells as images are acquired using a widefield fluorescence microscope. ...
This protocol also explains how to calculate Förster Resonance Energy Transfer (FRET) ratios from acquired images and how to convert FRET ratios to Ca 2+ concentrations. ...
Step 3: Place a glass coverslip on top of the glue. Step 4: Gently press down on the glass coverslip to remove air bubbles and to spread out the glue. ...
doi:10.1101/pdb.prot076547
pmid:25561614
pmcid:PMC4968932
fatcat:z66d7fvpqjecnlhrtrak73zna4
Wave-to-wire Modelling of Wave Energy Converters
[chapter]
2014
Wave-to-wire Modelling of Wave Energy Converters
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The work load, in terms of numerical simulation and analysis, have been equally shared between Francesco Ferri, Boris Fischer and Simon Ambühl, who had a fundamental role in the model development too. ...
It uses a non-standard method for deriving the time discrete model from the time continuous model in Equation (5) . ...
Fig. 4.5 sketches the flow diagram of the proposed method, going from the WEC and location definitions, down to the identification of the minimum CF. The definition of the AEP Fig. 4.5. ...
doi:10.13052/rp-9788793237247
fatcat:53fqyt5lsbehncj35it32jq5li
Decoding neuronal diversity by single-cell Convert-seq
[article]
2019
bioRxiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Here we present Convert-seq, combining single-cell RNA sequencing (scRNA-seq) and pooled ectopic gene expression with a new strategy to discriminate sequencing reads derived from exogenous and endogenous ...
Functional validation of iN subtypes generated by novel combinations of exogenous transcription factors establish Convert-seq as a broadly applicable workflow to rapidly identify key transcription factors ...
We tested Convert-seq in a droplet based 3'-seq platform, 332 however, detection of exogenous transcripts was inefficient, possibly due to the strong 3' bias of the 333 protocol. ...
doi:10.1101/600239
fatcat:ee2gkauhqbbkbesn6nfnxvzvue
Renoprotective Effect of Combined Inhibition of Angiotensin-Converting Enzyme and Histone Deacetylase
2013
Journal of the American Society of Nephrology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We predicted that the combination of an angiotensin-converting enzyme (ACE) inhibitor and a histone deacetylase inhibitor would maximally reverse the disease-associated expression of genes in the kidneys ...
The Connectivity Map database contains microarray signatures of gene expression derived from approximately 6000 experiments that examined the effects of approximately 1300 single drugs on several human ...
Light cycler analysis software was used to determine crossing points using the second derivative method. ...
doi:10.1681/asn.2012060590
pmid:23559582
pmcid:PMC3636790
fatcat:2fsmqgq3dve4hpqr72pj2626uq
eGaN FETs in Low Power Wireless Energy Converters
2013
ECS Transactions
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
An amplifier (a.k.a. a power converter). 2. A transmit coil including matching network. 3. A receive coil including matching network. 4. A rectifier with high frequency filtering. ...
Most of the wireless power solutions have focused on tight coupling with induction coil solutions at operating frequencies around 200 kHz, and Class E, F and S amplifier converter topologies. ...
This is the most popular method of control for wireless converters that typically operate in the 100 kHz to 200 kHz range and is popular for wireless converters because it results in a power converter ...
doi:10.1149/05003.0377ecst
fatcat:g3k4dalhbrcmbp3ay5aofy7f2u
Angiotensin-converting enzyme and male fertility
1998
Proceedings of the National Academy of Sciences of the United States of America
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The angiotensin-converting enzyme (ACE; EC 3.4.15.1) gene (Ace) encodes both a somatic isozyme found in blood and several other tissues, including the epididymis, and a testis-specific isozyme (testis ...
Furthermore, male and female mice lacking angiotensinogen have normal fertility, indicating that angiotensin I is not a necessary substrate for testis ACE. ...
ACE activities were assayed by using a scaled-down reaction with a commercially available kit (Sigma) with activities expressed as units͞liter. Fertility Tests. ...
doi:10.1073/pnas.95.5.2552
pmid:9482924
pmcid:PMC19410
fatcat:je3nn4fssfgt5palnsuqosjsz4
« Previous
Showing results 1 — 15 out of 128,984 results