Listing 1 - 10 of 85 | << page >> |
Sort by
|
Choose an application
This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean. After a quick introduction to Lean, the basic techniques of human-readable formalisation are introduced, illustrated by simple examples on maps, induction and real numbers. Subsequently, typical design options are discussed and brought to life through worked examples in the setting of simplicial complexes (a higher-dimensional generalisation of graph theory). Finally, the book demonstrates how current research in algebraic and geometric topology can be formalised by means of suitable abstraction layers. Informed by the author's recent teaching and research experience, this book allows students and researchers to quickly get started with formalising and checking their proofs. The core material of the book is accessible to mathematics students with basic programming skills. For the final chapter, familiarity with elementary category theory and algebraic topology is recommended.
Mathematical logic --- Algebraic geometry --- Algebraic topology --- Differential topology --- Computer architecture. Operating systems --- algebra --- topologie (wiskunde) --- informatica --- wiskunde --- logica --- geometrie --- topologie --- Automatic theorem proving --- Demostració automàtica de teoremes --- Programes d'ordinador --- Computer programs.
Choose an application
Artificial intelligence --- Optimització matemàtica --- Intel·ligència artificial --- Ciència cognitiva --- Mètodes de simulació --- Processament de dades --- Sistemes autoorganitzatius --- Aprenentatge automàtic --- Demostració automàtica de teoremes --- Intel·ligència artificial distribuïda --- Intel·ligència computacional --- Sistemes adaptatius --- Tractament del llenguatge natural (Informàtica) --- Raonament qualitatiu --- Representació del coneixement (Teoria de la informació) --- Sistemes de pregunta i resposta --- Traducció automàtica --- Visió per ordinador --- Xarxes neuronals (Informàtica) --- Xarxes semàntiques (Teoria de la informació) --- Agents intel·ligents (Programes d'ordinador) --- Programació per restriccions --- Vida artificial --- Jocs d'estratègia (Matemàtica) --- Optimització combinatòria --- Programació dinàmica --- Programació (Matemàtica) --- Anàlisi de sistemes
Choose an application
Mathematical linguistics. --- Computational linguistics. --- Automatic language processing --- Language and languages --- Language data processing --- Linguistics --- Natural language processing (Linguistics) --- Applied linguistics --- Cross-language information retrieval --- Mathematical linguistics --- Multilingual computing --- Algebraic linguistics --- Linguistics, Mathematical --- Information theory --- Computational linguistics --- Data processing --- Statistical methods --- Mathematical models --- Lingüística matemàtica --- Lingüística computacional --- Lingüística --- Teoria de la informació --- Glossemàtica --- Gramàtica de dependències --- Lingüística aplicada --- Processament de la parla --- Traducció automàtica
Choose an application
Information theory. --- Communication theory --- Communication --- Cybernetics --- Teoria de la informació --- Teoria de la comunicació --- Cibernètica --- Comunicació --- Entropia (Teoria de la informació) --- Processament de la parla --- Representació del coneixement (Teoria de la informació) --- Teoria de la codificació --- Teoria de la commutació --- Lingüística matemàtica --- Teoria matemàtica de la comunicació --- Traducció automàtica --- Transmissió de dades --- Xarxes semàntiques (Teoria de la informació) --- Economia de la informació --- Informàtica
Choose an application
Spherical functions. --- Euclidean algorithm. --- Algorithm of Euclid --- Continued division --- Division, Continued --- Euclid algorithm --- Euclidian algorithm --- Euclid's algorithm --- Algorithms --- Number theory --- Functions, Spherical --- Spherical harmonics --- Transcendental functions --- Spheroidal functions --- Funcions esferoïdals --- Algorismes --- Algorisme d'Euclides --- Algoritmes --- Àlgebra --- Algorismes computacionals --- Algorismes genètics --- Anàlisi numèrica --- Funcions recursives --- Programació (Matemàtica) --- Programació (Ordinadors) --- Teoria de màquines --- Traducció automàtica --- Funcions harmòniques
Choose an application
Algorismes --- Simulació per ordinador --- Models per ordinador --- Simulació (Informàtica) --- Mètodes de simulació --- Models matemàtics --- Realitat virtual --- Sistemes virtuals (Informàtica) --- Fabricació integrada per ordinador --- Algorisme d'Euclides --- Algoritmes --- Àlgebra --- Algorismes computacionals --- Algorismes genètics --- Anàlisi numèrica --- Funcions recursives --- Programació (Matemàtica) --- Programació (Ordinadors) --- Teoria de màquines --- Traducció automàtica --- Parallel algorithms --- Computer simulation --- Algorithms
Choose an application
Translanguaging (Linguistics) --- Teachers --- Science --- Training of. --- Study and teaching. --- Science education --- Scientific education --- Teacher education --- Teacher training --- Teachers, Training of --- Linguistics --- Multilingualism --- Ensenyament científic --- Lingüística aplicada --- Lingüística --- Aprenentatge integrat de continguts i llengües estrangeres --- Lingüística computacional --- Lingüística contrastiva --- Lingüística forense --- Llengües d'especialitat --- Traducció automàtica --- Educació científica --- Ensenyament de la ciència --- Ensenyament --- Ensenyament de la química --- Educació STEM
Choose an application
Cutting stock problem. --- Cybernetics. --- Cibernètica --- Automàtica --- Cervells electrònics --- Comunicació --- Electrònica --- Anàlisi de sistemes --- Biònica --- Control automàtic --- Ordinadors --- Robòtica --- Sistemes autoorganitzatius --- Sistemes de control biològic --- Teoria de la informació --- Xarxes neuronals (Informàtica) --- Mechanical brains --- Control theory --- Electronics --- System theory --- Cutting problem --- Rational cutting problem --- Operations research
Choose an application
Arts and Humanities --- Language & Linguistics --- Lingüística aplicada --- Lenguaje y lenguas --- Lingüística --- Traducción automática --- Lingüística matemática --- Applied linguistics --- Linguistics --- Language and languages --- Language and languages in literature --- Applied linguistics. --- Language and languages. --- Linguistics. --- Language and languages in literature. --- Linguistic science --- Science of language --- Foreign languages --- Languages --- Anthropology --- Communication --- Ethnology --- Information theory --- Meaning (Psychology) --- Philology
Choose an application
This book reviews key recent advances and new frontiers within psychiatric research and clinical practice. These advances either represent or are enabling paradigm shifts in the discipline and are influencing how we observe, derive and test hypotheses, and intervene. Progress in information technology is allowing the collection of scattered, fragmented data and the discovery of hidden meanings from stored data, and the impacts on psychiatry are fully explored. Detailed attention is also paid to the applications of artificial intelligence, machine learning, and data science technology in psychiatry and to their role in the development of new hypotheses, which in turn promise to lead to new discoveries and treatments. Emerging research methods for precision medicine are discussed, as are a variety of novel theoretical frameworks for research, such as theoretical psychiatry, the developmental approach to the definition of psychopathology, and the theory of constructed emotion. The concluding section considers novel interventions and treatment avenues, including psychobiotics, the use of neuromodulation to augment cognitive control of emotion, and the role of the telomere-telomerase system in psychopharmacological interventions.
Molecular biology. --- Neurosciences. --- Laboratory medicine. --- Psychiatry. --- Molecular Medicine. --- Laboratory Medicine. --- Medicine and psychology --- Mental health --- Psychology, Pathological --- Clinical medicine --- Clinical pathology --- Diagnostic laboratory tests --- Laboratory diagnosis --- Laboratory medicine --- Medical laboratory diagnosis --- Diagnosis --- Pathology --- Neural sciences --- Neurological sciences --- Neuroscience --- Medical sciences --- Nervous system --- Molecular biochemistry --- Molecular biophysics --- Biochemistry --- Biophysics --- Biomolecules --- Systems biology --- Intel·ligència artificial --- Ciència cognitiva --- Mètodes de simulació --- Processament de dades --- Sistemes autoorganitzatius --- Aprenentatge automàtic --- Demostració automàtica de teoremes --- Intel·ligència artificial distribuïda --- Intel·ligència computacional --- Sistemes adaptatius --- Tractament del llenguatge natural (Informàtica) --- Raonament qualitatiu --- Representació del coneixement (Teoria de la informació) --- Sistemes de pregunta i resposta --- Traducció automàtica --- Visió per ordinador --- Xarxes neuronals (Informàtica) --- Xarxes semàntiques (Teoria de la informació) --- Agents intel·ligents (Programes d'ordinador) --- Programació per restriccions --- Vida artificial
Listing 1 - 10 of 85 | << page >> |
Sort by
|