UofT Libraries is getting a new library services platform in January 2021.
Learn more about the change.

Search Articles

X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (96) 96
Conference Proceeding (22) 22
Book Chapter (18) 18
Patent (15) 15
Book / eBook (5) 5
Dissertation (3) 3
Trade Publication Article (2) 2
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
science & technology (43) 43
computer science (31) 31
humans (27) 27
life sciences & biomedicine (25) 25
formal languages and automata theory (19) 19
middle aged (15) 15
female (14) 14
life sciences (14) 14
adult (13) 13
machine tools (13) 13
metal-working not otherwise provided for (13) 13
performing operations (13) 13
physical sciences (13) 13
such working combined with other forms of working of metal (13) 13
transporting (13) 13
working of metal by the action of a high concentration ofelectric current on a workpiece using an electrode which takesthe place of a tool (13) 13
technology (11) 11
[info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] (10) 10
aged (10) 10
computer science - formal languages and automata theory (9) 9
computation and language (8) 8
male (8) 8
physics (8) 8
[info.info-lo]computer science [cs]/logic in computer science [cs.lo] (7) 7
france (7) 7
logic in computer science (7) 7
mathematics (7) 7
timed automata (7) 7
transducers (7) 7
automata (6) 6
breast cancer (6) 6
clinical trials (6) 6
mitochondria (6) 6
pharmacology & pharmacy (6) 6
[info]computer science [cs] (5) 5
analysis (5) 5
animals (5) 5
calculating (5) 5
cancer (5) 5
computer science - computer science and game theory (5) 5
computing (5) 5
control or regulating systems in general (5) 5
controlling (5) 5
counting (5) 5
electric digital data processing (5) 5
functional elements of such systems (5) 5
human health and pathology (5) 5
monitoring or testing arrangements for such systems orelements (5) 5
oncology (5) 5
patients (5) 5
prospective studies (5) 5
regulating (5) 5
tree automaton (5) 5
adolescent (4) 4
breast neoplasms - drug therapy (4) 4
breast neoplasms - genetics (4) 4
chemotherapy (4) 4
computer science, software engineering (4) 4
computer science, theory & methods (4) 4
decidability (4) 4
mathematics, applied (4) 4
mutation (4) 4
petri nets (4) 4
surgery (4) 4
time automaton (4) 4
treatment outcome (4) 4
[ info.info-fl ] computer science [cs]/formal languages and automata theory [cs.fl] (3) 3
[sdv.mhep.csc]life sciences [q-bio]/human health and pathology/cardiology and cardiovascular system (3) 3
[sdv.mhep]life sciences [q-bio]/human health and pathology (3) 3
[sdv]life sciences [q-bio] (3) 3
algorithms (3) 3
astronomy & astrophysics (3) 3
astrophysics (3) 3
breast neoplasms (3) 3
breast neoplasms - pathology (3) 3
cancer therapies (3) 3
cell biology (3) 3
chemistry (3) 3
child (3) 3
circuit components (3) 3
clinical neurology (3) 3
computer science and game theory (3) 3
controller synthesis (3) 3
decision making (3) 3
dermatology (3) 3
diffusion coefficient (3) 3
epidermis - metabolism (3) 3
equivalence (3) 3
france - epidemiology (3) 3
gene expression regulation (3) 3
heart (3) 3
hematology, oncology and palliative medicine (3) 3
human genetics (3) 3
logic (3) 3
medical genetics (3) 3
neurosciences & neurology (3) 3
pushdown automaton (3) 3
risk factors (3) 3
robots (3) 3
science & technology - other topics (3) 3
more...
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


2003, 9e ed., mise à jour., ISBN 9782743006266, xi, 554
Book
International journal of foundations of computer science, ISSN 0129-0541, 08/2018, Volume 29, Issue 5, pp. 801 - 824
Regular string-to-string functions enjoy a nice triple characterization through deterministic two-way transducers (2DFT), streaming string transducers (SST)... 
streaming string transducers | Transducers | aperiodic monoids | first-order transductions | two-way automata | Computer Science, Theory & Methods | Technology | Computer Science | Science & Technology
Journal Article
Logical methods in computer science, ISSN 1860-5974, 2019, Volume 15, Issue 2, pp. Issue 2 ; 1860 - 5974
We consider the problem of evaluating in streaming (i.e., in a single left-to-right pass) a nested word transduction with a limited amount of memory. A... 
Computer Science, Theory & Methods | Science & Technology - Other Topics | Logic | Technology | Computer Science | Science & Technology | Computer Science - Formal Languages and Automata Theory | Data Structures and Algorithms | Formal Languages and Automata Theory
Journal Article
1989, 5e éd. remaniée et mise à jour., ISBN 2852065371, ix, 406
Book
Theoretical computer science, ISSN 0304-3975, 05/2015, Volume 578, pp. 13 - 29
We study the problem of trimming visibly pushdown automata (VPA). We first describe a polynomial time procedure which, given a visibly pushdown automaton that... 
Visibly pushdown automata | Trimming | Robots | Construction | Polynomials | Equivalence | Buildings
Journal Article
PloS one, ISSN 1932-6203, 10/2016, Volume 11, Issue 10, pp. e0164066 - e0164066
Background Recent data suggests the involvement of mitochondrial dynamics in cardiac ischemia/reperfusion (I/R) injuries. Whilst excessive mitochondrial... 
Science & Technology - Other Topics | Multidisciplinary Sciences | Science & Technology | Mitochondrial Dynamics | Mitochondrial Membrane Transport Proteins - metabolism | Sarcoplasmic Reticulum Calcium-Transporting ATPases - metabolism | Mitochondria, Heart - metabolism | Calcium - metabolism | Homeodomain Proteins - metabolism | Homeodomain Proteins - genetics | Mitochondrial Membrane Transport Proteins - genetics | Myocardial Reperfusion Injury - metabolism | Animals | GTP Phosphohydrolases - metabolism | GTP Phosphohydrolases - genetics | Mice, Mutant Strains | Myocytes, Cardiac - metabolism | Mice | Mitochondria, Heart - genetics | Sarcoplasmic Reticulum Calcium-Transporting ATPases - genetics | Myocardial Reperfusion Injury - genetics | Disease Models, Animal | Heart | Cardiac arrhythmia | Phosphorylation | Calcium | Arrhythmia | Mitochondrial permeability transition pore | Membrane permeability | Action potential | Mitochondrial DNA | Calcium influx | Fission | Ca2+-transporting ATPase | Proteins | Signal transduction | Na+/Ca2+-exchanging ATPase | Mitochondria | Reperfusion | Ischemia | Sarcoplasmic reticulum | Rodents | Fusion protein | Heart diseases | Injuries | Membrane fusion | Echocardiography | Cardiac muscle | Cardiomyocytes | Phospholamban | Permeability | Calcium permeability | Calcium (mitochondrial) | Oxidative phosphorylation | Myocardium | Protein expression | MPTP | Ventricle | Mutation | Calcium (reticular) | Apoptosis | Index Medicus | Life Sciences
Journal Article
2012, LNCS sublibrary. SL 1, Theoretical computer science and general issues, ISBN 364233511X, Volume 7550, 158
This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September,... 
Computer science | Computer systems | Verification | Mathematics | Congresses | Decidability (Mathematical logic) | Hybrid systems | Ordered algebraic structures | Computer simulation | Configurations
eBook
by Pfisterer, Jacobus and Shannon, Catherine M and Baumann, Klaus and Rau, Joern and Harter, Philipp and Joly, Florence and Sehouli, Jalid and Canzler, Ulrich and Schmalfeldt, Barbara and Dean, Andrew P and Hein, Alexander and Zeimet, Alain G and Hanker, Lars C and Petit, Thierry and Marmé, Frederik and El-Balat, Ahmed and Glasspool, Rosalind and de Gregorio, Nikolaus and Mahner, Sven and Meniawy, Tarek M and Park-Simon, Tjoung-Won and Mouret-Reynier, Marie-Ange and Costan, Cristina and Meier, Werner and Reinthaller, Alexander and Goh, Jeffrey C and L'Haridon, Tifenn and Baron Hay, Sally and Kommoss, Stefan and du Bois, Andreas and Kurtz, Jean-Emmanuel and Ackermann, Sven and Anthuber, Christoph and Aydogdu, Mustafa and Baldauf, Angelika and Bauer, Wolfgang and Behringer, Dirk and Belau, Antje and Bender, Alexandra and Brucker, Cosima and Burges, Alexander and Canzler, Ulrich and Daabach, Trygve and Denschlag, Dominik and Deryal, Mustafa and Dörfel, Steffen and Ebert, Juliane and El-Balat, Ahmed and Fehm, Tanja and Feidicker, Susanne Maria and Feisel-Schwickardi, Gabriele and Felberbaum, Ricardo and Frank, Matthias and Gebauer, Gerhard and Gerber, Bernd and Gerhardt, Axel and Grafe, Andrea and Griesshammer, Martin and Grischke, Eva-Maria and Gröll, Isolde and Gropp-Meier, Martina and Hager, Dietrich and Hanf, Volker and Hannig, Carla Verena and Hantschmann, Peer and Harter, Philipp and Hauzenberger, Tanja and Herwig, Uwe and Heubner, Martin and Hielscher, Carsten and Hilpert, Felix and Hitschold, Thomas and Hofmann, Manfred and Jackisch, Christian and Janni, Wolfgang and Kiesel, Ludwig and Ko, Yon-Dschun and Koch, Hans-Joachim and Krabisch, Petra and Krieger, Peter and Kubin, Thomas and Kühn, Thorsten and Lampe, Björn and Ledwon, Peter and Lemster, Sabine and Lex, Benno and Liebrich, Clemens and Lorenz, Ralf and Lück, Hans-Joachim and Mahner, Sven and Mallmann, Peter and Marmé, Frederik and Meier, Werner and Meinerz, Wolfgang and Menke, Götz and Möbus, Volker and Müller, Thomas and Müller, Volker and Neunhöffer, Tanja and Ober, Angelika and ... and AGO-OVAR 2.21/ENGOT-ov 18 Investigators and AGO-OVAR 2 21 ENGOT-ov 18 Investig
The lancet oncology, ISSN 1470-2045, 05/2020, Volume 21, Issue 5, pp. 699 - 709
State-of-the art therapy for recurrent ovarian cancer suitable for platinum-based re-treatment includes bevacizumab-containing combinations (eg, bevacizumab... 
Life Sciences & Biomedicine | Oncology | Science & Technology | Index Medicus | Life Sciences
Journal Article
FT.com, 07/2010
...The tabular content relating to this article is not available to view. Apologies in advance for the inconvenience caused. Alain Tchdry, 78, was born in north... 
Tchdry, Alain
Trade Publication Article
Fundamenta informaticae, ISSN 0169-2968, 2013, Volume 122, Issue 1-2, pp. 1 - 30
This paper presents the Monotone-Pruning algorithm (MP) for computing the minimal coverability set of Petri nets. The original Karp and Miller algorithm (K&M)... 
Physical Sciences | Technology | Computer Science | Mathematics | Computer Science, Software Engineering | Mathematics, Applied | Science & Technology | Trees | Algorithms | Petri nets | Concurrency | Pruning | Strategy | Exploration | Graphs
Journal Article
Scripta materialia, ISSN 1359-6462, 2010, Volume 62, Issue 10, pp. 786 - 789
Journal Article
Intensive care medicine experimental, ISSN 2197-425X, 05/2019, Volume 7, Issue 1, pp. 28 - 13
... Védrine3, Philippe Leissner3, Virginie Moucadel1, Alain Lepape6,7,8, Julien Textoris1,9* , MIPrea group and REALISM group * Correspondence: francois.mallet... 
Viruses | Sepsis | Automation | Mortality | Viral infections | EBV | Immunosuppression | Biomarker | Herpes viruses
Journal Article