検索結果 16,079 件
紙図書
国立国会図書館
- 要約等...efereed proceedings of the 10th International Sym......ic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30,......of of theorems invarious applica......and sound handling of branches of inverse functions
- 件名Formal methods (Computer science)--Congresses Computer science--Mathematics--......des formelles (Informatique)--Congrès Informatique--Mathématiques--Co...
- 著者標目International Sym......ic Computation in Software Science (10th : 2024 : Tokyo, Japan) ...
紙図書
国立国会図書館
- 要約等...efereed proceedings of the 21st International Con......erence on Modeling Decisions for Artificial Intelligence, MDAI 2024, held in Umeå, Sweden, during August 27-30,......were organized in topical headings as follows: ......y measures and integrals; uncertainty in AI; clustering; and data science and data privacy
- 内容細目Invited paper Taste Media Innovative Techno......nsforms the Eating Experience Fu......y measures and integrals An axiomatic definition of non di......stances Uncertainty in AI Entropies f......ods for Estimating Interval Priority Weights Focusing on the Accuracy in Selecting the Best Alternative Clustering Sequential Cl......y Noise Clustering Based on Loca......e Based Clustering from the Pers......n Problem Data science and data priva......ion Tree Based Inference of Lightning Network Clien......tion Framework in R User centred......l Explanations in Explainable AI Revised Margin-Maximization M......e Extreme Learning Machine Studying the impact ...
- 件名Artificial intelligence--Mat......es Decision making--Mathematical......ls--Congresses Computer simulation--Congresses Intelligence artificielle--Modè...
紙図書
国立国会図書館全国の図書館
- 要約等...tes the proceedings of the 25th International Sym......SSS 2024, held in Nagoya, Japan, during October 20-22...... 22 full and 4 invited papers as......6 short papers included in this book were......nd/or security in the face of an...... The book also includes one invited talk in full paper length
- 内容細目Keynote On Distributed Computing: A View, Phys......nymous Systems Invited Papers Invited Paper: A ......petitive Ratio in Linear Search Invited Paper: Gathering Oblivious Robots in the Plane Invited Paper: Th......Contract Model Invited Paper: Using signed formulas for online certification......loration Gathering of Robots in Butterfly Netw......Identification in Population Pro......t Self-stabilizing Simulations o......synchronous Luminous Mobile Robo......onal grids Coating in SILBOT with On......ezvous and Merging for Two Metam...... Compass Gathering Semi-Synchron......Partially Disjoint Shortest Path......r Assignment BlindexTEE: A Blind Index Approach...
- 件名Self-stabilization (Computer science)--Congresses E......ic data processing--Distributed processing--Safety measu......es--Congresses Computer security--Cong......stabilisation (Informatique)--Co......ès Sécurité informatique--Congrès
紙図書
国立国会図書館
- 要約等...tes the proceedings of the 29th International Con......FAA 2024, held in Gifu, Japan, in July 2024. The......ented together in this seven-vol......ditionally, 14 industrial papers...... tutorials are included. The con......federated learning. Part II: Machine learning; text processing. Part III: Re......anguage processing; large langua......Part VII: Emerging application; industry papers; demo papers
- 件名...n--Congrès Ordinateurs computers.
- 一般注記Papers "DASFAA is an annual international dat......--Preface Held in conjunction with the 10th international wor......2024), the 9th international wor......2024), the 8th international wor......rkshop on emerging results in data science and engineering (ERDSE 2024)
紙図書
国立国会図書館
- 要約等...tes the proceedings of the 19th International Wor......ty on Advances in Information and Computer Security, IWSEC 2024, held in Kyoto, Japan, in September 17-1......re categorized into the following sections: authenticated encr...
- 内容細目...STY1 Recovered in Practical Time......rd Deck of Playing Cards Using Partial Opening. Attribute-Based Inner Product Fun......nal Encryption in Key-Policy Setting from Pairing. Analysis of ...... Emulated Floating-Point Arithmetic in Falcon. Experi......al Analysis of Integer Factorization Methods Using Lattices. Sieving Method for SD......with the Zero Window: An Improvement in Low Memory Env......ulnerabilities in WordPress plug-ins. Finding (and exploiting) vulnerabilit......gh Strategy Against Unwanted Encryption in Network File S......ous Software using ChatGPT-4. A ......del for Evaluating Cybersecurity Attacks on Clo...
- 件名Computer security--Congresses Sécurité informatique--Congrès
紙図書
国立国会図書館全国の図書館
- 要約等...tes the proceedings of the 28th International Con......IAA 2024, held in Akita, Japan, during September 3-6......papers and one invited paper pre......have been covering various fields in the application, implementati...
- 内容細目.-Invited Talks. Au...... Papers. Computing the Bandwidth......ed Automata. Using Finite Automata to......tees. Constructing a BPE Tokeniz......lysis. Non-Emptiness Test for Au......ata over Words Indexed by the Re......ectional Deterministic Finite Automata. B...... Emulation and Interpretation: Computer Algebra Implem......on of the Covering Lemma for Finite Transformat......groups. On Pumping Preserving Homomorphisms......ity of the Pumping Problem (Exte......lexity of the Minimal Star Basis......epted by Deterministic Pushdown ......th Translucent Input Letters. At...... Expressions using Derivatives. ......exity of Determinization of Input-Driven Pushdo...
- 件名Machine theory--Congresses Robotics-...
紙図書
国立国会図書館全国の図書館
- 要約等...efereed proceedings of the 15th International Workshop on Rewriting Logic and Its......RLA 2024, held in Luxembourg Cit......Luxembourg, during April 6-7, 20......11 full papers included in this book were......dations; rewriting as a logical ......amework; rewriting languages; verification tech...
- 内容細目Regular Papers. Verifying Invariants by Ded......ive Model Checking. Time-Bounded......ilience. Verifying Safe Memory Reclamation in Concurrent Pro......, and Property Internalization a......uivalence Checking of Quantum Ci......Dirac Notation in Maude. Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic. Timed ......eories. Specifying Fairness Constraints and Model Checking with Non-intensional Strat......: a Term Rewriting Engine for Automatic...... Framework for Integrating Maude and SMT Solvers Using Python. Educa......n Papers. Teaching an Advanced M......Methods Course in Oslo
- 件名Computer logic--Congresses Logique informatique--Congrès
紙図書
国立国会図書館
- 要約等...efereed proceedings of the 15th International Wor......ADE 2024, held in Gardanne, France, during April 9-10, 2......14 full papers included in this book were......were organized in topical sectio......ods; Deep-Learning-Based Side-Channel Attacks; ...
- 内容細目Analyses and Tools Characterizing and Modeling Synchronous C......k-Glitch Fault Injection On-chip......ult occurrence induced by Si backside EM injection EFFLUX-......to Statistical Ineffective Fault......APABARA: A Combined Attack on CAPA Deep-Learning-Based Side-Ch...... Attacks Exploring Multi-Task Learning in the Context of......Analysis with Single Network Training and Multi-out......vate Deep Learning-Based Side-Ch......nel Analysis using Homomorphic E......h and Device Aging on SR-Latch B......NG from TBCs using Superposition......Accelerated SPHINCS+ HaMAYO: A F......ure Scheme Combining Loop Shuffling and Code Po...
- 件名Data encryption (Computer science)--Congresses Computer security--Cong......s Chiffrement (Informatique)--Co......ès Sécurité informatique--Congrès
紙図書
国立国会図書館
- ジャンル・形式用語Conference papers and proceedings
- 件名Artificial intelligence--Edu......s--Congresses. Intelligence arti......̀s. Artificial intelligence--Educational applic...
- 一般注記...onference allowing face-to-face and online contributions."--Preface.
紙図書
国立国会図書館
- 件名Data encryption (Computer science)--Congresses. ......s--Congresses. Computer networks--Secu....... Chiffrement (Informatique)--Co...... Réseaux d'ordinateurs--Sécuri......ta encryption (Computer science) Computer networks--Security measures C...
- 並列タイトル等（連結）Applied cryptography & network security : ACNS : since 2003
- 並列タイトル等Applied cryptography & network security : ACNS : since 2003
紙図書
国立国会図書館
- 要約等...ute the proceedings of the 10th International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, IUKM 2023, held in Kanazawa, Japan, during November 2-4,...... practitioners involved with all......ects of uncertainty modelling and management
- 件名Uncertainty (Information theory)--Congresses
- 著者標目...nda, Katsuhiro Inuiguchi, Masahiro Kohda, Youji...
紙図書
国立国会図書館
- 要約等...efereed proceedings of the 18th International Wor......a hybrid event in Yokohama, Japan, during August 29-31,......event was held in hybrid mode. T......pers presented in this book were......were organized in topical sections as follows: ...
- 内容細目... too far: breaking Android-based...... Bad, and the Binary: An LSTM-Ba......dary Detection in Firmware Analy......eliability of Ring Oscillator PU......ACrx: a vector-input MAC for hig......ty Analysis Against MAYO and QR-UOV Using Rectangular MinRank Attack Imp......ia Error-Splitting Method for Finding Quinary Short Latti......e Homogeneous Linear Equation problem Making Classical (Th......t-Quantum for Single Use on a Pu......mic Proof, Sublinear Verifier Inner Product Arg......ocols via Non-Binary Input Encoding Check Alternating Patterns: A Physical Zero-Kn...
- ジャンル・形式用語Conference papers and proceedings
紙図書
国立国会図書館
- 要約等...tes the proceedings of the 11th International Con......Data Analytics in Astronomy, Science, and Engineering, BDA 2023, which took place in Aizu, Japan during December 5-7,......19 full papers included in this book were......were organized in topical sectio......lization; data science: architectures...... systems; data science and applicatio......er systems and information security
- 内容細目Intro Preface Org......nity Knowledge in Low-Resource a......ada Language 1 Introduction 2 Re...... Recognition Using Active Learning 3.4 Knowledge Retrieval Using Question-Answering 4 Conclusions......ces Topic Modeling Applied to Re......2.2 Topic Modeling 2.3 Evaluatio...... of Topic Modeling 3.1 Latent Di......Data Preprocessing 5 Developed S......rends 7 Concluding Remarks Twitt......iment Analysis in Resource Limit...... and Preprocessing 3.2 Recap of ......onclusion Querying Healthcare Data in Knowledge-Base......3 Archetype Definition Language ...... EHRs 2.2 Existing Query Interfaces 2.3 Knowledge Graph in EHRs 3 Querying Knowledge-Bas...
- 一般注記Papers Held in Aizu, Japan
紙図書
国立国会図書館
- 要約等...efereed proceedings of the 29th International Con......d Social Computing, CollabTech 2023, held in Osaka, Japan, during August 29-Sep......ember 1, 2023, in hybrid mode. T......pers presented in this book toge......apers focus on innovative techni......ration support including computer science, management science, design science, cognitive and social science
- 内容細目...odel for Detecting the Severity ......pression Analyzing Peer Influence in Ethical Judgme......laborative Ranking in a Case-Based Scenario Exploring the Reciprocal Emotional Interaction Betwe...... Collaborative Interactions of Institutional and......itter Accounts in a Citizen Science Context Fairness in Socio-technica......d Text Quality in a Narrative-Centered Learning Environment: ......Collaboration, Individual, and Chat-Interface Submiss......eal of a Co-eating Agent Affects......rticipant Work-in-Progress Paper......lkit for Designing AR Interface with He...... Collaboration in Fabrication Co......Classification in a VR Environment Based on Sen...
- ジャンル・形式用語Conference papers and proceedings
紙図書
国立国会図書館
- 要約等...tes the proceedings of the 23rd International Con......tributed Computing, Applications......ich took place in Sendai, Japan, during December 7-9,......6 short papers included in this volume we......re categorized into the following topical sub-headings: Heterogeneo......ation; Blockchain; Deep Learning; Quantum Computing & Programming Language; Bes......uivalence Checking & Model checking; Interconnect; Optimization (1); ...
- 件名Parallel processing (Electronic computers)--Congresses.......ic data processing--Distributed processing--Congresses. Parallélisme (Informatique)--Congrès. Traitem...
- 一般注記...event was held in a hybrid manner with over 90 ...
紙図書
国立国会図書館
- 要約等...efereed proceedings of the 18th International Con......COM 2024, held in Kanazawa, Japan, during March 18-20, ......pers presented in this book, tog......d abstracts of invited talks, we......theory and combinatorics, combinatorial algorithms, combinatorial optimiz......l biology, combinatorial reconfi......hms, graph drawing, parallel and......timization, online algorithms, r......rithms, and string algorithms
- 内容細目...to Fall (More) in Love with Combinatorial Reconfi......ntum Graph Drawing Simultaneous Drawing of Layered Tr......r Euclidean Steiner Tree The Par......plexity of Terminal Monitoring Set Generating cyclic 2-Gray......nacci q-decreasing words On the ......oblems for Combinatorial Objects......X-SAT with Cardinality Constraint Minimizing Corners in Colored Rectilinear Grids On La......angle Segments in the Plane Impr......e and Path Packings Exact and Ap......hical Hub Labeling Reconfigurati......plications to Bin Packing The Shortest ......tion Rules Combinatorial Reconfi......er Set Programming: Algorithms, Encodings, and ...
- 件名Computer algorithms--Congresses Algori...
紙図書
国立国会図書館全国の図書館
- ジャンル・形式用語Conference papers and proceedings.
- 件名Functional programming (Computer science)--Congresses. Logic programming--Congresses. ......tional programming (Computer science) Logic programming.
- 関連情報1850-9999 Lecture notes in computer science
紙図書
国立国会図書館全国の図書館
- ジャンル・形式用語Conference papers and proceedings.
- 件名Robotics--Congresses. Soccer--Computer simulation--Co......es. Artificial intelligence--Con......es. Artificial intelligence. Robotics. Soccer--Computer simulation.
- 関連情報Lecture notes in computer science
紙図書
国立国会図書館
- 要約等...efereed proceedings of the 7th A......CPR 2023, held in Kitakyushu, Japan, in November 2023.......nition and machine learning, computer vision and rob...... signal processing, and media processing and interaction, covering various technical aspects
- 件名...ms--Congresses Computer vision--Congre...... Signal processing--Congresses R......ce des formes (Informatique)--Co...... Vision par ordinateur--Congrès Traitement du ...
- 一般注記Papers Held online and offline
紙図書
国立国会図書館全国の図書館
- ジャンル・形式用語Conference papers and proceedings.
- 件名Computer graphics--Congresses. Graph theory--Congresses. Computer graphics. Graph theory.
- 一般注記... under extraordinary circumstanc......e at the Tokyo Institute of Technology."--Prefa...
RSSRSS