Search results 16,424
Paper図書
National Diet Library
- Summary, etc....efereed proceedings of the 10th International Sym......ic Computation in Software Scien......ich took place in Tokyo, Japan, during August 28-30,......of of theorems invarious applica......and sound handling of branches of inverse functions
- Subject HeadingFormal methods (Computer science)--Congresses Computer science--Mathe......des formelles (Informatique)--Congrès Informatique--Mathématiques--Co...
- Author HeadingInternational Sym......ic Computation in Software Science (10th : 2024...
Paper図書
National Diet Library
- Summary, etc....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 p...
- ContentsInvited 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......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 of edge privacy o...
- Subject HeadingArtificial intelligence--Mat......es Decision making--Mathematical......ls--Congresses Computer simulation--Congresses Intelligence artificielle--Modè...
Paper図書
National Diet Library
- Summary, etc....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...
- Contents...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...
- Subject HeadingComputer security--Congresses Sécurité informatique--Congrès
Paper図書
National Diet LibraryOther Libraries in Japan
- Summary, etc....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
- ContentsKeynote 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...
- Subject HeadingSelf-stabilization (Computer science)--Cong......ic data processing--Distributed processing--Safety measu......es--Congresses Computer security--Cong......stabilisation (Informatique)--Co......ès Sécurité informatique--Congrès
Paper図書
National Diet Library
- Summary, etc....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
- Subject Heading...n--Congrès Ordinateurs computers.
- Note (General)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)
Paper図書
National Diet LibraryOther Libraries in Japan
- Summary, etc....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...
- Contents.-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...
- Subject HeadingMachine theory--Congresses Robotics-...
Paper図書
National Diet Library
- Genre/Form TermsConference papers and proceedings
- Subject HeadingArtificial intelligence--Edu......s--Congresses. Intelligence arti......̀s. Artificial intelligence--Educational applic...
- Note (General)...onference allowing face-to-face and online contributions."--Preface.
Paper図書
National Diet LibraryOther Libraries in Japan
- Summary, etc....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...
- ContentsRegular 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
- Subject HeadingComputer logic--Congresses Logique informatique--Congrès
Paper図書
National Diet Library
- Summary, etc....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; ...
- ContentsAnalyses 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...
- Subject HeadingData encryption (Computer science)--Congresses Computer security--Cong......s Chiffrement (Informatique)--Co......ès Sécurité informatique--Congrès
Paper図書
National Diet Library
- Summary, etc....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
- Subject HeadingUncertainty (Information theory)--Congresses
- Author Heading...nda, Katsuhiro Inuiguchi, Masahiro Kohda, Youji...
Paper図書
National Diet Library
- Subject HeadingData encryption (Computer science)--Cong......s--Congresses. Computer networks--Secu....... Chiffrement (Informatique)--Co...... Réseaux d'ordinateurs--Sécuri......ta encryption (Computer science) Computer networks--Security measures C...
- Alternative TitleApplied cryptography & network security : ACNS : since 2003
- Alternative TitleApplied cryptography & network security : ACNS : since 2003
Paper図書
National Diet Library
- Summary, etc....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: ...
- Contents... 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...
- Genre/Form TermsConference papers and proceedings
Paper図書
National Diet Library
- Summary, etc....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
- Contents...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 ...
- Subject HeadingComputer algorithms--Congresses Algori...
Paper図書
National Diet Library
- Summary, etc....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, ...
- Contents...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 Scie......ntext 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...
- Genre/Form TermsConference papers and proceedings
Paper図書
National Diet Library
- Summary, etc....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); ...
- Subject HeadingParallel processing (Electronic computers)--Congresses.......ic data processing--Distributed processing--Congresses. Parallélisme (Informatique)--Congrès. Traitem...
- Note (General)...event was held in a hybrid manner with over 90 ...
Paper図書
National Diet LibraryOther Libraries in Japan
- Genre/Form TermsConference papers and proceedings.
- Subject HeadingRobotics--Congresses. Soccer--Computer simulation--Co......es. Artificial intelligence--Con......es. Artificial intelligence. Robotics. Soccer--Computer simulation.
- Related MaterialLecture notes in computer science
Paper図書
National Diet LibraryOther Libraries in Japan
- Genre/Form TermsConference papers and proceedings.
- Subject HeadingFunctional programming (Computer science)--Cong...... Logic programming--Congresses. ......tional programming (Computer science) Logic programming.
- Related Material1850-9999 Lecture notes in computer science
Paper図書
National Diet Library
- Summary, etc....tes the proceedings of the 16th JSAI International Sym......ia on Articial Intelligence (JSAI-isAI), held in Hamamatsu, Japan, in May 2024. The ......pers presented in this proceedings volume were ...... are organized in the following topical secti......IAS 2024, JURISIN 2024, and SCIDOCA 2024
- ContentsIntro Preface Org......024 Artificial Intelligence of and for Business (AI-Biz 202......rofit Dynamics in Pre-owned Luxu......twork Motifs 1 Introduction 2 Re......ROI and Profit in Network Motifs...... New Knowledge in Organizations ......the SECI Model in This Study 4 R......earch on Improving Decision-Making Efficiency wi......son of Changes in Yes/No Ratios by Decision-Making Process 5.2 Linguistic Analysi......of Decision-Making Processes Using ChatGPT 5.3 Investigation of ......IAS 2024 First International Wor......Diversity Bias in AI-Driven Recr......AS 2024) Governing AI in Hiring: An Effort to Eliminate Biased Decision 2 AI in Hi...
- Genre/Form Termsproceedings (reports) Conference papers and proceedings. Actes de congrès.
Paper図書
National Diet Library
- Summary, etc....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
- Subject Heading...ms--Congresses Computer vision--Congre...... Signal processing--Congresses R......ce des formes (Informatique)--Co...... Vision par ordinateur--Congrès Traitement du ...
- Note (General)Papers Held online and offline
Paper図書
National Diet Library
- Summary, etc....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......er systems and information security
- ContentsIntro 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...
- Note (General)Papers Held in Aizu, Japan
RSSRSS