Results 51 to 60 of about 2,209,327 (291)

Forward Analysis and Model Checking for Trace Bounded WSTS

, 2011
We investigate a subclass of well-structured transition systems (WSTS), the bounded---in the sense of Ginsburg and Spanier (Trans. AMS 1964)---complete deterministic ones, which we claim provide an adequate basis for the study of forward analyses as ...
A. Annichini, A. Bouajjani, A. Finkel, A. Finkel, A. Finkel, A. Finkel, B. Boigelot, C. Dufourd, C. Rackoff, E. Cardoza, E.A. Emerson, G. Geeraerts, H. Comon, H. Comon, J. Esparza, J. Leroux, L. Fribourg, M. Bozga, P. Ganty, P. Gawrychowski, P.A. Abdulla, P.A. Abdulla, P.A. Abdulla, P.A. Abdulla, R. Mayr, R. Siromoney, R. Valk, R.M. Karp, S. Bardin, S. Bardin, S. Demri, S. Ginsburg, S. Safra, V. Cortier   +33 more
core   +4 more sources

Student profiling in a dispositional learning analytics application using formative assessment [PDF]

, 2018
How learning disposition data can help us translating learning feedback from a learning analytics application into actionable learning interventions, is the main focus of this empirical study.
Mittelmeier, Jenna, Nguyen, Quan, Rienties, Bart, Tempelaar, Dirk   +3 more
core   +2 more sources

The ubiquitin ligase RNF115 is required for the clearance of damaged lysosomes

FEBS Letters, EarlyView.
Upon lysosomal rupture, an E3 ubiquitin ligase RNF115 translocates from the cytosol to the damaged lysosomal membrane. Moreover, RNF115 depletion impairs the clearance of damaged lysosomes, identifying it as a key regulator of lysosomal quality control.
Sae Nakanaga, Toshiki Takahashi, Akiko Kuma, Hiroyuki Kawahara   +3 more
wiley   +1 more source

Development and validation of an alternative method for ergosterol determination in alder leaves using liquid-liquid extraction and LC-MS/MS after saponification

MethodsX
Ergosterol is widely used as proxy for the estimation of leaf litter associated fungal biomass. According to a common textbook method, ergosterol can be extracted from plant tissue with methanolic potassium hydroxide followed by purification with solid ...
Björn Kusebauch, Stefan Bader, Steffen Carl   +2 more
doaj   +1 more source

Portable device for dual detection of fluorescence and absorbance for biosensing or chemical sensing applications

HardwareX, 2022
Early detection is key to prevent health problems and could be performed by biosensors and chemical sensors. However, a lot of them still need bulky benchtop equipment.
Kittirat Phooplub, Sirirat Ouiganon, Panote Thavarungkul, Proespichaya Kanatharana, Chittanon Buranachai   +4 more
doaj   +1 more source

Geochemical-geophysical investigations, Fairbanks district [PDF]

, 1967
Trace element distribution in a subarctic valley in the Cleary Hill area of the Fairbanks gold district has been studied. Zinc and arsenic have been found excellent pathfinder elements for auriferous deposits. Methods of analysis for copper, lead, zinc,
Beistline, E.H., Heiner, L.E., Loperfido, J.C., Moody, D.W., Peterson, R.J., Thomas, B.I., Wallis, J.E., Wolff, E.N.   +7 more
core  

Residual tail twisting in ascidian larvae is stabilized by asymmetric myofibrils that resist bilateral symmetry restoration

FEBS Letters, EarlyView.
Ascidian Ciona larvae initially show strong clockwise tail twisting, which is largely corrected during development. However, a small residual twist remains. This study shows that organized helical myofibrils in tail muscles mechanically stabilize this residual asymmetry, preventing complete restoration of bilateral symmetry and revealing how embryos ...
Yuki S. Kogure, Misaki K. Nishio, Satoru Okuda, Kohji Hotta   +3 more
wiley   +1 more source

Synergistic convergence of materials and enzymes for biosensing and self-sustaining energy devices towards on-body health monitoring

Communications Materials
Wearable enzyme-based biosensors enable advanced healthcare diagnostics through the monitoring of biomarkers and physiological states. The integration of materials engineering and enzyme conjugation has established the groundwork for advancements in ...
Suntisak Khumngern, Itthipon Jeerapan
doaj   +1 more source

Estimating the inverse trace using random forests on graphs [PDF]

, 2019
Some data analysis problems require the computation of (regularised) inverse traces, i.e. quantities of the form $\Tr (q \bI + \bL)^{-1}$. For large matrices, direct methods are unfeasible and one must resort to approximations, for example using a ...
Amblard, Pierre-Olivier, Avena, Luca, Barthelmé, Simon, Gaudillière, Alexandre, Tremblay, Nicolas   +4 more
core   +1 more source

Factor Analysis of Moving Average Processes [PDF]

, 2015
The paper considers an extension of factor analysis to moving average processes. The problem is formulated as a rank minimization of a suitable spectral density.
Sepulchre, Rodolphe, Zorzi, Mattia
core   +1 more source