| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465327803316 |
|
|
Titolo |
Theoretical Computer Science [[electronic resource] ] : 3rd GI Conference Darmstadt, March 28-30, 1977 / / herausgegeben von H. Tzschach, H. Waldschmidt, H. K.-G. Walter |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1977 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1977.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 428 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 48 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computers |
Computer science |
Theory of Computation |
Computer Science, general |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
On polynomial time isomorphisms of complete sets -- New bounds on formula size -- Informatique et algebre la theorie des codes a longueur variable -- On a description of tree-languages by languages -- Higher type program schemes and their tree languages -- Das Äquivalenzproblem für spezielle Klassen von Loop-1-Programmen -- A comparative study of one-counter Ianov schemes -- Grobstrukturen für kontextfreie Grammatiken -- Strukturelle Untersuchungen zur schwersten kontextfreien Sprache -- Eine untere Schranke für den Platzbedarf bei der Analyse beschränkter kontextfreier Sprachen -- On one-way Auxiliary pushdown automata -- Un langage algebrique non-generateur -- Cylindres de langages simples et pseudo-simples -- Familles de langages fermees par crochet et crochet ouvert -- Eine Klasse geordneter Monoide und ihre Anwendbarkeit in der Fixpunktsemantik -- Systemes schematiques generalises -- Formale Korrektheitsbeweise für While-Programme -- Towards automation of proofs by induction -- A syntactic connection between proof procedures and refutation procedures -- Struktur von Programmbündeln -- Bemerkungen zu den Übergangshalbgruppen linear realisierbarer Automaten -- Decidabilite de la finitude des demi- |
|
|
|
|
|
|
|
|
|
|
|
|
|
groupes de matrices -- Codes et sous-monoides possedant des mots neutres -- A polynomial-time test for the deadlock-freedom of computer systems -- Aspects of unbounded parallelism -- Eigenschaften färbbarer Petri-Netze -- On the rationality of petri net languages -- An algorithm for transitive closure with linear expected time -- The LBA-problem and the transformability of the class ?2 -- Das Normalisierungsproblem und der Zusammenhang mit der Zeitkomplexität der kontextsensitiven Analyse -- Über Netzwerkgrössen höherer Ordnung und die mittlere Anzahl der in Netzwerken benutzten operationen -- Ein vollständiges Problem auf der Baummaschine -- Über die Länge einer Berechnung bei linearer Parameterabhängigkeit der Operationszeit. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910557367503321 |
|
|
Autore |
Cheungpasitporn Wisit |
|
|
Titolo |
Clinical Studies, Big Data, and Artificial Intelligence in Nephrology and Transplantation |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (374 p.) |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
In recent years, artificial intelligence has increasingly been playing an essential role in diverse areas in medicine, assisting clinicians in patient management. In nephrology and transplantation, artificial intelligence can be utilized to enhance clinical care, such as through hemodialysis prescriptions and the follow-up of kidney transplant patients. Furthermore, there are rapidly expanding applications and validations of comprehensive, computerized medical records and related databases, including national registries, health insurance, and drug prescriptions. For this Special Issue, we made a call to action to |
|
|
|
|
|
|
|
|
|
|
stimulate researchers and clinicians to submit their invaluable works and present, here, a collection of articles covering original clinical research (single- or multi-center), database studies from registries, meta-analyses, and artificial intelligence research in nephrology including acute kidney injury, electrolytes and acid-base, chronic kidney disease, glomerular disease, dialysis, and transplantation that will provide additional knowledge and skills in the field of nephrology and transplantation toward improving patient outcomes. |
|
|
|
|
|
| |